SPOTLIGHT - Next talks
24 October, 16:00-18:00
Aula da definire - Broletto, P.zza Vittoria, 15, Pavia
Elvira Di Bona
(The Van Leer Jerusalem Institut)
On Two Aspects of Auditory Experience
30 October, 11:00-13:00
Aula 1-14, Broletto, P.zza Vittoria, 15, Pavia
Luca San Mauro
(TU Wien)
Inductive Inference and Structures: How to Learn Equality in the Limit
19 November, 11:00-13:00
Aula da definire - UniSR
Salvatore Florio
(University of Birmingham)
Unrestricted Quantification and the Structure of Type Theory