Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Advanced schools and short courses
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
davide.sangiorgi AT cs DOT unibo DOT it
Last modified: Wed Sep 6 15:08:00 CEST 2006