Welcome to the Concur 2004 home page
Important dates:
- Main conference: Tuesday 31 August - Friday 3 September 2004
- Submission closed.
- Notification: Monday 31 May 2004
- Final version: Tuesday 15 June 2004
- Workshops: Monday 30 August and Saturday 4 September 2004
Invited talks
- David Harel (Weizmann Institute): A Grand Challenge: Towards Full Reactive Modeling of a Multi-Cellular Animal
- Sriram K. Rajamani (Microsoft Research): Zing: Exploiting Program Structure for Model Checking Concurrent Software
- Steve Brookes (Carnegie-Mellon) and Peter O'Hearn (Queen Mary University of London): Resources, Concurrency and Local Reasoning
- Bengt Jonsson (Uppsala): Regular Model Checking
Conference venue: Royal Society, London
People:
- General chair: Philippa Gardner
- Programme Committee co-chairs: Philippa Gardner, Nobuko Yoshida
- Workshops organisers: Vladimiro Sassone, Julian Rathke
- Local organisers: Iain Phillips, Sergio Maffeis, Alex Ahern
Contact: concur2004 -at- doc.ic.ac.uk
| Thanks to our sponsors |
|
|
|
|
|
Concur 2004 is an official Appsem conference; members of Appsem can use Appsem money to travel to Concur 2004 and the associated workshops.