[Prev][Next][Index][Thread]

CONCUR 2003 - Call for papers - Marseille, France


    **********************************************************
    **********************************************************
    ***                                                    ***
    ***                      CONCUR 2003                   ***
    ***                                                    ***
    ***                  September, 3-5, 2003              ***
    ***                   Marseille,  France               ***
    ***                                                    ***
    ***                    CALL FOR PAPERS                 ***
    ***                                                    ***
    **********************************************************
    **********************************************************


CONCUR 2003, the 14th international conference on concurrency theory, is
organized by the Laboratoire d'Informatique Fondamentale de Marseille (LIF).
The purpose of the CONCUR conferences is to bring together researchers,
developers and students in order to advance the theory of concurrency, and
promote its applications. Interest in this topic is continuously growing, as
a consequence of the importance and ubiquity of concurrent systems and their
applications, and of the scientific relevance of their foundations. 

Submissions are solicited in all areas of semantics, logics and verification
techniques for concurrent systems. 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 or enriched models (such as circuits, synchronous
       systems, real time and hybrid systems, stochastic systems, data
       bases, mobile and migrating systems, parametric protocols,
       security protocols). 
     - 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, abstract machines, and environments). 

Authors are invited to submit an extended abstract not exceeding 15 pages
electronically via the web submission form at the conference's web site.
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 submissions to other conferences are not allowed. 

Important dates 
     Submission: April 4, 2003  --> There will be no deadline extension.
     Notification: May 26, 2003 
     Final version: June 10, 2003 
     Workshops: September 2,6, and 7, 2003 

Program committee 
    Roberto Amadio, chair (Marseille)     Denis Lugiez, co-chair (Marseille) 
    David Basin (Zurich)                  Madhavan Mukund (Chennai) 
    Julian Bradfield (Edinburgh)          Doron Peled (Austin) 
    Witold Charatonik (Wroclaw)           Jean-François Raskin (Brussels) 
    Alessandro Cimatti (Trento)           Roberto Segala (Verona) 
    Philippa Gardner (London)             Eugene Stark (Stony-Brook) 
    Patrice Godefroid (Murray-Hill)       Peter Van Roy (Louvain-la-Neuve) 
    Holger Hermanns (Twente)              Thomas Wilke (Kiel) 
    Naoki Kobayashi (Tokyo)               Glynn Winskel (Cambridge) 
    Kim Larsen (Aalborg) 

Invited speakers 
    Albert Benveniste (Rennes)            Nancy Lynch (Boston) 
    Luca De Alfaro (Santa-Cruz)           Andre Scedrov (Philadelphia) 

         More informations available at the conference's web site
                     http://concur03.univ-mrs.fr