All forthcoming seminars

   
   
   
       

RSS 2.0

Date Seminar Series of Seminars
9/27/17 Quantum Formal Methods: From Languages to Verification
Timetable: h 16:00 | Supervisor: Rajagopal Nagarajan (Middlesex University London)
Seminari del Dipartimento di Informatica
9/28/17 Supervised Discriminative Classification in Quantum Machine Learning
Timetable: h 16:00 | Supervisor: David Windridge (Middlesex University London)
Seminari del Dipartimento di Informatica
10/2/17 Categorical Logic
Timetable: h 13:30, Aula M, starting date | Supervisor: Thomas Streicher (Technische Universität Darmstadt)
Mathematics mini courses 2017-18
10/5/17 The proof-theoretic relevance of Grothendieck topologies
Timetable: h 16:00, Rinfresco 16.00 in Sala caffé (primo piano) - inizio seminario 16.15 | Supervisor: Olivia Caramello (Università dell'Insubria)
Seminari del Dipartimento di Informatica
Tot 4 Seminars

Studying