Welcome to Days in Logic 2024

The conference will take place at Anfiteatro Abreu Faro
Complexo Interdisciplinar
Técnico ULisboa

This biennial conference organized by the Portuguese Logic Society aims at bringing together researchers and graduate students working in any topic of logic namely in mathematical logic, model theory, proof theory as well as logics for artificial intelligence and computer science.

In 2024 we celebrate 20 years of this very successful venue.

Program

The Program includes three courses (of three hours each) given by the invited speakers and contributed talks of thirty minutes including questions.

Invited Speakers

Dale Miller
Inria Saclay & LIX, Institut Polytechnique de Paris, France
Improving Gentzen’s sequent calculi with focusing

Thorsten Altenkirch
University of Nottingham, UK
Types vs Sets

Pantelis Eleftheriou
University of Leeds, UK
O-minimality and combinatorics

Accepted Talks and Participants

Accepted Talks

The list of accepted talks can be found here

The list of abstracts can be found here

Schedule

The schedule can be found here

Participants

The list of participants can be found here

Committees

Scientific Committee
Cristina Sernadas (Técnico ULisboa), Fernando Ferreira (Ciências ULisboa), Luís Caires (Técnico ULisboa) and Luís Pinto (Universidade do Minho)

Organizing Committee
Cristina Sernadas (Técnico ULisboa), Francisco Miguel Dionísio (Técnico ULisboa) and Paula Gouveia (Técnico ULisboa)

General Info

The conference diner will take place on Friday February 2, 20h at Restaurante Colina (R. Filipe Folque 46 A A, 1050-114 Lisboa).

List of Restaurants near the Conference Venue can be found here