Joan Bagaria i Pigrau (ICREA, Barcelona, Spain) |
Alessandra Carbone (CNRS - Université Pierre et Marie Curie, Paris, France) |
Salma Kuhlmann (Universität Konstanz, Konstanz, Germany) |
Michael Rathjen (University of Leeds, Leeds, UK) |
Giovanni Sambin (University of Padova, Padova, Italy) |
Philip Scott (University of Ottawa, Ottawa, Canada) |
Special session: "Direzioni della Ricerca Logica in Italia" |
V. M. Abrusci (Università di Roma 3) Logica Lineare
|
A. Asperti (Università di Bologna) Verifica automatica
|
M. P. Bonacina (Università di Verona) Deduzione automatica
|
M. Di Nasso e M. Forti (Università di Pisa) Metodi non standard
|
S. Ranise (Fondazione Bruno Kessler, Trento) Logica per Model Checking
|
A. Marcone (Università di Udine) Reverse Mathematics e Analisi Computazionale
|
G. Rosolini (Università di Genova) Teoria delle categorie e logica categoriale
|
A. Sorbi (Università di Siena) Teoria della computabilità
|
ABSTRACTS of invited talks here.
Booklet with all abstracts (both invited and contributed talks).