| Dates of leave | Location | Meeting |
|---|---|---|
| 2009-09-28/---30 | Cremona (Italy) | ICTCS |
| 2009-08-10/---19 | Los Angeles (USA) | LICS |
| 2009-07-05/---10 | Rodi (Greece) | ICALP |
| 2009-04-03/---06 | Cambridge (UK) | PSSL |
| 2009-03-23/---30 | York (UK) | ETAPS |
| 2008-09-07/---10 | Milano (italy) | WCC |
| 2008-06-18/---21 | Passau (Germany) | IFIP WG 2.11 |
| 2008-02-20/---23 | Genova (italy) | Incontro AILA |
| 2007-10-02/---05 | Roma (Italy) | ICTCS |
| 2007-08-26/--09-01 | Gargnano (Italy) | Scuola AILA |
| 2007-07-08/---14 | Wroclaw (Poland) | ICALP |
| 2007-06-27/---30 | Paris (France) | Longo Colloquium |
| 2007-04-10/---17 | New Orleans (USA) | MFPS |
| 2006-11-28/---29 | Sophia-Antipolis (France) | BIGG |
| 2006-09-06/---09 | Edinburgh (UK) | Plotkin Colloquium |
| 2006-07-10/---14 | Venice (Italy) | ICALP |
| 2006-01-24/---28 | Dagstuhl (Germany) | IFIP WG 2.11 |
| 2009-10-12/---14 | Siena (Italy) | ICTCS |
| 2005-09-27/--10-02 | Tallinn (Estonia) | GPCE |
| 2005-04-04/---10 | Edinburhg (UK) | ETAPS |
| 2005-02-20/---25 | Dagsthul (Germany) | FGC |