[TYPES/announce] DAYS IN LOGIC 2026: Announcement

[Luís Pinto]

*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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251209/4df8d133/attachment-0001.htm>