|
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 ] |