Forwarded message from [concur2k@cse.psu.edu] sent originally on Sat, 1 Jan 2000 19:46:23 +0800 (GMT-8): : FIRST 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 : : (apologies for multiple copies) : : 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

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html