Ivan Lanese's Home Page
Summer schools
I attended the following summer schools:
3-14 March 2003:
Bertinoro International Spring School 2003
7-11 July 2003:
EEF Global Computing Summer School 2003
in Edinburgh
1-20 September 2003:
Advanced School on Mobile Computing 2003
in Pisa (at Scuola Normale Superiore)
22-27 September 2003:
3rd International School on Formal Methods: Software Architecture
in Bertinoro
9-11 August 2004:
School on Category Theory in Computer Science (CTCS'04)
in Copenhagen
10-23 July 2005:
Lipari School 2005 on Formal Methods: Theory and Practice
Ivan Lanese (
lanese@cs.unibo.it
)
