Gabriele Lolli azioni - lollifest.di.unito.itlollifest.di.unito.it/Lolliposter.pdf · azioni Una...
1
Insiemi, linguaggi, dimostrazioni Una giornata di studio in onore di Gabriele Lolli Accademia delle Scienze di Torino Sala dei Mappamondi 13 dicembre 2013 Conferenze di Sy D. Friedman Vienna Giuseppe Geymonat Parigi Marco Panza Parigi Carlo Toffalori Camerino Comitato Organizzatore Alessandro Andretta, Felice Cardone, Nicola Olivetti, Edoardo Rivello, Lea Terracini, Giorgio Venturi Iniziativa realizzato con il contributo del Dipartimento di Informatica dell’Università di Torino Dipartimento di Matematica dell’Università di Torino progetto PRIN Logica, Modelli, Insiemi http://lollifest.di.unito.it/
-
Upload
phungnguyet -
Category
Documents
-
view
219 -
download
0
Transcript of Gabriele Lolli azioni - lollifest.di.unito.itlollifest.di.unito.it/Lolliposter.pdf · azioni Una...
Insi
emi,
lingu
aggi
, dim
ostr
azio
ni Una giornata di studio in onore di
Gabriele Lolli Accademia delle Scienze di Torino
Sala dei Mappamondi
13 dicembre 2013
Conferenze di Sy D. Friedman Vienna Giuseppe Geymonat Parigi Marco Panza Parigi Carlo Toffalori Camerino
Comitato Organizzatore Alessandro Andretta, Felice Cardone, Nicola Olivetti, Edoardo Rivello, Lea Terracini, Giorgio Venturi !Iniziativa realizzato con il contributo del Dipartimento di Informatica dell’Università di Torino Dipartimento di Matematica dell’Università di Torino progetto PRIN Logica, Modelli, Insiemi http://lollifest.di.unito.it/