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

CONCUR 2000: Call for Papers

                               CONCUR 2000
          11th International Conference on Concurrency Theory
            State College, Pennsylvania, August 22-25, 2000

                   URL http://www.cse.psu.edu/concur2000/
                         E-mail concur2000@cse.psu.edu

SCOPE 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.

Topics include (but are not limited to) concurrency related aspects
of: models of computation and semantic domains, process algebras,
Petri nets, event structures, real-time systems, hybrid systems,
decidability, model-checking, verification techniques, refinement
techniques, term and graph rewriting, distributed programming, logic
constraint programming, object-oriented programming, typing systems
and algorithms, case studies, tools and environments for programming
and verification.

PROGRAM COMMITTEE
 Samson Abramsky (Edinburgh University, UK)
 Jos C. M. Baeten (University of Eindhoven, NL)
 Eike Best (Oldenburg University, Germany)
 Michele Boreale (University of Florence, Italy)
 Steve Brookes (Carnegie Mellon University, USA)
 Luca Cardelli (Microsoft, UK)
 Ilaria Castellani (INRIA, France)
 Philippe Darondeau (INRIA, France)
 Thomas Henzinger (UC Berkeley, USA)
 Radha Jagadeesan (Loyola University, USA)
 Marta Kwiatkowska (University of Birmingham, UK)
 Dale Miller (Co-chair, Penn State University, USA)
 Robin Milner (Cambridge University, UK)
 Uwe Nestmann (BRICS, Denmark)
 Catuscia Palamidessi (Co-chair, Penn State University, USA)
 Prakash Panangaden (McGill University, Canada)
 John Reppy (Bell Labs, USA)
 Vladimiro Sassone (University of Catania, Italy)
 Moshe Y. Vardi (Rice University, USA)
 Wang Yi (Uppsala University, Sweden)

ORGANIZATION
 Dale Miller and Catuscia Palamidessi (Co-chairs, Penn State University, USA) 

SUBMISSIONS
Submissions will be evaluated by the Program Committee for inclusion
in the proceedings, which will be published by Springer-Verlag. Papers
must contain original contributions, be clearly written, and include
appropriate reference to and comparison with related work. Papers (of
at most 15 pages, accompanied by a one-page abstract) should preferably
be submitted electronically as uuencoded PostScript files at the
address given below. The mailing addresses (both postal and
electronic), telephone number and fax number (if available) of the
author to whom correspondence should be sent should be clearly
indicated. In case of hardcopy submissions, send five copies to the
address below.

CALL FOR SATELLITE WORKSHOPS
The CONCUR 2000 conference will host several satellite workshops, which
will take place on Monday August 21 and Saturday August 26. Proposals 
for satellites are solicited. They should contain a brief description 
of the scope and organization of the workshop, and be sent to the 
workshop chair Uwe Nestmann <uwe@cs.auc.dk>.

IMPORTANT DATES
   Deadline for submission: 3 March 2000
   Notification of acceptance: 1 May 2000
   Final version due: 29 May 2000
   Extended deadline for satellite workshop proposals: 10 January 2000

ADDRESSES
Dale Miller and Catuscia Palamidessi
Computer Science and Engineering Department
220 Pond Lab, Penn State University
University Park, PA 16802
Phone: +1-814-865-9505, FAX: +1-814-865-3176 
URL http://www.cse.psu.edu/concur2000/
E-mail concur2000@cse.psu.edu