[LOGIC] List Mailing Archive 2026
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all
Received: 2026-01-07:
- CfR: Moshe Vardi World Logic Day Lecture, 20 January 2026, Online & Houston (TX, USA) [World Logic Day Event]
- CfP: FLoC 2026 – Federated Logic Conference (CAV, CP, CSF, FSCD, ICLP, IJCAR, ITP, KR, LICS, SAT), July 2026, Lisbon (Portugal)
- CfP: FOIS 2026 – 16th International Conference on Formal Ontology in Information Systems, 21–25 September 2026, Vitória (Brazil) + Online (9 September)
- CfP: RuleML+RR 2026 – 10th International Joint Conference on Rules and Reasoning, 24–26 August 2026, Vilnius (Lithuania)
- CfP: DL 2026 – 39th International Workshop on Description Logics, 17–19 July 2026, Lisbon (Portugal)
Received: 2026-01-06:
- CfR: Wittgenstein and the Formal Sciences 5, 10 Jan, Online [WORLD LOGIC DAY EVENT]
- CfP [extended deadline]: NFM 2026 – 18th NASA Formal Methods Symposium, 5–7 May 2026, Los Angeles (CA, USA)
- CfP [correction]: TACL 2026 – Topology, Algebra and Categories in Logic, School & Conference, July 2026 [new dates!], Kraków (Poland)
- CfP: CiE 2026 – Computability in Europe, 27–31 July 2026, Trier (Germany)
- CfA: PhD Studentships & Postdoctoral Fellowships in Logic / Category Theory & Theorem Proving, Chapman University (USA), deadline: 15 Jan
- CfA: Research Positions in Theorem Proving in AI & Mathematics, University of Manchester (UK), deadline: 13 Jan
Archived years:
2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all