{"id":159,"date":"2022-10-24T01:04:25","date_gmt":"2022-10-24T01:04:25","guid":{"rendered":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/?page_id=159"},"modified":"2025-12-01T23:57:49","modified_gmt":"2025-12-01T23:57:49","slug":"activities","status":"publish","type":"page","link":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/activities\/","title":{"rendered":"Recent Activities"},"content":{"rendered":"\n<p class=\"has-small-font-size\">Conference organization:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li>PC chair <a href=\"https:\/\/edbticdt2026.github.io\/\">ICDT 2026<\/a>, <\/li>\n\n\n\n<li>PC chair <a href=\"https:\/\/events.illc.uva.nl\/Tbilisi\/Tbilisi2025\/\">TbiLLC 2025<\/a>, <\/li>\n\n\n\n<li>PC chair <a href=\"https:\/\/2025.esslli.eu\/\">ESSLLI 2025<\/a><\/li>\n\n\n\n<li>PC member <a href=\"https:\/\/www.edu.kobe-u.ac.jp\/csi-lsi\/clmpst2027\/index.html\">CLMPST 2027<\/a>, <a href=\"https:\/\/2025.sigmod.org\/\">PODS 2025<\/a>, <a href=\"https:\/\/compose.ioc.ee\/icalp2024\/\">ICALP 2024<\/a>, <a href=\"https:\/\/www.cs.cas.cz\/aiml2024\/\">AIML 2024<\/a>, <a href=\"https:\/\/kr.org\/KR2024\/\">KR 2024<\/a>, <a href=\"https:\/\/kr.org\/KR2023\/\">KR 2023<\/a><\/li>\n\n\n\n<li>Workshop organizer <a href=\"https:\/\/sites.google.com\/view\/lealog25\">LeaLog@CSL 2025<\/a>, <a href=\"https:\/\/cibd.bitbucket.io\/\">CIBD 2024<\/a>, <a href=\"https:\/\/sites.google.com\/view\/lealog\/home\">LeaLog@TbiLLC 2023<\/a>, <a href=\"https:\/\/www.knaw.nl\/en\/events\/causality-economics-computer-science-logic-and-language\">KNAW\/VvL 2023 webinar on causal reasoning and inference<\/a> , <a href=\"https:\/\/events.illc.uva.nl\/GF25\/\">GF-at-25 2022<\/a>.<\/li>\n<\/ul>\n\n\n\n<p class=\"has-small-font-size\">Multi-year academic service:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li>Board member of <a href=\"https:\/\/ict-research.nl\/\">IPN (ICT-Research Platform Nederland)<\/a> starting from 2026.<\/li>\n\n\n\n<li>Board member of <a href=\"https:\/\/verenigingvoorlogica.nl\/en\/\">VvL (Dutch Association for Logic and the Philosophy of Exact Sciences)<\/a><\/li>\n\n\n\n<li>Steering committee member <a href=\"https:\/\/folli.info\/?page_id=45\">ESSLLI Standing Committee<\/a><\/li>\n\n\n\n<li>Steering committee member <a href=\"https:\/\/databasetheory.org\/ICDT\/what-is-icdt#mozTocId363498\">ICDT Council <\/a><\/li>\n\n\n\n<li>Steering committee member <a href=\"https:\/\/www.nwo.nl\/en\/meetings\/ict-with-industry-2026\">NWO\/Lorentz ICT-with-Industry Steering Committee <\/a><\/li>\n\n\n\n<li>Committee member <a href=\"https:\/\/aslonline.org\/asl-committees\/education\/\">ASL Committee on Education<\/a> <\/li>\n\n\n\n<li>Committee member <a href=\"https:\/\/resources.illc.uva.nl\/Commission-on-Logic-Education\/\">DLPMST Commission on Logic Education<\/a><\/li>\n\n\n\n<li>Associate editor <a href=\"https:\/\/link.springer.com\/journal\/10849\">Journal of Logic, Language and Information (JOLLI)<\/a>.<\/li>\n<\/ul>\n\n\n\n<p class=\"has-small-font-size\">Invited lectures \/ tutorials:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li>Invited lecture, 2024 EACSL Annual Conference on Computer Science Logic 2024 (CSL&#8217;24)<\/li>\n\n\n\n<li>Keynote lecture, 2023 Workshop on Interdisciplinary Research in Logic (IRL&#8217;23)<\/li>\n\n\n\n<li>Distinguished Lecture, University of Bergen Department of Informatics (Nov 2023)<\/li>\n\n\n\n<li>Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC&#8217;23).<\/li>\n<\/ul>\n\n\n\n<p class=\"has-small-font-size\">Teaching<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li>UvA (MSc Logic): <em>Seminar Mathematical Logic (2023; 2024; 2025)<\/em><\/li>\n\n\n\n<li>UvA (MSc Logic): <em>Computational Learning Theory, KR and Logic<\/em>. (2022; 2023; 2024; 2025)<\/li>\n\n\n\n<li>UvA (BSc Informatiekunde): <em>Inleiding logica<\/em> (2022; 2023; 2024; 2025).<\/li>\n\n\n\n<li>UvA (MSc Logic): <em>Automated Reasoning<\/em> (2005, with David Ahn).<\/li>\n\n\n\n<li>Stanford<em>: Phil 154\/254: Modal logic<\/em> (2019).<\/li>\n\n\n\n<li>Stanford: <em>Phil 152\/252: Computability and Logic<\/em> (2013).<\/li>\n\n\n\n<li>UCSC: <em>CMPS 17: Social Networks <\/em>(UC Santa Cruz , 2012; 2013; 2014).<\/li>\n\n\n\n<li>ESSLLI 2024: <em>A modern introduction to Craig interpolation<\/em> (with Frank Wolter).<\/li>\n\n\n\n<li>ESSLLI 2023: <a href=\"https:\/\/2023.esslli.eu\/courses-workshops-accepted\/course-information.html#2-12\"><em>Logic, Data Examples, and Learning<\/em><\/a> (with Carsten Lutz)<\/li>\n\n\n\n<li>ESSLLI 2014: <em>Modern Database Dependency Theory<\/em> (with Michael Benedikt).<\/li>\n\n\n\n<li>ESSLLI 2008: <em>Model Theory for Extensions of Modal Logic <\/em>(with David Gabelaia).<\/li>\n\n\n\n<li>ESSLLI 2004: <em>Hybrid Logics<\/em> (with Massimo Franceschet).<\/li>\n\n\n\n<li>Vienna-Tbilisi Summer School in Logic and Language: <em>Model Theory for Modal Logic<\/em> (2007, with David Gabelaia).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Conference organization: Multi-year academic service: Invited lectures \/ tutorials: Teaching<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-159","page","type-page","status-publish","hentry","post-preview"],"_links":{"self":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/159","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/comments?post=159"}],"version-history":[{"count":70,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/159\/revisions"}],"predecessor-version":[{"id":587,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/159\/revisions\/587"}],"wp:attachment":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/media?parent=159"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}