[TYPES] CONCUR 2004: First call for participation

Concur 2004 concur2004 at doc.ic.ac.uk
Thu Jul 1 21:26:03 EDT 2004


I enclose the first call for participation for Concur 2004.
There was a record number of papers submitted to Concur this year
and the quality was very high, giving the programme committee some
difficult choices.  The quality of the eleven associated workshops
and the invited speakers suggests that we are going to have an
excellent meeting.

Please note that early registration is until **30th July**.

Best wishes,
Iain Phillips
--------------------------------------------------------------------
                First 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)
   Concur tutorials
     * Steve Brookes (Carnegie-Mellon) and Peter O'Hearn (Queen Mary
       University of London)
     * Bengt Jonsson (Uppsala)

   Important dates
   - Main conference: 31 August - 3 September 2004
   - Affiliated workshops: 30 August, 4 September 2004
   - Early registration: 30 July 2004

   Abstracts of accepted papers and registration facilities
   are available at the conference's web site:

               http://www.doc.ic.ac.uk/concur2004

   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
     computation.
   - Specialised or enriched models.
   - Related verification techniques and tools.
   - Related programming models.




More information about the Types-list mailing list