[om-a] CONCUR 2004: Final call for participation
concur2004 at doc.ic.ac.uk
Fri Aug 20 19:12:21 CEST 2004
New information since previous call: workshop programmes now available
(except Infinity, which will be published very shortly). See website.
Final Call for Participation
CONCUR 2004, Royal Society, London, UK
31 August - 3 September 2004
Registration is now open for Concur 2004, organised by Philippa
Gardner, Nobuko Yoshida and Iain Phillips, and held at the Royal
Society in London. The event will also feature eleven associated
workshops organised by Vladimiro Sassone and Julian Rathke:
Pre-conference: SOS 2004, EXPRESS 2004, WOOD 2004,
FOCLASA 2004, SECCO 2004, BIOCONCUR 2004
Post-conference: Global Ubiquitous Computing, PDMC 2004,
AVoCS 2004, PASM 2004, Infinity 2004
Concur invited talks
* David Harel (Weizmann Institute)
* Sriram K. Rajamani (Microsoft Research)
* Steve Brookes (Carnegie-Mellon) and Peter O'Hearn (Queen Mary
University of London)
* Bengt Jonsson (Uppsala)
- Main conference: 31 August - 3 September 2004
- Affiliated workshops: 30 August, 4 September 2004
Programme, abstracts of accepted papers and registration facilities
are available at the conference's web site:
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):
- Basic models and logics of concurrent and distributed
- Specialised or enriched models.
- Related verification techniques and tools.
- Related programming models.
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce