[LOGIC] List Mailing Archive 2021
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
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: 2021-12-20:
- CiE 2022: Computability in Europe, 11-15 Jul 2022, Swansea, Wales
- CfPart ISAIM 2022: AI & Maths, Virtual, 3-5 Jan 2022
- HCVS 2022: Horn Clauses for Verification & Synthesis, 3 Apr 2022, Munich, Germany
- "Modern Geometry & its Foundations", Vienna (Austria) and/or Virtual, 13-15 Jan 2022
- Postdoctoral position on automated reasoning with legal entities, Luxembourg (Luxembourg), Deadline: 31 Jan 2022
- SLSS 2022: Scandinavian Logic Symposium, 17-19 Jun 2022, Bergen, Norway
- IJCAR 2022: Joint Conference on Automated Reasoning, 7-12 Aug 2022, Haifa, Israel
- CfP Festschrift for John N. Crossley (Log. J. IGPL), Deadline: 1 Jun 2022
Received: 2021-12-17:
- Formal Ethics 2022, Virtual, 7-8 & 13-14 Jan 2022
- ISR 2022: International School on Rewriting, 19-23 Sep 2022, Tbilisi, Georgia
- FoIKS 2022: Foundations of Information & Knowledge Systems, 20-23 Jun 2022, Helsinki, Finland
- "Textual Analysis as the Basis for Understanding Chinese Logical Thought", Virtual, 15-17 Jan 2022
- Postdoctoral Research Fellow in Philosophy and/or History of Science, Bochum (Germany)
- Formal Models of Democracy, Rotterdam (The Netherlands) and/or Virtual, Deadline: 20-22 Apr 2022
- Postdoctoral position in Computer Science Logic, Sheffield (England), Deadline: 3 Jan 2022
- LANMR 2022: Logic, Algorithms, & New Methods of Reasoning, Virtual, 16-17 Jun 2022
Received: 2021-12-16:
- Paths in Logic (WLD 2022 event), Virtual, 13 Jan 2022
- UNILOG 2022: Universal Logic, 6-11 Apr 2022, Crete, Greece
- CfP special issue of J. Appl. Log. on Formal and Cognitive Reasoning, Deadline: 28 Feb 2022
- Assistant Professorship in Experimental Methods for AI in Logic & Language, Amsterdam (The Netherlands), Deadline: 1 Jan 2022 (extended)
- Postdoctoral research fellowship in Proof Theory, Birmingham (England), Deadline: 9 Jan 2022
- PhD student position on modal logic for granularity, Leeds (England), Deadline: 31 Jan 2022
- Lectureship in logical & semantic foundations of computing, Sheffield (England)
- Postdoctoral research scholarship in mathematics, Lisbon (Portugal), Deadline: 28 Jan 2022
Received: 2021-12-05:
- NLS 2022: Nordic Logic Summer School, 13-16 Jun 2022, Bergen, Norway
- KR 2022: Principle of Knowledge Representation & Reasoning, 31 Jul - 5 Aug 2022, Haifa, Israel
- WoLLIC 2022: Logic, Language, Information, & Computation, 20-23 Sep 2022, Iasi, Romania
- Ultramath 2022: Ultrafilters & Ultraproducts Across Maths, Pisa (Italy) and/or Virtual, 6-11 Jun 2022
- AiML 2022: Advances in Modal Logic, 22-25 Aug 2022, Rennes, France
- Trends in Logic XXII, Cagliari (Italy) and Virtual, 18-20 Jul 2022
- LNGAI 2022: Logics for New-Generation AI, Zhuhai (China) and Virtual, 10-12 Jun 2022
- Two postdoctoral positions (2y) in epistemic & semantic commitments of foundational theories, Warsaw (Poland), Deadline: 15 Jan 2022
Received: 2021-12-03:
- Formalize!? (2), Virtual, 15 Jan 2022 [WLD 2022 Event]
- Call for Events/Talks/etc: World Logic Day 2022, 14 Jan 2022
- W3 Professorship Theoretical Philosophy, Paderborn (Germany), Deadline: 9 Dec 2021
- Lev Bukovsky (1939-2021)
- PhD student position in logical approach to verification, Sheffield (England)
- Postdoctoral position in verification of concurrent systems, London (England), Deadline: 9 Jan 2022
- Postdoctoral position (2y) in quantum programming & formal methods, Paris (France), Deadline: early Feb 2022
- Twenty PhD student positions in "Logics for Computer Science", Vienna (Austria), Deadline: 30 Dec 2021
Received: 2021-11-25:
- Research fellowship in reverse mathematics, Leeds (England), Deadline: 10 Jan 2022
- ISAIM 2022: AI & Mathematics, Virtual, 3-5 Jan 2022
- TYPES 2022: Types for Proofs & Programs, 20-255 Jun 2022, Nantes, France
- COMMA 2022, Cardiff (Wales), no dates given
- Weyl 2021: Hermann Weyl's Philosophy of Mathematics, Oslo (Norway) and Virtual, 8-10 Dec 2021
- CfP special issue of Topoi on Mathematical Practice & Social Ontology, Deadline: 31 Dec 2021
- 30 Years of Finite Model Theory in Finland, 21-23 Aug 2022, Espoo, Finland
Received: 2021-11-21:
- Special session on "Mathematical Fuzzy Logics" at IPMU 2022, 11-15 Jul 2022, Milan, Italy
- Formal Models of Democracy, Rotterdam and/or Virtual, 20-22 Apr 2022
- Don Pigozzi (1935-2021)
- Universitair Docent (Lecturer/tenured Assistant Professor) in Experimental Methods for AI in Logic & Language, Amsterdam (The Netherlands), Deadline: 19 Dec 2021
- Master in Pure & Applied Logic, Barcelona (Spain)
- Glasstone Fellowship in Computer Science (3y), Oxford (England), Deadline: 29 Nov 2021
- Interdisciplinary collaborative fellowships in history of knowledges, Berlin (Germany), Deadline: 28 Jan 2022
- PhD student scholarship in mathematical logic, Brisbane (Australia), Deadline: 31 Jan 2022
Received: 2021-11-18:
- ISR 2022: International School on Rewriting, 19-23 Sep 2022, Tbilisi, Georgia
- The Sixth Image Schema Day, 20-21 Jan 2022, Joenkoeping, Sweden
- Bilateralism & Proof-Theoretic Semantics, Bochum (Germany) and/or Virtual, 17-18 Mar 2022
- CMCS 2022: Coalgebraic Methods in Computer Science, 2-3 Apr 2022, Munich, Germany
- Assistant/Associate Professorship in Logic or Philosophy of Science, Irvine CA (U.S.A.), Deadline: 30 Nov 2021
- Postdoctoral position in data linking, Toulouse (France)
- Three PhD student positions in Logic, Groningen (The Netherlands), Deadline: 29 Nov 2021
- PhD student grant in argumentation and rhetoric, Warsaw (Poland), Deadline: 10 Dec 2021
Received: 2021-11-11:
- "Inceptiones et Receptiones" (deadline extension), Virtual, 10-15 Jan 2021 (WLD 2022 event)
- Spring School "The History, Philosophy, & Sociology of Large Physics Experiments", 13-20 Mar 2022, Wuppertal, Germany
- Southern Summer Logic Day (WLD 2022), Virtual, 14 Jan 2022
- LCC 2022: Logic & Computational Complexity, Virtual, 20 Feb 2022
- CfPart: Sixth Indian SAT+SMT School, Virtual, 10-12 Dec 2021
- FoIKS 2022: Foundations of Information & Knowledge Systems, 20-23 Jun 2022, Helsinki, Finland
- Postdoctoral position in ethics & epistemology of risk, Karlsruhe (Germany), Deadline: 30 Nov 2022
- Postdoctoral position in database theory & knowledge representation, Warsaw (Poland), Deadline: 3 Dec 2021
Received: 2021-11-08:
- LACompLing 2021: Logic & Algorithms in Computational Linguistics, Virtual, 13-17 Dec 2021
- Formal Models of Democracy, Rotterdam (The Netherlands) or virtual, 20-22 Apr 2022
- CfPart: Trends in Logic XXI, Bochum (Germany) and virtual, 6-8 Dec 2021
- Call for Location: FSCD 2023 (Formal Structures for Computation & Deduction)
- PhD scholarship in mathematical logic, Brisbane (Australia), Deadline: 31 Jan 2022
- 5th SILFS Postgraduate Conference on Logic & Philosophy of Science, 13-17 Jun 2022, Milan, Italy
- ICLP 2022: Logic Programming, 2-8 Aug 2022, Haifa, Israel
- Postdoctoral position in higher-order complexity theory, Victoria BC (Canada), Deadline: 20 Nov 2021
Received: 2021-11-07:
- CfPart: NCMPL 2021, Bochum (Germany) and Virtual, 23-26 Nov 2021
- "Inceptiones et Receptiones: Ethnological, Philological, & Historical Approaches to Logic & Mathematics", Virtual, 10-15 Jan 2022 [WLD 2022 event]
- NFM 2022: NASA Formal Methods Symposium, Pasadena CA (U.S.A.) and/or virtual, 24-27 May 2022
- Two postdoctoral positions in history of philosophy of science, Tilburg (The Netherlands), Deadline: 14 Jan 2022
- EPICENTER Summer Course in Epistemic Game Theory, 4-16 Jul 2022, Maastricht, The Netherlands
- PhD student position in Knowledge Representation & Reasoning, Luxembourg (Luxembourg), Deadline: 10 Dec 2021
- Cross-Alps Logic Seminar, Virtual, 5 Nov to 17 Dec 2021
- Helmut Veith Stipend for Female Master's students in Computer Science, Wien (Austria), Deadline: 30 Nov 2021
Received: 2021-11-06:
- Visiting and Postdoctoral Fellowships in Philosophy of Science, Pittsburgh PA (U.S.A.), Deadline: 12 Dec 2021
- Internship in proof formalisation, Bergen (Norway), Deadline: 26 Nov 2021
- Postdoctoral position in computational complexity, London (England), Deadline: 26 Nov 2021
- Postdoctoral position in Artificial Intelligence, Paris (France), Deadline: 19 Nov 2021
- Lectureship in Theoretical Computer Science, Sheffield (England), Deadline: 16 Nov 2021
- PhD student position in knowledge graphs & description logics, Ulm (Germany), Deadline: 11 Nov 2021
- Postdoctoral position in AI-driven data linking, Toulouse (France)
- Assistant Professorship in Artificial Intelligence, Heerlen (The Netherlands), Deadline: 19 Nov 2021
Received: 2021-10-24:
- CfP post-proceedings of TYPES 2021 in LIPIcs, Deadline: 26 Nov 2021
- CfPart: NMR-2021, Virtual, 3-5 Nov 2021
- The Proof Society Workshop on Proof Theory, 29 Nov - 3 Dec 2021, Madeira, Portugal
- Fellowships for PhD students in the intersection between humanities and sciences, Haifa (Israel)
- Full Professorship in Formal Methods, Linz (Austria), Deadline: 1 Dec 2021
- Executive Directorship of the PSA, Cincinnati OH (U.S.A.), Deadline: 15 Nov 2021
- Postdoctoral position in formal methods and mathematical modelling, Aalborg (Denmark), Deadline: 1 Dec 2021
- (Associate) Professorship in Automated Verification, Oxford (England), Deadline: 21 Jan 2022
Received: 2021-10-18:
- CfPart "Logic & Deliberation", Rotterdam (The Netherlands) and virtual, 26 & 27 Oct 2021
- Assistant Professorship (permanent) in Model-Based AI, Amsterdam (The Netherlands), Deadline: 22 Nov 2021
- "Bilateralism & Proof-Theoretic Semantics", 17-18 Mar 2022, Bochum, Germany
- XLOKR 2021: Explainable Logic-Based Knowledge Representation, Virtual, 4-5 Nov 2021
- CfPart SOQE 2021: Second-order Quantifier Elimination & Related Topics, Virtual, 4 Nov 2021
- CfP special issue on Valerie Plumwood's contributions to logic in AustJL, Deadline: 4 Jul 2022
- NLPinAI 2022: Natural Language Processing in AI, Virtual, 4-6 Feb 2022
- CfP special issue on the role of ontologies & knowledge in Explainable AI in Semantic Web Journal, Deadline: 10 Dec 2021
Received: 2021-10-17:
- Twenty PhD student positions in Logics for Computer Science, Vienna (Austria), Deadline: 30 Dec 2021
- CfP topical collection of Synthese on linguistically informed philosophy of mathematics, Deadline: 15 Mar 2022
- PhD student position in logical modelling, London (England)
- LACompLing 2021: Logic & Algorithms in Computational Linguistics, Virtual, 13-17 Dec 2021
- FSCD 2022: Formal Structures for Computation & Deduction, 2-5 Aug 2021, Haifa, Israel
- Two Research Associate Positions in Verification, Manchester (England)
- Postdoctoral Fellowships & Senior Research Fellowships in Philosophy (Global Priorities), Oxford (England), Deadline: 10 Nov 2021
- Three PhD student positions in Logic, Groningen (The Netherlands), Deadline: 29 Nov 2021
Received: 2021-10-07:
- CiE 2022: Computability in Europe 2022, 11-15 Jul 2022, Swansea, Wales
- Paths in Logic (WLD 2022), Virtual, 13 Jan 2022
- 2nd ENCODE workshop: Logic & Deliberation, 26-27 Oct 2021, Rotterdam, The Netherlands
- CfPart: Workshop on Argument Strength, Virtual, 11-13 Oct 2021
- Research Fellowship in Logic, London (England), Deadline: 15 Oct 2021
- PhD student position in coalgebra, Nijmegen (The Netherlands), Deadline: 11 Oct 2021
- Postdoctoral position in formal models of group deliberation, Rotterdam (The Netherlands), Deadline: 7 Oct 2021 (today!)
- Postdoctoral position (3y) and PhD student position in symbolic algorithms, Bergen (Norway), Deadline: 14 Nov 2021
Received: 2021-09-27:
Received: 2021-09-25:
- CfPart WoLLIC 2021, Virtual, 5-8 Oct 2021
- Formalize!(?) 2, Virtual, 15 Jan 2022
- "Mathematics as/in Science", 8-10 Dec 2021, Gent, Belgium
- "Logic(s) in Defective Science", 6-11 Apr 2022, Crete, Greece
- LI 2022: Logic & Interaction, 24 Jan-25 Feb 2021, Marseille, Frances
- Postdoctoral position in diagrams in mathematical reasoning, Pisa (Italy), Deadline: 8 Oct 2021
- Postdoctoral positions in formal verification, Manchester (England)
- Minisymposium "Large cardinals", Virtual, 28 & 30 Sep 2021
Received: 2021-09-19:
- Four research fellowships at the Institute Vienna Circle, Vienna (Austria), Deadline: 20 Oct 2021
- Special Session on "Competing Foundations for Mathematics", 5-8 Jan 2022, Seattle WA, U.S.A.
- CfPart ReInAct: Reasoning & Interaction, Gothenburg (Sweden) & Virtual, 4-6 Oct 2021
- Postdoctoral position on verification via model learning, London (England), Deadline: 17 Oct 2021
- Postdoctoral position on reasoning about interfacing & communication (2y), London (England)
- CfP post-proceedings of ThEdu 2021 in EPTCS, Deadline: 10 Oct 2021
- KR 2022: Principles of Knowledge Representation & Reasoning, Haifa (Israel) & Virtual, 31 Jul - 5 Aug 2022
- 7th World Congress & School on Universal Logic, 1-11 Apr 2022, Crete, Greece
Received: 2021-09-15:
- Scientific coordinator position for CIPSH Chair on "Diversity of Mathematical Research Cultures & Practices", Hamburg (Germany), Deadline: 15 Oct 2021
- AiML 2022: Advances in Modal Logic, 22-25 Aug 2022, Rennes, France
- IJCAR 2022: Automated Reasoning, 7-12 Aug 2022, Haifa, Israel
- PhD student position in Argumentation for XAI, Warsaw (Poland), Deadline: 1 Oct 2021
- Minisymposium "Thinking about proofs" (at DMV-OeMG conference), Virtual, 27 Sep 2021
- PhD student positions and postdoctoral positions in cyclic proof theory, Beersheba (Israel), London (England), Sheffield (England), Deadline: 20 Oct 2021
Received: 2021-09-11:
- FOIS 2021: Formal Ontology in Information Systems, Virtual, 13-17 Sep 2021
- PSSV 2021: Program Semantics, Specification, & Verification, 4-5 Nov 2021, Virtual and Innopolis, Russia
- CIFMA 2021: Cognition, Virtual, 6 Dec 2021
- CPP 2022: Certified Programs & Proofs, Philadelphia PA (U.S.A.) with Virtual options, 17-18 Jan 2022
- FLoC 2022: Federated Logic Conference, 31 Jul - 12 Aug 2022, Haifa, Israel
- AAMAS 2022: Autonomous Agents & Multiagent Systems, 9-13 May 2022, Auckland, New Zealand
- Junior Professorship (W1, tenure track W2) in Logic, Jena (Germany), Deadline: 23 Sep 2021
- ETAPS 2022: Theory & Practices of Software, 2-7 Apr 2022, Munich, Germany
Received: 2021-09-10:
- ICLP 2021: Logic Programming, Virtual, 20-27 Sep 2021
- 2nd ENCODE Workshop: Logic & Deliberation, Rotterdam (The Netherlands) or Virtual, 26-27 Oct 2021
- Membership application for Working Groups in EuroProofNet (COST Action)
- LFCS 2022: Logical Foundations of CS, Deerfield Beach FL (U.S.A.) and Virtual, 10-13 Jan 2022
- NCMPL 2021: Non-classical Modal & Predicate Logics, 23-26 Nov 2021, Bochum, Germany
- "Inceptiones & Receptiones": Ethnological, Philological, & Historical Approaches to Logic & Mathematics, Virtual, 10-15 Jan 2022
- CfP special issue of APAL on "Combining Probability & Logic", Deadline: 30 Sep 2021
- "New Work on Induction & Abduction", Virtual, 29-30 Sep 2021
Received: 2021-09-09:
- SOQE 2021: Second-Order Quantifier Elimination, Virtual, 3-5 Nov 2021
- Call for Bids to host DEON 2022
- Mike Dunn (1942-2021)
- GandALF 2021: Games, Automata, Logics, & Formal Verification, Padua (Italy) and Virtual, 20-22 Sep 2021
- UNESCO World Logic Day: 14 January 2022
- Trends in Logic XXI, Bochum (Germany) and virtual, 6-8 Dec 2021
- NCL 2022: Non-Classical Logics, 14-18 Mar 2022, Lodz, Poland
- HyLo 2022: Hybrid Logic & Applications, 6-11 Apr 2022, Crete, Greece
Received: 2021-09-08:
- Autumn School "Proof & Computation", Virtual, 13-14 Sep 2021
- Explanation between Logic & Philosophy, Virtual, 20-22 Sep 2021
- PhD student position in the philosophy of mathematical practice, Aarhus (Denmark), Deadline: 1 Nov 2021
- Short-term fellowships on "Limits of Variability in Language", Potsdam (Germany), Deadline: 30 Sep 2021
- Bridging Grant for students in cognitive science with covid-related emergencies, Deadline: 15 Oct 2021
- Two PhD positions in TCS/NLP, Linkoeping & Umea (Sweden)
- Postdoctoral position (2y) on formal models of group deliberation, Rotterdam (The Netherlands), Deadline: 30 Sep 2021
- Twenty PhD student positions in Logics for CS, Wien (Austria), Deadline: 30 Nov 2021
Received: 2021-07-07:
- Symposium on Intelligent Systems, Virtual, 22 Jul 2021
- ICLP-DC 2021: Doctoral Consortium on Logic Programming, Virtual, 20-27 Sep 2021
- Junior researcher position in paraconsistent logic, Torun (Poland), Deadline: 10 Jul 2021
- "Explanation between Logic & Philosophy", Virtual, 20-22 Sep 2021
- CfP special issue of Topoi on Mathematical Practice & Social Ontology, Deadline: Dec 2021
- CLAR 2021: Logic & Argumentation, 20-22 Oct 2021, Virtual or Hangzhou, China
- CAUSAL 2021: Causal Reasoning & Explanation in Logic Programming, Virtual, 20-27 Sep 2021
- Postdoctoral position (4y) on semantics of non-trivial contradictory logics, Bochum (Germany), Deadline: 31 Jul 2021
Received: 2021-07-06:
- CfPart: RW 2021 (Reasoning Web Summer School), Virtual, 8-10 Sep 2021
- "Celebrating 90 Years of Goedel's Incompleteness Theorems", 5-9 July 2021, Virtual and Nuertingen, Germany
- PhD student positions (nine funded, two non-funded) in formal models, Urbino (Italy), Deadline: 24 Aug 2021
- Two PhD student positions in continuous-time models, Aalborg (Denmark)
- Postdoctoral and PhD student position in mathematical logic, Gent (Belgium), Deadline: 31 Jul 2021
- Tenure-track assistant professorship in programming, logic, & intelligent systems, Roskilde (Denmark), Deadline: 1 Aug 2021
- Two postdoctoral research positions in formal verification, Manchester (England)
- PhD studentships in programming languages, Glasgow (Scotland), Deadline: 31 Jul 2021
Received: 2021-06-23:
- ICFCA 2021: Formal Concept Analysis, Virtual, 29 Jun - 2 Jul 2021
- APMP 2021: Association for the Philosophy of Mathematical Practice, Virtual, 30 Jun - 3 Jul 2021
- NMR-2021: Non-Monotonic Reasoning, Virtual, 6-8 Nov 2021
- ReInAct: Reasoning & Interaction, 4-6 Oct 2021, Virtual and Goeteborg, Sweden
- XLoKR 2021: Explainable Logic-Based Knowledge Representation, Virtual, 6-8 Nov 2021
- PLP 2021: Probabilistic Logic Programming, Virtual, 20-27 Sep 2021
- PhD student position & postdoctoral position on foundations of knowledge graphs, Stuttgart (Germany), Deadline: 15 Jul 2021
- ICLP DC 2021: Doctoral Consortium on Logic Programming, Virtual, 20-27 Sep 2021
Received: 2021-06-22:
- ISR 2021: School on Rewriting, Virtual, 5-16 Jul 2021
- PhD student position in logic in multi-agent systems, Utrecht (The Netherlands), Deadline: 1 Jul 2021
- PhD student position in proof-theoretic and algebraic aspects of fixed points, Birmingham (England) & Melbourne (Australia), Deadline: 16 Jul 2021
- CfP commemorative issue in memory of Alan Selman of ToCS, Deadline: end of July
- CCC 2021: Continuity, Computability, Constructivity, Virtual, 19-24 Sep 2021
- MathCultPrac XI: Mathematical Cultures & Practices, Virtual, 10-12 Jul 2021
- WiL 2021: Women in Logic, Virtual, 27 Jun 2021
- DLT 2021: Developments in Language Theory, Porto (Portugal) and Virtual, 16-20 Aug 2021
Received: 2021-06-19:
- NatFoM: Natural Formal Mathematics, Virtual and/or Timisoara (Romania), 26-31 Jul 2021
- LFCS 2022: Logical Foundations of CS, 10-13 Jan 2022, Deerfield Beach FL, U.S.A.
- CAOS 2021: Cognition & Ontologies, Bolzano (Italy) & Virtual, 11-18 Sep 2021
- APMP 2021: Association for the Philosophy of Mathematical Practice, Virtual, 30 Jun - 3 Jul 2021
- Ten PhD student positions or postdoctoral positions on limits of variability in languages, Potsdam (Germany)
- SOQE 2021: Second-Order Quantifier Elimination, Virtual, 3-5 Nov 2021
- Two PhD student positions & two postdoctoral positions in Logic, Groningen (The Netherlands), Deadline: 20 Jun 2021 (tomorrow!)
- PhD student position in enabling reactive synthesis, Goeteborg (Sweden)
Received: 2021-06-16:
- CSL 2022: Computer Science Logic, Goettingen (Germany) and virtual, 14-19 Feb 2022
- Postdoctoral position on polymorphism algebras, Vienna (Austria), Deadline: 15 Jul 2021
- PhD student position in temporal logic, Utrecht (The Netherlands), Deadline: 1 Jul 2021
- Call for Nominations: Ackermann Award 2021, Deadline: 1 Jul 2021
- Postdoctoral position (2y) in logical foundations of AI, Milano (Italy), Deadline: 30 Jun 2021
- CfPart: CiE 2021, Virtual, 5-9 Jul 2021
- PhD student position on formalisation of logical calculi, Saarbruecken (Germany)
- Helmut Veith Stipend for Female Master's students in computer science, Vienna (Austria), Deadline: 30 Nov 2021
Received: 2021-05-26:
- NMR-2021: Non-Monotonic Reasoning, Virtual, 6-8 Nov 2021
- QBF 2021: Quantified Boolean Formulas & Beyond, Virtual, 5-9 Jul 2021
- Trends in Logic XXI, 6-8 Dec 2021, Bochum, Germany
- PhD student position in Knowledge Representation & Reasoning, Luxembourg (Luxembourg), Deadline: 30 Jun 2021
- "Explanation between Logic & Philosophy", Virtual, 20-22 Sep 2021
- ECS@FOIS 2021: Early Career Symposium, 13-16 Sep 2021, Virtual and Bolzano, Italy
- Postdoctoral position (1y) in the Geometry of Algorithms, Paris (France), Deadline: 15 Jun 2021
- Two PhD student scholarships in Knowledge Representation & Reasoning, Brussels (Belgium)
Received: 2021-05-19:
- W3 Professorship in Theoretical Philosophy, Leipzig (Germany), Deadline: 11 Jun 2021
- FORMALS 2021: Formal Reasoning & Semantics, Dubrovnik (Croatia) and Virtual, 20-24 Sep 2021
- SLAI 2022: Logic & AI, Virtual, 12-16 Jan 2022
- Workshop on automated synthesis, Virtual, 29-30 Jul 2021
- Frank R. Drake
- NFM 2021: NASA Formal Methods Symposium, Virtual, 24-28 May 2021
- ICGI 2020: Grammatical Inference, Virtual, 23-27 Aug 2021
- PhD student position on explaining the meaning of logical formulas in ordinary language, Utrecht (The Netherlands), Deadline: 4 Jun 2021
Received: 2021-05-15:
- RW 2021: Reasoning Web Summer School, Virtual, 8-10 Sep 2021
- CfP special issue of Topoi on "Mathematical Practice & Social Ontology", Deadline: Dec 2021
- CCA 2021: Computability & Complexity in Analysis, Virtual, 26-28 Jul 2021
- "Toposes online", Virtual, 24-30 Jun 2021
- Thirteen PhD student grants in Computer Science, Bolzano (Italy), Deadline: 30 Jun 2021
- Logical Perspectives 2021, Virtual and/or Moscow (Russia), 7 Jun - 8 Jul 2021
- "Computing Semantics with Types, Frames, & Related Structures", Virtual, 26-27 Jul 2021
- PhD student position in modal fixpoint logics, Amsterdam (The Netherlands), Deadline: 7 Jun 2021
Received: 2021-05-14:
- PhD programme in Mathematical & Physical Sciences (logic represented), Udine (Italy), Deadline: 16 Jun 2021
- NCMPL 2021: Non-classical Modal & Predicate Logics, 23-26 Nov 2021, Bochum, Germany
- PhD student position in Logic, Gothenburg (Sweden), Deadline: 31 May 2021
- W2-Professorship in Philosophy of Science & Technology, Darmstadt (Germany), Deadline: 30 May 2021
- Summer School on Formal Techniques, Virtual, 22-28 May 2021
- PhD student position "Conceptual & referential activation in discourse", Cologne (Germany), Deadline: 30 May 2021
- PhD student position in theoretical philosophy, Giessen (Germany), Deadline: 15 Jun 2021
- Postdoctoral position in logic, semantics, formal verification, Lyon (France), Deadline: 30 May 2021
Received: 2021-05-13:
- PhD student position in Logic & AI, Bergen (Norway), Deadline: 1 Jun 2021
- Assistant / Associate Professorship in Logic-based AI, Kungens Lyngby (Denmark), Deadline: 15 May 2021 (in two days!)
- PhD student position in proof theory, Darmstadt (Germany)
- Researcher position in Linguistics & Argumentation Theory, Dundee (Scotland), Deadline: 14 May 2021 (tomorrow!)
- PhD student position in Logic, Amsterdam (The Netherlands), Deadline: 13 Jun 2021
- Two PhD student positions in history & philosophy of science, Lisbon (Portugal), Deadline: 29 May 2021
- Assistant Professorship in Philosophy of Science, Amsterdam (The Netherlands), Deadline: 1 Jun 2021
- PhD student position in collective decision making in social networks, Groningen (The Netherlands), Deadline: 24 May 2021
Received: 2021-04-28:
- Thomas Strahm (1965-2021)
- Call for proposals of sessions on philosophy of mathematics at the APA meetings, Deadline: 1 Jun 2021
- Summer course on Topics in the Philosophy of Mathematical Practice, Virtual
- Third Workshop on Argument Strength, Hagen (Germany) or Virtual, 11-13 Oct 2021
- Numerous Numerosity: Mathematical cognition, fundamental science, & philosophy of mathematics, Virtual, 24-28 May 2021
- Five PhD student positions in Philosophy of Science, Hannover/Bielefeld (Germany), Deadline: 6 May 2021
- NCMPL 2021: Non-classical Modal and Predicate Logics, 23-26 Nov 2021, Bochum, Germany
- Kurt Goedel Day 2021 with Czech Gathering of Logicians, Brno (Czech Republic) or POSTPONED to September, 25-26 Jun 2021
Received: 2021-04-27:
- VvL Logic at Large: And Logic Begat Computer Science, Virtual, 28 May 2021
- LC 2021: Logic Colloquium, Virtual, 19-24 Jul 2021
- Two postdoctoral positions in responsible AI, Umea (Sweden), Deadline: 30 Apr 2021
- Lectureship in Theoretical Computer Science, London (England)
- Two PhD student positions in philosophy of science, Lisbon (Portugal), Deadline: 29 May 2021
- PhD student position in rational verification & synthesis in multi-agent systems, Utrecht (The Netherlands), Deadline: 15 May 2021
- Postdoctoral position in Set Theory (30m), Bristol (England), Deadline: 13 May 2021
- Assistant or Associate Professorship in Discrete Maths, Algorithms, or Logic-Based AI, Kungens Lyngby (Denmark), Deadline: 15 May 2021
Received: 2021-04-16:
- Three Assistant Professorships at ILLC: "New Media & Information", "Computational Humanities", "Philosophy of Language & Cognition", Amsterdam (The Netherlands)
- Postdoctoral position in philosophy of AI, Utrecht (The Netherlands), Deadline: 25 Apr 2021
- PxTP 2021: Proof eXchange for Theorem Proving, Virtual, 21 Jul 2021
- "Let's Talk Models!", Virtual, 26 May 2021
- CiE 2021: Computability in Europe, Virtual, 5-9 Jul 2021
- ICLP 2021: Logic Programming, Virtual, 20-27 Sep 2021
- Postdoctoral Position (12m) on integrated verification of cyberphysical systems, Padua (Italy)
Received: 2021-04-13:
Received: 2021-04-12:
- CompLingInfoReasAI 2021: Computational Linguistcs, Information, Reasoning, & AI, 6-8 Oct 2021, Virtual and Salamanca, Spain
- FMICS 2021: Formal Methods for Industrial Critical Systems, Virtual, 23-27 Aug 2021
- StS 2021: ESSLLI Student Session, Virtual, 26 Jul-13 Aug 2021
- CALCO 2021: Algebra & Coalgebra in Computer Science, Virtual and/or Salzburg (Austria), 31 Aug - 3 Sep 2021
- CLAR 2021: Logic & Argumentation, Hangzhou (China) and Virtual, 20-22 Oct 2021
- VEST 2021: Verification of Session Types, Virtual, 12 Jul 2021
- ICTCS 2021: Theoretical Computer Science, Virtual, 13-15 Sep 2021
Received: 2021-04-11:
- MFPS XXXVII: Mathematical Foundations of Programming Semantics, Virtual and/or Salzburg (Austria), 30 Aug - 2 Sep 2021
- HaPoC 2021: History & Philosophy of Computing, Virtual & Zuerich (Switzerland), 27-29 Oct 2021
- LoDE 2021: Logics of Dependence & Independence, Virtual, 9-10 Aug 2021
- VCLA International Student Awards 2021, Deadline: 30 Apr 2021
- PLS13: Panhellenic Logic Symposium, postponed to July 2022
- UNILOG VII: Congress & School on Universal Logic, 1-11 Apr 2022, Crete, Greece
- PhD student position in automated deduction, Marseilles (France), Deadline: 30 Apr 2021
- ITRS 2021: Intersection Types & Related Systems, Virtual, 17 Jul 2021
Received: 2021-04-09:
- TABLEAUX 2021, Virtual and/or Birmingham (England), 6-9 Sep 2021
- ESSLLI 2022: Logic, Language, & Information, 8-19 Aug 2022, Galway, Ireland
- TSD 2021: Text, Speech, & Dialogue, Virtual and/or Olomouc (Czech Republic), 6-9 Sep 2021
- Temporary (1y) Assistant Professorship in Computational Linguistics, Utrecht (The Netherlands), Deadline: 30 Apr 2021
- Final Call for Nominations, E W Beth Outstanding Dissertation Prize 2021, Deadline: 15 Apr 2021
- Visiting Professorship in Russell & the history of analytic philosophy, Hamilton ON (Canada)
- Postdoctoral position (1+2y) in epistemology & ethics of risk, Milano (Italy), Deadline: 20 Apr 2021
- PhD student position on explaining the meaning of logical formulas, Utrecht (The Netherlands), Deadline: 4 Jun 2021
Received: 2021-03-31:
- Workship on the application of formal theories of truth to expressively rich languages, Virtual, 30 Apr 2021
- Opening of the Carl Friedrich von Weizsaecker-Centre: "Making Responsible Decisions in & about Science", Virtual, 6 Apr 2021
- CfPart: ESSLLI 2021, Virtual, 26 Jul - 14 Aug 2021
- "Fictionalism in Philosophy of Maths", Virtual, 8-9 Apr 2021
- Associate Professorship in logic, model theory or universal algebra, Prague (Czech Republic)
- VCLA Awards for Outstanding Master's and Undergraduate Theses, Deadline: 30 Apr 2021
- Lectureships and Teaching Fellowship in Computer Science, Leipzig (Germany), Deadline: 7 Apr 2021
- Postdoctoral fellowship in logic, Prague (Czech Republic), Deadline: 31 May 2021
Received: 2021-03-27:
- SemDial 2021 (PotsDial): Semantics & Pragmatics of Dialogue, Virtual and/or Potsdam (Germany), 20-22 Sep 2021
- FOMEO 2021: Formal Methods Education Online, Virtual, 12 Jul 2021
- Lectureship or Associate Professorship in programming principles, logic, & verification, London (England), Deadline: 7 May 2021
- Faculty positions (assistant / associate / full professor) in Computer Science, Edinburgh (Scotland)
- PhD student position in epistemic & semantic commitments, Warsaw (Poland), Deadline: 30 Apr 2021
- Tenure track position in computer science (Logic group), Prague (Czech Republic), Deadline: 31 May 2021
- Herbert A. Simon Award for Outstanding Research in Computing & Philosophy, Deadline: 5 Apr 2021
- Postdoctoral research associateship in verification, Manchester (England)
Received: 2021-03-24:
- TYPES 2021: types for proofs & programes, Virtual, 14-19 Jun 2021
- ESSLLI 2021: Logic, Language, & Information, Virtual, 26 Jul - 13 Aug 2021
- DL 2021: Description Logics, Bratislava (Slovenia) or Virtual, 19-22 Sep 2021
- FMAI 2021: Formal Methods in AI, Virtual, 15-16 Apr 2021
- PhD student position in logic in philosophy & AI, Bochum (Germany), Deadline: 25 Apr 2021
- Research fellowship in programming principles, logic, & verification, London (England), Deadline: 18 Apr 2021
Received: 2021-03-22:
- AAL 2021: Australasian Association for Logic, Virtual, 23-25 Jun 2021
- GandALF 2021: Games, Automata, Logics, & Formal Verification, Virtual and/or Padua (Italy), 20-22 Sep 2021
- AITP 2021: AI & Theorem Proving, Virtual & Aussois (France), 5-10 Sep 2021
- SWODCH 2021: Semantic Web & Ontology Design for Cultural Heritage, 20-21 Sep 2021, Virtual and Bolzano, Italy
- PhD student position on interactions between spaces of argumentation, Paris (France), Deadline: 11 Apr 2021
Received: 2021-03-21:
- ARCADE 2021: Automated Reasoning, Virtual, 16 Jul 2021
- ICLP 2021: Logic Programming, Virtual, 20-27 Sep 2021
- FOIS 2021: Formal Ontologay in Information System, Virtual or Bolzano (Italy), Sep 2021
- ICGI 2020/21: Grammatical Inference, Virtual, 23-27 Aug 2021
- TSD 2021: Text, Speech, & Dialogue, Virtual and/or Olomouc (Czech Republic), 6-9 Sep 2021
- CfP special issue of L&LP on "Relating Logic & Relating Semantics", Deadline: 30 Apr 2021
- LC 2021: Logic Colloquium, Virtual, 19-24 Jul 2021
- PhD student position in theoretical computer science, Bremen (Germany), Deadline: 13 Apr 2021
Received: 2021-03-18:
- ICLP 2021: Logic Programming, Virtual, 20-27 Sep 2021
- KR 2021: Knowledge Representation & Reasoning, Hanoi (Vietnam) and/or Virtual, 6-12 Nov 2021
- ITRS 2021: Intersection Types & Related Systems, Virtual, 17 Jul 2021
- DIAGRAMS 2021, Virtual, 28-30 Sep 2021
- Four W3 professorships in philosophy (one in theoretical philosophy), Heidelberg (Germany)
- Postdoctoral position in theoretical philosophy, Regensburg (Germany), Deadline: 19 Mar 2021 (tomorrow!)
- MGS 2021: Midlands Graduate School in the Foundations of Computing Science, Virtual, 12-16 Apr 2021
- ThEdu 2021: Theorem Proving Components for Educational Software, Virtual, 11 Jul 2021
Received: 2021-03-17:
- BEST 2021: Boise Extravaganza in Set Theory, Virtual, 17-20 Jun 2021
- TABLEAUX 2021: Automated Reasoning with Analytic Tableaux & Related Methods, Birmingham (England) and Virtual, 6-9 Sep 2021
- BLAST 2021: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology, and Point-free Topology, Virtual, 9-13 Jun 2021
- E W Beth Outstanding Dissertation Prize 2021
- CLAR 2021: Logic & Argumentation, Hangzhou (China) and Virtual, 20-22 Oct 2021
- Postdoctoral position on hybrid models of natural reasoning, Warsaw (Poland), Deadline: 15 May 2021
- Postdoctoral position in algorithmic game theory, Liverpool (England), Deadline: 21 Mar 2021
- Two postdoctoral positions in abductive reasoning in natural language, Amsterdam (The Netherlands), Deadline: 5 Apr 2021
Received: 2021-03-16:
- "Let's Talk Models!": kick-off workshop of ENCODE, 26 May 2021, Virtual or Rotterdam, The Netherlands
- PhD student position on mental representation & situated cognition, Bochum (Germany), Deadline: 4 Apr 2021
- Call for Nominations: The 2021 Covey Award, Deadline: 22 Mar 2021
- PhD student scholarship on concurrency & logic, Groningen (The Netherlands), Deadline: 19 Mar 2021
- University Assistantship (postdoctoral) in Philosophy of Science & Epistemology, Vienna (Austria), Deadline: 4 Apr 2021
- WiL 2021: Women in Logic, Virtual, 27 Jun 2021
- 13th French Philosophy of Maths Workshop, Nice (France) or Virtual, 7-9 Oct 2021
- PhD student position on hybrid models of natural reasoning, Warsaw (Poland), Deadline: 15 May 2021
Received: 2021-03-15:
- Joint Jahrestagung FG LogInf & Deduktionstreffen, Virtual, 26 Mar 2021
- MMSR 2021: Beyond Language: Multimodal Semantic Representations, Virtual, 14-18 Jun 2021
- Ackermann Award 2021, Deadline: 1 Jul 2021
- 20th Studia Logic Trends in Logic: postponed to May 2022
- WoLLIC 2021: Logic, Language, Information, & Computation, Virtual, 5-8 Oct 2021
- StS 2021: ESSLLI 2021 Student Session, Virtual, 2-13 Aug 2021
- PhD Research Scholarships in philosophy of sciences, Lisbon (Portugal), Deadliine: 31 Mar 2021
- CSL 2022: Computer Science Logic, Goettingen (Germany) & Virtual, 14-19 Feb 2022
Received: 2021-03-14:
- Postdoctoral position in foundations of autonomous multi-agent systems, Warsaw (Poland)
- PhD student positions in History and Philosophy of Science, Lisbon (Portugal), Deadline: 29 May 2021
- M.A. programme in Logic & Theory of Science, Budapest (Hungary)
- Kummer Fellowships (PhD student fellowships) in all disciplines, Rolla MO (U.S.A.)
- Postdoctoral position on logic-based approaches to explanations in AI, Sydney (Australia), Deadline: 18 Mar 2021
- Faculty positions (Assistant/Associate/Full Professorships) in Computer Science, Edinburgh (Scotland), Deadline: 11 Apr 2021
- Postdoctoral position in mathematical logic, Bern (Switzerland), Deadline: 31 Mar 2021
- PhD student position on formal models of group deliberations, Rotterdam (The Netherlands), Deadline: 1 Jun 2021
Received: 2021-02-12:
Received: 2021-02-08:
Received: 2021-02-05:
- CIAA 2021: Implementation & Applications of Automata, Bremen (Germany) & Virtual, 19-23 Jul 2021
- Research Scientist in AI, Paris (France)
- Call for Nominations: 2021 Goedel Prize, Deadline: 28 Feb 2021
- AAMAS 2021: Autonomous Agents & Multi-Agent Systems (Student Scholarships), Virtual, 3-7 May 2021
- CARLA 2021: Concepts in Action, Representation, Learning, & Application, Bolzano (Italy) and Virtual, 16-19 Sep 2021
- Foundations of Computer Science at the University of Leicester
Received: 2021-02-04:
Received: 2021-02-03:
- FOIS 2021: Formal Ontology in Information Systems, Bolzano (Italy) and Virtual, 13-16 Sep 2021
- TABLEAUX 2021, Birmingham, England and Virtual, 6-9 Sep 2021
- UNIF 2021: Unification, Virtual, 18 Jul 2021
- UAI 2021: Uncertainty in AI, virtual, 27-30 Jul 2021
- SCSS 2021: Symbolic Computation in Software Science, Virtual, 8-10 Sep 2021
- CADE-28: Automated Deduction, Pittsburgh PA or virtual, 11-16 Jul 2021
- PhD student position in Explainable Intelligent Systems, Saarbruecken (Germany), Deadline: 7 Mar 2021
- ITRS 2021: Intersection Types & Related Systems, Virtual, 17 Jul 2021
Received: 2021-02-02:
- DEON 2020/21: Deontic Logic & Normative Systems, Munich (Germany) or virtual, 21-24 Jul 2021
- CfP (deadline extension) special issue of L&LP on "logics & their interpretations", Deadline: 20 Feb 2021
- LAMAS & SR 2021: Logical Aspects of Multi-Agent Systems & Strategic Reasoning, Virtual, 3-4 May 2021
- CiE 2021: Computability in Europe, Virtual, 5-9 Jul 2021
- KR 2021: Principles of Knowledge Representation & Reasoning, 6-12 Nov 2021, Hanoi, Vietnam
- PhD student position in non-symbolic representation in situated cognition, Bochum (Germany), Deadline. 14 Feb 2021
- ICALP 2021: Automata, Languages, & Programming, Virtual, 13-16 Jul 2021
- PhD student position on formal models of group deliberations, Rotterdam (The Netherlands), Deadline: 1 Jun 2021
Received: 2021-02-01:
- TSD 2021: Text, Speech, & Dialogue, Olomouc (Czech Republic) or virtual, 6-9 Sep 2021
- DL 2021: Description Logics, 19-22 Sep 2021, Bratislava, Slovenia
- CLAR 2021: Logic & Argumentation, Hangzhou (China) or virtual, 20-22 Oct 2021
- NALOMA 2021: Natural Logic meets Machine Learning, Virtual, 14-18 Jun 2021
- APMP 2021: Association for the Philosophy of Mathematical Practice, Virtual, 30 Jun - 3 Jul 2021
- LDK 2021: Language, Data & Knowledge, Zaragoza (Spain) and virtual, 1-3 Sep 2021
- PLS 13: Panhellenic Logic Symposium, Volos (Greece) or virtual, 14-18 Jul 2021
- Diagrams 2021: Call for Tutorials, Virtual, 28-30 Sep 2021
Received: 2021-01-30:
- E W Beth Outstanding Dissertation Prize 2021, Deadline: 15 Apr 2021
- BLAST 2021: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-Theoretic Topology, Point-free topology, Virtual, 9-13 Jun 2021
- CiE 2021: Computability in Europe, Virtual, 5-9 Jul 2021
- W3 Professorship Multilingual Computational Linguistics, Passau (Germany), Deadline: 5 Mar 2021
- Postdoctoral position on robust argumentation machines, Muenchen (Germany)
- PhD student and postdoctoral positions in Mode(s) of Verification & Monitorability, Reykjavik (Iceland), Deadline: 20 Feb 2021
- Postdoctoral position in Computational Linguistics, Duesseldorf (Germany), Deadline: 28 Feb 2021
- Assistant Research Professorship (3y) in Philosophical Logic, Storrs CT (U.S.A.), Deadline: 7 Mar 2021
Received: 2021-01-29:
- Postdoctoral position on analysis techniques for deep neural networks, Houston TX (U.S.A.)
- Associate Professorship in Mathematical Logic & Theoretical Computer Science, St. Petersburg (Russia), Deadline: 12 Feb 2021
- Postdoctoral position and PhD student position on evolution of cognitive tools, Bergen (Norway), Deadline: 15 Feb 2021
- PhD student position on foundations of knowledge, Groningen (The Netherlands), Deadline: 31 Jan 2021
- Assistant Professorship in Formal Methods, Kungens Lyngby (Denmark), Deadline: 28 Feb 2021
- PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland), Deadline: 2 Feb 2021
- PhD student position on concurrency & logic, Groningen (The Netherlands)
- Postdoctoral position (2y) in Logic, Beijing (China), Deadline: Apr 2021
Received: 2021-01-12:
- "From Aristotle to the iPhone" (WLD 2021 event), Virtual, 14 Jan 2021
- RAMiCS 2021: Relational & Algebraic Methods in Computer Science, 2-5 Nov 2021, Marseille, France
- World Logic Day 2021 in Tallinn, Virtual, 14 Jan 2021
- FSCD 2021: Formal Structures for Computation & Deduction, Virtual, 17-24 Jul 2021
- World Logic Day in Hungary (WLD 2021 event), Virtual, 14 Jan 2021
- Associate Professorship in Mathematical Logic & TCS, St Petersburg (Russia), Deadline: 12 Feb 2021
- CS Oxford World Logic Day Lectures (WLD 2021 event), Virtual, 14 Jan 2021
- Assistant Professorship in Computer Science, Warsaw (Poland), Deadline: 12 Feb 2021
Received: 2021-01-11:
- Two postdoctoral fellowships (2y) in combining philosophy of mind with psychology, linguistics, psychiatry, neurosciences, or AI, Bochum (Germany), Deadline: 31 Jan 2021
- Diagrams 2021: Theory & Application of Diagrams, Virtual, 28-30 Sep 2021
- CfP special issue of Axiomathes on disagreement in mathematics, Deadline: 15 Aug 2021
- CfP special issue of JLC on Reasoning about Social Networks, Deadline (extended). 15 Feb 2021
- KR 2021: Knowledge Representation & Reasoning, 6-12 Nov 2021, Hanoi, Vietnam
- Call for Nominations: the 2021 Alonzo Church Award, Deadline: 1 Mar 2021
- Mike Yates (1939-2020)
- GSCL XXII: Graduate Student Conference in Logic, virtual, 20-21 Mar 2021
Received: 2021-01-09:
- PhD student position in history & philosophy of maths, Zuerich (Switzerland), Deadline: 10 Mar 2021
- "Computer Science needs Logic!", (WLD 2021 event), Virtual, 15 Jan 2021
- The heterodox in logic & reason (WLD 2021 event), Virtual, 13-16 Jan 2021
- Logic & its Philosophy, Virtual, 14 Jan 2021
- W1 Junior Professorship (tenure track) in Foundations of Computer Science, Konstanz (Germany), Deadline: 20 Jan 2021
- Logic: A world of interdisciplinary science, Celebrating World Logic Day in Nigeria, Virtual, 14 Jan 2021
- PhD student position in Logics for Ethical Reasoning in Social Robots, Toulouse (France), Deadline: 21 Feb 2021
- Logical Journeys! (WLD 2021 event), Virtual, 14 Jan 2021
Archived years:
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