Courses Offered During the 2002 Academic
Year
- Computer System Security, Prof. O. Babaoglu (Universita' di
Bologna), February-June 2002
- Lambda Calculus, Prof. A. Salibra (Universita' di Venezia),
March-April 2002
- Fault-Tolerance in Distributed Applications, Prof. Danny Dolev
(The Hebrew University of Jerusalem (Israele)), May 2002
- Access Control Models, Prof. Elisa Bertino (Universita' di
Milano), May 2002
- Concurrency, Types and Categories, Prof. Ugo Montanari
(Universita' di Pisa), May 2002
- Constraint Satisfaction: Non-binary Constraints, Prof. Toby
Walsh (University of York (UK)), April-May 2002
- Theory of Government and Binding in Generative Grammars, Prof.
Cesare Parenti (Universita' di Bologna), 17 September - 26 November
2002, every Tuesday 10.30 - 13.00
- Constraint Programming, Prof. Maurizio Gabbrielli (Universita'
di Bologna), October 2002.
|
|
