1 2 3 4 5

Calendario

mer 27 set 2017

Quantum Formal Methods: From Languages to Verification

h 16.00

Seminario
gio 28 set 2017

Supervised Discriminative Classification in Quantum Machine Learning

h 16.00

Seminario
lun 2 ott 2017

Categorical Logic

h 13.30 | Aula M, starting date

Seminario
gio 5 ott 2017

The proof-theoretic relevance of Grothendieck topologies

h 16.00 | Rinfresco 16.00 in Sala caffé (primo piano) - inizio seminario 16.15

Seminario
lun 6 nov 2017

Workshop on Quantum Techniques in Machine Learning - QTML 2017

6 - 8 novembre 2017

Convegno
Seminari
Convegni
Agenda di oggi

Highlights

Primo piano

Avvisi
Primo piano Didattica