From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1304 Path: news.gmane.org!not-for-mail From: Concur2000 Newsgroups: gmane.science.mathematics.categories Subject: CONCUR 2000: Call for Papers Date: Mon, 20 Dec 1999 12:13:55 -0500 (EST) Message-ID: <199912201713.MAA12785__23077.3936295465$1241017737$gmane$org@alonzo.cse.psu.edu> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017737 30622 80.91.229.2 (29 Apr 2009 15:08:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:08:57 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Mon Dec 20 17:54:17 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id QAA27729 for categories-list; Mon, 20 Dec 1999 16:48:52 -0400 (AST) X-Authentication-Warning: alonzo.cse.psu.edu: concur2k set sender to concur2k@alonzo.cse.psu.edu using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 90 Xref: news.gmane.org gmane.science.mathematics.categories:1304 Archived-At: 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 . 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