febbraio

venerdi 22 - ore 15 aula LUF 1 (via Luzzati, sul retro del Dipartimento) -  Roberto Segala (UniVr) : Verifica di Algoritmi Distribuiti Probabilistici

marzo

venerdi 08 - ore 15 sala riunioni 1o piano - Isabella Mastroeni (UniVr) : Handling the Puzzle of Semantics

aprile

venerdi 19 - ore 15 aula P80 (edificio Paolotti) - Toby Walsh (Cork Constraint Computation Centre, Cork, Ireland) : Matrix Modelling

maggio

venerdi 10 - ore 15:30 aula P80 (edificio Paolotti) - Tullio Vardanega (UniPd) : On the Specification and Rationale of the Ada Ravenscar Profile

venerdi 24 - ore 15:30 sala riunioni 1o piano - Massimo Merro (EPFL Lausanne) : Typing and Subtyping Mobility in Boxed Ambients

ottobre

giovedi 10 - ore 11:00 sala riunioni 1o piano - Nicola Baldini (Focuseek) : Seach Engines and Web Contents Monitoring

giovedi 17 - ore 17:00 sala riunioni 1o piano - Fabrizio Sebastiani (CNR/IEI - Pi) : Automated Text Categorization: Techniques and Applications

novembre

Si prega di notare che ogni invio di suggerimenti, richieste e proposte di seminari da inserire in programma e' benvenuto!