| Speaker: | Paolo Di Giamberardino
|
|
| Quando: | 18/04/2008 - 09:15
|
|
| Dove: | ||
|
Abstract
Direttori di tesi: V.M. Abrusci, J.-Y. Girard |
||
Lista seminari
Descrizione | Programma | Lista seminari
Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic
Polarities (positive/negative) in the reasoning
| Speaker: | Maria Teresa Medaglia
|
|
| Quando: | 18/04/2008 - 11:15
|
|
| Dove: | ||
|
Abstract
Direttore di tesi: V.M. Abrusci |
||
Géométrie de l'interaction et fondements
| Speaker: | Jean-Yves Girard (Univ. de la Mediterranée, IML)
|
|
| Quando: | 18/04/2008 - 14:30
|
|
| Dove: | ||
|
Abstract
|
||
Logique et géométrie de la cognition
| Speaker: | Jean-Baptiste Joinet (Univ. Paris 1, UMR Philosophie)
|
|
| Quando: | 18/04/2008 - 15:15
|
|
| Dove: | ||
|
Abstract
|
||
Focusing in linear meta-logic
| Speaker: | Dale Miller (INRIA, Ecole Polytechnique)
|
|
| Quando: | 18/04/2008 - 16:30
|
|
| Dove: | ||
|
Abstract
|
||
Ludics with repetitions
| Speaker: | Claudia Faggian (Univ. Paris 7, PPS)
|
|
| Quando: | 18/04/2008 - 17:15
|
|
| Dove: | ||
|
Abstract
|
||