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

CONCUR 2001 FINAL CFP & EXTENDED DEADLINE


			FINAL CALL FOR PAPERS 
			
	       NOTE EXTENDED DEADLINE AND BEST PAPER AWARD!

			     CONCUR 2001
	 12th International Conference on Concurrency Theory
		 Aalborg, Denmark, 21-24 August, 2001

		   URL: http://concur01.cs.auc.dk/
		      E-mail: concur01@cs.auc.dk
	      Extended submission deadline: Sunday, 25 March 2001 (firm)

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.

BEST PAPER AWARD 
 A 500 EURO award will be given to the best paper, as judged by the program committee. 
 The program committee may decline to make the award or may split it among several papers.

INVITED SPEAKERS
 Bengt Jonsson (Uppsala University, S)
 Robin Milner (University of Cambridge, GB)
 Shankar Sastry (University of California, Berkeley, USA)
 Steve Schneider (Royal Holloway, University of London, GB)

TUTORIAL SESSIONS
 Holger Hermanns and Joost-Pieter Katoen (Twente University, NL)   
 John Hatcliff (Kansas State, USA) 

AFFILIATED WORKSHOPS

 EXPRESS'01 (Expressiveness in Concurrency) 
    (contact persons: Luca Aceto, Email: luca@cs.auc.dk, and 
     Prakash Panangaden, Email: prakash@cs.mcgill.ca)
 FATES'01 (Formal Approaches to Testing of Software) 
    (contact persons: Jan Tretmans, Email: tretmans@cs.utwente.nl, and 
     Ed Brinksma, Email: brinksma@cs.utwente.nl)
 GETCO 2001 (Geometric and Topological Methods in Concurrency) 
    (contact person: Martin Raussen, Email: raussen@math.auc.dk)
 Integration of Model Checking and Theorem Proving 
    (contact person: Thomas Noll, Email: noll@cs.rwth-aachen.de)
 MTCS'01 (Models for Time-Critical Systems) 
    (contact persons: Flavio Corradini, Email: flavio@univaq.it, and 
     Walter Vogler, Email: vogler@informatik.uni-augsburg.de)
 Workshop on Analysis Tools for Real-Time Systems
    (contact person: Paul Pettersson, Email: Paul.Pettersson@docs.uu.se)
 
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 on the Conference's web site.  

Simultaneous submission of papers to any journal or to another
 conference with published proceedings is not allowed.

IMPORTANT DATES
 Deadline for submission: Sunday, 25 March, 2001 (Extended Deadline. Firm!)
 Notification of acceptance: Monday, 14 May, 2001
 Final version due: Thursday, 7 June, 2001

PROGRAM COMMITTEE 
 Rajeev Alur (University of Pennsylvania, USA)
 Frank de Boer (Utrecht University, NL)  
 Javier Esparza (Technische Universität München, D)
 Wan Fokkink (CWI, NL)
 Roberto Gorrieri (University of Bologna, I) 
 Petr Jancar (Technical University of Ostrava, CZ)
 Orna Kupferman (Hebrew University, IL)
 Marta Kwiatkowska (University of Birmingham, GB)          
 Kim G. Larsen (co-chair, BRICS, Aalborg University, DK)
 Oded Maler (Verimag, F)
 Ugo Montanari (University of Pisa, I) 
 Uwe Nestmann (Ecole Polytechnique Fédérale de Lausanne, CH)
 Mogens Nielsen (co-chair, BRICS, University of Aarhus, DK) 
 Ernst-Rüdiger Olderog (University of Oldenburg, D)
 Catuscia Palamidessi (Penn State, USA)
 K.V.S. Prasad (Chalmers University, S)
 Philippe Schnoebelen (ENS-Cachan, F)
 Björn Victor (Uppsala University, S)
 Walter Vogler (Universität Augsburg, D)
 Igor Walukiewicz (Warsaw University, PL)
 Alex Yakovlev (University of Newcastle, GB)

ORGANIZING COMMITTEE
 Anna Ingólfsdóttir (Chair), BRICS, Aalborg University, DK 
 Luca Aceto, BRICS, Aalborg University, DK
 Arne Skou, BRICS, Aalborg University, DK

WORKSHOP COORDINATOR 
 Hans Hüttel, BRICS, Aalborg University, DK




ADDRESSES
 Kim G. Larsen                                Mogens Nielsen
 BRICS                                        BRICS
 Department of Computer Science               Department of Computer Science
 Aalborg University                           University of Aarhus 
 Fr. Bajersvej 7E                             Ny Munkegade, Building 540
 9220 Aalborg East, Denmark                   8000 Aarhus C, Denmark 
 Phone: +45-96358893                          Phone: +45-89423260
 Fax: +45-98159889                            Fax: +45-89423255 
 
 URL: http://concur01.cs.auc.dk/
 E-mail: concur01@cs.auc.dk



--------------C645587EA0027E323C27F1B3--