Cari tutti,
si segnala il seguente seminario, nell'ambito del Colloquium di Matematica del Dipartimento di Matematica e Fisica:
Thomas Ehrhard
CNRS, directeur du laboratoire Preuves, Programmes et Syste'mes (PPS)
Universite' Paris Diderot - Paris 7
On the mathematical interpretation of programs and proofs
Mercoledi' 14 Ottobre 2015 ORE 16:00
Dipartimento di Matematica e Fisica
Universita' degli Studi Roma Tre
Aula F, primo piano, edificio Aule - Largo San Leonardo Murialdo,1
Abstract:
Cari tutti,
il prossimo venerdì alle ore 11 (ore 11, aula 311, Dipartimento di Matematica e Fisica, l.go S. Leonardo Murialdo 1) ricominceranno i seminari del nostro gruppo di ricerca, con un intervento di Wagner de Campos Sanz (Universidade Federal de Goias, Goiania, GO, Brazil), dal titolo
"How to find a proof? Leibniz's anagogical analysis illuminated by Kolmogorov's interpretation of logical constants" (per più informazioni, http://logica.uniroma3.it/node/632).
A breve sarà comunicato il calendario dei prossimi seminari.
Cari tutti,
martedì prossimo, 19 maggio, alle ore 12:00, Jean-Baptiste Joinet (Université Lyon 3) terrà una lezione dal titolo Aspetti computazionali della negazione: dal lambda-calcolo di Church alla Logica Lineare, presso l'Aula 15 della Scuola di Lettere, Filosofia e Lingue, ex facoltà di Lettere e Filosofia (Via Ostiense 234).
Cari tutti,
nei giorni 21-22 Maggio, presso il Dipartimento di Matematica e Fisica (L.go S. Leonardo Murialdo, 1), si terrà il workshop "Beyond Logic", organizzato nell'ambito del progetto di ricerca franco-tedesco ANR e DFG "Beyond Logic, Hypothetical reasoning in Philosophy of Science, Informatics and Law", in collaborazione col Gruppo di Logica e Geometria della Cognizione di Roma Tre.
Cari tutti,
si segnala che nei giorni 26-28 Marzo, contestualmente alla discussione della tesi di dottorato di Paolo Pistone (in cotutela tra l'Università Roma Tre e la Aix-Marseille Université), si terrà, presso la Scuola di "Lettere, Filosofia, Lingue" (ex Facoltà di Lettere e Filosofia, via Ostiense 234), un workshop dal titolo "Proofs and types, 25 years later". L'evento é organizzato dal Gruppo di Logica e Geometria della Cognizione con il supporto del progetto franco-tedesco ANR/DFG HYPOTHESES (IHPST, Univ. Paris 1 e Tubingen Univ.).
Cari tutti,
il prossimo venerdì 20 Marzo, alle ore 11:30 nell'aula 311 del Dipartimento di Matematica e Fisica (L.go San Leonardo Murialdo 1), Paolo Pistone (Università Roma Tre/Aix-Marseille Université) terrà la seconda parte del seminario dal titolo "Dimostrazioni e tipi nella logica del secondo ordine".
Cari tutti,
il prossimo venerdì 6 Febrraio, alle ore 11:30 nell'aula 311 del Dipartimento di Matematica e Fisica (L.go San Leonardo Murialdo 1), Paolo Pistone (Università Roma Tre/Aix-Marseille Université) terrà un seminario dal titolo "Dimostrazioni e tipi nella logica del secondo ordine".
Abstract:
Cari tutti,
Venderdì 23 Gennaio, alle ore 11:30, Francesca Romana FERRANTE ( Université Aix-Marseille & “Resurgences” ) terrà un seminario dal titolo "Verso una teoria del dialogo in Ludica", nell’ambito dei seminari del gruppo di ricerca in “Logica e Geometria della Cognizione” presso il Dipartimento di Matematica e Fisica (L.go S. Leonardo Murialdo, 1 - aula Seminari 311).
Abstract
Cari tutti,
il prossimo venerdì 19 Dicembre, Silvia Rognone (Università Roma Tre) terrà un seminario dal titolo "Stati Entangled e Matrici di Bell".
Il seminario avrà luogo alle ore 11.30, presso l'aula 310 del Dipartimento di Matematica e Fisica.
Cari tutti,
Venerdì 21 Novembre, alle ore 11:30, presso l'Aula Seminari 311 del Dipartimento di Matematica e Fisica (largo San L. Murialdo 1), Arnaud VALENCE (Università Roma Tre, dottorando nel Dottorato in “Cultura, Educazione, Comunicazione” in cotutela con l’Università di Lione 3) terrà un seminario dal titolo
"Sulla Sintassi Trascendentale"
nell’ambito dei seminari del gruppo di ricerca in “Logica e Geometria della Cognizione”.
