[Prev][Next][Index][Thread]
CONCUR'02 Call for Participation
***************************************************************************
***************************************************************************
** **
** C O N C U R 2 0 0 2 **
** **
** **
** CALL FOR PARTICIPATION **
** **
** **
** !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! **
** !!!! DO NOT MISS THE EARLY PAYMENT - DUE ON JULY 8 !!!! **
** !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! **
** **
** The 13th International Conference on Concurrency Theory **
** **
** August 20-23, 2002, Brno, Czech Republic **
** **
** http://www.fi.muni.cz/concur2002/ **
** **
***************************************************************************
***************************************************************************
CONCUR 2002, the international conference on concurrency theory, will
be organised by the Faculty of Informatics of Masaryk University in
Brno, Czech Republic. 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.
CONCUR 2002 programme
*********************
consists of five invited talks, two tutorials, and 32 contributed
papers selected out of 101 submissions. CONCUR 2002 is accompanied
by seven satellite workshops and a special event called `Tools day'.
** A Detailed schedule of talks is now available at the conference **
** homepage. **
CONCUR 2002 Invited Talks:
***************************
* Amir Pnueli (keynote)
A Deductive Proof System for CTL*
* Vaughan Pratt (keynote)
Event-State Duality: The Enriched Case
* Wan Fokkink
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
* Alexander Rabinovich
Expressive Power of Temporal Logics
* Davide Sangiorgi
Types, or: Where's the difference between CCS and pi?
CONCUR 2002 Tutorials:
***********************
* Julian Bradfield
Introduction to modal and temporal mu-calculi
* Andrew D. Gordon
Types for Cryptographic Protocols
CONCUR 2002 Affiliated Workshops:
*********************************
* CMCIM'02 - Categorical Methods for Concurrency, Interaction,
and Mobility
* EXPRESS'02 - Expressiveness in Concurrency
* FATES'02 - Formal Approaches to Testing of Software
* FOCLASA'02 - Foundations of Coordination Languages and Software
Architectures
* INFINITY'02 - Verification of Infinite State Systems
* MTCS'02 - Models for Time-Critical Systems
* PDMC'02 - Parallel and Distributed Model Checking
TOOLS DAY
*********
gives a platform for presenting recent developments in the area of
software tools for technology transfer, and offers an opportunity to
discuss future trends and needs.
THE LIST OF INVITED SPEAKERS of the affiliated events includes
****************************
* Orna Grumberg (PDMC'02)
* Kim G. Larsen (Tools Day)
* Catuscia Palamidessi (EXPRESS'02)
* Colin Stirling (INFINITY'02)
* Moshe Y. Vardi (PDMC'02)
* Igor Walukiewicz (EXPRESS'02)
* Elaine Weyuker (FATES'02)
SOCIAL PROGRAMME
****************
* welcome reception
* conference dinner will be held in hotel SANTON (a nice view over
the Brno's dam)
* trip to Moravian Karst (Macocha abyss, Punkva caves, a boat ride down
the Punkva river,...)
REGISTRATION:
*************
There is only one registration form for the CONCUR 2002 conference and all
of its affiliated events. Various optional discounts are available, which
allow to participate at very low costs (especially suitable for PhD students).
The www registration form with detailed instructions and explanations is
available at
http://www.fi.muni.cz/concur2002
DEDLINE FOR EARLY PAYMENT is July 8, 2002
*************************
CONTACT PERSONS:
****************
Jan Staudek (OC), Antonin Kucera (PC)
Address: CONCUR 2002
Faculty of Informatics
Masaryk University
Botanicka 68a
60200 Brno
Czech Republic
tel: ++420-5-4151 2339
fax: ++420-5-4121 2568
e-mail: {staudek,kucera}@fi.muni.cz
MORE INFORMATION
****************
* http://www.fi.muni.cz/concur2002/
* concur02@fi.muni.cz
**************************************************************************
**************************************************************************
** **
** END OF THE MESSAGE **
** **
**************************************************************************
**************************************************************************