[TYPES] Algebraic Process Calculi: Call for Participation

Wan Fokkink wanf at cs.vu.nl
Fri Mar 18 00:32:17 EST 2005


The workshop

   Algebraic Process Calculi: The First Twenty Five Years and Beyond

will take place at the University of Bologna, Residential Center,
Bertinoro (Forl=EC), Italy, in the period August 1-5, 2005.

The purpose of this meeting is to celebrate the first twenty five
years of research in the field of algebraic process calculi by
reflecting on the achievements within this field, and sowing the seeds
for its healthy future development by highlighting the most important
open problems and future directions in the field, and stimulating
international cooperation. Special emphasis will also be given to new
application areas.

Participation to the workshop is by invitation only. There is still
a limited number of places available. If you are interested to take
part, you are kindly requested to send an email to Andy Gordon
(adg at microsoft.com) and Luca Aceto (luca at cs.aau.dk) to express your
interest, no later than April 10, 2005.

For further information on the workshop and on its location, the
current list of participants, and (shortly) a preliminary program,
please consult the URL

=09     http://www.cs.auc.dk/~luca/BICI/PA-05/

where updated information on this event is available.

The fee for registration and accommodation is yet to be fixed, but we
anticipate it will be around 500-600 euros, for a stay from July 31
until August 6.

Hoping to see you in Bertinoro,

The organizing committee:
Luca Aceto (Reykjavik University, BRICS and Aalborg University)
Mario Bravetti (Universit=E0 di Bologna)
Jim Davies (Oxford University)
Wan Fokkink (Free University Amsterdam)
Andy Gordon (Microsoft Research)
Joost-Pieter Katoen (RWTH Aachen University)
Faron Moller (University of Wales Swansea)
Steve Schneider (University of Surrey)


More information about the Types-list mailing list