[TYPES/announce] EXPRESS'07 - PROGRAMME & CALL FOR PARTICIPATION

[hilde@itu.dk]

=================================================================
         CALL FOR PARTICIPATION - PROGRAMME AVAILABLE
                          EXPRESS'07
              http://express07.pps.jussieu.fr/

  14th International Workshop on Expressiveness in Concurrency
                Monday, 3 September, 2007.
           Faculty of Social and Human Sciences,
       Universidade Nova de Lisboa, Lisbon, Portugal
           (5 min. from Gulbenkian Foundation)

                Affiliated with CONCUR 2007
      !!! Early registration open until July 31st. !!!
          Register at http://concur07.di.fc.ul.pt/
=================================================================

SCOPE:
The EXPRESS workshops aim at bringing together researchers interested
in the relations between various formal systems, particularly in the
field of Concurrency. More specifically, they focus on the comparison
between programming concepts (such as concurrent, functional,
imperative, logic and object-oriented programming) and between
mathematical models of computation (such as process algebras, Petri
nets, event structures, modal logics, rewrite systems etc.) on the
basis of their relative expressive power.

INVITED SPEAKERS:
* Jos Baeten, Eindhoven.
* Cédric Fournet, Cambridge (Joint with SecCo 2007 workshop).
* François Laroussinie, Cachan.
* Iain Phillips, London (Joint with GT-VC 2007 workshop).

MORE INFORMATION AND PROGRAMME:
http://express07.pps.jussieu.fr/

=================================================================