Scuole 1999

School in Logic and Computation, Heriot-Watt University, Edinburgh, 10-13 April 1999
Summer School in Semantics of Computation, BRICS, University of Aarhus, Denmark, May 3-7, 1999,
Scuola Nazionale dei Dottorati di Informatica delle Facoltà di Scienze, Bertinoro (Forli), Italy, May 17-28, 1999.
Summer School in Computational Biology, Lipari Island, Italy, June 20-July 3, 1999.
5th International Summer School on Distributed Computing, Certosa di Pontignano, Siena, Italy, June 21-27, 1999
8 Scuola Estiva di Calcolo Parallelo, 12-23 luglio 1999 e 13-24 settembre 1999
11th European Summer School in Logic, Language and Information, Utrecht University, 9 - 20 August 1999
Types Summer School: Theory and Practice of Formal Proofs, French Riviera, France, August 30 - September 10, 1999.