[LOGIC] List Mailing Archive 2022
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
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: 2022-10-18:
- CfP post-proceedings for ThEdu'22 in EPTCS, Deadline: 7 Nov 2022
- Cross-Alps Logic Seminars, Virtual, starting 21 Oct 2022
- Online panel discussion of the European Set Theory Society, Virtual, 27 Oct 2022
- Proof Society Autumn School & Workshop, 7-12 Nov 2022, Utrecht, The Netherlands
- BPGMTC 13: British Postgraduate Model Theory Conference, 18-20 Jan 2023, Leeds, England
- Senior & Junior Fellowships in Mind & Cognition, Bochum (Germany)
Received: 2022-10-13:
Received: 2022-10-11:
- Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 6-17 Feb 2023, Campinas, Brazil
- Model-based reasoning, abductive cognition, creativity, 7-9 Jun 2023, Rome, Italy
- 14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France
- ETAPS 2023: European Joint Conference on Theory & Practice of Software, 22-27 Apr 2023, Paris, France
- CfP special issue of IJAR on logics for the new AI spring, Deadline: 1 Mar 2023
- CfP special issue of LJIGPL on non-classical modal and predicate logics, Deadline: 31 Oct 2022
- (Senior) Lectureship in Trusted AI (applications from logicians welcome), Glasgow (Scotland), Deadline: 23 Oct 2022
- Three PhD student positions in verification, Sheffield (England)
Received: 2022-10-10:
- Research visits in analytic philosophy at the Slovak Academy of Sciences, Bratislava (Slovakia), Deadline: 31 Oct 2022
- UNESCO World Logic Day 2023, 14 Jan 2023
- Special Topos Institute Seminar celebrating Dana Scott's 90th birthday, Berkeley CA (U.S.A.) & Virtual, 11 Oct 2022
- "Higher-Level Dimensions in Logic", 21 Oct 2022, Madrid, Spain
- Faculty position in logical foundations & formal methods, Cambridge (England), Deadline: 5 Dec 2022
- Two W2 Professorship (one tenured, one 5y) in computer-assisted theorem proving, Bonn (Germany)
- Three teaching positions in Computer Science, Sheffield (England), Deadlines: 14, 26, & 28 Oct 2022
- Postdoctoral position on gestures and diagrams in logic, Muenster (Germany), Deadline: 10 Oct 2022 (today!)
Received: 2022-10-09:
- Tenure-track assistent professorship in philosophy of science, Boston MA (U.S.A.), Deadline: 10 Nov 2022
- Postdoctoral position on Hardware Verification via Model Learning, London (England), Deadline: 15 Oct 2022
- Call for Nominations: 2022 Victor Lesser Distinguished Dissertation Award, Deadline: 15 Oct 2022
- Faculty positions in computer science (all areas), Oxford (England), Deadline: 14 Dec 2022
- Postdoctoral position in theory and algorithms for resilient self-programming, Trente (Italy), Deadline: 31 Oct 2022
- PhD student or postdoctoral position in theoretical philosophy of mind or cognition, Bochum (Germany), Deadline: 31 Oct 2022
- Call for Nominations: S. Barry Cooper Prize 2023, Deadline: 31 Jan 2023
- Postdoctoral position in mathematical logic, Vienna (Austria)
Received: 2022-09-09:
Received: 2022-09-06:
- CfP special issue of Axiomathes on "Mathematical neutrality in science, technology, & society", Deadline: 1 Dec 2022
- Online Workshop "Proofs, Computation, & Meaning", Virtual, 7 Sep, 28 Sep, 7 Dec 2022
- International Autumn School on Proof Theory & Workshop on Proof Theory, 7-12 Nov 2022, Utrecht, The Netherlands
- Assistant Professorship (tenure-track) in Maths, Physics, or Philosophy, Orange CA (U.S.A.), Deadline: 7 Oct 2022
Received: 2022-09-04:
- Open access publication of the logical writings of Karl Popper
- Assistant or Associate Professorship in Logic-based AI or Algorithms & Data structures, Kungens Lyngby (Denmark), Deadline: 1 Oct 2022
- Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 6-17 Feb 2023, Campinas, Brazil
- TSD 2022: Text, Speech, & Dialogue, 6-9 Sep 2022, Brno, Czech Republic
- Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual, 6-8 Mar 2023
- BEWARE 2022 Bias, Risk, Opacity, Machine Ethics, Explainability, Ethics & AI, Udine (Italy) 28 Nov-2 Dec 2022
- CPP 2023: Certified Programs^& Proofs, 16-17 Jan 2023, Boston MA, U.S.A.
- Autumn School on Proof Theory & Workshop on Proof Theory, 7-12 Nov 2022, Utrecht, The Netherlands
Received: 2022-09-02:
- Online conference celebrating Istvan Nemeti's 80th birthday, Virtual, 15-17 Sep 2022
- CfPart CLAS 2022: Computational Logic Autumn Summit, 19-30 Sep 2022, Tbilisi, Georgia
- CfP special issue of AustJL on Valerie Plumwood's contributions to logic, Deadline: 4 Sep 2022
- ETAPS 2023: Theory & Practice of Software, 22-27 Apr 2023, Paris, France
- TDPhiMa 3: Philosophical & Linguistic Approaches to Computational Mathematics, Essen (Germany) & Virtual, 7 & 8 Sep 2022
- Masterclass with Joel David Hamkins on the set-theoretic multiverse, Konstanz (Germany) & virtual, 21-22 Sep 2022
- Research assistantship in Language in Interaction, Nijmegen (The Netherlands), Deadline: 15 Sep 2022
- Postdoctoral fellowship in paraconsistent computability theory, Dunedin & Christchurch (New Zealand)
Received: 2022-07-04:
- Kick-off meeting of the Automated Theorem Provers Working Group of EuroProofNet, 11-12 Aug 2022, Haifa, Israel
- 14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France
- Postdoctoral position in Logic, Uncertainty, Computation, & Information, Milan (Italy), Deadline: 9 Sep 2022
- ASL 2022: Advances in Separation Logics, 31 Jul 2022, Haifa, Israel
- ESTC 2022: European Set Theory Conference, 29 Aug - 2 Sep 2022, Turin, Italy
Received: 2022-07-01:
- Postdoctoral position in Epistemology and/or Philosophy of Maths, Linkoeping (Sweden), Deadline: 15 Aug 2022
- ArgXAI 2022: Argumentation for eXplainable AI, Cardiff (Wales) & Virtual, 12 Sep 2022
- CSL 2023: Computer Science Logic, 13-16 Feb 2023, Warsaw, Poland
- Research position (2y) on formal methods for reasoning in social settings, Pisa (Italy), Deadline: 14 Jul 2022
- Autumn School of ICTAC 2022: Theoretical Aspects of Computing, 26-30 Sep 2022, Tbilisi, Georgia
Received: 2022-06-29:
- FCR-2022: Formal & Cognitive Reasoning, 20 Sep 2022, Trier, Germany
- RuleML+RR Doctoral Consortium 2022, Berlin (Germany) & Virtual, 26-28 Sep 2022
- Two postdoctoral positions & one PhD student position in Computer Science Logic, Sheffield (England), Deadline: 20 Jul 2022
- Call for bids: DEON 2023, Deadline: 1 Sep 2022
- AiML 2022: Advances in Modal Logic, 22-25 Aug 2022, Rennes, France
- ISR 2022: Rewriting, 19-24 Sep 2022, Tbilisi, Georgia
- CPP 2023: Certified Programs & Proofs, 16-17 Jan 2023, Boston MA, U.S.A.
Received: 2022-06-27:
- Logic for the AI Spring Summer School, 12-16 Sep 2022, Lake Como, Italy
- Student internship in neuro-symbolic methods, Cambridge (England)
- Deduktionstreffen 2022, 19-20 Sep 2022, Trier, Germany
- Autumn School & Workshop on Proof Theory, 7-12 Nov 2022, Utrecht, The Netherlands
- ICTAC 2022: Theoretical Aspects of Computing, Tbilisi (Georgia) & Virtual, 27-29 Sep 2022
- ACT 2022: Applied Category Theory, Glasgow (Scotland) & Virtual, 18-22 Jul 2022
- LearnAut 2022: Learning & Automata, Paris (France) & Virtual, 4 Jul 2022
- CfP special issue of Bull. Sect. Log. on Bilateralism & Proof-theoretic semantics, Deadline: 31 Aug 2022
Received: 2022-06-25:
- 30 Years of Finite Model Theory in Finland, 21-23 Aug 2022, Espoo, Finland
- ESTC 2022: European Set Theory Conference, 29 Aug - 2 Sep 2022, Torino, Italy
- Postdoctoral position in reasoning in arithmetic theories, Oxford (England), Deadline: 7 Jul 2022
- PhD student position in trust management, Munich (Germany), Deadline: 30 Jun 2022
- PhD positions in knowledge engineering, Bolzano (Italy), Deadline: 1 Jul 2022
- PhD student position in formal verification, Göteborg (Sweden)
- Tenure-track professorship in mathematical logic, Vienna (Austria), Deadline: 13 Sep 2022
- Postdoctoral position (3y) in contradictory logics, Bochum (Germany), Deadline: 15 Jul 2022
Received: 2022-06-14:
- WiL 2022: Women in Logic, 31 Jul 2022, Haifa, Israel
- CSL 2023: Computer Science Logic, 13-16 Feb 2023, Warsaw, Poland
- ICTAC 2022: Theoretical Aspects of Computing, 27-29 Sep 2022, Tbilisi, Georgia
- DecFOML: Decidable Fragments of First-Order Modal Logic, 31 Jul 2022, Haifa, Israel
- Workshop "Concepts & Reasoning", 20-21 Jun 2022, Bochum, Germany
- AiML 2022: Advanced in Modal Logic, 22-25 Aug 2022, Rennes, France
- Postdoctoral position on nested data, Oxford (England)
- Three tenure-track assistant professorships in AI, Lisbon (Portugal), Deadline: 6 Jul 2022
Received: 2022-05-31:
- ESSLLI 2022: Early bird deadline extension, 8-19 Aug 2022, Galway, Ireland
- FCA4AI 2022: What can FCA do for AI?, 23-24 Jul 2022, Vienna, Austria
- WCP6: World Congress on Paraconsistency & SQUARE 7: World Congress on the Square of Opposition, Torun (Poland) & Leuven (Belgium), 5-13 Sep 2022
- PhD positions in various aspects of logic, Udine (Italy), Deadline: 22 Jun 2022
- PhD student position on Security & Trust, Munich (Germany), Deadline: 15 Jun 2022
- LOGICA 2022, 11-15 Sep 2022, Tepla, Czech Republic
- LAMAS & SR 2022: Logical Aspects in Multi-Agent Systems & Strategic Reasoning, 25-26 Aug 2022, Rennes, France
- CL 2022: Colloquium Logicum, 26-28 Sep 2022, Konstanz, Germany
Received: 2022-05-22:
Received: 2022-05-21:
- TYPES 2022: Types for Proofs & Programs, 20-25 Jun 2022, Nantes, France
- ESSLLI 2022, 8-19 Aug 2022, Galway, Ireland
- "Trends in Arithmetic Theories", 4 Jul 2022, Paris, France
- W1 Junior Professorship (tenure track) in theoretical philosophy, Stuttgart (Germany), Deadline: 10 Jun 2022
- CfPart Logic for the AI Summer School, 12-16 Sep 2022, Como, Italy
- 30 Years of Finite Model Theory in Finland, 21-22 Aug 2022, Espoo, Finland
- CICM 2022: Intelligent Computer Mathematics, Tbilisi (Georgia) & Virtual, 19-23 Sep 2022
- HHU Summer School: Philosophy of Mathematics Beyond the Armchair?!, 22-26 Aug 2022, Duesseldorf, Germany
Received: 2022-05-19:
- FoIKS 2022: Foundations of Information & Knowledge Systems, 20-23 Jun 2022, Helsinki, Finland
- WPTE 2022: Rewriting Techniques for Program Transformations & Evaluation, 31 Jul 2022, Haifa, Israel
- CfPart: CiE 2022, 11-15 Jul 2022, Swansea, Wales
- Call for Nominations: ALP Alain Colmerauer Prolog Heritage Prize, Deadline: 2 Sep 2022
- "Engineering the Concept of Collection", Oslo & Virtual, 20-21 Jun 2022
- EELP 2022: Epistemic Extensions of Logic Programming, 31 Jul 2022, Haifa, Israel
- FCR 2022: Formal & Cognitive Reasoning, 20 Sep 2022, Trier, Germany
- 7th Workshop on Connexive Logics, 26-28 Oct 2022, Mexico City, Mexico
Received: 2022-05-18:
Received: 2022-05-14:
- LR 2022 DC: Doctoral Consortium of "Principles of Knowledge Representation & Reasoning", 31 Jul - 5 Aug 2022, Haifa, Israel
- CfP special issue of AJL on Valerie Plumwood's contributions to logic, Deadline: 4 Jul 2022
- LOPSTR 2022: Logic-Based Program Synthesis & Transformation, Tbilisi (Georgia) & Virtual, 21-23 Sep 2022
- LogTeach 2022: Why & how to teach logic for CS undergraduates?, Haifa (Israel), 31 Jul & 1 Aug 2022
- JOWO 2022: Joint Ontology Workshops, 15-19 Aug 2022, Joenkoeping, Sweden
- Call for Nominations: Ackermann Award 2022, Deadline: 1 Jul 2022
Received: 2022-05-13:
- FORMALS 2022: Formal Reasoning & Semantics, Dubrovnik (Croatia) & Virtual, 26-29 Sep 2022
- CCA 2022: Computability & Complexity in Analysis, Virtual, 23-25 May 2022
- TYPES 2022: Types for Proofs & Programs, 20-25 Jun 2022, Nantes, France
- SemDial / DubDial 2022: Semantics & Pragmatics of Dialogue, Dublin (Ireland) & Virtual, 22-24 Aug 2022
- ArgXAI: Argumentation for explainable AI, Cardiff (Wales) & Virtual, 12 Sep 2022
- PLP 2022: Probabilistic Logic Programming, 1 Aug 2022, Haifa, Israel
- Postdoctoral research fellowship in proof theory, Birmingham (England), Deadline: 29 May 2022
- FLoC 2022 Mentoring Workshop, Haifa (Israel), 1 & 5 Aug 2022
Received: 2022-05-12:
- CAOS 2022: Cognition & Ontologies, 15-19 Aug 2022, Joenkoeping, Sweden
- "Truthmaking, Semantical Grounding, & Paradoxes", 22-23 Aug 2022, Bristol, England
- LOGICA 2022, 11-15 Sep 2022, Hejnice, Czech Republic
- ESSLLI 2022: Logic, Language, & Information, 8-19 Aug 2022, Galway, Ireland
- Workshop on goal-directed execution of answer set programs, 1 Aug 2022, Haifa, Israel
- Rudolf Carnap Lectures & Graduate Workshop, Bochum (Germany) & Virtual, 7-8 Jun 2022
- EKAW 2022: Knowledge Engineering & Knowledge Management, 26-29 Sep 2022, Bolzano, Italy
- WiL 2022: Women in Logic, 31 Jul 2022, Haifa, Israel
Received: 2022-05-11:
- DaLi 2022: Dynamic Logic, Haifa (Israel) & Virtual, 31 Jul & 1 Aug 2022
- Meeting in Internal Categoricity, Helsinki (Finland) & Virtual, 21-22 May 2022
- Autumn School "Proof & Computation", 26 Sep - 1 Oct 2022, Fischbachau, Germany
- PhD student position in Argumentative Explainable AI, Utrecht (The Netherlands), Deadline: 31 May 2022
- Postdoctoral position in social epistemology of argumentation, Amsterdam (The Netherlands), Deadline: 1 Jun 2022
- Section Mathematical Logic at DMV 2022, 12-16 Sep 2022, Berlin, Germany
- UNIMOD 2022: Summer Programme in Model Theory, 18 Jul - 5 Aug 2022, Leeds, England
- FMKD: Formal Models of Knowledge Diversity, 15-19 Aug 2022, Joenkoeping, Sweden
Received: 2022-05-09:
- FOMO: Formal Ontology of Mathematical Objects, 27-28 May 2022, Konstanz, Germany
- CfP special issue of Axiomathes on Mathematical neutrality, Deadline: 1 Dec 2022
- VvL Dutch Logic PhD Day, 1 Jul 2022, Utrecht, The Netherlands
- FCA4AI 2022: What can FCA do for AI?, 23-24 Jul 2022, Vienna, Austria
- ACT 2022: Applied Category Theory, Glasgow (Scotland), 18-22 Jul 2022 [Abstract deadline today]
- Czech Gathering of Logicians 2022, 16-17 Jun 2022, Prague, Czech Republic
- Leeds Computability Days 2022, Leeds (England) & Virtual, 30 May & 1 Jun 2022
- CAUSAL 2022: Causal Reasoning & Explanation in Logic Programming, 31 Jul 2022, Haifa, Israel
Received: 2022-05-08:
- LAMAS & SR 2022: Logical Aspects in Multi-Agent Systems / Strategic Reasoning, 25-26 Aug 2022, Rennes, Frances
- 14th French Philosophy of Mathematics Workshop, 19-21 Oct 2022, Nantes, France
- International Workshop on Logic, Philosophy and History of Medicine, 6-7 Oct 2022, Sevilla, Spain
- Book launch workshop "John Venn: A life in logic", Virtual, 18 May 2022
- ICTAC 2022: Theoretical Aspects of Computing, 27-29 Sep 2022, Tbilisi, Georgia
- VvL Logic at Large: "Infinite Games, Frivolities of the Gods", Virtual, 31 May 2022
- ASL 2022: Advances in Separation Logics, 31 Jul 2022, Haifa, Israel
- Mathematical Explanation: Ideas, Models, & Perspectives, Paris (France) & virtual, 9-11 May 2022
Received: 2022-05-06:
- FLoC Workshop on Proof Complexity, 31 Jul - 1 Aug 2022, Haifa, Israel
- French-Fest: Celebrating 40 years of Philosophy of Science, 21-22 Jun 2022, Leeds, England
- AAL Annual Conference: Australasian Association for Logic, Virtual, 22-24 Jun 2022
- Call for Locations: FSCD 2024, Formal Structures for Computation & Deduction, Deadline: 27 Jun 2022
- Deadline extension: PhDs in Logic XIII, Turin, Italy, 5-7 Sep 2022
- Deadline extension: WoLLIC 2022, 20-23 Sep 2022, Iasi, Romania
- ISR 2022: International School of Rewriting, 19-24 Sep 2022, Tbilisi, Georgia
- PhD student position in compositional verification, Rennes (Frances)
Received: 2022-04-28:
- Decidable Fragments of first-order modal logic, 31 Jul 2022, Haifa, Israel
- NLS 2022: Nordic Logic Summer School, 13-16 Jun 2022, Bergen, Norway
- Postdoctoral position in computational social choice, Amsterdam (The Netherlands), Deadline: 25 May 2022
- Mathematical Explanation: Ideas, Models, & Perspectives, Paris (France) and Virtual, 9-11 May 2022
- CiE 2022: Computability in Europe, 11-15 Jul 2022, Swansea, Wales
- CSL 2023: Computer Science Logic, 13-17 Feb 2023, Warsaw, Poland
- 85th Birthday of John N. Crossley, Virtual, 14-15 Jun 2022
- LogTeach-22: Why & how to teach logic for CS undergrads?, Haifa (Israel), 31 Jul & 1 Aug 2022
Received: 2022-04-27:
- VardiFest: "On the Not So Unusual Effectiveness of Logic", 31 Jul - 1 Aug 2022, Haifa, Israel
- European Set Theory Conference 2022, 29 Aug - 2 Sep 2022, Turin, Italy
- E W Beth Outstanding Dissertation Prize 2022, Deadline: 30 Apr 2022
- CLAS 2022: Computational Logic Autumn Summit, Tbilisi (Georgia) and Virtual, 19-30 Sep 2022
- CfP topical collection of Synthese on temporal reasoning and tensed truths, Deadline: 31 Dec 2022
- Summer School "Philosophy of Mathematics Beyond the Armchair?!", 22-26 Aug 2022, Duesseldorf, Germany
- SMT 2022: Satisfiability Modulo Theories, 11-12 Aug 2022, Haifa, Israel
- LSFA 2022: Logical & Semantic Frameworks with Applications, 23-24 Sep 2022, Belo Horizonte, Brazil
Received: 2022-04-26:
- Hybrid Masterclass in the Philosophy of Mathematical Practice, Brussels (Belgium) and virtual, 1-3 Jun 2022
- European Summer School on the Philosophy of Mathematics, 5-9 Sep 2022, Konstanz, Germany
- iPRA: Interpolation, from proofs to applications, 11 Aug 2022, Haifa, Israel
- WoLLIC 2022: Logic, Language, Information, & Computation, 20-23 Sep 2022, Iasi, Romania
- GandALF 2022: Games, Automata, Logics, & Formal Verification, 21-22 Sep 2022, Madrid, Spain
- PhD student position in computational logic, Linz (Austria), Deadline: 10 May 2022
- EELP 2022: Epistemic Extensions of Logic Programming, 31 Jul 2022, Haifa, Israel
- RuleML+RR 2022, 26-28 Sep 2022, Berlin, Germany
Received: 2022-04-23:
- LATD 2022: Logic, Algebra, & Truth Degrees, 4-11 Sep 2022, Salerno, Italy
- End-to-End Compositional Models of Vector-Based Semantics, 15-16 Aug 2022, Galway, Ireland
- ACT 2022: Applied Category Theory, 18-22 Jul 2022, Glasgow, Scotland
- MOVEP 2022: Modelling & Verification of Parallel Processes, 13-17 Jun 2022, Aalborg, Denmark
- ASPOCP 2022: Answer Set Programming & Other Computing Paradigms, 31 Jul 2022, Haifa, Israel
- Postdoctoral position on planning with others' beliefs and goals, Toulouse (France), Deadline: 30 Apr 2022
- Two assistant / associate professorships in systems engineering, Kungens Lyngby (Denmark), Deadline: 30 May 2022
- NMR 2022: Nonmonotonic Reasoning, 7-9 Aug 2022, Haifa, Israel
Received: 2022-04-22:
- PhDs in Logic XIII, 5-7 Sep 2022, Turin, Italy
- Ten PhD student positions in logic-related CS, Vienna (Austria), Deadline: 30 Apr 2022
- Two assistant professorships in theoretical philosophy, Utrecht (The Netherlands), Deadline: 22 Apr 2022 (today!)
- Postdoctoral position on reactive synthesis, Gothenburg (Sweden), Deadline: 2 May 2022
- Heyting Day 2022: Wittgenstein's Tractatus, 3 Jun 2022, Amsterdam, The Netherlands
- MCU 2022: Machines, Computations, & Universality, 31 Aug-2 Sep 2022, Debrecen, Hungary
- Postdoctoral position in linguistic interpretation as abduction, Amsterdam (The Netherlands), Deadline: 8 May 2022
- Postdoctoral position in contradictory logics, Bochum (Germany), Deadline: 15 May 2022
Received: 2022-03-01:
- AiML 2022: Advances in Modal Logic, 22-25 Aug 2022, Rennes, France
- CfP special issue on symbolic computation in software science of AMAI, Deadline: 23 May 2022
- Assistant/Associate Professorship in Science Studies, Aarhus (Denmark), Deadline: 13 Apr 2022
- PhD position in cyclic proofs, Amsterdam (The Netherlands), Deadline: 7 Mar 2022 (extended)
- Postdoctoral position in maths, CS, or economics, Warsaw (Poland), Deadline: 11 Mar 2022
- UNIF 2022: Unification, 12 Aug 2022, Haifa, Israel
- Six positions (lecturer, researcher, assistant/associate professor) at the interface between maths, CS, and physics, Utrecht (The Netherlands), Deadline: 14 Mar 2022
Received: 2022-02-22:
- XLoKR 2022: Explainable Logic-Based Knowledge Representation, 31 Jul 2022, Haifa, Israel
- Ackermann Award 2022: The EACSL outstanding dissertation award for logic in computer science, Deadline: 1 Jul 2022
- CCA 2022: Computability & Complexity in Analysis, Virtual, 23-26 May 2022
- TYPES 2022: Types for Proof & Programs, 20-25 Jun 2022, Nantes, France
- Postdoctoral position in automata theory, Warsaw (Poland), Deadline: 31 Mar 2022
- PhD student positions in philosophy, Pisa (Italy), Deadline: 7 Mar 2022
- GBFEVAL 2022: Competitive Evaluation of QBF software, 2-5 Aug 2022, Haifa, Israel
- CfP special issue of JAL on Formal & Cognitive Reasoning, Deadline: 28 Feb 2022
Received: 2022-02-19:
- NaLoMa 2022: Natural Logic meets Machine Learning III, Galway (Ireland) and Virtual, 8-18 Aug 2022
- Bilateralism & Proof-Theoretic Semantics, Bochum (Germany) or Virtual, 17-18 March 2022
- PLP 2022: Probabilistic Logic Programming, 1 Aug 2022, Haifa, Israel
- E. W. Beth Outstanding Dissertation Prize 2022, Deadline: 15 Apr 2022
- DaLi 2022: Dynamic Logic, Haifa (Israel), 31 Jul & 1 Aug 2022
- Philosophical roots of mathematical logic, 4-6 Apr 2022, Torino, Italy
- 85th Birthday Logic Conference in honour of John N. Crossley, Virtual, 14-15 Jun 2022
- Two PhD student positions in computational argumentation, Graz (Austria)
Received: 2022-02-17:
- CfP special issue of Stud. Log. on "Frontiers of connexive logic", Deadline: 30 Jun 2022
- ICTAC 2022: Theoretical Aspects of Computing, 27-29 Sep 2022, Tbilisi, Georgia
- ASL 2022: Advances in Separation Logics, 31 Jul 2022, Haifa, Israel
- "Philosophical Perspectives on Sciences", 19-21 Oct 2022, Torun, Poland
- 30 years of Finite Model Theory in Finland, 21-22 Aug 2022, Espoo, Finland
- FATIL 2022: Foundations, Applications, & Theory of Inductive Logic, 12-14 Oct 2022, Munich, Germany
- WoLLIC 2022: Logic, Language, Information, & Computation, 20-23 Sep 2022, Iasi, Romania
- PAAR 2022: Practical Aspects of Automated Reasoning, 11-12 Aug 2022, Haifa, Israel
Received: 2022-02-16:
- Postdoctoral position as manager of the Zentrum fuer Wissenschaftstheorie (.5 fte, tenured), Muenster (Germany), Deadline: 28 Feb 2022
- GF@25: Guarded Fragments, Virtual, 5-6 Apr 2022
- Two PhD student positions: belief revision / model checking, Toulouse (France)
- LATD 2022: Logic, Algebra, & Truth Degrees, 4-11 Sep 2022, Salerno, Italy
- PLS13: Panhellenic Logic Symposium, 6-10 Jul 2022, Volos, Greece
- LearnAut 2022: Learning & Automata, 4 Jul 2022, Virtual and Paris, France
- CfP topical collection of Synthese: Linguistically Informed Philosophy of Maths, Deadline: 15 Mar 2022
- CAUSAL 2022: Causal Reasoning & Explanation in Logic Programming, 31 Jul - 8 Aug 2022, Haifa, Israel
Received: 2022-02-15:
- Highlights of Logic, Games, & Automata, 28 Jun - 1 Jul 2022, Paris, France
- Ultramath 2022: Ultrafilters & Ultraproducts across maths, 6-11 Jun 2022, Pisa, Italy
- LOFT 14: Logic & the Foundations of Game & Decision Theory, 20-22 Jul 2022, Groningen, The Netherlands
- Masterclass in the Philosophy of Mathematical Practice, 1-3 Jun 2022, Brussels, Belgium
- Two Assistant Professorships & one Associate Professorship in Computer Science, Warsaw (Poland), Deadline: 18 Feb 2022
- Postdoctoral position in smart contract security analysis using formal methods, Warsaw (Poland)
- Lectureships (3y) in philosophy of science and epistemology, Munich (Germany), Deadline: 1 Mar 2022
- Associate Professorship in knowledge, AI, NLP, Paris (France), Deadline: 28 Feb 2022
Received: 2022-02-14:
- Research Fellowship in Software Engineering & Verification (3y), Manchester (England), Deadline: 7 Mar 2022
- PhD student position in cyclic proofs for modal and higher-order logic, Amsterdam (The Netherlands), Deadline: 28 Feb 2022
- Postdoctoral position in metamathematics of substructural modal logics, Prague (Czech Republic), Deadline: 20 Mar 2022
- Senior Scientist position in set theory, Vienna (Austria), Deadline: 17 Feb 2022
- PhD student position in logical approach to verification of hyperproperties, Sheffield (England)
- Three postdoctoral positions in mathematics, Denver CO (U.S.A.), Deadline: 15 Feb 2022 (tomorrow!)
- Postdoctoral position (2y) on distributed synthesis, Gothenburg (Sweden), Deadline: 15 Feb 2022 (tomorrow!)
- Senior Postdoctoral Research position in Language in Interaction, Nijmegen (The Netherlands), Deadline: 1 Mar 2022
Received: 2022-01-14:
- CMCS 2022: Coalgebraic Methods in CS, 2-3 Apr 2022, Munich, Germany
- Postdoctoral position in automated reasoning, Luxembourg (Luxembourg), Deadline: 15 Feb 2022
- FoIKS 2022: Foundations of Information & Knowledge Systems, 20-23 Jun 2022, Helsinki, Finland
- ThEdu 2022: Theorem-Proving Components for Educational Software, 11 Aug 2022, Haifa, Israel
- MEandE-LP 2022: Machine Ethics & Explainability-The Role of Logic Programming, 31 Jul 2022, Haifa, Israel
- Two postdoctoral positions on normative vs descriptive accounts in the philosophy & psychology of reasoning & argumentation, London (England) / Munich (Germany), Deadline: 14 Jan 2022 (TODAY!)
- COORDINATION 2022: Coordination Models & Languages, 13-17 Jun 2022, Lucca, Italy
- UNESCO WORLD LOGIC DAY 2022: today (14 January 2022)
Received: 2022-01-13:
- KR 2022: Principles of Knowledge Representation & Reasoning, 31 Jul - 5 Aug 2022, Haifa, Israel
- Trends in Logic XXII, 18-20 Jul 2022, Cagliari, Italy
- COMMA 2022: Computational Models of Argument, 14-16 Sep 2022, Cardiff, Wales
- IPMU 2022 special session on "Mathematical Fuzzy Logics", 11-15 Jul 2022, Milan, Italy
- CfP special issue of SWJ on "The role of ontologies & knowledge in XAI", Deadline: 15 Feb 2022
- Teacher position in Logic & Multi-Agent systems, Groningen (The Netherlands), Deadline: 16 Jan 2022
- CfPart: CSL 2022, Virtual, 14-19 Feb 2022
- WoLLIC 2022, 20-23 Sep 2022, Iasi, Romania
Received: 2022-01-12:
- "Logic for the Friendship of Nations", Virtual, 14-15 Jan 2022 [WLD 2022 Event]
- PhD student position on non-monotonic reasoning for personal agents, Twente (The Netherlands), Deadline: 11 Feb 2022
- CiE 2022: Computability in Europe, 11-15 Jul 2022, Swansea, Wales
- UNESCO World Logic Day in Oxford, Virtual, 14 Jan 2022 [WLD 2022 Event]
- Two postdoctoral positions in History of Philosophy of Science and/or Digital Humanities, Tilburg (The Netherlands), Deadline: 14 Jan 2022
- Two postdoctoral positions in epistemic & semantic commitments of foundational theories, Warsaw (Poland), Deadline: 15 Jan 2022
- "Logic & Its Philosophy", Virtual, 14 Jan 2022 [WLD 2022 Event]
- "Female Logicians: Their Impact on Modern Logic", Virtual, 14 Jan 2022 [WLD 2022 Event]
Received: 2022-01-10:
- Southern Summer Logic Day, Virtual, 14 Jan 2022 [WLD 2022 Event]
- W1 Professorship in Philosophy (logic teaching), Tuebingen (Germany), Deadline: 4 Feb 2022
- Assistant, Associate, & Full Professorships (three positions) in Theoretical Computer Science, Amsterdam (The Netherlands), Deadline: 7 Feb 2022
- Cross-Alps Logic Seminar Special Session, Virtual, 13 Jan 2022 [WLD 2022 Event]
- PhD student position in finite model theory for many valued logics, St Lucia (Australia)
- WLD: "Inceptiones & Receptiones", Virtual, 10-15 Jan 2022 [WLD 2022 Event]
Received: 2022-01-09:
- Wittgenstein & the formal sciences, Virtual, 11 Jan 2022 [WLD 2022 event]
- University Lectureship in Theoretical Philosophy, Helsinki (Finland), Deadline: 10 Jan 2022 (tomorrow)
- Postdoctoral position (2y) in distributed synthesis, Gothenburg (Sweden), Deadline: 11 Jan 2022
- Senior Lectureship in Logic, Gothenburg (Sweden), Deadline: 28 Feb 2022
- "The Meaning of Proofs", Virtual, 14 Jan 2022 [WLD 2022 Event]
- Vienna Logic Day Lecture, Virtual, 14 Jan 2022 [WLD 2022 Event]
- WLD in Nigeria, Virtual, 14 Jan 2022 [WLD 2022 Event]
Archived years:
2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all