{"id":179,"date":"2022-09-12T12:59:07","date_gmt":"2022-09-12T12:59:07","guid":{"rendered":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/?page_id=179"},"modified":"2026-02-19T14:26:54","modified_gmt":"2026-02-19T14:26:54","slug":"conference","status":"publish","type":"page","link":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/en\/conference\/","title":{"rendered":"Conference &#8220;Days in Logic&#8221;"},"content":{"rendered":"\n<p>The Days in Logic Conference was started by Fernando Ferreira and Lu\u00eds Pinto in 2004, as an event every two years. From 2024 on the conference will be organized by the Portuguese Logic Society. The next edition will be held at Universidade de \u00c9vora em 2028.<br>.<\/p>\n\n\n\n<p>The previous editions were held in:<\/p>\n\n\n\n<ul>\n<li>Braga (<a href=\"http:\/\/w3.math.uminho.pt\/DiL2026\" data-type=\"link\" data-id=\"w3.math.uminho.pt\/DiL2026\">2026<\/a>)<\/li>\n\n\n\n<li>Lisboa (<a href=\"https:\/\/www.math.tecnico.ulisboa.pt\/~css\/daysinlogic2024\/home\" data-type=\"link\" data-id=\"https:\/\/www.math.tecnico.ulisboa.pt\/~css\/daysinlogic2024\/home\">2024<\/a>)<\/li>\n\n\n\n<li>Faro (<a href=\"https:\/\/daysinlogic2022.ualg.pt\/\">2022<\/a>)<\/li>\n\n\n\n<li>Lisboa (<a href=\"https:\/\/ciencias.ulisboa.pt\/pt\/evento\/30-01-2020\/dil2020-days-in-logic-2020\">2020<\/a>)<\/li>\n\n\n\n<li>Aveiro (<a href=\"https:\/\/w3.math.uminho.pt\/~luis\/DiL2018\/venue.html\">2018)<\/a><\/li>\n\n\n\n<li>Monte da Caparica (<a href=\"https:\/\/eventos.fct.unl.pt\/dil2016\/pages\/overview\">2016<\/a>)<\/li>\n\n\n\n<li>Braga (<a href=\"https:\/\/w3.math.uminho.pt\/~luis\/DiL2014\/\">2014<\/a>)<\/li>\n\n\n\n<li>\u00c9vora (<a href=\"https:\/\/sites.google.com\/site\/daysinlogic2012\/home\">2012<\/a>)<\/li>\n\n\n\n<li>Porto (<a href=\"https:\/\/www.it.pt\/Events\/OtherEvent\/70?previous=True\">2010<\/a>)<\/li>\n\n\n\n<li>Lisboa (<a href=\"https:\/\/www.math.tecnico.ulisboa.pt\/~dil2008\/\">2008<\/a>)<\/li>\n\n\n\n<li>Coimbra (<a href=\"https:\/\/cmuc.mat.uc.pt\/rdonweb\/event\/showPPEvent.do;jsessionid=F1A4DC769084056BF7F202EFFA7BE410?eventID=648\">2006<\/a>)<\/li>\n\n\n\n<li>Braga (<a href=\"https:\/\/w3.math.uminho.pt\/~jes\/ProofSystemsProgramming\/DIL04\/index.html\">2004<\/a>)<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Days in Logic Conference was started by Fernando Ferreira and Lu\u00eds Pinto in 2004, as an event every two years. From 2024 on the conference will be organized by the Portuguese Logic Society. The next edition will be held at Universidade de \u00c9vora em 2028.. The previous editions were held in:<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/179"}],"collection":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/comments?post=179"}],"version-history":[{"count":31,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/179\/revisions"}],"predecessor-version":[{"id":1033,"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/pages\/179\/revisions\/1033"}],"wp:attachment":[{"href":"https:\/\/groups.tecnico.ulisboa.pt\/~spl.daemon\/wp-json\/wp\/v2\/media?parent=179"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}