<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="font-size: 10pt; font-family: Verdana,Geneva,sans-serif">
<div class="moz-forward-container">
<p><strong>DAYS IN LOGIC 2026</strong><br>
</p>
<span>University of Minho, Braga, Portugal, 29 - 31 January 2026</span><br>
<a href="https://urldefense.com/v3/__https://w3.math.uminho.pt/DiL2026__;!!IBzWLUs!X8aldcaUNS-be7OwmaF3rDgC6oGSTI5kT2pziinealzgeR8K-BaBMrDfanO3gHPqG1tPRlYix6fqJXQ--YZ_RUpHsx-rrsSt$" target="_blank" rel="noopener noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">https://w3.math.uminho.pt/DiL2026</a><br>
<span>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.</span><br>
<span>The programme consists of three courses by invited speakers
and contributed talks.</span><br>
<br>
<p><strong>INVITED SPEAKERS</strong><br>
</p>
<span>Anupam Das (University of Birmingham, U.K.)</span><br>
<span>Bruno Jacinto (University of Lisbon, Portugal)</span><br>
<span>Sonja Smets (University of Amsterdam, Netherlands)</span><br>
<span> </span><br>
<strong>SUBMISSION OF CONTRIBUTED TALKS</strong><br>
<br>
<span>Please submit a 1-page abstract according to the
instructions at the webpage of the event.</span><br>
<br>
<strong>IMPORTANT DATES</strong><br>
<br>
<span>31 December 2025 - Submission of contributed talks</span><br>
<span>09 January 2026 - Notification of acceptance</span><br>
<span>21 January 2026 - Registration</span><br>
<br>
<strong>MORE INFORMATION</strong><br>
<br>
<span>For details about submission, registration, venue,
committees, accommodation, and the programme, please consult:</span><br>
<br>
<a href="https://urldefense.com/v3/__https://w3.math.uminho.pt/DiL2026__;!!IBzWLUs!X8aldcaUNS-be7OwmaF3rDgC6oGSTI5kT2pziinealzgeR8K-BaBMrDfanO3gHPqG1tPRlYix6fqJXQ--YZ_RUpHsx-rrsSt$" target="_blank" rel="noopener noreferrer" moz-do-not-send="true" class="moz-txt-link-freetext">https://w3.math.uminho.pt/DiL2026</a><br>
<br>
<strong>ACKNOWLEDGEMENTS</strong><br>
<br>
<span>Days in Logic 2026 is supported by:</span><br>
<span>CMAT - Centro de Matemática da Universidade do Minho</span><br>
<span>SPL - Sociedade Portuguesa de Lógica</span><br>
<span>FCT - Fundação para a Ciência e Tecnologia</span><br>
<div class="moz-forward-container"> </div>
</div>
</body>
</html>