Organizzatori: | Lorenzo Tortora de Falco
Paolo Di Giamberardino
|
||
Inizio: | 18/04/2008
|
||
Fine: | 18/04/2008
|
||
Dove: | Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma
|
||
Descrizione
Discussion on the themes of proof-nets and their differential version (differential proof-nets). We have planned by now only a few number of structured talks: |
|||
Informal workshop on advances in Linear Logic proof nets |
Dimostrazioni, Polarità e Cognizione
|
Conferenza per il 60° compleanno di Jean-Yves Girard
|
Logica del secondo ordine: una lettura dei teoremi di incompletezza di Godel
|
Unprovability after Goedel
|
A gentle introduction to 2-dimensional algebra and string diagrams
|
Dynamique discrète et structure des réseaux génétiques
|
Between interaction and semantics: visible acyclic nets
|
TBA
|
The use of phase semantics: to make sense out of nonsense
|