[TYPES/announce] CONCUR 07: Call For Participation

[Luís Caires]

                 CALL FOR PARTICIPATION
                       CONCUR'07
18th International Conference on Concurrency Theory
               September 3th - 8th, 2007
                    Lisbon, Portugal

      !!! Early registration open until July 31st. !!!

CONCUR 2007, the 18th International Conference on Concurrency Theory,
will take place in the Gulbenkian Foundation, Lisbon, Portugal,
September 4 - 7, 2007. The purpose of the CONCUR conferences is to
bring together researchers working on the theory of concurrency and
its applications. Check the web site for all details about the
scientific program, social program, and registration instructions.

                  http://concur07.di.fc.ul.pt/

INVITED LECTURES
================

* Luca Aceto, Reykjavik University, Iceland

* Peter O'Hearn, University of London, UK

* Fred B. Schneider, Cornell University, USA

INVITED TUTORIALS
=================

* Vincent Danos, Université de Paris 7, France

* José Fiadeiro, University of Leicester, UK

AFFILIATED WORKSHOPS
====================

Expressiveness in Concurrency (EXPRESS)
3rd September 2007

Graph Transformation for Verification and Concurrency (GT-VC)
3rd September 2007

Security Issues in Concurrency (SECCO)
3rd September 2007

Verification and Analysis of Multi-threaded Java-like Programs (VAMP)
3rd September 2007

Applying Concurrency Research in Industry (IFIP WG 1.8)
7th September 2007

Foundations of Coordination Languages and Software Architectures  
(FOCLASA)
8th September 2007

 From Biology To Concurrency and back (FBTC)
8th September 2007

International Workshop on Verification of Infinite-State Systems  
(INFINITY)
8th September 2007

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070711/efc8c138/attachment.htm