Skip to main content

Invited speakers

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)

Antongiulio Fornasiero (Hebrew University, Jerusalem, Israel) Premio Paolo Gentilini 2016
Martino Lupini (Caltech, Pasadena, California) Premio AILA-UMI Montagna 2017
Luca Motto Ros (Università di Torino, Turin, Italy) Premio Paolo Gentilini 2017

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