Attività del Dipartimento

 

Convegno

 

25/10/2017 ore 08:45
dove: Dipartimento di Architettura - Universita' Roma Tre - Via Madonna dei Monti, 80 - Aula Urbano VIII

 

Programma

Sessione mattutina 8:45-13:20

Moderatore: Lorenzo Tortora de Falco

8:45–9:00:
Apertura dei lavori: Gianfranco Mascari (IAC-CNR)

9:00–10:00:
Thomas Ehrhard (CNRS-Université Paris Diderot)
"Differential linear logic: a syntactic counterpart of Girard's quantitative semantics"

10:00–11:00
Laurent Regnier (Aix-Marseille Université)
“2017 : Happy 30 years for Linear Logic”

11:00-11:15: Coffee break

11:15–12:15
Thomas Seiller (CNRS-Université Paris 13)
"A geometric theory of computational complexity"

12:15–13:15
Vito Michele Abrusci (Università Roma Tre)
“Linear Logic and Philosophy”

13:15-13:20
Saluto di Luca Pietromarchi, Rettore eletto dell’Università Roma Tre
Saluto di Elisabetta Pallottino, direttore del Dipartimento di Architettura

Sessione pomeridiana 14:30-19:00

Moderatore: Thomas Ehrhard

14:30-–15:30
Martin Hyland (University of Cambridge)
"Mathematics inspired by the Execution Formula: towards a foundation for Game Semantics"

15:30-–16:30
Alain Lecomte (Université Paris 8)
"Linear Logic and Linguistics: new issues in Dialectics"

16:30-17:00: Coffee break

17:00-–18:00
Jean-Yves Girard (CNRS)
"From Linear Logic to Logic 2.0”

18:00-–19:00
Interventi liberi
 

Per ulteriori informazioni:

- sito ufficiale del GDRI “Linear Logic”: http://linear-logic.org/en/
- Lorenzo Tortora de Falco: tortora@uniroma3.it

 
Allegati:
[Locandina]