[LOGIC] List Mailing Archive 2018
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: 2018-12-22:
- 1st ACL Workshop on Gender Bias for NLP, 1-2 Aug 2019, Florence, Italy
- LSFA 2019: Logical & Semantic Frameworks, with Applications, 24-26 Aug 2019, Natal, Brazil
- ICDT 2020: Database Theory, 30 Mar - 2 Apr 2020, Copenhagen, Denmark
- PhD student position in AI (explaining ontological inferences), Ulm (Germany), Deadline: 1 Mar 2019
Received: 2018-12-21:
- Two PhD student positions in reliability and trust, Luxembourg (Luxembourg)
- VCLA International Students Awards 2019 in Logic & Computer Science, Deadline: 15 March 2019
- W3 Professorship in Theoretical Computer Science, Munich (Germany), Deadline: 1 Feb 2019
- AAA 97: Arbeitstagung Allgemeine Algebra, 1-3 Mar 2019, Vienna, Austria
- Fernando Gil International Prize 2019 in the Philosophy of Science, Deadline: 15 January 2019
- Lectureships and Senior Lectureships in foundations and practice of computer science, London (England), Deadline: 7 Jan 2019
- Professorship in Logic & AI, Kongens Lyngby (Denmark), Deadline: 15 Jan 2019
Received: 2018-12-17:
- Call for hosts (outside Europe): FSCD 2021, Formal Structures for Computation & Deduction
- DICE-FOPARA 2019: Implicit Computational Complexity & Practical Aspects of Resource Analysis, 6-7 Apr 2019, Prague, Czech Republic
- TSD 2019: Text, Speech & Dialogue, 10-13 Sep 2019, Ljubljana, Slovenia
- CCA 2019: Computability & Complexity in Analysis, 8-11 Jul 2019, Zagreb, Croatia
- Caleidoscope: Research School in Computational Complexity, 17-21 Jun 2019, Paris, France
- "Expressing evidence", 6-8 Jun 2019, Konstanz, Germany
- DARe 2019: Defeasible & Ampliative Reasoning, 3-4 Jun 2019, Philadelphia PA, U.S.A.
- SPIN 2019: Model Checking of Software, 15-19 Jul 2019, Beijing, China
Received: 2018-12-15:
- International Conference on Simplicities & Complexities, 22-24 May 2019, Bonn, Germany
- WSTFCS 2019: Winter School on Theoretical Foundations of Computer Science, 4-9 Feb 2019, Tbilisi, Georgia
- TbiLLC 2019: Tbilisi Symposium on Logic, Language and Computation, 16-20 Sep 2019, Batumi, Georgia
- LICS 2019: Logic in Computer Science, 22-27 Jun 2019, Vancouver BC, Canada
- ICALP 2019: Automata, Languages, & Programming, 8-12 Jul 2019, Patras, Greece
- Postdoctoral position in philosophy of mathematics (18m), Paris (France), Deadline: 4 Jan 2019
- IACAP Covey Award 2019, Deadline for Nominations: 21 Dec 2018
- W1 Junior Professorship (tenure track) in Logic and Formal Verification, Bochum (Germany), Deadline: 20 Jan 2019
Received: 2018-12-13:
- CfP special issue of AIJ on Epistemic Planning, Deadline: 1 Mar 2019
- LPNMR 2019: Logic Programming & Non-Monotonic Reasoning, 4-7 Jun 2019, Philadelphia PA, U.S.A.
- FG 2019: Formal Grammar, 10-11 Aug 2019, Riga, Latvia
- FSCD 2019: Formal Structures for Computation & Deduction, 24-30 Jun 2019, Dortmund, Germany
- JOWO 2019: Joint Ontology Workshops, 23-25 Sep 2019, Graz, Austria
- CfP special issue of JLAMP on "Relational & Algebraic Methods in Computer Science", Deadline: 31 Mar 2019
- Non-Causal Explanations, 9-10 May 2019, Gent, Belgium
Received: 2018-12-12:
- CALCO 2019: Algebra & Coalgebra in Computer Science, 3-6 Jun 2019, London, England
- FEW 2019: Formal Epistemology Workshop, 19-21 Jun 2019, Torino, Italy
- DL 2019: Description Logics, 18-21 Jun 2019, Oslo, Norway
- Workshop on the History of Arabic Logic, 7-8 May 2019, St Andrews, Scotland
- 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, 3-7 Jun 2019, Urbino, Italy
- Several tenure-track assistant professorships in mathematics (including Westerdijk Fellowships), Utrecht (The Netherlands), Deadline: 1 Feb 2019
- Four PhD student positions on interface reasoning for interacting systems, London (England)
- Theo Janssen (1948-2018)
Received: 2018-12-11:
- LOGICA 2019, 24-28 Jun 2019, Hejnice, Czech Republic
- CfP special issue of LLP on "Knowledge representation in multi-agent systems", Deadline: 31 Jan 2019
- PhDs in Logic XI, 24-26 Apr 2019, Bern, Switzerland
- DLMPST/IUHPST Travel Stipends to CLMPST 2019 for Researchers from Developing Countries
- NLPinAI 2019: Natural Language Processing in AI, 19-21 Feb 2019, Prague, Czech Republic
- Rudolf-Carnap-Lectures 2019: "Mental Representation & Propositional Attitudes", 14-15 Mar 2019, Bochum, Germany
- PhD student position on coalgebra and logic, London (England)
- Temporary lectureship in theoretical philosophy (.8 fte), Utrecht (The Netherlands), Deadline: 17 Dec 2018
Received: 2018-12-08:
- Formal Ethics 2019, 19-21 Jun 2019, Gent, Belgium
- CogSIMA 2019: Cognitive & Computational Aspects of Situational Management, 8-11 Apr 2019, Las Vegas NV, U.S.A.
- CiE 2019: Computing with Foresight & Industry, 15-19 Jul 2019, Durham, England
- PhD student position on interface reasoning, London (England)
- CLMPST 2019: Logic, Methodology and Philosophy of Science & Technology, 5-10 Aug 2019, Prague, Czech Republic
- Postdoctoral position in applied proof theory, Barcelona (Spain)
- Postdoctoral position in Knowledge Representation, Utrecht (The Netherlands), Deadline: 31 Dec 2018
- PhD student position on semidefinite programming, Paris (France), Deadline: 31 Dec 2018
Received: 2018-11-23:
- Formal Ethics 2019, 19-21 Jun 2019, Gent, Belgium
- AITP 2019: Artificial Intelligence & Theorem Proving, 7-12 Apr 2019, Obergurgl, Austria
- Events & Objects in Perception, Cognition, & Language, 8-9 Dec 2018, Riga, Latvia
- ICFCA 2019: Formal Concept Analysis, 25-28 Jun 2019, Frankfurt, Germany
- CfP special issue of KI Journal on "Cognitive Reasoning", Deadline: 15 Dec 2018
- WoLLIC 2019: Logic, Language, Information & Computation, 2-5 Jul 2019, Utrecht, The Netherlands
- Graduate funding opportunities in History and Philosophy of Science, Cambridge (England), Deadline: 5 Dec 2019
- CfP special issue of IJAR on "Imprecise Probabilities, Logic and Rationality", Deadline: 1 Jun 2019
Received: 2018-11-15:
- ISIPTA 2019: Imprecise Probabilities, 3-6 Jul 2019, Gent, Belgium
- DisCoTec 2019: Distributed Computing Techniques, 18-21 Jun 2019, Kongens Lyngby, Denmark
- NUMTA 2019 Philosophy of Maths stream, 15-21 Jun 2019, Crotone, Italy
- PLS 12: Panhellenic Logic Symposium, Anogeia, 26-30 Jun 2019, Crete, Greece
- Early Career Research Fellowship (4y) in History & Philosophy of Science, Cambridge (England), Deadline: 10 Jan 2019
- CfP volume "New Developments in Legal Reasoning & Logic", Deadline: 28 Feb 2019
Received: 2018-11-12:
Received: 2018-11-09:
- CONCUR 2019: Concurrency Theory, 27-30 Aug 2019, Amsterdam, The Netherlands
- (tenured) Assistant Professorship in Philosophy, Warsaw (Poland), Deadline: 16 Nov 2018
- 12-week internships for PhD students at Google, New York NY (U.S.A.), Deadline: 14 Dec 2018
- (Senior) Lectureships in computer science (including logic), London (England), Deadline: 7 Jan 2019
- ICLA 2019: Indian Conference on Logic & Its Applications, 3-5 Mar 2019, New Delhi, India
- W1 Junior Professorship Algorithmic Game Theory, Paderborn (Germany), Deadline: 28 Nov 2018
Received: 2018-11-05:
- Postdoctoral fellowship in philosophy of notation, Montreal QC (Canada), Deadline: 30 Nov 2018
- Call for Workshops ICALP 2019, 8-12 Jul 2019, Patras, Greece
- FSCD 2019: Formal Structures for Computation & Deduction, Dortmund (Germany), Jun 2019
- FMS 2019: Eleventh NASA Formal Methods Symposium, 7-9 May 2019, Houston TX, U.S.A.
- ETAPS 2019: Theory & Practice of Software, 6-11 Apr 2019, Prague, Czech Republic
- PhDs in Logic XI, 24-26 Apr 2019, Bern, Switzerland
- "Simplicities & Complexities", 22-24 May 2019, Bonn, Germany
- CfP special issue of LMCS, post-proceedings CCC 2018, Deadline: 1 May 2019
Received: 2018-11-04:
- Winter School on Theoretical Foundations of Computer Science, 4-9 Feb 2019, Tbilisi, Georgia
- LORI VII: Logic, Rationality & Interaction, 18-21 Oct 2019, Chongqing, China
- ICALP 2019: Automata, Languages, & Programming, 8-12 Jul 2019, Patras, Greece
- Two postdocs and two PhD student positions in knowledge based systems, Lisbon (Portugal), Deadline: 14 Nov 2018
- "Lean together": workshop on the Lean proof assistant, 7-11 Jan 2019, Amsterdam, The Netherlands
- Helmut Veith Stipend for Female Master's Students, Vienna (Austria), Deadline: 30 Nov 2018
- "Reflections on Set Theoretic Reflection", Sant Bernat, Montseny, 16-19 Nov 2018, Catalonia, Spain
- Two PhD student positions in theoretical computer science, London (England), Deadline: 31 Dec 2018
Received: 2018-10-23:
- CADE-27: Automated Deduction, 25-30 Aug 2019, Natal, Brazil
- CLMPST 2019: Logic, Methodology and Philosophy of Science & Technology, 5-10 Aug 2019, Prague, Czech Republic
- Postdoctoral positions in foundations of computer sciences, Paris (France), Deadline: 15 Nov 2018
- FSCD 2019: Formal Structures for Computation & Deduction, 24-30 Jun 2019, Dortmund, Germany
- PhD student position in theoretical computer science, Kassel (Germany), Deadline: 7 Nov 2018
- W1 Junior Professorship in Data Science for Languages of the Ancient World, Berlin (Germany), Deadline: 15 Nov 2018
- "Mathematical & Astronomical Practices", 23-24 Nov 2018, St Andrews, Scotland
Received: 2018-10-18:
- "The Creative Power of Metaphor", 29-30 Mar 2019, Oxford, England
- Postdoctoral position (6 months) on analytic metaphysics, Madrid (Spain), Deadline: 25 Oct 2018
- IWCS 2019: Computational Semantics, 23-27 May 2019, Gothenburg, Sweden
- Research Associateship in Ontology Engineering, Manchester (England), Deadline: 19 Oct 2018
- Research chairs, Postdoctoral positions, PhD student positions and Master's scholarships in Mathematics and Theoretical Computer Science, Paris (France)
Received: 2018-10-17:
- EKAW 2018: Knowledge Engineering & Knowledge Management, 12-16 Nov 2018, Nancy, France
- TriCoLore 2018: C3GI, ISD & SCORE, 13-14 Dec 2018, Bolzano, Italy
- IACAP 2019: Computing & Philosophy, 5-7 Jun 2019, Mexico City, Mexico
- PhD student position in "The Roots of Mathematical Structuralism", Vienna (Austria), Deadline: 31 Oct 2018
- LICS 2019: Logic in Computer Science, 22-27 Jun 2019, Vancouver BC, Canada
- AITP 2019: AI & Theorem Proving, 7-12 Apr 2019, Obergurgl, Austria
Received: 2018-10-14:
- Analogical Reasoning in Science and Mathematics, 26-28 Oct 2018, Munich, Germany
- CfP volume on Algebra & Subsstructural Logics in the series "Trends in Logic", Deadline: 31 Dec 2018
- ISCMT 2019: Mathematical Transgressions, 13-16 Mar 2019, Cracow, Poland
- evoMUSART 2019: Computational Intelligence in Music, Sound, Art and Design, 24-26 Apr 2019, Leipzig, Germany
- Spring Course in Epistemic Game Theory, 1-15 Jul 2019, Maastricht, The Netherlands
Received: 2018-10-11:
- RANLP 2019: Natural Language Processing, 2-6 Sep 2019, Varna, Bulgaria
- IWCS 2019: Computational Semantics, 23-27 May 2019, Gothenburg, Sweden
- 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, 3-7 Jun 2019, Urbino, Italy
- LATA 2019: Language & Automata Theory, 25-29 Mar 2019, St Petersburg, Russia
- NLPinAI 2019: Natural Language Processing in AI, 19-21 Feb 2019, Prague, Czech Republic
Received: 2018-10-09:
- SYSMICS 2019 (extended deadline), 21-25 Jan 2019, Amsterdam, The Netherlands
- TACL 2019: Topology, Algebra and Categories in Logic, Nice / Ile de Porquerolles (France), 10-21 Jun 2019
- ISAAC 2018: Algorithms & Computation, 16-19 Dec 2018, Jiaoxi, Taiwan
- PhD student position in embodied cognition & AI, Barcelona (Spain), Deadline: 15 Dec 2018
- Roy Dyckhoff (1948-2018)
- PhD student position & postdoctoral position in computational social choice, Amsterdam (The Netherlands)
- EBL 2019: 19th Brazilian Logic Conference, 6-10 May 2019, Joao Pessoa, Brazil
- Postdoctoral position in logical foundations of depth-bounded probability, Milan (Italy), Deadline: 9 Nov 2018
Received: 2018-10-04:
Received: 2018-10-03:
- AUTOMATA 2019, 26-28 Jun 2019, Guadalajara, Mexico
- VIG 2019: Very informal gathering of logicians, 1-3 Feb 2019, Los Angeles, CA
- ALC 2019: 16th Asian Logic Conference, 17-21 Jun 2019, Astana, Kazakhstan
- PhDs in Logic XI, 24-26 Apr 2019, Bern, Switzerland
- EKAW 2018: Knowledge Engineering & Knowledge Management, 12-16 Nov 2018, Nancy, France
Received: 2018-09-27:
- PhD student position on algorithms for SAT solving, Stockholm (Sweden), Deadline: 31 Oct 2018
- Formal Causation, 22-23 Oct 2018, Rostock, Germany
- CiE 2019: Computability in Europe, 15-19 Jul 2019, Durham, England
- ALT 2019: Algorithmic Learning Theory, 22-24 Mar 2019, Chicago IL, U.S.A.
Received: 2018-09-23:
- LPNMR 2019: Logic Programming & Non-monotonic Reasoning, 4-7 Jun 2019, Philadelphia PA, U.S.A.
- ICFCA 2019: Formal Concept Analysis, 25-28 Jun 2019, Frankfurt, Germany
- CfP postproceedings ThEdu 2018 in EPTCS, Deadline: 18 Nov 2018
- new journal: Compositionality (open access)
- Workshop on Philosophy and Technologies for Simulation, 22-23 Nov 2018, Milan, Italy
- AAA 97: Arbeitstagung Allgemeine Algebra, 1-3 Mar 2019, Vienna, Austria
Received: 2018-09-21:
- TAMC 2019: Theory & Applications of Models of Computation, 13-16 Apr 2019, Kitakyushu, Japan
- RAMiCS 2018: Relational & Algebraic Methods in Computer Science, 29 Oct - 1 Nov 2018, Groningen, The Netherlands
- Full Professorship in Theoretical Philosophie, Vienna (Austria), Deadline: 30 Sep 2018
- 6th World Congress on the Square of Opposition, 1-5 Nov 2018, Crete, Greece
- CfP special issue of AIJ on Epistemic Planning, Deadline: 1 Dec 2018
- IWIL: Implementation of Logics, 16 Nov 2018, Awassa, Ethiopia
- MWPMW 19: Midwest PhilMath Workshop, 27-28 Oct 2018, Notre Dame IN, U.S.A.
- CfP special issue of Multimodal Technologies & Interaction on Interactive Storytelling, Deadline: 1 Nov 2018
Received: 2018-09-20:
- PhD student position in computational social choice, Toulouse (France), Deadline: 5 Oct 2018
- CfP special issue of IFCoLog JLA on "Reasoning on Legal Texts", Deadline: 30 Sep 2018
- Conference: 70th birthday of Mic Detlefsen, 22-23 Mar 2019, Notre Dame IN, U.S.A.
- LPAR-22: Logic for Programming, AI, & Reasoning, 16-21 Nov 2018, Awassa, Ethiopia
- Model theory of valued fields, 1-11 Oct 2018, Tehran, Iran
- RAGMT: Real Algebraic Geometry & Model Theory, 8-9 Oct 2018, Konstanz, Germany
- "Set theory, model theory, & their philosophy", Sao Paulo & Campinas (Brazil), 3-15 Dec 2018
- Short-term fellowships in "limits of variability in language", Potsdam (Germany), Deadline: 30 Sep 2018
Received: 2018-09-19:
- PTS3: Third Tuebingen Conference on Proof-Theoretic Semantics, 27-30 Mar 2019, Tuebingen, Germany
- SYSMICS 2019: Syntax meets Semantics, 21-25 Jan 2019, Amsterdam, The Netherlands
- Two postdoctoral positions in SAT and CP, Singapore (Singapore)
- PhD student position in programming languages and formal proofs, Palaiseau (France)
- PhD student position on mathematical structuralism, Vienna (Austria), Deadline: 31 Oct 2018
- CfP special issue of Philosophy & Technology on "Computing and programming in context", Deadline: 1 Oct 2018
- PhD student position in non-classical logics, Lodz (Poland), Deadline: 3 Oct 2018
- PhD student position on reasoning about auctions, Toulouse (France), Deadline: 5 Nov 2018
Received: 2018-09-16:
- FPNC conference: "Methodological approaches in the study of recent mathematics", 17-21 Sep 2018, Konstanz, Germany
- Professorship in Theoretical Philosophy, Vienna (Austria), Deadline: 30 Sep 2018
- PhD student positions in mathematics (including logic), Helsinki (Finland), Deadline: 27 Sep 2018
- PhD student position in theoretical computer science, Coventry (England), Deadline: 1 Oct 2018
- CLMPST 2019: Logic, Methodology and Philosophy of Science and Technology, 5-10 Aug 2019, Prague, Czech Republic
- PhD student position in Philosophy of Science, Grenoble (France), Deadline: 30 Sep 2018
- PhD student in AI & Logic, Toulouse (France), Deadline: 5 Nov 2018
- PhD student position on concurrency, logic and type systems, Groningen (The Netherlands), Deadline: 1 Oct 2018
Received: 2018-07-01:
- 104th PSSL: Peripatetic Seminar on Sheaves & Logic, 6-7 Oct 2018, Amsterdam, The Netherlands
- FPMW 10: French PhilMath Workshop, Paris (France), 8-10 Nov 2018 [submission deadline today]
- SYSMICS 2019: Syntax meets Semantics, 21-25 Jan 2019, Amsterdam, The Netherlands
- CfP topical issue of Open Philosophy on "Computer Modeling in Philosophy", Deadline: 28 Feb 2019
- CfPart CSL 2018, 4-7 Sep 2018, Birmingham, England
- Vladimir Uspensky (1930-2018)
- MIREL 2018: Mining & Reasoning with Legal texts, 17 Sep 2018, Luxembourg, Luxembourg
- MWPMW 19: Midwest PhilMath Workshop, 27-28 Oct 2018, Notre Dame IN, U.S.A.
Received: 2018-06-27:
- CCC 2018: Continuity, Computability, Constructivity, 24-28 Sep 2018, Faro, Portugal
- NeSy 2018: Neural-Symbolic Learning & Reasoning, 23-24 Aug 2018, Prague, Czech Republic
- 2nd Workshop on Decision Theory & the Future of AI, 27-28 Jul 2018, Munich, Germany
- LuxLogAI 2018: Luxembourg Logic for AI Summit, 17-26 Sep 2018, Luxembourg, Luxembourg
- WAW 2018: Warsaw Argumentation Week, 6-16 Sep 2018, Warsaw, Poland
- EPINON II: Epistemology in Ontologies, 17-18 Sep 2018, Cape Town, South Africa
- PhD student position in philosophical logic, Bonn (Germany), Deadline: 31 Jul 2018
- Set theory today: a conference in honour of Georg Cantor, 10-14 Sep 2018, Vienna, Austria
Received: 2018-06-26:
- FORMALS 2018: Formal Reasoning & Semantics, 24-28 Sep 2018, Dubrovnik, Croatia
- 1st Workshop on Proof Theory & its Applications, 6-7 Sep 2018, Gent, Belgium
- Post-truth: The semantics and pragmatics of saying "what you believe to be false", 6-8 Mar 2019, Bremen, Germany
- LPAR-22: Logic for Programming, AI & Reasoning, 16-21 Nov 2018, Awassa, Ethiopia
- Conference in Honour of Ken Manders, 10 Nov 2018, Pittsburgh PA, U.S.A.
- "Algebraic Proof Theory for Social Behaviour", 2-6 Jul 2018, Delft, The Netherlands
- APMP session at XXIV World Congress of Philosophy: Diagrams in Mathematical Practice, 13-20 Aug 2018, Beijing, China
- Bridging the gap between formal argumentation & actual human reasoning, 4-5 Oct 2018, Bochum, Germany
Received: 2018-06-23:
- 1st International Summer School on Proof Theory, 2-5 Sep 2018, Gent, Belgium
- Master programme in Pure & Applied Logic, Barcelona (Spain)
- FFIUM: Formalism, Formalisation, Intuition & Understanding in Maths, 26 Jun 2018, Paris, France
- 1y teaching associate position in history and philosophy of science, Cambridge (England), Deadline: 29 Jul 2018
- PhD student position in logic and verification, London (England), Deadline: 17 Jul 2018
- PhD student position in Multi-Agent Decision Making, Groningen (The Netherlands), Deadline: 25 Jun 2018
- Summer School: 100 Years of Model Theory, 3-7 Sep 2018, Jena, Germany
- W2 Professorship in Theoretical Computer Science, Bremen (Germany), Deadline: 31 Jul 2018
Received: 2018-06-05:
- Research Associate position on Verification of Linear Dynamical Systems, Oxford (England)
- Postdoctoral position on "optimal proofs", Utrecht (The Netherlands), Deadline: 22 Jun 2018
- 16th CLMPST 2019: Logic, Methodology and Philosophy of Science and Technology, 5-10 Aug 2018, Prague, Czech Republic
- "Wadge Theory & Automata II" & "Descriptive Set Theory Day", Torino (Italy), 8 & 12 Jun 2018
- PhD student position in analysis of concurrent systems, Warsaw (Poland)
- PhD student position in computational (psycho)linguistics, Stuttgart (Germany), Deadline: 15 Jun 2018
- Eight PhD grants in philosophy (including logic), Milan (Italy), Deadline: 14 Jun 2018
- PhD student position in computational semantics, Utrecht (The Netherlands), Deadline: 17 Jun 2018
Received: 2018-05-18:
- FCA4AI 2018: What can FCA do for AI?, 13 Jul 2018, Stockholm, Sweden
- A Day with Edouard Machery, 1 Jun 2018, Amsterdam, The Netherlands
- TIME 2018: Temporal Representation & Reasoning, 15-17 Oct 2018, Warsaw, Poland
- The Making of the Humanities VII, 15-17 Nov 2018, Amsterdam, The Netherlands
- CARLA: Concepts in Action: Representation, Learning and Application, 11-12 Aug 2018, Osnabrueck, Germany
- NASSLLI 2018, 23-29 Jun 2018, Pittsburgh PA, U.S.A.
- Assistant Professorship and Lectureship in Computational Linguistics, Utrecht (The Netherlands), Deadline: 4 Jun 2018
- 4th Workshop on Connexive Logics, 19-21 Oct 2018, Bochum, Germany
Received: 2018-05-17:
- CfPart CiE 2018, 30 Jul - 3 Aug 2018, Kiel, Germany
- BLAST 2018: Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology, 6-10 Aug 2018, Denver CO, U.S.A.
- DMV-Studierendenkolleg UnDecidability, 29-30 Jun 2018, Hamburg, Germany
- VIEG 2018: Very Informal European Gathering, 8-9 Jun 2018, Bristol, England
- Feuer International Scholarships for M.Phil. or Ph.D. in Artificial Intelligence, Warwick (England), Deadline: 18 May 2018
- Masterclass on Generalised Baire Spaces, 22 Aug 2018, Amsterdam, The Netherlands
- PhD student position in modelling and verification of software systems, London (England)
- PhD student position in formal semantics, Utrecht (The Netherlands), Deadline: 17 Jun 2018
Received: 2018-05-15:
- Methodological Approaches in the study of recent mathematics, 17-21 Sep 2018, Konstanz, Germany
- 7th CSLI Workshop on Logic, Rationality, & Intelligent Interaction, 2-3 Jun 2018, Stanford CA, U.S.A.
- Accessible categories and their connections, 17-20 Jul 2018, Leeds, England
- 9th conference on non-classical logic, 24-27 Sep 2018, Torun, Poland
- (Tenured) Assistant professorship in theoretical philosophy, Utrecht (The Netherlands), Deadline: 25 May 2018
- (Tenured) Assistant professorship in computer science, Warwick (England), Deadline: 11 Jun 2018
- CL 2018: Colloquium Logicum, 14-16 Sep 2018, Bayreuth, Germany
- PhD student position in logic & verification, London (England), Deadline: 27 May 2018
Received: 2018-05-01:
- CiE 2018: Sailing Routes in the World of Computation, 30 Jul - 3 Aug 2018, Kiel, Germany
- DARe 2018: Defeasible & Ampliative Reasoning, 14-15 Jul 2018, Stockholm, Sweden
- GandALF 2018: Games, Automata, Logics, and Formal Verification, 26-28 Sep 2018, Saarbruecken, Germany
- Mathematics and its Philosophy between the 18th and 19th centuries, 13-14 July 2018, Amsterdam, The Netherlands
- DKB 2018 & KIK 2018: Dynamics of Knowledge & Belief and KI & Kognition, 24-28 Sep 2018, Berlin, Germany
- Woody Bledsoe Student Travel Awards to IJCAR 2018, 14-17 Jul 2018, Oxford, England
- Visiting Fellowship (2-3m) in History of Maths, St Andrews (Scotland), Deadline: 15 Jun 2018
- DL 2018: Description Logics, 26-29 Oct 2018, Tempe AZ, U.S.A.
Received: 2018-04-30:
- PCC 2018: Proof, Computation, & Complexity, 19-20 Jul 2018, Bonn, Germany
- Symposium on Cognition, Logic, & Communication: "Events & Objects in Perception, Cognition, & Language", 8-9 Dec 2018, Riga, Latvia
- Postdoctoral position (1y) on "The implicit commitment of mathematical theories through intensional notions", Pisa (Italy)
- "Bridging the Gap between Human & Automated Reasoning", 14-15 Jul 2018, Stockholm, Sweden
- Poznan Reasoning Week 2018, 11-15 Sep 2018, Poznan, Poland
- Seven PhD student scholarships in humanities & sciences, Paris (France), Deadline: 10 Jun 2018
- LC 2018: Logic Colloquium, 23-28 Jul 2018, Udine, Italy
- Autumn School "Proof & Computation", 16-22 Sep 2018, Fischbachau, Germany
Received: 2018-04-27:
- "Das Kontinuum: 100 years later", 11-15 Sep 2018, Leeds, England
- LogiCS PhD positions on logical methods in CS, Vienna/Graz/Linz (Austria)
- Proof-Theoretic Semantics: Assessment and Future Perspectives, 27-30 Mar 2019, Tuebingen, Germany
- 2nd SYSMICS Summer School: Syntax meets Semantics, 22-26 Aug 2018, Les Diablerets, Switzerland
- 6th School on Universal Logic, 16-20 Jun 2018, Vichy, France
- ESSLLI 2019: Logic, Language & Information, 5-16 Aug 2019, Riga, Latvia
- "Quantity in Language & Thought", 13-17 Aug 2018, Sofia, Bulgaria
- Teaching position on philosophical perspectives on computers, Halifax NS (Canada), Deadline: 22 May 2018
Received: 2018-04-25:
- CCR 2018: Computability, Complexity, & Randomness, 17-21 Dec 2018, Santiago de Chile, Chile
- PhD student position on quantitative & qualitative analysis of multi-player games, Stockholm (Sweden), Deadline: 20 May 2018
- AAL 2018: Australasian Association of Logic, 6-7 Jul 2018, Wellington, New Zealand
- PhD student position in the history and philosophy of programming, Lille (France), Deadline: 20 Jun 2018
- W1 Junior Professorship (with tenure-track) in theoretical computer science, Heidelberg (Germany), Deadline: 1 Jun 2018
- KNAW Academie Colloquium on Reasoning in Social Context, 31 May - 2 Jun 2018, Amsterdam, The Netherlands
- PhD student position in logic & verification, London (England)
- Postdoctoral position on Relevance (3y), Hamburg (Germany), Deadline: 21 May 2018
Received: 2018-04-20:
- QBF 2018: Quantified Boolean Formulas, 8 Jul 2018, Oxford, England
- DARe 2018: Defeasible & Ampliative Reasoning, 13-15 Jul 2018, Stockholm, Sweden
- W1 Junior Professorship with tenure track to W3 in theoretical philosophy, Dortmund (Germany), Deadline: 11 May 2018
- SBFA Essay Prizes for Analytic Philosophy (incl. logic), Deadline: 15 Jun 2018
- CfP special issue of LJIGPL on "Non-classical modal & predicate logics", Deadline: 30 Apr 2018
- CfP special issue of Synthese on "Reliability", Deadline: 11 Nov 2018
- LC 2018: Logic Colloquium, 23-28 Jul 2018, Udine, Italy
- PSSV 2018: Program Semantics, Specification, & Verification, 21-22 Jun 2018, Yaroslavl, Russia
Received: 2018-04-17:
- Postdoctoral position (2y) in computational social choice / algorithmic game theory, Berlin (Germany), Deadline: 18 May 2018
- Trends in Logic XVIII: Fine-Grained Semantics for Modal Logic, 24-27 Sep 2018, Milan, Italy
- KI 2018: German Conference on Artificial Intelligence, 24-28 Sep 2018, Berlin, Germany
- Summer School CARLA: Concepts in Action, 6-10 Aug 2018, Osnabrueck, Germany
- Assistant Professorship in Computational Linguistics, Amsterdam (The Netherlands), Deadline: 29 Apr 2018
- PhD student position on Kant's theoretical philosophy, Barcelona (Spain), Deadline: 14 May 2018
- Three PhD student positions in Cognitive Science & Artificial Intelligence, Tilburg (The Netherlands), Deadline 21 May 2018
- Workshop on Set Theory & Theoretical Computer Science, 24 April 2018, Amsterdam, The Netherlands
Received: 2018-04-16:
- FLoC volunteer programme for postdocs and students, 6-19 Jul 2018, Oxford, England
- "Set theory today", A conference in honour of Georg Cantor, 10-14 Sep 2018, Vienna, Austria
- Research Associate positions in programming principles, logic, and verification, London (England), Deadline: 4 May 2018
- PhD student position in concurrency theory, Groningen (The Netherlands), Deadline: 14 May 2018
- CL 2018: Colloquium Logicum 2018, 14-16 Sep 2018, Bayreuth, Germany
- Four visiting fellowships in philosophy (incl. logic), Milan (Italy), Deadline: 21 May 2018
- Autumn School "Proof & Computation", 16-22 Sep 2018, Fischbachau, Germany
- Postdoctoral position in nonstandard methods in Ramsey Theory, Vienna (Austria), Deadline: 30 Apr 2018
Received: 2018-04-05:
- FoPPS Logic & Learning School, 1-6 Jul 2018, Oxford, England
- AISC 2018: Artificial Intelligence & Symbolic Computing, 16-19 Sep 2018, Sozhou, China
- COMMA 2018: Computational Models of Argument, 12-14 Sep 2018, Warsaw, Poland
- LACompLing 2018: Logic & Algorithms in Computational Linguistics, 28-31 Aug 2018, Stockholm, Sweden
- MIWAI 2018: Multidisciplinary Artificial Intelligence, 18-20 Nov 2018, Hanoi, Vietnam
- Mathematics & Its Philosophy in the 19th Century, 13-14 Jul 2018, Amsterdam, The Netherlands
- CCC 2018: Continuity, Computability, Constructivity, 24-28 Sep 2018, Faro, Portugal
- FWFM 2018: Fun With Formal Methods, 19 Jul 2018, Oxford, England
Received: 2018-04-04:
- 8th Summer School on Formal Techniques, 19-25 May 2018, Atherton CA, U.S.A.
- PRUV 2018: Reasoning with Preferences, Uncertainty & Vagueness, 19 Jul 2018, Oxford, England
- Bridging the gap between human and automated reasoning, Stockholm (Sweden), July 2018
- CCA 2018: Computability & Complexity in Analysis, 5-8 Aug 2018, Lake Kochel, Germany
- Utrecht Topology Feest 2018: in honour of Ieke Moerdijk's 60th birthday, 27-31 Aug 2018, Utrecht, The Netherlands
- Call for Nominations: Ackermann Award 2018, Deadline: today (4 Apr 2018)
- 29th Novembertagung: "History of Mathematical Concepts & Conceptual History of Mathematics", 28-30 Nov 2018, Sevilla, Spain
- LFMTP 2018: Logical Frameworks & Meta-Languages, 7 Jul 2018, Oxford, England
Received: 2018-04-03:
- PhD student position in formal methods, Konstanz (Germany), Deadline: 14 Apr 2018
- CSL 2018: Computer Science Logic, 4-7 Sep 2018, Birmingham, England
- LSFA 2018: Logical & Semantic Frameworks, 26-28 Sep 2018, Fortaleza, Brazil
- Workshop on mixed inductive-coinductive reasoning, 19 Apr 2018, Nijmegen, The Netherlands
- 10th Scandinavian Logic Symposium, 11-13 Jun 2018, Gothenburg, Sweden
- 11th YSTW: Young Set Theory Workshop, 25-29 Jun 2018, Lausanne, Switzerland
- LNAT4: Logic Now and Then, 20-21 Sep 2018, Brussels, Belgium
- FLoC 2018: Federated Logic Conference; Travel Support, 6-19 Jul 2018, Oxford, England
Received: 2018-03-29:
- PhD student positions in symmetry in computational complexity, Prague (Czech Republic), Deadline: 31 Mar 2018
- Four tenured positions in computer science, Swansea (Wales), Deadline: 4 Apr 2018
- Satellite conference on mathematical logic (ICM 2018), 10-11 Aug 2018, Niteroi, Brazil
- PAAR 2018: Practical Aspects of Automated Reasoning, 19 Jul 2018, Oxford, England
- Visiting Assistant Professorship (2y) in philosophy of science, Notre Dame IN (U.S.A.), Deadline: 20 Apr 2018
- PhD student scholarships in logic and related fields, Canberra (Australia), Deadline: 20 Apr 2018
- Postdoctoral fellowship (20m) in philosophy of mathematics, Nancy / Paris (France), Deadline: 30 Apr 2018
- PhD student position in verification, London (England)
Received: 2018-03-18:
- FoPSS 2018 on Logic & Learning, 1-6 Jul 2018, Oxford, England
- CARLA: Concepts in Action -- Representation, Learning & Application, 11-12 Aug 2018, Osnabrueck, Germany
- KI 2018: Artificial Intelligence, 24-28 Sep 2018, Berlin, Germany
- LUG 2018: Summer School on Logic, Uncertainty, & Games, 9-13 Jul 2018, Lake Como, Italy
- ARW 2018: Automated Reasoning Workshop, 12-13 Apr 2018, Cambridge, England
- Ninth conference on Non-Classical Logic, 24-27 Sep 2018, Torun, Poland
- CCA 2018: Computability & Complexity in Analysis, 5-8 Aug 2018, Lake Kochel, Germany
- Book series "Outstanding contributions in logic"
Received: 2018-03-14:
- "Varieties of Mathematical Abstraction", 1-3 Aug 2018, Vienna, Austria
- Symposium of Cognition, Logic, & Communication: Events & Objects in Perception, 8-9 Dec 2018, Riga, Latvia
- Workshop on Proof Complexity, 7-8 Jul 2018, Oxford, England
- "From the Fundamental Lemma to Discrete Geometry to Formal Verification", 18-22 Jun 2018, Pittsburgh PA, U.S.A.
- DaP 2018: Dialogue & Perception, 14-15 Jun 2018, Gothenburg, Sweden
- QBFEVAL 2018: Competitive Evaluation of QBF Solvers, 9-12 Jul 2018, Oxford, England
Received: 2018-03-12:
- LATA 2018: Language & Automata Theory & Applications, 9-11 Apr 2018, Bar Ilan, Israel
- "Programming & Reasoning on Infinite Structures", 7-8 Jul 2018, Oxford, England
- Decision Theory & the Future of AI, 26-28 Jul 2018, Munich, Germany
- Postdoctoral position in "A new dawn of intuitionism", Leeds (England), Deadline: 4 Apr 2018
- Mini-Symposium "Mathematical Logic" at the 18th EWM meeting, 3 Sep 2018, Graz, Austria
- Summer School & Workshop on Proof Theory, 2-7 Sep 2018, Gent, Belgium
Received: 2018-03-09:
- CfP special issue on "Mereology & Identity" in Synthese, Deadline: 31 May 2018
- ARR: Ambiguity --- Perspectives on Representation & Resolution, 6-10 Aug 2018, Sofia, Bulgaria
- PhD student position and postdoctoral position on "Time in Translation", Utrecht (The Netherlands)
- ThEdu 2018: Theorem proving components for educational software, 18 Jul 2018, Oxford, England
- CfP special issue on non-classical logics in JUC, Deadline: 15 Mar 2018
- LC 2018: Logic Colloquium, 23-28 Jul 2018, Udine, Italy
Received: 2018-03-07:
- FMLAMAS 2018: Formal Methods & Logical Aspects of Multi-Agent Systems, 9-10 Jul 2018, Stockholm, Sweden
- SuB 23: Sinn & Bedeutung, 5-7 Sep 2018, Barcelona, Spain
- SR 2018: Strategic Reasoning, 7-8 Jul 2018, Oxford, England
- KNAW Academy Colloquium "Generalised Baire Spaces", 22-24 Aug 2018, Amsterdam, The Netherlands
- AWPL 2018: 4th Asian Workshop on Philosophical Logic, 20-21 Oct 2018, Beijing, China
- Formal Philosophy, 1-2 Oct 2017, Moscow, Russia
- Mathematical Collaboration II, 7-8 Apr 2018, St Andrews, Scotland
- Bridging Formal and Conceptual Semantics, 6-10 Aug 2018, Sofia, Bulgaria
Received: 2018-03-06:
- Summer School on Types, Sets, & Constructions, Bonn (Germany), 3-5 & 7-9 May 2018
- CfP special issue of the journal "Games" on logic & game theory, Deadline: 1 May 2018
- Stig Andur Pedersen (1943-2018)
- NFM 2018: NASA Formal Methods Symposium, 17-19 Apr 2018, Newport News VA, U.S.A.
- RuleML+RR 2018, 18-21 Sep 2018, Luxembourg, Luxembourg
- Postdoctoral position in non-classical logic, Prague (Czech Republic), Deadline: 5 Apr 2018
- Sixteen PhD stzdent positions in Logical Methods in Computer Science, Vienna/Graz/Linz (Austria)
- Two postdoctoral positions in AI, Groningen (The Netherlands), Deadline: 8 March 2018
Received: 2018-03-03:
- BLAST 2018: Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology, 6-10 Aug 2018, Denver CO, U.S.A.
- ARQNL 2018: Automated Reasoning in Quantified Non-Classical Logics, 18 Jul 2018, Oxford, England
- Head of School position (School of Philosophy, Psychology & Language Science), Edinburgh (Scotland), Deadline: 22 Mar 2018
- CfP special issue of AMAI on commonsense reasoning, Deadline: 30 Jun 2018
- ESSLLI 2018 Student Session, 6-17 Aug 2018, Sofia, Bulgaria
- The Making of the Humanities VII, 15-17 Nov 2018, Amsterdam, The Netherlands
Received: 2018-03-02:
- LOFT 13: Logic & the Foundations of Game & Decision Theory, 16-18 Jul 2018, Milan, Italy
- EASSS 2018: European Agent Systems Summer School, 18-22 Jun 2018, Maastricht, The Netherlands
- SemDial 2018 / AixDial: Semantics and Pragmatics of Dialogue, Aix-en-Provence (France), 8-10 Nov 2018
- DCM 2018: Developments in Computational Models, 8 Jul 2018, Oxford, England
- NASSLLI 2018: North American Summer School in Logic, Language and Information, 23-29 Jun 2018, Pittsburgh PA, U.S.A.
- DL 2018: Description Logics, 26-29 Oct 2018, Tempe AZ, U.S.A.
- AsubL take 6: Algebra & substructural logic, 11-13 Jun 2018, Cagliari, Italy
- Associate Senior Lectureship in Logic of Programs, Stockholm (Sweden), Deadline: 3 Apr 2018
Received: 2018-02-28:
- EICNCL 2018: External & Internal Calculi for Non Classical Logics, 19 Jul 2018, Oxford, England
- PhD student position in computational social choice, Amsterdam (The Netherlands), Deadline: 23 Apr 2018
- PhD position in computational linguistics, Utrecht (The Netherlands), Deadline: 15 Mar 2018
- HLAI 2018: Multiconference on human-level AI, 22-25 Aug 2018, Prague, Czech Republic
- CL&C 2018: Classical Logic & Computation, 7 Jul 2018, Oxford, England
- TIME 2018: Temporal Representation & Reasoning, 15-17 Oct 2018, Warsaw, Poland
- FOIS 2018: Formal Ontology in Information Systems, 17-21 Sep 2018, Cape Town, South Africa
- LATD 2018: Logic, Algebra and Truth Degrees, 28-31 Aug 2018, Bern, Switzerland
Received: 2018-02-27:
- AIRIM 2018: AI aspects of Reasoning, Information, & Memory, 9-12 Sep 2018, Poznan, Poland
- Toposes in Como, 24-26 Jun 2018, Como, Italy
- ESSLLI 2018: Logic, Language and Information, 6-17 Aug 2018, Sofia, Bulgaria
- DEON 2018: Deontic Logic and Normative Systems, 3-6 Jul 2018, Utrecht, The Netherlands
- CfP special issue of Synthese on "Varieties of Entailment", Deadline: 31 Jul 2018
- SYSMICS Summer School: Syntax meets Semantics, 22-26 Aug 2018, Les Diablerets, Switzerland
- Fifth International Conference on the Nature and Ontology of Spacetime, 14-17 May 2018, Albena, Bulgaria
- CCR 2018: Computability, Complexity & Randomness, 17-21 Dec 2018, Santiago de Chile, Chile
Received: 2018-02-26:
- PhD student positions in modal logic for granularity and spatial knowledge representation, Leeds (England)
- Associate Professorships in Computer Science, Tbilisi (Georgia), Deadline: 15 Apr 2018
- Postdoctoral fellowship in logic in CS, Groningen (The Netherlands), Deadline: 8 Mar 2018
- Satellite Conference on Mathematical Logic to the ICM 2018, 10-11 Aug 2018, Niteroi, Brazil
- Guenther Patzig (1926-2018)
- Postdoctoral fellowships in history and philosophy of science & ideas, Tel Aviv (Israel), Deadline: 23 Mar 2018
- WiL 2018: Women in Logic, 8 Jul 2018, Oxford, England
- Assistant Professorship in algebra and mathematical logic, Prague (Czech Republic), Deadline: 15 Mar 2018
Received: 2018-02-15:
- TSD 2018: Text, Speech, & Dialogue, 11-14 Sep 2018, Brno, Czech Republic
- Tenth Scandinavian Logic Symposium, 11-13 Jun 2018, Gothenburg, Sweden
- LSFA 2018: Logical & Semantics Frameworks, 26-28 Sep 2018, Fortaleza, Brazil
- Summer School on the Foundations of Geometry in Historical Perspective, 2-7 Jul 2018, Leipzig, Germany
- AiML 2018: Advances in Modal Logic, 27-31 Aug 2018, Bern, Switzerland
- Ninth Workshop on the Philosophy of Information: Information Visualisation, 26-27 Jun 2018, Brussels, Belgium
- VCLA International Student Awards in memory of Helmut Veith, Deadline: 15 Mar 2018
- LOFT 13: Logic & the Foundations of Game & Decision Theory, 16-18 Jul 2018, Milano, Italy
Received: 2018-02-14:
- CfP special issue of IFCoLog JLA on "Reasoning on Legal Texts", Deadline: 31 Jul 2018
- Masterclass in the Philosophy of Mathematical Practice, 17-19 May 2018, Brussels, Belgium
- Poznan Reasoning Week 2018, 11-15 Sep 2018, Poznan, Poland
- ARR: Ambiguity -- Perspectives on Representation & Resolution, 6-10 Aug 2018, Sofia, Bulgaria
- Junior Professorship (W1) in Logic in Philosophy, Tuebingen (Germany), Deadline: 28 Feb 2018
- Contradictions, 22 Jun 2018, Leeds, England
- Call for Nominations: 2018 E W Beth Dissertation Prize
- Martin Hofmann (1965-2018)
Received: 2018-02-08:
- JAF 37: Journees sur les Arithmetiques Faibles, 28-30 May 2018, Florence, Italy
- CCA 2018: Computability & Complexity in Analysis, 5-8 Aug 2018, Lake Kochel, Germany
- ARW 2018: Automated Reasoning Workshop, 12-13 Apr 2018, Cambridge, England
- GandALF 2018: Games, Automata, Logics, & Formal Verification, 26-28 Sep 2018, Saarbruecken, Germany
- QBFEVAL 2018: Competitive Evaluation of QBF Solvers, 6-19 Jul 2018, Oxford, England
- FilMat: Philosophy of Mathematics; Objects, Structures, & Logics, Mussomeli/Sicily (Italy), 25-27 May 2018
- WoLLIC 2018: Logic, Language, Information, & Computation, 24-27 Jul 2018, Bogota, Colombia
- CCIA 2018: Catalan Association of AI, 8-10 Oct 2018, Roses, Spain
Received: 2018-02-02:
- KR 2018: Knowledge Representation & Reasoning, 27 Oct - 2 Nov 2018, Tempe AZ, U.S.A.
- LCC 2018: Logic & Computational Complexity, 13 Jul 2018, Oxford, England
- TWCF independent research fellowships in the power of information, Deadline: 27 Apr 2018
- Postdoctoral fellowship on "Nonstandard methods for Ramsey theory", Vienna (Austria), Deadline: 30 Apr 2018
- BRIDGE 2018: Bridging formal and conceptual semantics, 6-10 Aug 2018, Sofia, Bulgaria
- "What is a (computer) program?", 7-8 Feb 2018, Lille, France
- Sixteen PhD student positions in Logical Methods in Computer Sciences, Vienna, Graz, & Linz (Austria)
- IACAP 2018: Computing & Philosophy, 21-23 Jun 2018, Warsaw, Poland
Received: 2018-01-31:
- Three postdoctoral positions in Computational Social Choice, Oxford (England), Deadline: 22 Feb 2018
- 13th International Tbilisi Symposium on Language, Logic & Computation, 16-19 Sep 2019, Tbilisi, Georgia
- FG 2018: Formal Grammar, 11-12 Aug 2018, Sofia, Bulgaria
- 6th World Congress on the Square of Opposition, Chania/Crete (Greece), 1-5 Nov 2018
- UNIF 2018: Unification, 7 Jul 2018, Oxford, England
- CfP special issue of Computational Linguistics on "Computational approaches in historical linguistics", Deadline: 15 Jul 2018
- Workshop on Ramsey Theory & Computability Theory, 9-13 Jul 2018, Rome, Italy
- Professorship in Mathematical Logic, Vienna (Austria), Deadline: 15 Apr 2018
Received: 2018-01-30:
- FORMALS 2018: Formal Reasoning & Semantics, 24-28 Sep 2018, Dubrovnik, Croatia
- Call for Nominations: Ackermann Award, The EACSL outstanding dissertation award for logic in computer science, Deadline: 4 Apr 2018
- SAT 2018: Theory & Applications of Satisfiability Testing, 9-12 Jul 2018, Oxford, England
- AiML 2018: Advances in Modal Logic, 27-31 Aug 2018, Bern, Switzerland
- PhD student position in human-centric information systems design, Innsbruck (Austria), Deadline: 17 Feb 2018
- Two PhD student fellowships at MCMP, Munich (Germany), Deadline: 15 Apr 2018
- LearnAut: Learning & Automata, 13 Jul 2018, Oxford, England
- Special Interest Group "Explainable AI" within the Association for Neural-Symbolic Learning & Reasoning
Received: 2018-01-29:
- W2 Professorship Computational Linguistics, Trier (Germany), Deadline: 4 Feb 2018
- CfP special issue of AIJ on Epistemic Planning, Deadline: 1 Oct 2018
- CoCoSym: Cognitive Computation, 27 Feb 2018, London, England
- ICGL 2018: Grammatical Inference, 5-7 Sep 2018, Wroclaw, Poland
- LOGICA 2018, 18-22 Jun 2018, Hejnica, Czech Republic
- "Logic & Learning", FOPSS: Foundations of Programming and Software Systems, 2-6 Jul 2018, Oxford, England
- DMV-Studierendenkolleg "UnDecidability", 29-30 Jun 2018, Hamburg, Germany
- DCM 2018: Developments in Computational Models, 8 Jul 2018, Oxford, England
Received: 2018-01-26:
- Workshop "Logic(s) for Imagination", 14 Mar 2018, Bochum, Germany
- Trends in Logic XVIII: Fine-grained semantics for modal logics, 24-27 Sep 2018, Milan, Italy
- Workshop "Modal & Many-Valued Logics", 31 Jan 2018, Paris, France
- Call for Nominations: IACAP Covey Award for innovative research in computing and philosophy, Deadline: 9 Feb 2018
- 4A 2018: Actors, Agents, Assistants, Avatars, 9-12 Sep 2018, Poznan, Poland
- PhD student positions in theoretical computer science, Loughborough (England), Deadline: 16 Feb 2018
- LOLA 2018: Syntax & Semantics of Low-Level Languages, 7 Jul 2018, Oxford, England
- Postdoctoral fellowship in mathematical logic, Stockholm (Sweden), Deadline: 3 Apr 2018
Received: 2018-01-25:
- Wittgenstein Symposium 2018: Philosophy of Logic and Mathematics, 5-11 Aug 2018, Kirchberg am Wechsel, Austria
- PhDs in Logic X (extended deadline), 1-4 May 2018, Prague, Czech Republic
- Postdoctoral position and PhD student position in Algorithms, Potsdam (Germany), Deadline: 18 Feb 2018
- Paul Lorenzen: Mathematician & Logician, 8-9 Mar 2018, Konstanz, Germany
- YSTW 2018: 11th Young Set Theory Workshop, 25-29 Jun 2018, Lausanne, Switzerland
- CLAR 2018: Chinese Conference on Logic & Argumentation, 16-17 Jun 2018, Hangzhou, China
- Call for Nominations: 2018 Alonzo Church Award for Outstanding Contributions to Logic & Computation , deadline: 2018-03-01
- EASSS 2018: European Agent Systems Summer School, 18-22 Jun 2018, Maastricht, The Netherlands
Received: 2018-01-22:
- Postdoctoral position in logic, Gothenburg (Sweden), Deadline: 31 May 2018
- Two research assistant positions in satisfiability testing and computational modeling of human reasoning, Dresden (Germany), Deadline: 31 Jan 2018
- ESSLLI 2018: European Summer School in Logic, Language & Information, 6-17 Aug 2018, Sofia, Bulgaria
- Postdoctoral position on false belief understanding, Bochum (Germany), Deadline: 1 Mar 2018
- Semester programme "Descriptive Set Theory & Polish Groups", Lausanne (Switzerland), 1 Jan to 30 Jun 2018
- Three PhD student scholarships in computer science (including computational logic, formal languages), Tbilisi (Georgia), Deadline: 28 Feb 2018
- CiE 2018: Deadline extension, 30 Jul - 3 Aug 2018, Kiel, Germany
- two postdoctoral positions in philosophy of science (including formal epistemology), Cambridge (England), Deadline: 8 Feb 2018
Received: 2018-01-04:
- RuleML+RR 2018: Joint Conference on Rules & Reasoning, 18-21 Sep 2018, Luxembourg, Luxembourg
- CfP special issue of Games on "Logic & Game Theory", Deadline: 1 May 2018
- Call for Nominations: Herbert A. Simon Award for Outstanding Research in Computing and Philosophy 2018, Deadline: 17 Jan 2018
- PhD student position in SAT solving, Stockholm (Sweden), Deadline: 21 Jan 2018
- TSD 2018: Text, Speech, & Dialogue, 11-14 Sep 2018, Brno, Czech Republic
- Various PhD student funding opportunities in theoretical computer Science, Swansea (Wales), Deadline: 22 Jan 2018
- CfP special issue of IJAR on "Defeasible & Ampliative Reasoning", Deadline: 15 Feb 2018
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