CiE Newsletter No.11, April 30, 2009 ___________________________________________________________________________ CONTENTS:
1. Workshop in Greifswald - Logical Approaches to Barriers in Computing and Complexity 2. DCM 2009 - Developments in Computational Models - Deadline extended to May 7, 2009 3. Marie Curie Initial Training Network - PhD positions - MALOA 4. Second Call For Papers - Hypercomputation Workshop @ UC2009 5. CCA 2009: Third Call for Paper and Announcement 6. CompMod 2009 - Computational Models for Cell Processes - first call for papers 7. Mathematics, Physics and Philosophy in the Interpretations of Relativity Theory - second call for papers 8. Mal'tsev Meeting 2009 - Second Announcement 9. 2nd Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy 10. Reachability Problems 2009 - Deadline Extended: 11 May 2009 11. CCC 2009: Registration open 12. Call for Proposals for Workshops and Tutorials - Petri nets 2010 - Braga, Portugal ========================================================================= 1. (from Arnold Beckmann) Workshop in Greifswald - Logical Approaches to Barriers in Computing and Complexity: ********************************************************************** Workshop on Logical Approaches to Barriers in Computing and Complexity. February 17-20, 2010, Greifswald, Germany. http://www.cs.swan.ac.uk/greifswald2010/ 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 this workshop. The workshop is sponsored by the Stiftung Alfried Krupp Kolleg Greifswald, and takes place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany. Keynote speakers are Alessandra Carbone (Paris, France), Lance Fortnow (Evanston, IL, U.S.A.), Erich Graedel (Aachen, Germany), Pascal Koiran (Lyon, France), Leszek Kolodziejczyk (Warsaw, Poland), and Antonina Kolokolova (St.John's, NL, Canada). There will be a special session on "Complexity in Arbitrary Structures" organised by Christine Gassner (Greifswald, Germany) and Martin Ziegler (Paderborn, Germany). The Programme Committee consists of Zofia Adamowicz, Franz Baader, Arnold Beckmann (chair), Sam Buss, Manfred Droste, Christine Gassner, Peter Koepke, Benedikt Loewe, Johann Makowsky, Elvira Mayordomo, Damian Niwinski, Wolfgang Thomas, and Martin Ziegler. The Programme Committee cordially invites all researchers in the area of the workshop to submit their extended abstracts for presentation at the workshop. Further details about submission can be found on our website http://www.cs.swan.ac.uk/greifswald2010/. The deadline for submissions is 15 September 2009. ========================================================================= 2. (from Vincent Danos) DCM 2009 - Deadline extended to May 7, 2009: ------------------------------------------------------------------------ Final Call for Papers DCM 2009 5th International Workshop on Developments in Computational Models - Computational Models From Nature http://www.pps.jussieu.fr/~danos/dcm09 Rhodes, Greece Saturday, 11 July 2009 ** EXTENDED DEADLINE: 7 MAY, 2009 ** A satellite event of ICALP 2009 - http://icalp09.cti.gr/ ------------------------------------------------------------------------ DCM 2009 is the fifth in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. And to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2009 will be a one-day satellite event of ICALP 2009, with a special focus on the theme 'Computational Models From Nature'. Plenary speakers: Prakash Panangaden (McGill University) "Computing with Anyons" Amin Coja-Oghlan (Edinburgh) "Random Constraint Satisfaction Problems" Damien Woods (Seville) "Two Notions of Uniformity in Natural Computing" Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modelling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security; - information-theoretic ideas in computing. PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF format to the conference EasyChair submission page: https://www.easychair.org/login.cgi?conf=dcm2009 by the EXTENDED DEADLINE: 7 MAY, 2009. Accepted contributions will appear in a special issue of the EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, full versions of selected papers will be considered for a special issue of the IJSI (International Journal of Software and Informatics). IMPORTANT DATES: Submission deadline: 7 May, 2009 Notification: 25 May Workshop: 11 July, 2009 PROGRAMME COMMITTEE: S. Barry Cooper (Leeds, Co-chair) Vincent Danos (Edinburgh, Co-chair) Paola Bonizzoni (Milan) Alessandra Carbone (Paris) Luca Cardelli (Microsoft Research) Robert Coecke (Oxford) Mariangiola Dezani (Turin) Ellie D'Hondt (Brussels) Lionel Dupuy (SCRI, Dundee) Jerome Feret (INRIA, ENS Paris) Maribel Fernandez (King's College, London) Mark Hogarth (Cambridge) Jean-Pierre Jouannaud (Tsinghua, CNRS) Zoran Konkoli (Chalmers) Angsheng Li (CAS, Beijing) Ian Mackie (Ecole Polytechnique) Gheorghe Paun (Bucharest) Simon Perdrix (Paris) Grzegorz Rozenberg (Leiden) Peter Selinger (Dalhousie) Jiri Wiedermann (Prague) Damien Woods (Seville) ------------------------------------------------------------------------ Further information: Barry Cooper, [email protected] Vincent Danos, [email protected] ------------------------------------------------------------------------ ========================================================================= 3. (from Dugald MacPherson) Marie Curie Initial Training Network - MALOA: Marie Curie (FP7) Initial Training Network: From Mathematical Logic to Applications (MALOA): http://www.logique.jussieu.fr/MALOA This is a network with 8 Full Partners: Leeds (coordinator), Manchester, Oxford, Lyon (Lyon 1 and Lyon ENS), Paris (Universite Paris Diderot -Paris 7), Muenster, Munich, Prague). There are also 3 Associated Partners (UEA, BT, Onera). Contract negotiations are still not concluded, so funding is not absolutely confirmed, but it is expected to start on 1 October 2009, and run for 4 years. It will fund 18 PhD students and 20 short-term visitors (at least 3 months). All the Full Partners expect to make appointments for October 2009. For enquiries, please contact Dugald Macpherson (the coordinator, [email protected]) or the Scientist-in-Charge at the relevant partner. ========================================================================= 4. (from Mike Stannett) SECOND Call For Papers - Hypercomputation Workshop @ UC2009: SECOND CALL FOR PAPERS HYPERCOMPUTATION WORKSHOP @ UC 2009 Ponta Delgada, PORTUGAL September 7-11, 2009 Deadline for submissions: June 1st, 2009 Workshop begins: September 8th, 2009 Please note that the workshop is scheduled to start one day later than the main UC conference, to allow attendees time to travel to Ponta Delgada from the Relativistic Logic meeting in Budapest, which ends shortly beforehand. Conference Poster and the main UC2009 Call for Papers/Posters can be downloaded from the "Unconventional Computation 2009" Conference Homepage: http://www.uc09.uac.pt . TAKE A LOOK AT THE UC'09 WEBSITE -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.- Original papers or posters are solicited in all areas of hypercomputation. Papers dealing with theory and philosophy as well as links to other disciplines are equally welcome. We recognise that there may be some overlap with the main conference themes; possible topics include, but are not restricted to: - Analogue Computation - Arguments Against Hypercomputation - Church-Turing Thesis - Computational Status of Physical Theories - Cosmological Computational Models - Cornerstones of the Halting Problem - Diophantine Equations and their General Solution - Economic Models - Field Computation - Logical Arguments - Newtonian Hypercomputation - Non-standard Lambda-Calculus and Logics - Optical Computing - Philosophy of Computation and Hypercomputation - Quantum Hypercomputation - Semantic Models for Hypercomputation - Unconventional Turing machines - Undecidability in Physical Theories - Unified Models of Computation and Hypercomputation Accepted papers will initially be published as a downloadable electronic pre-proceedings; following the meeting, authors will be given the opportunity to amend their papers in the light of comments received, for subsequent submission for publication in an appropriate international journal. FORMAT: Papers should initially be prepared in LaTeX, using the standard "article" document style and "alpha" bibliography style. There is no page restriction for the initial electronic pre-proceedings, but subsequent journal versions will be subject to standard limits. [Submissions written in Word are also acceptable, provided any accompanying images are also submitted as self-contained image files (GIF, PNG, JPG, BMP, etc) - we cannot extract images from Word files. Accepted submissions will be converted to LaTeX prior to inclusion in the pre-proceedings, which may result in layout changes.] SUBMISSIONS AND QUERIES: Please direct all submissions and queries to [email protected] Submissions Due: June 1st, 2009 Notification: July 6th, 2009 Final Versions Due: August 10th, 2009 INVITED SPEAKERS (t.b.c.) include: Selim Akl (Queen's) Hajnal Andreka (Budapest) Edwin Beggs (Swansea) Selmer Bringsjord (Rensselaer) Cristian Calude (Auckland) Marian Gheorghe (Sheffield) Clare Hewitt-Horsman (Hewlett-Packard) Benjamin Wells (San Francisco) Martin Ziegler (Freiberg) WORKSHOP COORDINATOR Mike Stannett Dept of Computer Science University of Sheffield Regent Ct, 211 Portobello Sheffield S1 4DP United Kingdom ========================================================================= 5. (from Peter Hertling) CCA 2009: Third Call for Paper and Announcement: ______________________________________________________________ Third Call for Papers and Announcement Sixth International Conference on Computability and Complexity in Analysis 2009 (CCA 2009) August 18-22, 2009, Ljubljana, Slovenia Submission deadline: May 11, 2009 ______________________________________________________________ Invited Speakers * Mark Braverman (Cambridge, USA) * Vladik Kreinovich (El Paso, USA) * Dana Scott (Pittsburgh, USA) * Ning Zhong (Cincinnati, USA) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Vasco Brattka (Cape Town, South Africa) * Mark Braverman (Cambridge, USA) * Pieter Collins (Amsterdam, The Netherlands) * Peter Hertling, co-chair (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Ker-I Ko, co-chair (Stony Brook, USA) * Robert Rettinger (Hagen, Germany) * Victor Selivanov (Novosibirsk, Russia) * Alex Simpson (Edinburgh, Great Britain) * Dieter Spreen (Siegen, Germany) * Frank Stephan (Singapore) * Xizhong Zheng (Glenside, USA) Organizing Committee * Andrej Bauer, chair (Ljubljana, Slovenia) * Iztok Kavkler (Ljubljana, Slovenia) * Davorin Lesnik (Ljubljana, Slovenia) * Matija Pretnar (Ljubljana, Slovenia) Venue Faculty of Mathematics and Physics, University of Ljubljana, and Institute of Mathematics, Physics, and Mechanics, Slovenia Tutorials * Martin Escardo (Birmingham, UK) * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands) Submissions Authors are invited to submit a PDF version of an extended abstract (typically 10-12 pages) on the following web page: http://www.easychair.org/conferences/?conf=cca2009 These extended abstracts should be prepared using the LNCS stylefile of Springer Verlag; see http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 Proceedings Accepted papers will be published in an electronic proceedings volume in the DROPS series of Schloss Dagstuhl. In addition, a technical report containing the accepted papers will be available at the conference. It is planned to publish a special issue of some journal dedicated to CCA 2009 after the conference. Dates Submission deadline: May 11, 2009 Notification of authors: June 15, 2009 Final Version: July 13, 2009 Conference Web Page http://cca-net.de/cca2009/ ______________________________________________________________ ========================================================================= 6. (from Ion Petre) CompMod 2009 - Computational Models for Cell Processes - first call for papers: CompMod 2009 2nd International Workshop on Computational Models for Cell Processes Eindhoven, the Netherlands, November 3, 2009 http://combio.abo.fi/compmod09/ In conjunction with Formal Methods 2009 -------------------------------------------------------------------- Deadline for submissions: June 29, 2009 Proceedings will be published in the new EPTCS series -------------------------------------------------------------------- Computational systems biology is an exciting new application area for applied mathematics and computer science. This workshop of the 16th International Symposium on Formal Methods fosters an excellent platform gathering researchers in formal methods and related fields that are interested in the wealth of opportunities and challenges in systems biology. SUBMISSIONS ----------- We seek papers and extended abstracts in all areas that relate to the relevance and potential of formal methods and computational modeling and simulation in systems biology. In particular, we welcome contributions that present biological processes requiring special computational and formal techniques that have not been investigated so far in the context of formal methods, as well as extensions of formal methods formalisms introduced to improve their applicability to biology. Topics of interest include, but are not limited to: - Formal models for cellular pathways - Qualitative biological modeling - Quantitative formal methods - Theoretical comparison of formalisms for biological processes - Biologically-inspired extensions to formal methods, concurrency theory, or logical methods - Differential, discrete and/or stochastic modeling languages - Reconstruction of biological networks based on empirical data - Decomposition and modularization of large biological networks - Applications of formal methods and computational modeling - Membrane systems as a modeling platform Authors are invited to submit extended abstracts or full papers of up to 15 pages formatted according to EPTCS guidelines. Submissions can be uploaded at www.easychair.org/conferences/?conf=compmod2009. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. A special issue of a high-level international journal, based on the workshop, is planned after the workshop. INVITED SPEAKERS ---------------- - Jasmin Fisher, Microsoft Research Cambridge - Hidde de Jong, INRIA Grenoble-Rhone-Alpes - Grzegorz Rozenberg, Leiden University IMPORTANT DATES --------------- - Submission: June 29, 2009 - Notification: September 10, 2009 - Final version: October 1, 2009 - Workshop: November 2, 2009 PROGRAMME COMMITTEE ------------------- - Ralph Back, Abo Akademi, Finland - Lubos Brim, Masaryk University, Czech Republic - Muffy Calder, University of Glasgow, UK - Eugen Czeizler, Abo Akademi, Finland - Vincent Danos, University of Edinburgh, UK - Russ Harmer, University of Paris 7, France - Monika Heiner, Brandenburg University of Technology Cottbus, Germany - Jane Hillston, University of Edinburgh, UK - Ina Koch, Max Planck Institute for Molecular Genetics, Germany - Vincenzo Manca, University of Verona, Italy - Giancarlo Mauri, University of Milan-Bicocca, Italy - Satoru Miyano, University of Tokyo, Japan - Andrei Paun, Louisiana Tech University, US - Ion Petre, Abo Akademi, Finland - Jaco van de Pol, University of Twente, the Netherlands - Alberto Policriti, University of Udine, Italy - Erik de Vink, Eindhoven University of Technology, the Netherlands ORGANIZERS ---------- - Ion Petre, ipetre 'at' abo.fi - Erik de Vink, evink 'at' win.tue.nl - Ralph-Johan Back, backrj 'at' abo.fi Venue: Technische Universiteit Eindhoven, the Netherlands ========================================================================= 7. (from Mike Stannett) Mathematics, Physics and Philosophy in the Interpretations of Relativity Theory - second call for papers: Dear Colleagues, The organizers cordially invite you to participate in the second international conference Mathematics, Physics and Philosophy in the Interpretations of Relativity Theory which will take place in Budapest, Hungary, on 4-6 September 2009. Suggested themes include: Cosmology, Gravitation and Space-Time Structure. Cosmological Theories and New Experimental Data. Problems of Quantum-Gravitation. Relation of Relativity Theory to Quantum Mechanics. Paradoxes in Relativity Theory and in its Applications. Connections Between Relativity Theory and Logic. Logical Foundation and Logical Analysis of Relativity Theories. Time-Travel, Black Holes, Worm-Holes, Backward Causation. The Problem of Physical Vacuum as an **Ether** in the Einsteinian Sense. **Mathematical** and **Physical** (Einsteinian versus Lorentzian) Relativity. Historical and Philosophical Aspects of Relativity Theory. Relativity Theory in the Context of Hermeneutics of Science. Relativistic Hypercomputing. This is not an exhaustive list, and colleagues wishing to submit papers dealing with different subjects should send an outline of their proposed presentation to the organizers of the conference. The organizing committee equally waits for contributions by mathematicians, physicists and philosophers and hopes that the conference will give opportunity for the collaboration among mathematicians, physicists and philosophers interested in the topic, as well as to establish communication among researchers of the region and those of other parts of the world working in this fields and to promote understanding between different schools of thought engaged in studying Relativity. We also encourage the participation of young researchers and PhD students. The conference coordinator is Laszlo Szekely Postal Address: Institute for Philosophical Research, P.O. Box 594, Budapest-62, Hungary, 1398 E-mail: [email protected] The address of the conference website: http://www.phil-inst.hu/PIRT.BUDAPEST/ Please visit this site where you can find all the relevant information (including the conference brochure). If you need more information do not hesitate to contact us Yours sincerely, Laszlo Szekely and Laszlo Ropolyi the Hungarian organizers ========================================================================= 8. (from Aleksandr Kravchenko) Mal'tsev Meeting 2009 - Second Announcement: ********************** Mal'tsev Meeting 2009 Second Announcement International conference on algebra, mathematical logic, and applications will be held in Novosibirsk (Russia) on August 24-28, 2009. The meeting is dedicated to the 100th birthday of Anatolii Ivanovich Mal'tsev (1909-1967), the founder of the Siberian School of Algebra and Logic. The conference is organised by the Sobolev Institute of Mathematics SB RAS and Novosibirsk State University. The topics include group theory, ring theory, universal algebra, mathematical logic, computability theory, theoretical computer science, and related fields of mathematics. To register for the conference, please, fill in the form at http://www.math.nsc.ru/conference/malmeet/09/reg_e.htm and send it to the organisers. The programme will consist of 26 invited lectures and contributions in the following sections (the titles can be slightly changed): group theory, ring theory, universal algebra, model theory, computability theory, philosophy of mathematics, non-classical logics and proof theory, theoretical computer science, computable models, topological spaces, and analysis. Abstract of talks will be published electronically. The author instructions and the sample file can be found at http://www.math.nsc.ru/conference/malmeet/09/Abs_e.htm. The events of the conference will take place in the Sobolev Institute of Mathematics. Accommodation will be available at the "Golden Valley" hotel ("Zolotaya Dolina") or at the university campus. Please, notice, that foreign participants need visas to enter Russia. Detailed information can be found at http://www.math.nsc.ru/conference/malmeet/09/Visa.htm. The registration fee is 100 US dollars or 80 Euro. For those who do not need visa, the registration fee is lower (300 Roubles or equivalent in convenient currency). Extra payment cover express delivery of the official invitation. More information is available at http://www.math.nsc.ru/conference/malmeet/09/fee_e.htm. Regularly updated information about the conference can be found at http://www.math.nsc.ru/conference/malmeet/09/index.html. If you have any questions concerning participation, please, do not hesitate to contact the organisers by e-mail: [email protected]. ========================================================================= 9. (from Monika Seisenberger) 2nd Cfc: CALCO-jnr 2009: CALCO Young Researchers Workshop, Udine, Italy: *----------------------------------------------------------------------* Call for contributions CALCO-jnr 2009 CALCO-jnr: CALCO Young Researchers Workshop September 6, 2009, Udine, Italy part of 3rd Conference on Algebra and Coalgebra in Computer Science September 6-12, 2009, Udine, Italy *----------------------------------------------------------------------* Abstract submission: May 8, 2009 Author notification: May 22, 2009 Final abstract due: June 15, 2009 Full paper submission: October 15, 2009 *----------------------------------------------------------------------* http://calco09.dimi.uniud.it/ *----------------------------------------------------------------------* CALCO 2009 will be preceded by the CALCO Young Researchers Workshop, CALCO-jnr, dedicated to presentations by PhD students and young researchers at the beginning of their careers. CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems. This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The first and second, very successful CALCO conferences took place 2005 in Swansea, Wales, and 2007 in Bergen, Norway. The third event will take place 2009 in Udine, Italy. The CALCO Young Researchers Workshop, CALCO-jnr, is a CALCO satellite workshop dedicated to presentations by PhD students and by those who have completed their doctoral studies within the past few years. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO-jnr workshop (and vice versa). CALCO-jnr presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page abstracts, by the CALCO-jnr PC. A booklet with the abstracts of the accepted presentations will be available at the workshop. After the workshop, the author(s) of each presentation will be invited to submit a full 10-15 page paper on the same topic. They will also be asked to write (anonymous) reviews of papers submitted by other authors on related topics. Additional reviewing and the final selection of papers will be carried out by the CALCO-jnr PC. The volume of selected papers from the workshop will be published as a technical report at Udine. Authors will retain copyright, and are also encouraged to disseminate the results reported at CALCO-jnr by subsequent publication elsewhere. Topics of Interest ------------------ The CALCO Young Researchers Workshop will invite submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transition of resulting technologies into industrial practice. In particular, the workshop will encourage submissions included or related to the topics listed below. * Abstract models and logics - Automata and languages, - Categorical semantics, - Modal logics, - Relational systems, - Graph transformation, - Term rewriting, - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems, - Calculi and models of concurrent, distributed, mobile, and context-aware computing, - General systems theory and computational models (chemical, biological, etc) * Algebraic and coalgebraic semantics - Abstract data types, - Inductive and coinductive methods, - Re-engineering techniques (program transformation), - Semantics of conceptual modelling methods and techniques, - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification, - Formal testing and quality assurance, - Validation and verification, - Generative programming and model-driven development, - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra Submission ---------- Submission (pdf-file) is via e-mail to [email protected]. The use of LNCS style (see http://www.springer.de/comp/lncs/authors.html) is strongly encouraged. Important Dates --------------- 8 May 2009 Deadline for 2-page abstract submission 22 May 2009 Notification of abstract selection decision 15 Jun 2009 Final version of abstract due 6 Sep 2009 CALCO Young Researchers Workshop 7-10 Sep 2009 CALCO technical programme 15 Oct 2009 Deadline for 10-15 page paper submission 15 Dec 2009 Notification of paper selection decision 20 Jan 2010 Final version of paper due Programme Committee ------------------- * Magne Haveraaen, University of Bergen, Norway http://www.ii.uib.no/~magne/ * Marina Lenisa, University of Udine, Italy http://sole.dimi.uniud.it/~marina.lenisa/ * John Power, University of Bath, UK http://www.cs.bath.ac.uk/department/contact-department/academic-staff/dr-joh n-power.html * Monika Seisenberger, Swansea University, UK http://www.cs.swan.ac.uk/~csmona/ -- CALCO-jnr 2009: http://calco09.dimi.uniud.it/calcojnr.html CALCO 2009: http://www.dimi.uniud.it/calco09/ ========================================================================= 10. (from Olivier Bournez) Reachability Problems 2009 - Deadline Extended: May 11, 2009: ++++++++++ Deadline Extended : May 11, 2009 +++++++++++++ LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 (September 23-25, 2009, Ecole Polytechnique, France) --------------------------------------------------- ==== Deadline for submissions: May 11, 2009 ==== ==== Proceedings will be published in the ==== ==== Springer LNCS series ==== --------------------------------------------------- http://www.lix.polytechnique.fr/rp09 The annual fall colloquium organized by the Computer Science Laboratory of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009. Reachability Problems RP'2009 will take place at Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris). Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. The Reachability Problems Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Verification Invited Speakers: ================ - Ahmed Bouajjani ( University of Paris 7 ) - Thomas A. Henzinger ( EPFL in Lausanne ) - Oded Maler ( VERIMAG ) - Alexander Shen ( CNRS Marseille ) - Moshe Y. Vardi ( Rice University ) Submissions: ============ Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. Topics of interest include (but are not limited to): Reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable problems; predictability in iterative maps and new computational paradigms. Authors are invited to submit a draft of a full paper with at most 12 pages formatted according to LNCS guidelines. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. Proceedings ============= The proceedings will be published in the Springer Verlag LNCS series and distributed during the conference. Selected papers will be invited to the special issue of a high quality journal devoted to RP 2009. Important dates: ================ - Submission deadline EXTENDED: 11 May, 2009 - Notification: June 16, 2009 - Final version: June 30, 2009 - Workshop: September 23-25, 2009 Program Committee: ================ - Parosh Aziz Abdulla, Uppsala - Luca de Alfaro, Santa Cruz - Eugene Asarin, Paris - Vincent Blondel, Louvain - Bernard Boigelot, Liege - Ahmed Bouajjani , Paris - Olivier Bournez, Palaiseau - Cristian S. Calude, Auckland - Javier Esparza, Munchen - Laurent Fribourg, Cachan - Vesa Halava, Turku - Franjo Ivancic, Princeton - Oscar Ibarra, Santa Barbara - Juhani Karkumaki, Turku - Alexei Lisitsa, Liverpool - Maurice Margenstern, Metz - Igor Potapov, Liverpool - Colin Stirling, Edinburgh - Wolfgang Thomas, Aachen - Hsu-Chun Yen, Taipei Workshop Organizers: ==================== - Olivier Bournez (Ecole Polytechnique) - Igor Potapov (University of Liverpool) with the help of the local organizers of the 2009 edition of the LIX colloquium. Contact: ================ 3rd Workshop on Reachability Problems 2009 - RP'09 Olivier Bournez: [email protected] Igor Potapov: [email protected] http://www.lix.polytechnique.fr/rp09 ========================================================================= 11. (from John Rogers) CCC 2009: Registration open: Dear Colleagues, I am writing to announce that registration is now open for the 2009 IEEE Conference on Computational Complexity. The deadline for early registration is Sunday, May 31st. Please see the conference web site at computationalcomplexity.org for conference dates and details, including the list of accepted papers. John Rogers Publicity Chair CCC [email protected] ========================================================================= 12. (from Susanna Donatelli) Call for Proposals for Workshops and Tutorials - Petri nets 2010 - Braga, Portugal: ********************************************************** **** Call for Proposals for Workshops (and Tutorials) **** *********** Petri nets 2010 ************* ********************************************************** The 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri nets 2010) will take place in Braga, Portugal, (as usual in the full last week of June). For this major event, we are inviting people to submit proposals for both tutorials and workshops. - The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to Petri nets and other models of concurrency. - Proposals for high-quality tutorials on Petri nets or related to Petri nets, from academic research to industrial applications, are solicited. Tutorial levels may be introductory, intermediate, or advanced. A tutorial's basic purpose is to introduce researchers to a new or emerging area or to provide deeper insight into a particular topic. Tutorials can be one day or half a day. All workshop/tutorial proposals must be written in English. (1) Workshop Proposal Requirements Proposals for workshops should be no more than 3 pages in length and submitted to the W&T chairs before June 1st 2009 (see below). A workshop proposal should include a draft call-for-papers containing at least the following information: - Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. - A brief description of why and to whom the workshop is of interest. - The names and contact information (web page, email address) of the Program Committee (PC) chairs, i.e., the workshop organizers. Moreover, a tentative list of workshop PC members should be given. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: - A list of related workshops or similar events to be held in the same year or within the previous two years. - A description of the qualifications of the workshop organizers with respect to organizing this workshop (e.g., papers published in the proposed topic area, previous workshop organization, other relevant information). Each workshop program committee (in particular the chairs) will be responsible for the following: - Producing a web page and a "Call for Papers/Participation" for their workshop. - Providing a brief description of the workshop for the Petri Nets conference web page and program and providing a workshop web page the Petri Nets conference can refer to for details. - Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. - All advertising of the workshop beyond web page advertising. - Appointing session chairs, etc. The local organization of the Petri net conference will take care of the production of each (informal) workshop proceedings. After the conference we will invite a number of the best workshop papers to contribute to a Joint Post-proceedings, to be published in the new subseries of Lecture Notes in Computer Science (LNCS) entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC), i.e., a selection of papers from all workshops will be combined into a single volume. The revised papers will go through an additional round of reviewing. Note that the W&T chairs will be responsible for liaison with the publisher, organising the additional round of reviewing and the final selection. The workshop chairs will play an important role in suggesting papers and the final selection. See www.springer.com/lncs/topnoc for more information about ToPNoC. (2) Tutorial Proposal Requirements Proposals for tutorials should be no more than 3 pages in length. Expressions of interest can be sent before June 1st 2009. Full tutorial proposals are due January 5th 2010. A full proposal should contain the following information: - Title and brief technical description of the tutorial. - A brief description of why and to whom the tutorial is of interest for people attending the Petri net conference, i.e., describe the expected audience and the relevance for this audience. - A list of previous venues at which this tutorial (or similar tutorials) has been presented. - The names and contact information (web page, email address) of the presenters. - A brief biography (approx. 150 words) of each presenter. The local Petri net conference organization will take care of the production of the tutorial notes based on the material provided by the presenters. Submitting a Workshop or Tutorial Proposal Expressions of interest and full proposals may be submitted in any one of the following formats: ASCII text, PostScript, PDF or Microsoft Word. Please send your proposals and any inquiries by electronic mail to both chairs of the Workshop & Tutorial Committee: - Susanna Donatelli E-mail: [email protected] - Jetty Kleijn E-mail: [email protected] Dates: - Deadline workshop proposals: before June 1st 2009 - Notification of decision workshops: August 1st 2009 - Expressions of interest tutorials: before June 1st 2009 - Deadline full tutorial proposal: January 5th 2010 - Notification of decision tutorials: February 1st 2010 - Workshop/tutorial (if accepted): Monday or Tuesday of the conference week (June 2010) W&T committee Petri Nets 2010 - Wil van der Aalst E-mail: [email protected] - Jonathan Billington E-mail: [email protected] - Susanna Donatelli E-mail: [email protected] - Jetty Kleijn E-mail: [email protected] ---- ========================================================================= Items for the next CiE Newsletter should be sent to [email protected] to arrive by May 11, 2009 ------------------------------------------------------------------------- _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
