|
|
10:00 - 11:10 | |
Iscrizione |
|
|
11:10 - 11:20 | |
Saluto del Direttore del Dip. di Matematica |
|
|
11:20 - 11:40 | |
Saluto del Presidente AILA |
|
|
11:40 - 12:30 | |
G. Longo
[ Dai fondamenti della matematica alle scienze della natura: l'importanza dei risultati negativi ] |
|
|
LUNCH BREAK |
|
|
14:30 - 15:15 | |
F. Montagna
[ Many-valued logic and its connections with ordered algebraic structures ] |
|
|
15:15 - 16:00 | |
G. Sambin
[ Una fondazione minimalista per la matematica costruttiva ] |
|
|
16:00 - 16:30 | |
COFFEE BREAK |
|
|
16:30 - 17:15 | |
C. Toffalori
[ Verso la classificazione dei moduli puri iniettivi su anelli gruppali ] |
|
|
17:15 - 18:00 | |
S. Ronchi Della Rocca
[ From computations to proofs (and back...) ] |
|
CONTRIBUTI
[ sessioni in parallelo ] |
|
|
» Aula Magna |
|
|
18:10 - 18:30 | |
E. Moriconi
[ Gödel's completeness theorem: some history, some philosophy ] |
|
|
18:30 - 18:50 | |
L. Crosilla
[ Constructive set theory with rules ] |
|
|
18:50 - 19:10 | |
P. Freguglia
[ About emergent properties and complexity in scientific theories ] |
|
|
» Aula Riunioni |
|
|
18:10 - 18:30 | |
P. Di Gianberardino
[ Reti di prova e semantica: coerenza e aciclicità ] |
|
|
18:30 - 18:50 | |
M. Pagani
[ The injectivity of denotational semantics for linear logic proof-nets ] |
|
|
18:50 - 19:10 | |
T. Tulenheimo
[ Logical independencies in modal logic ] |
|
|
» Aula Seminari |
|
|
18:10 - 18:30 | |
U. Dal Lago
[ Elementary affine logic and the call by value lambda calculus ] |
|
|
18:30 - 18:50 | |
R. Maieli
[ Concurrent proof net construction ] |
|
|
18:50 - 19:10 | |
D. Mazza
[ Interaction nets and concurrency ] |
