|
|
09:00 - 09:30 | |
M. Baioletti
[ An empirical complexity study for a 2CPA solver ] |
|
|
09:30 - 10:00 | |
S. Guerrini
[ Proofs, tests and computations ] |
|
|
10:00 - 10:30 | |
A. Asperti
[ Matita ] |
|
|
10:30 - 11:00 | |
A. Andretta
[ Il principio SLO e la gerarchia di Wadge ] |
|
|
11:00 - 11:30 | |
COFFEE BREAK |
|
|
11:30 - 12:00 | |
L. Roversi
[ Implicit computational complexity and linear logic ] |
|
|
12:00 - 12:30 | |
G. Gerla
[ A tentative to capture fuzzy logic and approximate reasoning ] |
|
|
12:30 - 13:00 | |
S. Baratella
[ Proprietà di algebre di Banach costruitecome inviluppi nonstandard ] |
|
|
LUNCH BREAK |
|
|
14:30 - 15:00 | |
G. Lenzi
[ The hierarchy of variables in the modal μ-calculus ] |
|
|
15:00 - 15:30 | |
S. Ghilardi
[ Combinazione di procedure di decisione nel ragionamento automatico ] |
|
|
15:30 - 16:20 | |
R. Jin
[ Nonstandard methods for additive problems in combinatorial number theory ] |
|
|
16:20 - 16:50 | |
COFFEE BREAK |
|
CONTRIBUTI
[ sessioni in parallelo ] |
|
|
» Aula Magna |
|
|
16:50 - 17:10 | |
M. Busaniche
[ Free algebras in varieties of BL-algebras generated by a BLn-chain ] |
|
|
17:10 - 17:30 | |
C. Guido
[ Categorie di L-insiemi costruiti su reticoli strutturati ] |
|
|
17:30 - 17:50 | |
F. Lacava
[ Una caratterizzazione per un insieme di generatori liberi di una MV-algebra ] |
|
|
» Aula Riunioni |
|
|
16:50 - 17:10 | |
P. Gentilini
[ Distinzione formale tra valore di verità e significato nell'ambito delle semantiche inferenziali per la Teoria dei Tipi ] |
|
|
17:10 - 17:30 | |
M. E. Maietti
[ Characterizing models by means of their internal language ] |
|
|
17:30 - 17:50 | |
G. Battilotti
[ Logica di base e computazione quantistica ] |
|
|
» Aula Seminari |
|
|
16:50 - 17:10 | |
E. Monteleone
[ La formalizzazione del concetto di randomness ] |
|
|
17:10 - 17:30 | |
L. Carlucci
[ Some results on u-shaped learning ] |
|
|
17:30 - 17:50 | |
L. Bellotti
[ Woodin on the continuum problem: an overview and some objections ] |
|
|
18:00 - 20:40 | |
ASSEMBLEA AILA |
|
|
21:00 | |
Cena sociale presso il Ristorante "La Clessidra" |
