|
|
09:00 - 09:30 | |
S. Valentini
[ Inductively generated formal topologies and their applications ] |
|
|
09:30 - 10:00 | |
S. L'Innocente
[ Rings of definable scalars of Verma modules ] |
|
|
10:00 - 10:30 | |
L. Tortora de Falco
[ The question of separation in linear logic ] |
|
|
10:30 - 11:00 | |
COFFEE BREAK |
|
|
11:00 - 11:30 | |
S. Martini
[ Adattare il sistema T di Gödel alla complessità computazionale ] |
|
|
11:30 - 12:00 | |
J. von Plato
[ Derivabilità normale nella logica modale: soluzione di un problema di Prawitz ] |
|
|
12:00 - 12:30 | |
G. Rosolini
[ Spazi come monoidi ] |
|
|
12:30 | |
Rinfresco di Commiato con tartine e vino |
