Next: Bibliography
Up: final Previous:
Key Advances
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