CONCUR 2000: Second Call for Papers

• Subject: CONCUR 2000: Second Call for Papers
• From: Concur2000 <concur2k@cse.psu.edu>
• Date: Sat, 19 Feb 2000 16:15:02 -0500 (EST)
• CC: concur2000@cse.psu.edu

			     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
		  Submission deadline: 3 March 2000

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 be submitted electronically via the web
 submission form at on the Conference's web site.  Alternatively,
 submission can be made by emailing a uuencoded PostScript files to
 concur2000@cse.psu.edu or by post by sending five copies of the paper
 to the mailing addresses below.  All submissions need to be
 accompanied by the email address, telephone number, and fax number
 (if available) of the author to whom correspondence should be sent.

IMPORTANT DATES
 Deadline for submission: 3 March 2000
 Notification of acceptance: 1 May 2000
 Final version due: 29 May 2000

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)

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

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.

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

• Prev: ESSLLI-2000
• Next: CP2000: Final Call for Papers
• Index: AMAST Mail 2000