Next: Bibliography Up: final Previous: Key Advances

Related activities during the period of the fellowship

During the course of the fellowship I have been involved as coinvestigator in the TCOOL project (ref. GR/L40403), I have supervised a Ph.D. (Russel Harmer, holding a Epsrc Ph.D. studentship, completed January 2000), I have organized the first workshop on Game Semantics (Imperial College 1996) and the 4th Theory and Formal Method workshop (Bath 1998).

Apart from presenting the published papers in conferences, I have been also invited abroad to give talks on several occasions ( Aahrus University 1996, Paris University (P7) 1996 and 1999, LICS Workshop on Games 98, Siena Workshop on Linear Logic 1998, Bejing workshop on topology and seamntics 1998, Daghstul school 1999 and 2001, Rome University 2000) and in several U.K. institutions.



Pasquale Malacaria
2001-04-24