Advanced schools and short courses

• IC-EATCS Annual Advanced School: Models and Paradigms for Concurrency   CISM, Udine, Italy, 1997
• DEA ``Sémantique, preuves et programmation''   : AA 1998-99, 1999-00, 2000-01.
• SNDIS'99   : Scuola Nazionale dei Dottorati di Informatica delle Facoltà di Scienze, Bertinoro, Italy, May 1999.
• SFM-01:PA   : International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras, Bertinoro, Italy, July 2001.
• BASICS'01   : Summer School and Workshop on Basic Studies in Computing Science, Beijng, October 2001.  
• TYPES'02 school   : Theory and Practice of Formal Proofs Giens, France, September 2-13, 2002
• WSSA school  : International Winter School on Semantics and Applications, 21-31 July, 2003 Montevideo, Uruguay  
• EEF school   : Global Computing Summer School Edinburgh, Scotland, 7th to 11th July 2003  
• Mobile computing school   : Advanced School on Mobile Computing, Pisa, Italy, 1st to 28th September 2003  
• TiC school     : International Summer School on Emerging Trends in Concurrency, University of Bologna Residential Center Bertinoro, Italy  
• GLOBAN school     : The Global Computing Approach to Analysis of Systems International Summer School at Technical University of Denmark, August 21-25, 2006