[TYPES] Re: CONCUR 2004: Second call for participation

[Concur 2004]

Please note that early registration for CONCUR is until **30th July**,
this coming FRIDAY.

Here's some addition information:

The Proms concerts will be on  at the Albert Hall (classical music), in 
particular Simon Rattle,
Berliner Philharmoniker on Sunday 5th September, you can get weekend 
tickets now, worth it.

Notting Hill Carnival, 28th/29th/30th.

August 30th is a bank holiday. You shouldn't have problems with 
transport, but perhaps worth
being a little careful.

CONCUR participants may attend the Foundations of Global Computing 
Workshop on Friday afternoon.

Best wishes,
Philippa


                Third 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

     Programme, 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.