| 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).
