Programma primo ciclo di seminari 2013-2014

Gruppo di ricerca “Logica e Geometria della Cognizione”

Dipartimento di Matematica e Fisica
Dipartimento di Filosofia, Comunicazione, Spettacolo.

Seminari

Anno accademico 2013-2014, I ciclo, ottobre-dicembre 2013.

I seminari si svolgono – di norma, il venerdì – presso il Dipartimento di Matematica e Fisica: aula seminari 311, edificio C, Largo San Leonardo Murialdo 1, 00146 Roma.

Programma preliminare:

  • 4 ottobre ore 11
    Un'introduzione alla teoria della riscrittura: proprietà omologiche dei sistemi convergenti finiti
    Oratore: Matteo Acclavio, (IML, Marsiglia)

  • 18 ottobre ore 11
    Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale.
    Oratore: V. Michele Abrusci (Roma Tre)
    Organizzatore: V. Michele Abrusci

  • 22 ottobre ore 18
    Interaction in proof theory: from classical realizability to concurrency 
    Oratore: Emanuel Beffara (IML, Marsiglia)
    Organizzatore: Lorenzo Tortora de Falco

  • 25 ottobre ore 11
    Invarianti della normalizzazione e tempo di esecuzione
    Oratore: Lorenzo Tortora de Falco (Roma Tre)
    Organizzatore: Lorenzo Tortora de Falco

  • 8 novembre ore 11
    Aritmetica dei campi finiti e complessità polinomiale implicita
    Oratore: Marco Pedicini (Roma Tre)
    Organizzatore: Marco Pedicini

  • 15 novembre ore 11
    Big data tra tecnica e filosofia
    Oratori: Teresa Numerico (Roma Tre), Marco Pedicini (Roma Tre)
    Organizzatore: Teresa Numerico

  • 20 novembre (orario da definire)
    La memoria e la costruzione del "senso" in matematica
    Oratore: Giuseppe Longo (ENS, Parigi)
    Organizzatore: Teresa Numerico

  • 22 novembre ore 11
    Cambiamenti di simmetrie e aleatorio: dalla fisica alla biologia
    Oratore: Giuseppe Longo (ENS, Parigi)
    Organizzatore: V. Michele Abrusci

  • 6 dicembre ore 11
    Costruzione incrementale di reti dimostrative 
    Oratore: Roberto Maieli (Roma Tre)
    Organizzatore: Roberto Maieli

    Il ciclo sarà concluso il 20 dicembre 2013 con uno o più seminari che saranno organizzati autonomamente dai giovani del gruppo di ricerca su uno o più temi da loro scelti.