Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'jsdhlr4hb8lkfg10i2hdofss47' in /var/www/church/includes/database.mysql.inc on line 121
Programma primo ciclo di seminari 2013-2014 | Gruppo di Logica e Geometria della Cognizione

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.



  • Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'jsdhlr4hb8lkfg10i2hdofss47' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/seminari2013', '', '216.73.216.30', 1752311800) in /var/www/church/includes/database.mysql.inc on line 121