News

XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni

25-28 settembre 2017 - Orto Botanico - Padova

ARGOMENTI: Convegni

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à

Download Website

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X