Venerdì 6/12/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Roberto Maieli (Università RomaTre) terrà un seminario dal titolo Costruzione incrementale di reti dimostrative , promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Per informazioni:
Roberto Maieli
tel. 06.57.33.87.51, roberto.maieli@uniroma3.it
http://logica.uniroma3.it
Mercoledì 20 novembre 2013, ore 10 Sala “Ignazio Ambrogio” - via del Valco di S. Paolo 19 Università Roma Tre / Dipartimento di Lingue, letterature e culture straniere, si terrà il seminario "Memoria: matematica, informatica, letteratura" , tenuto da Giuseppe Longo (ENS Parigi), Teresa Numerico (Roma Tre) e Francesco Fiorentino (Roma Tre).
Ulteriori informazioni su www.newhumanities.org
Venerdì 22/11/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Giuseppe Longo (Centre Cavaillès, CNRS - Ecole Normale Supérieure, Paris) terrà un seminario dal titolo Cambiamenti di simmetria e aleatorio: dalla fisica alla biologia promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Abstract
Venerdì 15/11/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Teresa Numerico e Marco Pedicini (Università RomaTre) terranno un seminario dal titolo Big Data tra tecnica e filosofia , promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Abstract
Venerdì 8/11/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Marco Pedicini (Università RomaTre) terrà un seminario dal titolo Aritmetica dei campi finiti e complessità polinomiale implicita , promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Per informazioni:
Marco Pedicini,
tel. 0657338519, pedicini@mat.uniroma3.it
http://logica.uniroma3.it
A causa del lutto che ha colpito il nostro Ateneo, con l'improvvisa scomparsa del Prof. Elio Matassi,
il seminario del Prof. Abrusci, "Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale"
previsto per domani venerdi' 18 ottobre 2013 e' rinviato a data da destinarsi.
Venerdì 25/10/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Lorenzo Tortora de Falco (Università RomaTre) terrà un seminario dal titolo Invarianti della normalizzazione e tempo di esecuzione , promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Per informazioni:
L.Tortora de Falco,
tel. 0657338415, tortora@uniroma3.it
http://logica.uniroma3.it
Martedì 22/10/13, ore 18, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, Emanuel Beffara (IML - Aix-Marseille Université) terrà un seminario dal titolo Interaction in proof theory: from classical realizability to concurrency , promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Abstract
Classical realizability is a technique for extracting computational content
Venerdì 22/11/13, ore 11, Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, V.Michele Abrusci (Università RomaTre) terrà un seminario dal titolo Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale promosso dal Gruppo di Ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica.
Abstract
Questo è un messaggio di test a seguito di alcuni problemi riscontrati nelle newsletter del sito del gruppo di logica e geometria della cognizione.
