Days in Logic 2020

Submitted by on Mon, 12/07/2015 - 16:29

Dates: 30 January - 1 February 2020

Venue: Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa, Campo Grande, Ed. C6 (room 6.2.33), 1749-016, Lisboa, Portugal. []

The meeting DiL2020 (Days in Logic 2020) will be held in Universidade de Lisboa, Portugal, 30 January-1 February 2020. This biennial meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in Logic.