Tutti i prossimi seminari

   
   
   
       

RSS 2.0

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

Offerta formativa