Welcome to Days in Logic 2024

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.

Deadline for submissions
January 5, 2024

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

Participants

Contributed Talks

Participants wishing to give a talk at the conference are requested to submit electronically a 1-page abstract using the template (tex, pdf) to cristina.sernadas@tecnico.ulisboa.pt

The deadline for submissions is January 5, 2024.

Attendance of the conference is free but those who want to participate should send an email to paula.gouveia@tecnico.ulisboa.pt until January 29, 2024.

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 Days in Logic 2024 will take place at
Anfiteatro Abreu Faro
Complexo Interdisciplinar
Técnico Lisboa

The conference diner will take place on Friday February 2, 2024. More details will be given later on.