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

CONCUR 2001--Call for participation


			CALL FOR PARTICIPATION

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

	  Early registration deadline: Monday, 23 July 2001
		   URL: http://concur01.cs.auc.dk/
		      E-mail: concur01@cs.auc.dk


AIMS AND SCOPE OF THE CONFERENCE
 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. 

 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.

INVITED SPEAKERS
 Bengt Jonsson (Uppsala University, S): 
   Channel Representations in Protocol Verification
 Robin Milner (University of Cambridge, GB): 
   Bigraphical Reactive Systems
 Shankar Sastry (University of California, Berkeley, USA):
   Control of Networks of Unmanned Vehicles
 Steve Schneider (Royal Holloway, University of London, GB):
   Process Algebra and Security

TUTORIAL SESSIONS
 Holger Hermanns and Joost-Pieter Katoen (Twente University, NL):  
   Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains  
 John Hatcliff (Kansas State, USA):
   Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software

AFFILIATED WORKSHOPS

 EXPRESS'01 (Expressiveness in Concurrency), 20 August 2001 
    (contact persons: Luca Aceto, Email: luca@cs.auc.dk, and 
     Prakash Panangaden, Email: prakash@cs.mcgill.ca)
    URL: http://www.cs.auc.dk/~luca/EXPRESS/express01.html
 FATES'01 (Formal Approaches to Testing of Software), 25 August 2001 
    (contact persons: Jan Tretmans, Email: tretmans@cs.utwente.nl, and 
     Ed Brinksma, Email: brinksma@cs.utwente.nl)
    URL: http://fmt.cs.utwente.nl/conferences/fates/
 GETCO 2001 (Geometric and Topological Methods in Concurrency),  25 August 2001  
    (contact person: Martin Raussen, Email: raussen@math.auc.dk)
    URL: http://www.math.auc.dk/~raussen/GETCO/getco.html
 MTCS'01 (Models for Time-Critical Systems), 25 August 2001
    (contact persons: Flavio Corradini, Email: flavio@univaq.it, and 
     Walter Vogler, Email: vogler@informatik.uni-augsburg.de)
    URL: http://univaq.it/~mtcs2001/
 Workshop on Analysis Tools for Real-Time Systems, 20 August 2001
    (contact person: Paul Pettersson, Email: Paul.Pettersson@docs.uu.se)
    URL: http://www.docs.uu.se/~paupet/rttools-2001/

CONFERENCE PROGRAMME AND REGISTRATION INFORMATION
 See the URL http://concur01.cs.auc.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




--------------097CF6BF7D420E34AF72633F--