[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-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