Advanced schools and short courses
IC-EATCS Annual Advanced School:
Models and Paradigms for Concurrency
CISM, Udine, Italy,
DEA ``Sémantique, preuves et programmation''
: AA 1998-99, 1999-00, 2000-01.
: Scuola Nazionale dei Dottorati di Informatica
Bertinoro, Italy, May 1999.
: International School on
Formal Methods for the Design of Computer, Communication and
Software Systems: Process Algebras,
Bertinoro, Italy, July 2001.
Summer School and Workshop on Basic Studies
in Computing Science, Beijng, October 2001.
Theory and Practice of Formal Proofs
Giens, France, September 2-13, 2002
: International Winter School on Semantics and Applications, 21-31 July, 2003
: 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
: International Summer School on
Emerging Trends in Concurrency, University of Bologna Residential Center
: The Global Computing Approach to Analysis of Systems
International Summer School at Technical University of Denmark, August 21-25, 2006
:Bertinoro international Spring School
1-12 March 2010
University Residential Center
Bertinoro (Forli-Cesena), Italy
davide.sangiorgi AT cs DOT unibo DOT it
Last modified: Fri Nov 6 13:22:22 CET 2009