[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS CONCUR'07 18th International Conference on Concurrency Theory September 4th - 7th, 2007 Lisbon, Portugal http://concur07.di.fc.ul.pt/ CONCUR 2007, the 18th International Conference on Concurrency Theory, will take place in Lisbon, Portugal, September 4 - 7, 2007. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems. The principal topics include (but are not limited to): * Basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics). * Specialized models or classes of systems (such as circuits, synchronous systems, real time and hybrid systems, stochastic systems, data bases, mobile and migrating systems, parametric protocols, biologically inspired systems). * Related verification techniques and tools (such as state-space exploration, model-checking, synthesis, abstraction, automated deduction, testing). * Related programming models (such as distributed, constraints or object oriented, graph rewriting, as well as associated type systems, static analyses, and abstract machines). Authors are invited to submit an extended abstract; submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Simultaneous submission to journals or other conferences with published proceedings is not allowed. Authors are required to submit a paper title and a short abstract before submitting the extended abstract. The short abstract should not exceed 200 words, and it should be entered in ASCII at the conference web electronic site. The extended abstract should not exceed 15 pages, and it should be formatted according to Springer-Verlag LNCS guidelines. If necessary, the extended abstract may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. The link for submission will be accessible from the Concur 2007 web site. Invited Speakers ================ * Luca Aceto, Aalborg University, Denmark * Peter O'Hearn, Queen Mary University of London, UK * Fred B. Schneider, Cornell University, USA Invited Tutorials ================= * Vincent Danos, Universite Paris 7, France * Jose Fiadeiro, University of Leicester, UK Important Dates =============== Abstract Submission: April 2, 2006 Paper Submission: April 9, 2006 (STRICT) Notification: May 27, 2006 Final version due: June 9, 2006. Affiliated Workshops ==================== Seven workshops will be affiliated with CONCUR 2007: Expressiveness in Concurrency (EXPRESS), Applying Concurrency Research in Industry (IFIP WG 1.8), From Biology To Concurrency and back (FBTC), Foundations of Coordination Languages and Software Architectures (FOCLASA), Graph Transformations in Verification and Concurrency (GT-VC), Security Issues in Concurrency (SECCO), Verification and Analysis of Multi-threaded Java-like Programs (VAMP). Program Committee ================= Luca de Alfaro, University of California at Santa Cruz, USA Roberto Amadio, Universite Paris 7, France Jos Baeten, Eindhoven University of Technology, the Netherlands Bruno Blanchet, Ecole Normale Superieure de Paris, France Franck van Breugel, York University, Canada Luis Caires (co-chair), Universidade Nova de Lisboa, Portugal Luca Cardelli, Microsoft Research Cambridge, UK Wan Fokkink, Free University of Amsterdam, the Netherlands Daniel Hirschkoff, Ecole Normale Superieure de Lyon, France Radha Jagadeesan, DePaul University, USA Alan Jeffrey, Bell Labs, Alcatel-Lucent, USA Antonin Kucera, Masaryk University in Brno, Czech Republic Faron Moller, University of Wales Swansea, UK Ugo Montanari, University of Pisa, Italy Uwe Nestmann, Technical University of Berlin, Germany Mogens Nielsen, University of Aarhus, Denmark Catuscia Palamidessi, INRIA Futurs Saclay and LIX, France Davide Sangiorgi, Universita di Bologna, Italy Vladimiro Sassone, University of Southampton, UK Peter Van Roy, Catholic University of Louvain, Belgium Vasco T. Vasconcelos (co-chair), Universidade de Lisboa, Portugal Hagen Volzer, University of Lubeck, Germany Nobuko Yoshida, Imperial College London, UK CONCUR Steering Committee ========================= Roberto Amadio, Universite Paris 7, France Jos Baeten, Eindhoven University of Technology, the Netherlands Eike Best, University of Oldenburg University, Germany Kim Larsen, Aalborg University, Denmark Ugo Montanari, University of Pisa, Italy Scott Smolka, SUNY Stony Brook, USA CONCUR 2007 Organizing Committee ================================ Vasco T. Vasconcelos, Universidade de Lisboa, Portugal Luis Caires, Universidade Nova de Lisboa, Portugal Francisco Martins (workshops organisation), Universidade de Lisboa, Portugal António Ravara (workshops organisation), Instituto Superior Tecnico, Portugal