[TYPES/announce] Concur 2007 Final CFP

[Luís Caires]

                          CALL FOR PAPERS
                             CONCUR'07
         18th International Conference on Concurrency Theory
                     September 4 - 7, 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 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 is
accessible from the Concur 2007 web site.

Invited Speakers
================
* Luca Aceto, Reykjavik University, Iceland
* 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 6, 2007
Paper Submission: April 9, 2007 (STRICT)
Notification: May 27, 2007
Final version due: June 9, 2007.

Affiliated Workshops
====================

Expressiveness in Concurrency (EXPRESS)
Chairs: Roberto Amadio and Thomas Hildebrandt
September 3, 2007
http://express07.pps.jussieu.fr/

Applying Concurrency Research in Industry (IFIP WG 1.8 Concurrency  
Theory Meeting)
Organizers: Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir,  
and Uwe Nestmann
September 7, 2007
http://www.ru.is/luca/ifipworkshop/

 From Biology To Concurrency and back (FBTC)
Organizers: Emanuela Merelli and Nicola Cannata
September 8, 2007
http://cosy.cs.unicam.it/FBTC/

Foundations of Coordination Languages and Software Architectures  
(FOCLASA)
Organizers: Carlos Canal, Pascal Poizat, and Mirko Viroli
September 8, 2007
http://foclasa07.lcc.uma.es/

Graph Transformation for Verification and Concurrency (GT-VC)
Organizers: Barbara König, Reiko Heckel, and Arend Rensink
September 3, 2007
http://www.ti.inf.uni-due.de/events/gtvc2007/

Security Issues in Concurrency (SECCO)
Organizers: Daniele Gorla and Catuscia Palamidessi
September 3, 2007
http://www.dsi.uniroma1.it/~gorla/SecCo07/

Verification and Analysis of Multi-threaded Java-like Programs (VAMP)
Organizers: Christian Haack, Joe Kiniry, Marieke Huisman, and Erik Poll
September 3, 2007
http://www.cs.ru.nl/~chaack/VAMP07/

Program Committee
=================
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
Luca de Alfaro, University of California at Santa Cruz, USA
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
Antonio Ravara (workshops organisation), Universidade Tecnica de  
Lisboa, Portugal


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070321/1513046b/attachment.htm