DiL2020 - Days in Logic 2020

Sala 6.2.33, FCUL, Lisboa

Days in Logic will take place in Lisbon (FCUL) in January 30 and 31 and in the morning of February 1, 2020.

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

Invited speakers:

  • Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa);
  • Luca Tranchini (University of Tubingen).
  • Mirna Dzamonja (University of East Anglia).
  • Paulo Oliva (Queen Mary University of London).

The deadline for contributed talks is December 15.

CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional