| Organizzatori: | Lorenzo Tortora de Falco
|
||
| Inizio: | 16/01/2009
|
||
| Fine: | |||
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
||
|
Descrizione
Nell'ambito delle attività seminariali del gruppo Logica e geometria della cognizione, alcuni giovani post-doc terranno dei seminari sul tema di ricerca Proof-Nets and Execution Time |
|||