CiE Newsletter No.18, August 18, 2009 ___________________________________________________________________________ CONTENTS: 1. Logical Approaches to Barriers in Computing and Complexity, Greifswald, 17-20 February 2010 - 2nd call for papers 2. Workshop and AMS Special Session on Constructive Mathmematics - Call for participation and applications for support 3. BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation 4. North American Summer School in Logic, Language and Information (NASSLLI 2010) - Call for course proposals 5. FEDERATED LOGIC CONFERENCE (FLoC 2010) - Deadline extension for workshop proposals 6. Special issue of International Journal of Unconventional Computing 7. LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010) - 1st Call for Papers 8. PETRI NETS 2010 - Preliminary Call for Papers 9. Photographs from CiE 2009 in Heidelberg =========================================================================== 1. (from Arnold Beckmann) Logical Approaches to Barriers in Computing and Complexity, Greifswald, 17-20 February 2010 - 2nd call for papers: ********************************************************************** SECOND CALL FOR PAPERS The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe" (ACiE) and the "European Association for Computer Science Logic" (EACSL) jointly organize a workshop on Logical Approaches to Barriers in Computing and Complexity http://www.cs.swan.ac.uk/greifswald2010/ Greifswald, 17-20 February 2010 The workshop is sponsored by the Stiftung Alfried Krupp Kolleg Greifswald and the Deutsche Forschungsgemeinschaft (DFG), and takes place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany: http://www.wiko-greifswald.de/events/cal/article/6/logical-approaches.html IMPORTANT DATES: Submission of extended abstracts: 15 October 2009 Notification of authors: 1 December 2009 Deadline for final revisions: 5 Januar 2010 Workshop: 17-20 February 2010 FINANCIAL SUPPORT: We have funds to offer financial support to authors of accepted papers. In individual cases refunds can range up to full reimbursement of travel and accommodation costs. Further detail will be announced on the webpage. DESCRIPTION: Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and efficient computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation. In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness. Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work. KEYNOTE SPEAKERS: * Alessandra Carbone (Paris, France) * Lance Fortnow (Evanston, IL, U.S.A.) * Erich Graedel (Aachen, Germany) * Pascal Koiran (Lyon, France) * Leszek Kolodziejczyk (Warsaw, Poland) * Antonina Kolokolova (St.John's, NL, Canada) SPECIAL SESSION: There will be a special session on "Complexity in Arbitrary Structures" organised by Christine Gassner (Greifswald, Germany) and Martin Ziegler (Paderborn, Germany). Details about the special session will be published on our website in due course. Contributed talks will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Zofia Adamowicz (Warsaw, Poland) * Franz Baader (Dresden, Germany) * Arnold Beckmann (chair; Swansea, Wales) * Sam Buss (La Jolla CA, U.S.A.) * Manfred Droste (Leipzig, Germany) * Christine Gassner (Greifswald, Germany) * Peter Koepke (Bonn, Germany) * Benedikt Loewe (Amsterdam, The Netherlands) * Johann Makowsky (Haifa, Israel) * Elvira Mayordomo (Zaragoza, Spain) * Damian Niwinski (Warsaw, Poland) * Wolfgang Thomas (Aachen, Germany) * Martin Ziegler (Paderborn, Germany) SUBMISSIONS: The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts (in PDF-format, at most 4 pages) for presentation at the workshop. Further details about submission can be found on our website http://www.cs.swan.ac.uk/greifswald2010/ Accepted abstracts will be printed in an abstract booklet which will be distributed to the participants of the workshop. We emphatically encourage submissions by female authors, as women are underrepresented in mathematics and computer science. Submission of abstracts of published and presented work is also possible, since the abstract booklet is non-archival. Quality and quantity of submissions permitting, we plan to invite the authors of unpublished papers to submit a full version to a post-proceedings volume after the workshop. =========================================================================== 2. (from Robert Lubarsky) Workshop and AMS Special Session on Constructive Mathmematics - Call for participation and applications for support: CALL FOR PARTICIPATION AND APPLICATIONS FOR SUPPORT Workshop and AMS Special Session on Constructive Mathmematics Florida Atlantic University Boca Raton, FL 33431 USA Oct 28 - Nov 1 2009 The workshop sessions will meet W Oct 28 & R Oct 29. For further information, please visit http://math.fau.edu/Richman/Worshop/, or contact Robert.Lubarsky@comcast.net. The special session will be part of the AMS sectional meeting at FAU, F Oct 30 - Sun Nov 1. For further information on the AMS sectional meeting, including the other special sessions and the plenary talks, visit http://www.ams.org/amsmtgs/2161_program.html, or contact Matthew Miller, the relevant AMS secretary, at miller@math.sc.edu. NSF funding of the workshop is likely. If you would like to be considered for partial support, please apply to Bob Lubarsky at Robert.Lubarsky@comcast.net. Your application should include a brief description of your background, including how it relates to constructive mathematics, why you want to attend the meeting, what you hope to contribute, and any other support you have or might have for your attendance. We are especially interested in having some of the funds go to students and young researchers, and members of underrepresented minority groups as determined by the U.S. government. For full consideration, please submit your application by Sept. 15. =========================================================================== 3. (from Ulrich Berger) BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation: BRITISH LOGIC COLLOQUIUM 2009 ============================= http://www.cs.swan.ac.uk/blc09/ Call for Participation The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University, from Thursday to Saturday, September 3-5, 2009. Invited speakers: Peter Dybjer (Gothenburg) Richard Kaye (Birmingham) Margarita Korovina (Manchester) Julien Melleray (Lyon) Paulo Oliva (Queen Mary) Mark Priestley (Westminster) Stephen Read (St Andrews) Peter Schuster (Leeds) Alexander Summers (Imperial) Neil Thapen (Prague) Stan Wainer (Leeds) Andreas Weiermann (Gent) Programme and abstracts are available on the conference web-site. The meeting is supported by the London Mathematical Society and the British Logic Colloquium. To register, please visit the conference web-site. Contact: Ulrich Berger u.berger@swansea.ac.uk =========================================================================== 4. (from Larry Moss) North American Summer School in Logic, Language and Information (NASSLLI 2010) - Call for course proposals: North American Summer School in Logic, Language and Information 2010 NASSLLI 2010 Bloomington IN, U.S.A. 21-25 June 2010 http://www.indiana.edu/~nasslli CALL FOR COURSE PROPOSALS Call Deadline: 15-Sep-2009 Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Examples of possible topics (adapting from previous NASSLLI courses) would include e.g. logics for communication, computational semantics, game theory (for logic, language and/or computation), dynamic semantics, modal logics, linear logic, machine learning techniques, statistical language models, and automated theorem proving. We encourage potential course or workshop contributors to check out previous programs at: http://www.linguistics.ucla.edu/nasslli04/program.html http://www.stanford.edu/group/nasslli/ http://www.indiana.edu/~nasslli/2003/program.html Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Courses may certainly focus on a single area, but lecturers should then include introductory background, try to avoid specialized notation that cannot be applied more widely, and spend time on the question of how the topic is relevant to other fields. A workshop can be more accessible if its program is bracketed by broader-audience talks that introduce and summarize the week's presentations. Associated Workshops/Conferences: In addition to courses and workshops taking place during the main NASSLLI five day session, Indiana University welcomes proposals for 1-3 day workshops or conferences hosted on campus immediately before or after the summer school, thus on the weekends of June 18-20 and June 27-29 2010. Previous such associated meetings have included a Mathematics of Language conference and Theoretical Aspects of Reasoning About Knowledge (TARK). Submission Details: Submissions should be by email, and should indicate: -Person(s) and affiliation -Type of event (one week course or workshop, 2 hours a day) -An outline of the course up to 500 words -An indication of whether special equipment is needed to teach that course (beamer, computer, etc) -A statement about the instructor's experience in teaching in interdisciplinary settings -Expected costs (whether you want to be paid hotel and/or travel, and descriptions of funding in hand or for which you will apply) Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we are only able to pay for the full travel and expenses of one instructor per course. If two persons are lecturing, they may share a lump sum paid for both. We must also stress that while proposals from all over the world are welcomed, the Summer School can in general guarantee only toreimburse travel costs for travel from destinations within North America to Bloomington, although exceptions can be made depending on the financial situation. Furthermore, we encourage all lecturers to fund their own travel if this is feasible, since this will allow us to use our available funding for student scholarships. Workshops are more complicated financially than courses, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Notifications of Interest: To give us an idea about the number of submissions, we would like you to email us, ideally within two weeks, in case you are interested in submitting a proposal. This will not commit you to actually submit one (and not emailing in advance does not preclude you from submitting a full proposal). Schedule: Jun 18, 2009: unofficial notifications of intention to submit; Sep 15, 2009: deadline for submissions; Nov 1, 2009: course/workshop proposers notified of p.c. decisions; Nov 15, 2009: official announcement of program; May 15, 2009: material for courses available for printing; Jun 21, 2010: Start of NASSLLI 2010 courses. Program Committee: David Beaver (committee chair), UT Austin Thony Gillies, Rutgers University John Horty, University of Maryland Sandra Kuebler, Indiana University Eric Pacuit, Stanford University Chris Potts, Stanford University Dan Roth, University of Illinois, Urbana/Champaign Chung-Chieh Shan, Rutgers University Matthias Scheutz, Indiana University Standing NASSLLI Steering Committee: David Beaver, UT Austin Larry Moss (committee chair), Indiana University Phokion Kolaitis, UC Santa Cruz / IBM Almaden Research Center Valeria de Paiva, Cuill Inc. Stuart Shieber, Harvard University Moshe Vardi, Rice University Website: News will be posted at: http://www.indiana.edu/~nasslli, Inquiries: General inquiries regarding NASSLLI 2010, notifications of interest in course or workshop proposal submission, and final submissions of proposals should be directed to: nasslli@indiana.edu Informal inquiries regarding potential courses or workshops may also be directed to: David Beaver, dib@mail.utexas.edu (with ''NASSLLI'' in the subject line). Principal local organizers at Indiana University are Markus Dickinson, Sandra Kuebler, and Larry Moss, and they can be contacted via the main alias: nasslli@indiana.edu =========================================================================== 5. (from Nicole Schweikardt) FEDERATED LOGIC CONFERENCE (FLoC 2010) - Deadline extension for workshop proposals: THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010) Edinburgh, Scotland, U.K., July 9-21, 2010 http://www.floc-conference.org CALL FOR WORKSHOP PROPOSALS - DEADLINE EXTENSION Workshop proposals can now be submitted up to Sept. 1, 2009. The original Call for Workshop Proposals is at http://www.floc-conference.org/cfw.html Organizers will be notified by October 15, 2009. Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc10cfw (Clearly indicate at the top of the proposal the relevant conference.) For further enquiries or information, please contact: Philip Scott (FLoC Workshop Chair) Department of Mathematics and Statistics University of Ottawa Ottawa, Ont. Canada K1N 6N5 Email: phil@site.uottawa.ca =========================================================================== 6. (from Jerome Durand-Lose) Special issue of International Journal of Unconventional Computing: CALL for PAPERS ********************************************************************** International Journal of Unconventional Computing Special issue on New Worlds of Computation ********************************************************************** http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/2009_IJ UC_NWC http://www.oldcitypublishing.com/IJUC/IJUC.html ********************************************************************** This special issue is a sequel to the Worskop New Worlds of Computation (NWC '09) January 12, 2009, Orleans, FRANCE http://www.univ-orleans.fr/lifo/Manifestations/NMC09/ Submission is open (i.e. NOT restricted to NWC participants) ********************************************************************** Topics The special issue aims at gathering papers from a wide off-Turing community in order to bring forth the common problematics as well as divergent results. Models of computation that fall out of the Turing context: * Analog computation * Continuous computation * Hybrid systems * Computation on infinite structures (Ordinals, linear orders) * Hypercomputation * Infinite time computation * Non-Euclidean spaces * Non-standard approaches * Optical collision * Abstract geometrical computation * Cellular automata * Collision based, quantum, DNA, membrane... The classical Turing computability has been THE paradigm for computation for more than half a century. In less than two decades, various paradigms have been proposed (invented, discovered or reframed) and communities have emerged: computable analysis, algebraic models, Quantum computing, DNA, Cellular automaton... All of them fall outside the classical context because they manipulate objects that are just out of the classical scope (infinite objects or uncountably many values) or continuous or infinite time. Unfortunately, there is no miraculous generalized Church-Turing thesis (nor specialized analog nor...). The audience aimed at is roughly the same as: * Machines, Computations and Universality * Unconventional Computation * Computability in Europe * Hypercomputation Research Network Deadlines Submission September 15th 2009 Notification December 1sh 2009 Submission is handled with easychair: https://www.easychair.org/login.cgi?conf=ijuc_nwc_09 Guest editor Jerome Durand-Lose contact: jerome.durand-lose@univ-orleans.fr LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), projet Graphes et Algorithmes Universite d'Orleans - logo Universite d'Orleans, Departement d'Informatique de l'UFR Sciences. =========================================================================== 7. (from Carlos Martin) LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010) - 1st Call for Papers: ********************************************************************* 1st Call for Papers 4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010) Trier, Germany, May 24-28, 2010 http://grammars.grlmc.com/LATA2010/ ********************************************************************* AIMS: LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). SCOPE: Topics of either theoretical or applied interest include, but are not limited to: - algebraic language theory - algorithms on automata and words - automata and logic - automata for system analysis and programme verification - automata, concurrency and Petri nets - cellular automata - combinatorics on words - computability - computational complexity - computer linguistics - data and image compression - decidability questions on words and languages - descriptional complexity - DNA and other models of bio-inspired computing - document engineering - foundations of finite state technology - fuzzy and rough languages - grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.) - grammars and automata architectures - grammatical inference and algorithmic learning - graphs and graph transformation - language varieties and semigroups - language-based cryptography - language-theoretic foundations of artificial intelligence and artificial life - neural networks - parallel and regulated rewriting - parsing - pattern matching and pattern recognition - patterns and codes - power series - quantum, chemical and optical computing - semantics - string and combinatorial issues in computational biology and bioinformatics - symbolic dynamics - term rewriting - text algorithms - text retrieval - transducers - trees, tree languages and tree machines - weighted machines STRUCTURE: LATA 2010 will consist of: - 3 invited talks - 2 invited tutorials - refereed contributions - open sessions for discussion in specific subfields, on open problems, or on professional issues (if requested by the participants) Invited speakers to be announced. PROGRAMME COMMITTEE: Alberto Apostolico (Atlanta) Thomas Baeck (Leiden) Stefania Bandini (Milano) Wolfgang Banzhaf (St. John's) Henning Bordihn (Potsdam) Kwang-Moo Choe (Daejeon) Andrea Corradini (Pisa) Christophe Costa Florencio (Leuven) Maxime Crochemore (Marne-la-Vallée) W. Bruce Croft (Amherst) Erzsebet Csuhaj-Varju (Budapest) Joergen Dassow (Magdeburg) Volker Diekert (Stuttgart) Rodney G. Downey (Wellington) Frank Drewes (Umea) Henning Fernau (Trier, co-chair) Rusins Freivalds (Riga) Rudolf Freund (Wien) Paul Gastin (Cachan) Edwin Hancock (York, UK) Markus Holzer (Giessen) Helmut Joergensen (London, Canada) Juhani Karhumaki (Turku) Efim Kinber (Fairfield) Claude Kirchner (Bordeaux) Carlos Martin-Vide (Brussels, co-chair) Risto Miikkulainen (Austin) Victor Mitrana (Bucharest) Claudio Moraga (Mieres) Sven Naumann (Trier) Chrystopher Nehaniv (Hatfield) Maurice Nivat (Paris) Friedrich Otto (Kassel) Daniel Reidenbach (Loughborough) Klaus Reinhardt (Tübingen) Antonio Restivo (Palermo) Christophe Reutenauer (Montréal) Kai Salomaa (Kingston, Canada) Jeffrey Shallit (Waterloo) Eljas Soisalon-Soininen (Helsinki) Bernhard Steffen (Dortmund) Frank Stephan (Singapore) Wolfgang Thomas (Aachen) Marc Tommasi (Lille) Esko Ukkonen (Helsinki) Todd Wareham (St. John's) Osamu Watanabe (Tokyo) Bruce Watson (Pretoria) Thomas Wilke (Kiel) Slawomir Zadrozny (Warsaw) Binhai Zhu (Bozeman) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Henning Fernau (Trier, co-chair) Maria Gindorf (Trier) Stefan Gulan (Trier) Anna Kasprzik (Trier) Carlos Martin-Vide (Brussels, co-chair) Norbert Muller (Trier) Bianca Truthe (Magdeburg) SUBMISSIONS: Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at: http://www.easychair.org/conferences/?conf=lata2010 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. At least one special issue of a major journal will be later published containing extended versions of the papers contributed to the conference. Submissions to the post-conference publications will be only by invitation. REGISTRATION: The period for registration will be open since September 1, 2009 until May 24, 2010. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2010/ Early registration fees: 500 Euro Early registration fees (PhD students): 400 Euro Late registration fees: 530 Euro Late registration fees (PhD students): 430 Euro On-site registration fees: 550 Euro On-site registration fees (PhD students): 450 Euro At least one author per paper should register. Papers that do not have a registered author by February 15, 2010 will be excluded from the proceedings. Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks, lunches, excursion, and conference dinner. BEST PAPER AWARDS: An award will be presented to the authors of the two best papers accepted to the conference. Only papers fully authored by PhD students are eligible. The award intends to cover their travel expenses. IMPORTANT DATES: Paper submission: December 3, 2009 Notification of paper acceptance or rejection: January 21, 2010 Final version of the paper for the LNCS proceedings: February 3, 2010 Early registration: February 15, 2010 Late registration: May 14, 2010 Starting of the conference: May 24, 2010 Submission to the post-conference publications: August 27, 2010 FURTHER INFORMATION: gindorf-ti@informatik.uni-trier.de CONTACT: LATA 2010 Universitat Trier Fachbereich IV ~V Informatik Campus II, Behringstrasse D-54286 Trier Phone: +49-(0)651-201-2836 Fax: +49-(0)651-201-3954 =========================================================================== 8. (from Joao Paulo Barros) PETRI NETS 2010 - Preliminary Call for Papers: =========================================================== ================ Preliminary Call for Papers ==================== =========================================================== PETRI NETS 2010 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency June 21-25, 2010 Braga, Portugal Web: http://petrinets2010.di.uminho.pt/ Email : petrinets2010[@]di[.]uminho[.]pt Collocated with ACSD 2010: 10th International Conference on Application of Concurrency to System Design (http://acsd2010.di.uminho.pt) Common page at http://acsd-petrinets2010.di.uminho.pt =========================================================== This call for papers is available in pdf format at http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2010/ =========================================================== Important Dates: Submission of Papers: January 5, 2010 Notification: March 1, 2010 Final Version Due: April 1, 2010 Workshops & Tutorials: June 21-22, 2010 Conference: June 23-25, 2010 The deadline for submission of papers is STRICT. However, if you submit the title page by Jan. 5 it is sufficient to submit the full paper by Jan. 10. Some of the best papers accepted for the conference will be invited as submissions to a special issue of the Fundamenta Informaticae journal. =========================================================== The 31st annual international Petri Net conference will be organised by the Universidade do Minho, Portugal and the Instituto Politécnico de Beja, Portugal. Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English. =========================================================== Topics * System design and verification using nets, * Analysis and synthesis, structure and behaviour of nets, * Relationships between net theory and other approaches, * Causality/partial order theory of concurrency, * Net-based semantical, logical and algebraic calculi, * Symbolic net representation (graphical or textual), * Computer tools for nets, * Experience with using nets, case studies, * Educational issues related to nets, * Higher-level net models, * Timed and stochastic nets, * Standardisation of nets, * Applications of nets to different kinds of systems and application fields, e.g.: o flexible manufacturing systems, o real-time systems, o embedded systems, o defence systems, o biological systems, o health and medical systems, o environmental systems, o hardware structures, o telecommunications, o railway networks, o office automation, o workflows, o supervisory control, o protocols and networks, o Internet, o e-commerce and trading, o programming languages, o performance evaluation, o operations research. The conference takes place under the auspices of EATCS and GI SIG "Petri Nets and Related System Models". =========================================================== Paper Submissions Three kinds of papers can be submitted: * Theory papers (max 20 pages). * Application papers (max 20 pages). A typical application paper is a paper that describes one or more projects in which Petri net models and tools have been used in practice. An application paper may also describe a methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems. * Tool papers (max 10 pages). A typical tool paper is a paper which has its focus on the description of a computer tool for Petri Nets (not an application of the tool or the theory behind the tool). For more information on what a typical tool paper should contain, please see the document: ToolFormat.pdf. The tool should be available for use by other groups and it should be demonstrated in the Tool Exhibition. Submissions for papers must: * Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference. * Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work. * Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html. * Have a length that does not exceed 20 pages (10 pages for tool papers). * Be in English and in a form that can be immediately included in the proceedings without major revision. * Be sent electronically (as a PostScript or PDF file) using the website http://senldogo0039.springer-sbm.com/pn2010/servlet/Conference no later than January 5, 2010. The title page must: * Contain a short abstract and a classification of the topics covered, preferably using the list of topics above. * Clearly indicate whether the paper is submitted as a theory paper, an application paper, or a tool paper. Submissions received too late and submissions sent by fax or ordinary mail will be immediately rejected. The same will happen with papers which are not in English or exceed the page limit. Authors will be notified of acceptance/rejection by March 1, 2010. The proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. The final camera-ready version of accepted papers must be received by the PC chairs no later than April 1, 2010. The page limit is 20 pages (10 pages for tool papers). Some of the best papers will be invited for publication in the Fundamenta Informaticae journal. They will be revised, reviewed and copy-edited as ordinary journal papers. =========================================================== Workshops and Tutorials The conference takes place Wednesday to Friday. The days before the conference also offer a large variety of Petri net activities. The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed, ECTS credits can be given to PhD students. The Workshops and Advanced Tutorials take place Monday and Tuesday and are offered to those who already have some knowledge of Petri nets. They are divided into several strands covering different subjects. A detailed description of the tutorials and workshops will be available via the conference web pages. Finally, it is possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the PC-chairs no later than January 5, 2010. We invite proposals for workshops and advanced tutorials: * The purpose of workshops is to provide a setting to discuss technical issues and exchange research ideas in specific theoretical or application areas. We encourage a diversity of workshops related to Petri nets. Selected papers of the workshops will appear in a new journal subseries of LNCS entitled "Transactions on Petri Nets and other models of Concurrency" (ToPNoC). * The purpose of tutorials is to introduce researchers to a new or emerging area or to provide deeper insight into a particular topic within Petri nets or related areas, ranging from theory to industrial applications. Tutorial levels may be introductory, intermediate, or advanced. * Workshop proposals should be submitted before June 1 (one year before the workshop) and Advanced Tutorial proposals before January 5 (half a year before the tutorial), to the Workshop and Tutorial Chairs. =========================================================== Tool Exhibition An exhibition of Petri net tools takes place Tuesday or Wednesday evening. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition Chair before June 1, 2010. They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators usually bring their own machines, but the organisers may be requested to give access to the Internet. =========================================================== Organisation Program Committee Co-Chairs Johan Lilius Åbo Akademi University Finland Wojciech Penczek Institute of Computer Science Polish Academy of Sciences Poland ================================ Workshop and Tutorial Co-Chairs Susanna Donatelli Universita di Torino Italy Jetty Kleijn Leiden University The Netherlands ================================ Organising Committee Chair Joao M. Fernandes Universidade do Minho Portugal ================================ Tools Exhibition Chair Ricardo J. Machado Universidade do Minho Portugal ================================ Publicity Chair Joao Paulo Barros Instituto Politécnico de Beja Portugal =========================================================== Program Committee M. Bednarczyk, Poland M. Bonsangue, The Netherlands R. Bruni, Italy D. Buchs, Switzerland P. Chrzastowski-Wachtel, Poland G. Ciardo, USA J. Desel, Germany R. Devillers, Belgium J.M. Fernandes, Portugal G. Franceschinis, Italy Q.W. Ge, Japan S. Haddad, France M. Heiner, Germany R. Janicki, Canada G. Juhas, Slovak Republic J. Julvez, Spain E. Kindler, Denmark M. Koutny, UK L.M. Kristensen, Norway C. Lakos, Australia J. Lilius, Finland (co-chair) C. Lin, China T. Miyamoto, Japan D. Moldt, Germany M. Mukund, India W. Penczek, Poland (co-chair) L. Petrucci, France L. Pomello, Italy O-H. Roux, France N. Sidorova, The Netherlands V. Valero, Spain A. Valmari, Finland K. Wolf, Germany A. Yakovlev, UK =========================================================== Steering Committee W. van der Aalst, The Netherlands J. Billington, Australia G. Ciardo, USA J. Desel, Germany S. Donatelli, Italy S. Haddad, France K. Hiraishi, Japan K. Jensen, Denmark (chair) J. Kleijn, The Netherlands M. Koutny, UK C. Lin, China W. Penczek, Poland C.A. Petri, Germany (honorary member) L. Pomello, Italy W. Reisig, Germany G. Rozenberg, The Netherlands M. Silva, Spain A. Valmari, Finland A. Yakovlev, UK =========================================================================== 9. For photographs from CiE 2009 in Heidelberg - including the group photograph of participants - see: http://www.math.uni-heidelberg.de/logic/cie2009/p_photo.php =========================================================================== Items for the next CiE Newsletter should be sent to s.b.cooper@leeds.ac.uk to arrive by August 30, 2009 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2009 http://www.math.uni-heidelberg.de/logic/cie2009 CiE Membership Application Form http://www.cs.swan.ac.uk/acie ___________________________________________________________________________