[LOGIC] List Mailing Archive 2020
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: 2020-12-29:
Received: 2020-12-27:
- CPP 2021: Certified Programs & Proofs, Virtual, 17-19 Jan 2021
- TSD 2021: Text, Speech, & Dialogue, Olomouc (Czech Republic) or virtual, 6-9 Sep 2021
- ECSQARU 2021: Symbolic & Quantitative Approaches to Reasoning with Uncertainty, 21-24 Sep 2021, Prague, Czech Republic
- CfP special issue of the journal "Theoria" on Thin Objects, Deadline: 1 Jun 2021
- TARK 2021: Theoretical Aspects of Rationality & Knowledge, 25-27 Jun 2021, Beijing, China
- DLT 2021: Developments in Language Theory, 16-20 Aug 2021, Porto, Portugal
Received: 2020-12-24:
- CIAA 2021: Implementation & Application of Automata, 19-23 Jul 2021, Bremen, Germany
- Formalize!(?), Virtual, 16 Jan 2021
- PLS 13: Panhellenic Logic Symposium, Volos (Greece) or virtual, 14-18 Jul 2021
- Two tenure-track positions in Theoretical Computer Science, Santa Cruz CA (U.S.A.)
- "Logic & Philosophy of Mathematics in the evening", Virtual, 14 Jan 2021
- PhD student position in foundations of knowledge & opinion formation in social networks, Groningen (The Netherlands), Deadline: 1 Feb 2021
Received: 2020-12-14:
Received: 2020-12-13:
- PhD student position in non-symbolic representation in situated cognition, Bochum (Germany), Deadline: 10 Jan 2021
- WADS 2021: Algorithms & Data Structures, 9-11 Aug 2021, Virtual or Halifax NS, Canada
- FSCD 2021: Formal Structures for Computation & Deduction, 17-24 Jul 2021, Buenos Aires, Argentina
- Vienna World Logic Day, Virtual, 14 Jan 2021
- JELIA 2021: Logics in AI, Klagenfurt (Austria) or Virtual, 17-20 May 2020
- CfP special issue of JLC on reasoning about social networks, Deadline: 15 Jan 2021
- CfP special issue of LMCS: Computing with Infinite Data / Continuity, Computability, Constructivity, Deadline: 31 Jan 2021
- PhD student scholarship on semi-automatically generating scientific models, London (England)
Received: 2020-12-11:
- Diagrams 2021, Virtual, 28-30 Sep 2021
- CiE 2021: Computability in Europe, Virtual, 5-9 Jul 2021
- PhD student position in AI, Bergen (Norway)
- Two post-doctoral positions (2y & 1y) in theoretical CS, Piscataway NJ (U.S.A.)
- Two PhD student positions in Knowledge Representation & Reasoning, Luxembourg (Luxembourg), Deadline: 10 Jan 2021
- LORI VIII: Logic, Rationality, & Interaction, Xi'an (China), 16-18 Oct 2021
- W3 Professorship in Theoretical Philosophy, Duisburg-Essen (Germany), Deadline: 28 Dec 2020
- CfPart CSL 2021, Virtual, 25-28 Jan 2021
Received: 2020-12-10:
- Postdoctoral and PhD student positions in temporal logic, Ames IA (U.S.A.), Deadline: open (postdocs), 1 Feb 2021 (PhD students)
- Seventeen PhD student positions in Computer Science (including logic), Glasgow (Scotland), Deadline: 31 Jan 2021
- Associate Professorship in Logic & AI, Bergen (Norway)
- Postdoctoral fellowship in temporal constraint networks, Verona (Italy), Deadline: 24 Dec 2020
- W3 Professorship in Philosophy, Computer Science, & AI, Bayreuth (Germany), Deadline: 1 Feb 2021
- PhD student position in databases, Bremen (Germany), Deadline: 22 Dec 2020
- PhD student position in model theory, Norwich (England)
- PhD positions in Theory and Foundations of Computer Science, Coventry (England), Deadline: 18 Dec 2020
Received: 2020-11-17:
- World Logic Day 2021, 14 Jan 2021
- NLPinAI 2021: Natural Language Processing in AI, Virtual, 4-6 Feb 2021
- CfPart: CSL 2021, Virtual, 25-28 Jan 2021
- PhD student position in situated cognition, Bochum (Germany), Deadline: 2 Dec 2020
- ICALP 2021: Automata, Languages, and Programming, Glasgow (Scotland) or virtual, 13-16 Jul 2021
- Two research fellowships in programming principles, logic, and verification, London (England), Deadline: 11 Dec 2020
Received: 2020-11-12:
- Tenure-track faculty position in computer science (theory included), Rochester NY (U.S.A.), Deadline: 1 Jan 2021
- NFM 2021: NASA Formal Methods Symposium, Norfolk VA (U.S.A.) or Virtual, 24-28 May 2021
- CSR 2021: Computer Science Symposium in Russia, Sochi (Russia) or Virtual, 28 Jun - 2 Jul 2021
- TSD 2021: Text, Speech, Dialogue, Olomouc (Czech Republic) or Virtual, 6-9 Sep 2021
- CfP special issue of Logic & Logical Philosophy on "Relating Logic & Relating Semantics", Deadline: 15 Feb 2021
- CfPart ICTAC 2020: Theoretical Aspects of Computing, Virtual, 30 Nov - 4 Dec 2020
- Postdoctoral position in mathematical logic, Gent (Belgium), Deadline: 24 Nov 2020
- Two PhD student positions (3y, 65%) in theoretical philosophy, Bamberg/Bayreuth (Germany), Deadline: 15 Dec 2020
Received: 2020-11-09:
- CADE-28: Automated Deduction, Pittsburgh PA, U.S.A. or Virtual, 11-16 Jul 2021
- DEON 2020/21: Deontic Logic & Normative Systems, Munich (Germany) or Virtual, 21-24 Jul 2021
- ICFCA 2021: Formal Concept Analysis, 29 Jun - 2 Jul 2021, Strasbourg, France
- 31st Novembertagung on the History & Philosophy of Mathematics, Virtual, 26-28 Nov 2020
- PLS13: Panhellenic Logic Symposium, Volos (Greece) or Virtual, 14-18 Jul 2021
- CfP special issue of APAL on "Logics of Dependence & Independence", Deadline: 28 Feb 2021
- FSCD 2021: Formal Structures for Computation & Deduction, Virtual, 17-24 Jul 2021
- ICALP 2021: Call for Workshops, Glasgow (Scotland) or Virtual, 13-16 Jul 2021
Received: 2020-11-06:
- LMS Computer Science Colloquium "Algorithms, Complexity, & Logic", virtual, 19 Nov 2020
- PhD programme in Philosophy (Logic included) with funding, Edinburgh (Scotland), Deadline: 23 Nov 2020
- Postdoctoral positions in mathematics (logic included), Madison WI (U.S.A.), Deadline: 1 Dec 2020
- Assistant Professorship in Theoretical Computer Science, Amsterdam (The Netherlands), Deadline: 29 Nov 2020
- PhD student position in computational linguistics (coercion and copredication as flexible frame composition), Duesseldorf (Germany), Deadline: 16 Nov 2020
- PhD student position and postdoctoral position in philosophy of machine learning, Tuebingen (Germany), Deadline: 18 Dec 2020
- Four postdoctoral positions in "AI for Data Management", Umea (Sweden), Deadline: 30 Nov 2020
- Postdoctoral position in philosophy of science (2y), Lucca (Italy), Deadline: 9 Nov 2020
Received: 2020-10-17:
- CfP post-proceedings TYPES 2020 (LIPIcs), Deadline: 31 Oct 2020
- CfP special issue of AMAI on "Theoretical & Practical Aspects of Unification", Deadline: 14 Dec 2020
- PSSV 2020: Program Semantics, Specification, & Verification, Virtual, 3-4 Nov 2020
- NLPinAI 2021: Natural Language Processing in AI, Virtual, 4-6 Feb 2021
- Michael Morley (1930-2020)
- ZJULogAI (CLAR, AWPL, & GCAI): Explainable AI, virtual, 26 Oct, 30 Oct, 2 Nov 2020
- CfP special issue of JLC on "Reasoning about Social Networks", Deadline: 31 Dec 2020
- Postdoctoral position (3+2y) in databases, Bremen (Germany)
Received: 2020-10-13:
- PaM 2020 (Probability & Meaning), virtual, 14-15 Oct 2020
- Workshop in Theories of Paradox in the Middle Ages, virtual, 21-23 Oct 2020
- "Science without Numbers, 40 Years Later", virtual, 5 & 6 Nov 2020
- CiE 2021: Computability in Europe, virtual, 5-9 Jul 2021
- "Ettore Casari" Logic Prize, Deadline: 30 Nov 2020
- PhD student position in legal knowledge representation & reasoning, Luxembourg (Luxembourg), Deadline: 1 Nov 2020
- Postdoctoral position (1+2y) in logic & philosophy of science, Milan (Italy), Deadline: 21 Oct 2020
- Postdoctoral Fellowships in Computer Science, Prague (Czech Republic), Deadline: 14 Oct 2020
Received: 2020-09-30:
Received: 2020-09-29:
- Fifth PLM Workshop on Delusion in Language & Mind, 23-24 Oct 2020, Amsterdam, The Netherlands
- PSSV 2020: Program Semantics, Specification, & Verification, Virtual, 3-4 Nov 2020
- Postdoctoral position in semantics, Amsterdam (The Netherlands), Deadline: 24 Oct 2020
- Research Assistantships & Associateships in "Uncertainty & Randomness in Algorithms, Verification, & Logic", Aachen (Germany), Deadline: 30 Oct 2020
- W3 Professorship in Theoretical Philosophy, Duesseldorf (Germany), Deadline: 21 Oct 2020
- Maitre de Conference position in mathematics (logic & set theory priority area), St Denis / La Reunion (France), Deadline: 1 Oct 2020 (!)
- Assistant Professorship in Philosophy of Science, Amsterdam (The Netherlands), Deadline: 11 Oct 2020
- Two PhD student positions & one postdoctoral position on formal methods, Leuven (Belgium), Deadline: 30 Oct 2020
Received: 2020-09-19:
Received: 2020-09-15:
- CfPart: Autumn School on Logic & Constraint Programming, Virtual, 18-19 Sep 2020
- Faculty position (Assistant / Associate / Full Professorship) in Computational Linguistics, Trento (Italy), Deadline (for expressions of interest): 30 Nov 2020
- CfPart: Bolzano Summer of Knowledge (CARLA 2020, EEWC 2020, EKAW 2020, EROSS 2020, ICBO 2020, ICCS 2020, JOWO 2020, OVERLAY 2020, SUM 2020, TIME 2020), Virtual, September 2020
- LATA 2020 & 2021: Language & Automata Theory & Applications, 1-5 Mar 2021, Milan, Italy
- CfPart: GandALF 2020, Virtual, 21-22 Sep 2020
- Two postdoctoral positions in type theory and philosophy of mathematics, Prague (Czech Republic), Deadline: 15 Oct 2020
- PhD scholarship in social epistemology & philosophy of science, Melbourne (Australia), Deadline: 2 Oct 2020
Received: 2020-09-03:
- Two logic textbooks by Smith (Intro Formal Logic, Intro Goedel's Thm) free for download
- ICFCA 2021: Formal Concept Analysis, 29 Jun - 2 Jul 2021, Strasbourg, France
- CfP post-proceedings of TYPES 2020 in LIPIcs, Deadline: 19 Oct 2020
- (Senior) Postdoctoral position (1y) in philosophy of action, Vienna (Austria), Deadline: 30 Sep 2020
- Autumn School on Logic & Constraint Programming, Virtual, 18-19 Sep 2020
- CfP Post-Proceedings of LFMTP 2020 (Logical Frameworks & Meta-Languages), Deadline: 2 Oct 2020
- CfP of "Logic & Logical Philosophy" on Logics and their Interpretations, Deadline: 30 Sep 2020 (abstracts)
- Postdoctoral positions in linguistics / theoretical philosophy, Konstanz (Germany), Deadline: 20 Sep 2020
Received: 2020-09-01:
- CPP 2021: Certified Programs and Proofs, Virtual and (possibly) Copenhagen (Denmark), 18-19 Jan 2021
- CADE-28: Automated Deduction, 11-16 Jul 2021, Pittsburgh PA, U.S.A.
- LANMR 2020: Latin American Workshop on New Methods of Reasoning, Virtual, 10-11 Dec 2020
- LENLS17: Logic & Engineering of Natural Language Semantics, Virtual, 15-17 Nov 2020
- CfP topical collection of Synthese on "Anti-exceptionalism about logic", Deadline: 31 Oct 2020
- PhD student or postdoctoral position on suspension of judgment, Tuebingen (Germany), Deadline: 13 Sep 2020
- Postdoctoral fellowship in Logic in Computer Science, Prague (Czech Republic), Deadline: 30 Sep 2020
- Research assistantship as computational linguist, Potchefstroom (South Africa), Deadline: 4 Sep 2020
Received: 2020-08-15:
Received: 2020-08-06:
- "If ifs and ands were pots and pans...", Virtual, 27-28 Aug 2020
- ECAI 2020: Artificial Intelligence, Virtual, 29 Aug - 8 Sep 2020
- CfP topical collection of Synthese on "Concept Formation in the Natural & Social Sciences", Deadline: 30 Sep 2020
- CARLA 2020: Concepts in Action, Virtual, 22-23 Sep 2020
- EELP 2020: Epistemic Extensions of Logic Programming, Virtual, 18-24 Sep 2020
- Postdoctoral position in analytic philosophy & philosophy of language, Wien (Austria), Deadline: 7 Sep 2020
- Postdoctoral position in Logic and Foundational research, Bonn (Germany), Deadline: 16 Aug 2020
- PLP 2020: Probabilistic Logic Programming, Virtual, 18-24 Sep 2020
Received: 2020-08-03:
- EvoMUSART 2021: AI in Music, Sound, Art & Design, 7-9 Apr 2021, Seville, Spain
- CMCS 2020: Coalgebraic Methods in Computer Science, Virtual, 21 Sep - 19 Oct 2020
- ETAPS 2021: Theory & Practice of Software, 27 Mar - 1 Apr 2021, Luxembourg, Luxembourg
- Announcement of the winners of the VCLA International Student Awards 2020
- CfPart: KR 2020, Rhodes (Greece) AND Virtual, 12-18 Sep 2020
- CfP special issue of SAJL on "The Heterodox in Logic" (dedicated to Francisco Miro Quesada Cantuarias), Deadline: 30 Nov 2020
Received: 2020-07-31:
- Associate Professorship in Logic & Philosophy of Science, Rome (Italy), Deadline: 20 Aug 2020
- CAUSAL 2020: Causal Reasoning & Explanation in Logic Programming, Virtual, 17-18 Sep 2020
- Research Fellowship (4y) in Mathematical Sciences, Cambridge (England), Deadline: 4 Sep 2020
- CfP special issue of LLP on "Logics & their interpretations", Deadline: 31 Jan 2020
- Peruvian World Logic Day event, 13-15 Jan 2021, Lima, Peru
- 10m fellowships in the social sciences and humanities, Paris, Lyon, Marseille, Montpellier (France), Deadline: 15 Sep 2020
- EpiP 2020: Epistemic Planning, Virtual, 26-30 Oct 2020
- Postdoctoral position in description logics and knowledge representation, Vienna (Austria), Deadline: 31 Jul 2020 (TODAY!)
Received: 2020-07-24:
- CfP: post-proceedings of TYPES 2020 in LIPIcs, Deadline: 19 Oct 2020
- Four PhD scholarships in Mind, Brain, & Reasoning, Milan (Italy), Deadline: 14 Sep 2020
- IX Workshop on Philosophical Logic, Virtual, 3-4 & 10-11 Sep 2020
- Eight fully funded PhD student positions in Research Methods in Science & Technology, Urbino (Italy), Deadline: 31 Aug 2020
- CfPart: AiML 2020, Virtual, 24-28 Aug 2020
- Five postdoctoral fellowships in Philosophy of Science, Logic, and Value Theory, Beijing (China), Deadline: 1 Aug 2020
- Lectureship in Computer Science (including mathematical foundations), Bath (England), Deadline: 5 Aug 2020
- 6th Workshop on Connexive Logics, now: Bochum (Germany), 3-4 Dec 2020 [CHANGE OF VENUE & DATES]
Received: 2020-07-23:
- Tenure-track Young Professorship in Logic & AI, Hangzhou (China), Deadline: 31 Aug 2020
- CfPart: CICM 2020, Virtual, 27-30 Jul 2020
- Five fully funded PhD student positions in logic, philosophy of logic and philosophy of mathematics, Pisa (Italy), Deadline: 27 Aug 2020
- PhD student position in interactive machine reasoning, Delft (The Netherlands), Deadline: 1 Sep 2020
- PhD student position in computational linguistics, Duesseldorf (Germany), Deadline: 16 Aug 2020
- Professorship in Theoretical Computer Science, Amsterdam (The Netherlands), Deadline: 15 Sep 2020
- Three Professorships (Assistant, Associate or Full) in Philosophy of Science, Logic and Value Theory, Beijing (China), Deadline: 1 Aug 2020
- PhD positions in structural & algorithmic aspects of preference-based problems in social choice, Vienna (Austria), Deadline: 31 Jul 2020
Received: 2020-07-13:
- Midwest PhilMath Workshop 2021, Virtual, Oct 2020
- Bimal Krishna Matilal Logic Prize 2021, Deadline: 1 Oct 2020
- DaLi 2020: Dynamic Logic, Prague (Czech Republic) or online, 9-10 Oct 2020 [second extension of deadline]
- Lakatos's Undone Work: Masterclass, Virtual, Application deadline: 15 Jul 2020
- PhD student position in Knowledge Representation Formalisms, Amsterdam (The Netherlands), Deadline: 31 Aug 2020
- Postdoctoral position in model theory, Vienna (Austria), Deadline: 24 Jul 2020
- PhD student position in mathematical logic, Barcelona (Spain), Deadline: 7 Nov 2020
- Postdoctoral position in Formal Epistemology, Krakow (Poland), Deadline: 17 Jul 2020
Received: 2020-07-07:
- CAV 2020: Computer-Aided Verification, Virtual, 19-24 Jul 2020
- EELP 2020: Epistemic Extensions of Logic Programming, Virtual, 18-24 Sep 2020
- FCR 2020: Formal & Cognitive Reasoning, Virtual, 21-25 Sep 2020
- PhD student position in dependence logic, Helsinki (Finland), Deadline: 9 Aug 2020
- Postdoctoral visit (3 to 6m) in logic, Torun (Poland)
- CIFMA 2020: Cognition, Interdisciplinary Foundations, Models, & Applications, Virtual, 14 Sep 2020
Received: 2020-07-03:
Received: 2020-07-02:
- PLP 2020: Probabilistic Logic Programming, Virtual, 18-24 Sep 2020
- DaLi 2020: Dynamic Logic, 9-10 Oct 2020, Virtual or Prague, Czech Republic
- PhD student position & research engineer position on responsible AI, Umea (Sweden), Deadline: 15 Aug 2020
- PhD student position or postdoctoral position in computational logic, Dresden (Germany), Deadline: 30 Jun 2020 (!) or until position filled
- Eightteen PhD student grants in Computer Science, Bolzano (Italy), Deadline: 13 Jul 2020
- Spanish UNILOG Logic Prize, Deadline: 30 Oct 2020
- Postdoctoral position on quantitative & qualitative approximations of reasoning, Milan (Italy), Deadline: 3 Sep 2020
- Postdoctoral position in logical foundations of cyber-physical systems, Pittsburgh PA (U.S.A.)
Received: 2020-06-23:
- CfPart LFMTP 2020: Logical Framework & Meta-Languages, Theory & Practice, Virtual, 29-30 Jun 2020
- Postdoctoral position (12-24m) in logic, Prague (Czech Republic), Deadline: 30 Jun 2020
- CfPart Declarative AI 2020, Virtual, 24 Jun - 1 Jul 2020
- CfPart: LICS 2020, Virtual, 8-11 Jul 2020
- OM 2020: Ontology Matching, Virtual, 2-3 Nov 2020
- CAUSAL 2020: Causal Reasoning & Explanation in Logic Programming, Virtual, 17-18 Sep 2020
Received: 2020-06-19:
- Mathematics & Analogical Reasoning, Munich (Germany), 27-28 Aug 2021 [POSTPONED!]
- Three PhD student positions in philosophy, Bratislava (Slovenia), Deadline: 19 Jun 2020 (TODAY!)
- CSL 2021: Computer Science Logic, Ljubljana (Slovenia) AND/OR Virtual, 25-28 Jan 2021
- Call for Proposals: Philosophy of Mathematics sessions at APA Divisional Meetings, Deadline: 30 Jul 2020
- CLIB 2020: Computational Linguistics in Bulgaria, Sofia (Bulgaria) and Virtual, 25-26 Jun 2020
- CfP special issue of "Logical Investigations" on negation, Deadline: 31 Jul 2020
Received: 2020-06-18:
- CCC 2020: Continuity, Computability, Constructivity, 31 Aug - 4 Sep 2020, Virtual or Faro, Portugal
- CiE 2020, Virtual, 29 Jun - 3 Jul 2020 (registration deadline extended to 21 June)
- SAT 2020: Satisfiability Testing, Virtual, 3-10 Jul 2020
- Masterclass "Lakatos's Undone Work", Virtual, 5-6 Sep 2020
- ETAPS 2020, replaced by 3-hour online event, 2 Jul 2020
- PhD student position on professionalisation of science, Leuven (Belgium), Deadline: 31 Jul 2020
- PhD student and postdoc positions in logic and algorithmic model theory, Darmstadt (Germany), Deadline: 8 Jul 2020
Received: 2020-06-14:
- GandALF 2020, Virtual, 21-22 Sep 2020 (deadline extension to 30 June)
- FSCD 2020: Formal Structures for Computation & Deduction, Virtual, 29 Jun - 6 Jul 2020
- IJCAR 2020, Virtual, 29 Jun - 6 Jul 2020
- Two postdoctoral fellowships in human nature, AI, and neuroscience, Sapporo (Japan), Deadline: 10 Jul 2020
- Postdoctoral position in databases and AI, Vienna (Austria), Deadline: 15 Jul 2020
Received: 2020-06-12:
- FCR 2020: Formal & Cognitive Reasoning, Bamberg (Germany) or Virtual, 21-25 Sep 2020
- PhD student position in algorithmic aspects of social choice, Vienna (Austria), Deadline: 31 Jul 2020
- ECAI 2020: European Conference on AI, Virtual, 29 Aug - 5 Sep 2020
- Two PhD student positions on Reflection Spectra, Gent/Vienna (Belgium/Austria), Deadline: 15 Jul 2020
- Postdoctoral position in theoretical philosophy, Greifswald (Germany), Deadline: 15 Jul 2020
- Postdoctoral fellowship on the epistemic nature of physical laws, Munich (Germany), Deadline: 1 Jul 2020
- PhD student position in databases and AI, Vienna (Austria), Deadline: 15 Jul 2020
- CIFMA 2020: Cognition, Virtual, 14 Sep 2020
Received: 2020-06-08:
Received: 2020-05-28:
- EKAW 2020: Knowledge Engineering & Knowledge Management, Virtual, 16-20 Sep 2020
- CfP topical collection of EJPS on "Dimensions of Applied Maths", Deadline: 30 Jun 2020
- GandALF 2020: Games, Automata, Logics, & Formal Verification, Virtual, 21-22 Sep 2020
- FCA4AI 2020: What can FCA do for AI?, Santiago de Compostela (Spain) or Virtual, 30 Aug 2020
Received: 2020-05-27:
- Eighteen PhD student grants in Computer Science, Bolzano (Italy), Deadline: 13 Jul 2020
- OSCMART: Online Seminar on Computational Models of Argument, Virtual, regular event
- ICLP 2020: Logic Programming, Virtual, 18-24 Sep 2020
- Master's programme in Pure and Applied Logic, Barcelona (Spain)
- PhD student position in automata theory, Warsaw (Poland), Deadline: 14 Jun 2020
- two research fellowships in logics & formal methods, Udine (Italy), Deadline 31 May 2020
- FCR 2020: Formal & Cognitive Reasoning, Bamberg (Germany) or Virtual, 21-25 Sep 2020
- CCC 2020: Continuity, Computability, Constructivity, Faro (Portugal) or virtual, 31 Aug - 4 Sep 2020
Received: 2020-05-26:
- HSTW 2020: Hamburg Set Theory Workshop 2020, virtual, 20-21 Jun 2020
- Two PhD student positions in logic, Gothenburg (Sweden), Deadline: 15 Jun 2020
- Two PhD student positions on Epistemology & Ethics of Explainable AI, Tuebingen (Germany), Deadline: 16 Jun 2020
- Research position in applied proof theory, Barcelona (Spain)
- Two postdoctoral research fellowships in proof theory (2y w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020
- Postdoctoral fellowship (12m) in "Extending Uncertainty in Temporal Constraint Networks", Verona (Italy), Deadline: 1 Sep 2020
- Postdoctoral position in mathematical logic, Vienna (Austria), Deadline: 15 Jun 2020
- Postdoctoral position (3+3y) in set theory, Freiburg (Germany), Deadline: 15 Jun 2020
Received: 2020-05-16:
Received: 2020-05-13:
- AAL 2020: Australasian Association for Logic, cancelled
- OM-2020: Ontology Matching, virtual, 2-3 Nov 2020
- CfP proceedings of cancelled workshop ThEdu 2020 in EPTCS, Deadline: 14 Jun 2020
- Twelve PhD student positions in Logical Methods in CS, Vienna/Graz/Linz (Austria), Deadline: 12 Jun 2020
- XXIII International Summer School in Philosophy of Physics: Philosophy of Quantum Computation, virtual, 15-18 Jun 2020
- RW 2020: Reasoning Web Summer School, virtual, 24-26 Jun 2020
Received: 2020-05-12:
- NETREASON 2020: Reasoning in social networks, Santiago de Compostela (Spain) or virtual, 29 Aug - 2 Sep 2020
- CfP special issue of "Social Choice and Welfare" on deliberation & aggregation, Deadline: 15 Nov 2020
- Karen Neander (1954-2020)
- CCA 2020: Computability & Complexity in Analysis, Bologna (Italy) or virtual, 9-11 Sep 2020
- WOP 2020: Ontology & Semantic Web Patterns, virtual, Nov 2020
- Postdoctoral position (6y) in algorithms, Vienna (Austria), Deadline: 28 May 2020
- Assistant professorship in Responsible & Ethical AI, Amsterdam (The Netherlands), Deadline: 15 Jun 2020
- Postdoctoral position (2y) in logic and informatics, Grenoble (France)
Received: 2020-05-09:
- Helmut Veith Stipend for Female Master's Students in Computer Science, Vienna (Austria), Deadline: 30 Nov 2020
- PhD student position in Logic & Machine Learning, Toulouse (France), Deadline: 30 May 2020
- ICLP 2020: Logic Programming, virtual, 18-24 Sep 2020
- CiE 2020: Computability in Europe, virtual, 29 Jun - 3 Jul 2020
- WiL 2020: Women in Logic, virtual, 30 Jun 2020
- 31st Novembertagung: Axiomatics: Ancient and Contemporary Perspectives, 26-28 Nov 2020, Berlin, Germany
- Ten postdoctoral positions in maths, logic, CS, AI, Novosibirsk (Russia)
- CSL 2021: Computer Science Logic, 25-28 Jan 2021, Ljubljana, Slovenia
Received: 2020-04-17:
- W3 professorship in epistemology and philosophy of science, Freiburg (Germany), Deadline: 30 Apr 2020
- FOIS 2020: Formal Ontology in Information Systems, Bolzano (Italy), 14-17 Sep 2020 (or later, if travel is not safe in September)
- LFMTP 2020: Logical Frameworks & Meta-Languages, virtual, 29 Jun 2020
- Jens Erik Fenstad (1935-2020)
- CPP 2021: Certified Programs & Proofs, 18-19 Jan 2021, either virtual or Copenhagen, Denmark
- Tenure track research position on automation of formal reasoning, Prague (Czech Republic)
- LoDE 2020: Logics of Dependence & Independence, virtual, 10-12 Aug 2020
Received: 2020-04-15:
Received: 2020-04-09:
- E. W. Beth Outstanding Dissertation Prize 2020, Deadline for Nominations extended to 30 Apr 2020
- UNIF 2020: Unification, virtual, 29 Jun 2020 [now online]
- WiL 2020: Women in Logic, virtual, 30 Jun 2020 [now online]
- Two PhD student positions in Logic, Gothenburg (Sweden), Deadline: 15 Jun 2020
- Linearity & TLLA 2020, virtual (was: Paris, France), 29-30 Jun 2020 [online]
- PhD student positions in Uncertainty & Randomness in Algorithms, Verification, & Logic, Aachen (Germany), Deadline: 20 Apr 2020
Received: 2020-04-07:
- Postdoctoral position on verification of concurrent systems, London (England), Deadline: 4 May 2020
- TSD 2020: Text, Speech, & Dialogue, Brno (Czech Republic), 8-11 Sep 2020 [no postponement or cancellation planned]
- ICLP 2020: Logic Programming, Rende (Italy), 18-24 Sep 2020 [no postponement or cancellation planned]
- Professorship (Assistant, Associate or Full) in Theory of Computation, Groningen (The Netherlands), Deadline: 5 May 2020
- UNILOG 2021: World Congress on Universal Logic, Chania/Crete (Greece), 28 Mar - 7 Apr 2021
- Mark Steiner (1942-2020)
Received: 2020-04-03:
- SemSpace 2020: Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science, Utrecht, somewhere else or online (The Netherlands/???), 8-9 Aug 2020 (possibly online)
- Postdoctoral position on expressive power of neural networks, Santiago (Chile)
- Five positions on "Situated Cognition", Bochum/Osnabrueck (Germany), Deadline: 19 Apr 2020
- Three doctoral and five post-doctoral positions on AI verification, Edinburgh (Scotland), Deadline: 1 Jun 2020
- SLSS 2020 & NSL 2020: postponed to 2021
- SILFS 2020: postponed indefinitely
- CfP special issue of Bulletin of the Section of Logic on "Reasoning about social phenomena", Deadline: 31 Aug 2020
Received: 2020-04-02:
- PhD student position in computational social choice, Amsterdam (The Netherlands), Deadline (extended): 3 Apr 2020 (tomorrow)
- PhD student position in Knowledge Representation & Reasoning, Amsterdam (The Netherlands), Deadline (extended): 3 Apr 2020 (tomorrow)
- PhD student position in Logic & Machine Learning, Toulouse (France), Deadline: 30 May 2020
- PhD student position in formal methods for information security, Edinburgh (Scotland) & Rennes (France), Deadline: 15 May 2020
- PhD student position in computational deliberation, Groningen (The Netherlands), Deadline: 5 Apr 2020
- RuleML+RR 2020: now virtual, deadline extended until May 1st
- PhD student position in reasoning methods for quantitative systems, Leiden (The Netherlands), Deadline: 26 Apr 2020
- FG 2020: Formal Grammar, postponed / cancelled
Received: 2020-03-21:
Received: 2020-03-17:
- XXth Trends in Logic 2020, Kyiv (Ukraine), postponed to 3-5 Sep 2020
- Third Workshop on Argument Strength, 12-14 Oct 2020, Koblenz, Germany
- Lectureship in Pure Mathematics, Leeds (England), Deadline: 26 Apr 2020
- Call for Nominations: 2020 Alonzo Church Award, Deadline: 1 Apr 2020
- Ten postdoctoral positions in maths, logic, computer science, or AI, Novosibirsk (Russia)
Received: 2020-03-16:
Received: 2020-03-09:
- QBFEVAL 2020: Evaluation of QBF Solvers, 5-9 Jul 2020, Alghero, Italy
- Postdoctoral position (2y) in history & foundations of maths, Utrecht (The Netherlands)
- CNL 2020: Controlled Natural Languages, 10-11 Sep 2020, Amsterdam, The Netherlands
- Joint Linearity & TLLA Workshop, 29-30 Jun 2020, Paris, France
- SetVR 2020: Set Visualisation & Reasoning, 24-28 Aug 2020, Tallinn, Estonia
- GandALF 2020: Games, Automata, Logics, & Formal Verification, 21-23 Sep 2020, Brussels, Belgium
- TSD 2020: Text, Speech, & Dialogue, 8-11 Sep 2020, Brno, Czech Republic
- ICLP 2020: Logic Programming, 18-24 Sep 2020, Rende, Italy
Received: 2020-03-07:
- Non-Classical Logics, Theory & Applications, 26-28 Sep 2020, Lodz, Poland
- DEON 2020: Deontic Logic, 30 Jul - 2 Aug 2020, Munich, Germany
- SR 2020: Strategic Reasoning, 8 Jun 2020, Santiago de Compostela, Spain
- "Computing Semantics with Types, Frames, & Related Structures", 10-14 Aug 2020, Utrecht, The Netherlands
- ATVA 2020: Automated Technology for Verification & Analysis, 19-23 Oct 2020, Hanoi, Vietnam
- "Logic & Formal Methods in Philosophy", 28-29 Sep 2020, Los Angeles CA, U.S.A.
- Professorship (Assistant, Associate or Full) in Theory of Computation, Groningen (The Netherlands), Deadline: 5 Apr 2020
- Two PhD student positions in Knowledge Representation & Reasoning, Luxembourg (Luxembourg), Deadline: 15 Apr 2020
Received: 2020-03-03:
- NMR 2020: Nonmonotonic Reasoning, 12-14 Sep 2020, Rhodes, Greece
- Formal Philosophy 2020, 4-5 Jun 2020, Moscow, Russia
- Call for Nominations: Ackermann Award 2020, Deadline: 1 Apr 2020
- Workshop "Decidable Fragments of First-order Modal Logic", 6 Jul 2020, Saarbruecken, Germany
- PhD course on Dynamic Syntax, 4-7 May 2020, Bergen, Norway
- PhD student position in proof theory, Bath (England), Deadline: 29 Mar 2020
- PhD student position in logic, Utrecht (The Netherlands), Deadline: 1 Apr 2020
- MCPT: Masterclass in proof theory, 23-26 Mar 2020, Munich, Germany
Received: 2020-02-29:
- Autumn School "Proof & Computation", 20-26 Sep 2020, Fischbachau, Germany
- LFMTP 2020: Logical Frameworks & Meta-Languages, 29 Jun 2020, Paris, France
- LOFT 14: Logic & the Foundations of Game & Decision Theory, 8-10 Jul 2020, Groningen, The Netherlands
- NaLoMa 2020: Natural Logic meets Machine Learning, Waltham MA (U.S.A.)
- Assistant Professorship in Cognitive Science & AI, Amsterdam (The Netherlands), Deadline: 1 Apr 2020
- PhD student position in Logics for Privacy, Bourges (France), Deadline: 31 Mar 2020
- Mathematics & Analogical Reasoning, 11-12 Sep 2020, Munich, Germany
- Four PhD student positions in Computer Science, Liverpool (England), Deadline: 1 Apr 2020
Received: 2020-02-28:
- CiE 2020: Computability in Europe, 29 Jun - 3 Jul 2020, Salerno, Italy
- CMCS 2020: Coalgebraic Methods in CS, 25-26 Apr 2020, Dublin, Ireland
- W3 Professorship for Epistemology & Theory of Science, Freiburg (Germany), Deadline: 31 Mar 2020
- Two postdoctoral positions in philosophy of science, Munich (Germany), Deadline: 31 Mar 2020
- MathCultPrac XI: Mathematical Cultures & Practices, 8-10 Jul 2020, St Andrews, Scotland
- Postdoctoral position in distributed synthesis, Gothenburg (Sweden)
- PhD student and postdoctoral positions in logic & computation, Vienna (Austria)
- Postdoctoral position (Shuimu Tsinghua Scholarship) in logic, Beijing (China)
Received: 2020-02-21:
- Assistant Professorship in AI (tenure-track), Mons (Belgium)
- TEASE-LP 2020: Logic Programming, 25 Apr 2020, Dublin, Ireland
- Junior Professorship (W1) in theoretical philosophy, Berlin (Germany), Deadline: 19 Mar 2020
- UNIF 2020: Unification, 29 Jun 2020, Paris, France
- Junior Professorship (W1) in theoretical philosophy, Berlin (Germany), Deadline: 4 Mar 2020
Received: 2020-02-19:
- CfP special issue of Philosophia Scientiae on Giuseppe Peano & his school, Deadline: 1 Mar 2020
- FMAI 2020: Formal Methods in AI, 26-27 Mar 2020, London, England
- CCR 2020: Computability, Complexity, & Randomness, 29 Jun - 3 Jul 2020, Cambridge, England
- AAL 2020: Australasian Association for Logic, 2-3 Jul 2020, Sydney, Australia
- Call for Workshops & Tutorials: LPAR-23, 22-27 May 2020, Alicante, Spain
- SIGLOG-VCLA-ILLC Travel Awards for WiL 2020, 30 Jun 2020, Paris, France
Received: 2020-02-18:
- CICM 2020: Intelligent Computer Mathematics, 26-31 Jul 2020, Bertinoro, Italy
- Thirteen PhD positions in Situated Cognition, Bochum & Osnabrueck (Germany), Deadline: 19 Feb 2020
- "Proofs, Computation. & Meaning", 20-21 Mar 2020, Tuebingen, Germany
- HCVS 2020: Horn Clauses for Verification & Synthesis, 26 Apr 2020, Dublin, Ireland
- LPAR-23, Alicante (Spain), 22-27 May 2020 [Abstract deadline today]
- VCLA International Student Award: MSc & BSc Theses, Deadline: 15 Mar 2020
- NETREASON 2020, 10-12 Jun 2020, Santiago de Compostela, Spain
- WatchDial: SemDial 2020, Semantics & Pragmatics of Dialogue, 17-19 Jul 2020, Waltham MA, U.S.A.
Received: 2020-02-17:
- DaLi 2020: Dynamic Logic, 9-10 Oct 2020, Prague, Czech Republic
- SAT 2020: Satisfiability Testing, 5-9 Jul 2020, Alghero, Italy
- FCA4AI 2020: What can FCA do for AI?, 8-9 Jun 2020, Santiago de Compostela, Spain
- Postdoctoral positions in Computational Linguistics, Gothenburg (Sweden), Deadline: 30 Apr 2020
- SLSS 2020: 11th Scandinavian Logic Symposium, 26-28 Jun 2020, Bergen, Norway
- ULTRAMATH 2020: Ultrafilters and Ultraproduces Across Maths & Relative Topics, 31 May - 6 Jun 2020, Pisa, Italy
- One year scholarship in "Predictive Jurisprudence", Pisa (Italy)
- Four PhD student positions in CS, including logic, Liverpool (England), Deadline: 1 Apr 2020
Received: 2020-02-11:
- ThEdu 2020: Theorem Proving Components for Educational Software, 29 Jun 2020, Paris, France
- Workshop on mathematical explanation, 6-7 Apr 2020, New Brunswick NJ, U.S.A.
- ICALP 2020: conference relocated from Beijing to Saarbruecken, Germany, 8-11 Jul 2020
- COORDINATION 2020: Coordination Models & Languages, 15-19 Jun 2020, Valletta, Malta
- PhD student position in theoretical computer science, Moscow (Russia), Deadline: 5 Mar 2020
- MC 2020: 1st International Competition on Model Counting, Deadline for benchmarks: 5 Mar 2020
- SR 2020: Strategic Reasoning, 8 Jun 2020, Santiago de Compostela, Spain
- NLS 2020: 4th Nordic Logic Summer School, 22-25 Jun 2020, Bergen, Norway
Received: 2020-02-10:
- Call for Tutorials: ICCC 2020 (Computational Creativity), 29 Jun - 3 Jul 2020, Coimbra, Portugal
- WoLLIC 2020: Logic, Language, Information, & Computation, 4-7 Aug 2020, Lima, Peru
- TYPES 2020: Types for Proofs & Programs, 2-5 Mar 2020, Torino, Italy
- CfP special issue of EJPS on "Dimensions of Applied Maths", Deadline: 31 May 2020
- LATA 2020: Language & Automata Theory & Applications, 4-6 Mar 2020, Milan, Italy
- PhD student position in theoretical computer science, Innsbruck (Austria), Deadline: 20 Mar 2020
- IULP 2020: User-Oriented Logic Paradigms, 9 Jun 2020, Santiago de Compostela, Spain
- Udine Workshop on Singular Cardinals, 6-7 Jul 2020, Udine, Italy
Received: 2020-02-09:
- ETeRNAL 2020: Ethics & NLP, 8-9 Jun 2020, Nancy, France
- EpiP 2020: Epistemic Planning, 14-15 Jun 2020, Nancy, France
- WiL 2020: Women in Logic, 30 Jun 2020, Paris, France
- Semantic Spaces at the Intersection of NLP, Physics, & Cognitive Sciences, 8-9 Aug 2020, Utrecht, The Netherlands
- ACEC 2020: Adaptive Computing for Enhanced Collaboration, 10-12 Jun 2020, Bayonne, France
- "Intuition & rigour in geometrical thinking from antiquity to the 19th century", 22-23 Jun 2020, Prague, Czech Republic
- Caleidoscope: Research School in Computational Complexity, 15-19 Jun 2020, Paris, France
- LC 2020: Logic Colloquium, 13-18 Jul 2020, Poznan, Poland
Received: 2020-02-07:
- CSL 2021: Computer Science Logic, 25-28 Jan 2021, Ljubljana, Slovenia
- RuleML+RR 2020: Rules & Reasoning, 29 Jun - 1 Jul 2020, Oslo, Norway
- Summer School "Identity: Logic & Metaphysics", 27 Jul - 1 Aug 2020, Budapest, Hungary
- AiML 2020: Advances in Modal Logic, 17-21 Aug 2020, Helsinki, Finland
- LAMAS 2020: Logical Aspects of Multi-Agent Systems, 9-13 May 2020, Auckland, New Zealand
- BCTCS & AlgoUK 2020: British Colloquium for Theoretical Computer Science, 6-8 Apr 2020, Swansea, Wales
- Visiting Fellowships in AI, Umea (Sweden), Deadline: 29 Feb 2020
- LOFT 14: Logic & the Foundations of Game & Decision Theory, 8-10 Jul 2020, Groningen, The Netherlands
Received: 2020-02-05:
- ICLP 2020: Logic Programming, 18-24 Sep 2020, Rende, Italy
- 11th SEEMOD: South & East of England Model Theory Workshop, 23 Mar 2020, Norwich, England
- ICGI 2020: Grammatical Inference, 26-28 Aug 2020, New York NY, U.S.A.
- "Propositions, properties, sets, & other abstract objects", 7-8 Feb 2020, Amsterdam, The Netherlands
- PhD student position in Knowledge Representation & Reasoning, Amsterdam (The Netherlands), Deadline: 23 Mar 2020
- Bergen Early-Career Masterclass on Logical Epistemology, 28-29 May 2020, Bergen, Norway
- 18th Mons Theoretical Computer Science Days, 7-11 Sep 2020, Prague, Czech Republic
- DEON 2020: Deontic Logic & Normative Systems, 30 Jul - 2 Aug 2020, Munich, Germany
Received: 2020-02-04:
- PhD student position in computational social choice, Amsterdam (The Netherlands), Deadline: 23 Mar 2020
- FMAI 2020: Formal Methods in AI, 26-27 Mar 2020, London, England
- Call for Nominations: 2020 Alonzo Church Award
- FSCD 2020: Formal Structures for Computation & Deduction, 29 Jun - 5 Jul 2020, Paris, France
- PIKSI-Logic 2020, 27-31 Jul 2020, Boston MA, U.S.A.
- NETREASON: Reasoning about social networks, 8-12 Jul 2020, Santiago de Compostela, Spain
- Anne Troelstra Memorial Event, 6 Mar 2020, Amsterdam, The Netherlands
- Workshop in Set Theory & Philosophy of Mathematics, 7-8 Feb 2020, Paris, France
Received: 2020-01-30:
- Celebrating & Commemorating: Engeler's 90th birthday and Specker's centenary, 21-22 Feb 2020, Zuerich, Switzerland
- LoDE 2020: Logics of Dependence & Independence, 10-14 Aug 2020, Utrecht, The Netherlands
- MCPT: Master Class in Proof Theory, 23-26 Mar 2020, Munich, Germany
- Krajicek's Fest: Logical Foundations of Complexity Theory, 1 Sep 2020, Tabor, Czech Republic
- Bergen Workshop on Logical Evidence, 26-27 May 2020, Bergen, Norway
- W1 Junior Professorship (tenure track to W3) in theoretical philosophy, Stuttgart (Germany), Deadline: 23 Feb 2020
- PhD student position on natural language technology, Warsaw (Poland)
- Postdoctoral position in philosophy of mind (2+1y), Bochum (Germany), Deadline: 16 Feb 2020
Received: 2020-01-24:
- E W Beth Outstanding Dissertation Prize 2020
- ICALP 2020: Automata, Languages, & Programming, 8-12 Jul 2020, Beijing, China
- StS 2020: ESSLLI Student Session, 3-14 Aug 2020, Utrecht, The Netherlands
- PhD student position in Logic, Language and Computation, Amsterdam (The Netherlands), Deadline: 17 Feb 2020
Received: 2020-01-22:
- KR20: Principles of Knowledge Representation & Reasoning, 12-18 Sep 2020, Rhodos, Greece
- Logica 2020, 15-19 Jun 2020, Hejnice, Czech Republic
- ESSLLI 2020: Logic, Language, & Information, 3-14 Aug 2020, Utrecht, The Netherlands
- Postdoctoral fellowship on rigour, Bloomington IN (U.S.A.)
- JOWO 2020: Joint Ontology Workshops, 14-20 Sep 2020, Bolzano, Italy
- PaM: Probability & Meaning, 3-5 Jun 2020, Gothenburg, Sweden
Received: 2020-01-19:
- Abstractionism 2, 1-3 May 2020, Storrs CT, U.S.A.
- CCR 2020 with satellite LCD 2020: Computability, Complexity, & Randomness, Cambridge & Leeds (England), 24 Jun - 3 Jul 2020
- Philosophy of Science meets Machine Learning, 17-19 Jun 2020, Tuebingen, Germany
- COGNITAR 2020: Computational Argumentation & Cognition, 9 Jun 2020, Santiago de Compostela, Spain
- CLIB 2020: Computational Linguistics in Bulgaria, 8-9 Jun 2020, Sofia, Bulgaria
- AUTOMATA 2020, 10-12 Aug 2020, Stockholm, Sweden
- Two faculty positions in logical foundations of mathematics or computer science, Wuhan (China), Deadline: 9 Feb 2020
- LATD 2020: Logic, Algebra & Truth Degrees, 14-18 Sep 2020, Tbilisi, Georgia
Received: 2020-01-17:
- CARLA 2020: Concepts in Action, 22-23 Sep 2020, Bolzano, Italy
- Logical Perspectives 2020, 8-12 Jun 2020, Moscow, Russia
- Sixteenth International Tbilisi Summer School in Logic and Language, 9-12 Sep 2020, Tbilisi, Georgia
- EPiP 2020: Epistemic Planning, 14-19 Jun 2020, Nancy, France
- Trends in Logic XX, 13-15 May 2020, Kyiv, Ukraine
- Sao Paulo School of Advanced Science on Contemporary Logic, Rationality, & Information, 13-24 Jul 2020, Campinas, Brazil
- Postdoctoral position in truth & semantics, Bristol (England), Deadline: 9 Feb 2020
- PhD student position on question-based analysis of geographic information with semantic queries, Utrecht (The Netherlands), Deadline: 16 Feb 2020
Received: 2020-01-12:
- CL2020: Colloquium Logicum 2020, 23-26 Sep 2020, Konstanz, Germany
- PhD student position on generating English explanations of logical formulas, Utrecht (The Netherlands), Deadline: 14 Feb 2020
- PhDs in Logic XII: deadline extension, 27-29 Apr 2020, Berlin, Germany
- TEASE-LP (Trends, Extensions, Applications, & Semantics of Logic Programming), 25 Apr 2020, Dublin, Ireland
- "Proofs, Computation, & Meaning", 20-21 Mar 2020, Tuebingen, Germany
Received: 2020-01-11:
- ITRS 2020: Intersection Types & Related Systems, 6 Mar 2020, Torino, Italy
- Postdoctoral position (1y) in theoretical computer science, Erlangen (Germany)
- "Disagreements: from Theory to Practice", 11-13 Mar 2020, Tartu, Estonia
- SAT 2020: Theory & Applications of Satisfiability Testing, 5-9 Jul 2020, Alghero, Italy
- LSFA 2020: Logical & Semantic Frameworks, 26-28 Aug 2020, Salvador, Brazil
- Proclamation of UNESCO World Logic Day (14 January)
Received: 2020-01-09:
- TYPES 2020, 2-5 Mar 2020, Torino, Italy
- CfP special issue of Trames on Disagreements, Deadline: 15 Jan 2020 (abstract)
- FG 2020: Formal Grammar, 8-9 Aug 2020, Utrecht, The Netherlands
- PhD scholarships in substructural logic, Melbourne (Australia), Deadline: 14 Feb 2020
- SILFS 2020: Logic & Philosophy of Science, 7-11 Sep 2020, Bologna, Italy
Received: 2020-01-08:
Received: 2020-01-06:
- ISA-16: Interoperable Semantic Annotation, 12 May 2020, Marseille, France
- NLA 2020: Natural Language & Argumentation, L'Aquila (Italy), 17-19 Jun 2020
- Call for Nominations: Ackermann Award 2020, Deadline: 1 Apr 2020
- Thirteenth Annual Cambridge Graduate Conference on the Philoosphy of Mathematics and Logic, 18-19 Jan 2020, Cambridge, England
- PhDs in Logic XII, 27-29 Apr 2020, Berlin, Germany
- CfP special issue of "Logical Investigations" on negation, Deadline: 31 Jul 2020
Received: 2020-01-05:
- CiE 2020: Computability in Europe, 29 Jun - 3 Jul 2020, Salerno, Italy
- LPAR-23: Logic for Programming, AI, & Reasoning, 22-27 May 2020, Alicante, Spain
- LAMAS 2020: Logical aspects of multi-agent systems, 9-13 May 2020, Auckland, New Zealand
- Postdoctoral position in formal semantics, Utecht (The Netherlands), Deadline: 27 Jan 2020
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