[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*DAYS IN LOGIC 2026*
University of Minho, Braga, Portugal, 29 - 31 January 2026
https://urldefense.com/v3/__https://w3.math.uminho.pt/DiL2026__;!!IBzWLUs!X8aldcaUNS-be7OwmaF3rDgC6oGSTI5kT2pziinealzgeR8K-BaBMrDfanO3gHPqG1tPRlYix6fqJXQ--YZ_RUpHsx-rrsSt$
The 12th edition of the biennial conference Days in Logic, organized by
the Portuguese Logic Society, aims at bringing together researchers and
graduate students working in any topic of logic, including mathematical
logic, philosophical logic, as well as logics for artificial
intelligence and computer science.
The programme consists of three courses by invited speakers and
contributed talks.
*INVITED SPEAKERS*
Anupam Das (University of Birmingham, U.K.)
Bruno Jacinto (University of Lisbon, Portugal)
Sonja Smets (University of Amsterdam, Netherlands)
*SUBMISSION OF CONTRIBUTED TALKS*
Please submit a 1-page abstract according to the instructions at the
webpage of the event.
*IMPORTANT DATES*
31 December 2025 - Submission of contributed talks
09 January 2026 - Notification of acceptance
21 January 2026 - Registration
*MORE INFORMATION*
For details about submission, registration, venue, committees,
accommodation, and the programme, please consult:
https://urldefense.com/v3/__https://w3.math.uminho.pt/DiL2026__;!!IBzWLUs!X8aldcaUNS-be7OwmaF3rDgC6oGSTI5kT2pziinealzgeR8K-BaBMrDfanO3gHPqG1tPRlYix6fqJXQ--YZ_RUpHsx-rrsSt$
*ACKNOWLEDGEMENTS*
Days in Logic 2026 is supported by:
CMAT - Centro de Matemática da Universidade do Minho
SPL - Sociedade Portuguesa de Lógica
FCT - Fundação para a Ciência e Tecnologia
