FORMS: A Seminar on
Formal
Methods
and Semantics
People
- Paolo Baldan (Venice)
- Annalisa Bossi (Venice)
- Chiara Braghin (Venice)
- Michele Bugliesi (Venice)
- Nicoletta Cocco(Venice)
- Agostino Cortesi (Venice)
- Silvia Crafa (Padua)
- Riccardo Focardi (Venice)
- Marco Giunti (Venice)
- Matteo Maffei (Venice)
- Carla Piazza (Venice)
- Francesco Ranzato (Padua)
- Alessandra Raffaetà (Venice)
- Sabina Rossi (Venice)
- Antonino Salibra (Venice)
- Marta Simeoni (Venice)
- Giulio Manzonetto (Venice)