Days in Logic 2022

The meeting DiL 2022 (Days in Logic 2022) will be held in Faro, Portugal, at the University of Algarve, in the period 30 June – 2 July 2022.

This biennial meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in Logic.

Given the current pandemic situation, the meeting will have a hybrid format and will allow for in-person attendees and remote participants.

The nine previous editions of DiL were held in:

Lisboa (2020)
Aveiro (2018)
Monte da Caparica (2016)
Braga (2014)
Évora (2012)
Porto (2010)
Lisboa (2008)
Coimbra (2006)
Braga (2004)

Working language: The official language of DiL is English.

Program and organizing committee

Gilda Ferreira (Universidade Aberta/CMAFcIO)

Daniel Graça (Universidade do Algarve/IT)

José Espírito Santo (Universidade do Minho/CMAT)