[LOGIC] List Mailing Archive 2017
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: 2017-12-22:
- EASSS 2018: European Agent Systems Summer School, 18-22 Jun 2018, Maastrict, The Netherlands
- CoCoSym: Cognitive Computation Symposium, Thinking beyond deep learning, 27 Feb 2018, London, England
- FG 2018: Formal Grammar, 11-12 Aug 2018, Sofia, Bulgaria
- FSCD 2018: Formal Structures for Computation & Deduction, 9-12 Jul 2018, Oxford, England
- CLIB 2018: Computational Linguistics in Bulgaria, 28-29 May 2018, Sofia, Bulgaria
- CCA 2018: Computability & Complexity in Analysis, 5-8 Aug 2018, Lake Kochel, Germany
- MacGillavry Fellowship: tenure-track position for women in Logic & Computation, Amsterdam (The Netherlands), Deadline: 19 Mar 2018
- Postdoctoral positions in complexity theory, Stockholm (Sweden), Deadline: 21 Jan 2018
Received: 2017-12-21:
- CMCS 2018: Coalgebraic Methods in Computer Science, 14-15 Apr 2018, Thessaloniki, Greece
- Ouroboros: Formal Criteria of Self-Reference in Mathematics & Philosophy, 16-18 Feb 2018, Bonn, Germany
- IJCAR 2018: Joint Conference on Automated Reasoning, 14-17 Jul 2018, Oxford, Englan
- Position as summer lecturer in digital humanities, Berkeley CA (U.S.A.), Deadline: 2 Jan 2018
- Professorship in Philosophy of Science, Linz (Austria), Deadline: 7 Jan 2018
- CiE 2018: Computability in Europe, 30 Jul - 3 Aug 2018, Kiel, Germany
- P&C 2018: Physics & Computation, 25-29 Jun 2018, Fontainebleau, France
- CfP special issue of LJIGPL on Non-classical Modal and Predicate Logics, Deadline: 30 Apr 2018
Received: 2017-12-20:
- WiL 2018: Women in Logic, 8 Jul 2018, Oxford, England
- PhD student position in Cognitive Reasoning, Wernigerode (Germany), Deadline: 3 Jan 2018
- CfP special issue of Synthese on "Enabling Mathematical Cultures", Deadline: 1 Jun 2018
- PhD student position in knowledge representation and reasoning techniques, Ulm (Germany)
- Postdoctoral position in epistemology (logic teaching), Koeln (Germany), Deadline: 29 Dec 2017
- Several positions (Assistant, Associate, and Full Professorships) in Logic & Philosophy, Chongqing (China)
- ICM 2018 Satellite Conference on Mathematical Logic, 10-11 Aug 2018, Niteroi, Brazil
- Postdoctoral position in formal verification, dynamical systems, and constructive analysis, Pittsburgh PA (U.S.A.)
Received: 2017-12-12:
- Philosophy of Imagination, 15-16 Mar 2018, Bochum, Germany
- Postdoctoral position (2y) in philosophy of science & technology / logic, Aachen (Germany), Deadline: 15 Dec 2017
- HaPoP 4: History & Philosophy of Programming, 23 Mar 2018, Oxford, England
- CfP special issue of Synthese on "Mereology & Identity", Deadline: 31 May 2018
- LOGICA 2018, 18-22 Jun 2018, Hejnice, Czech Republic
- 2nd Workshop on Mathematical Logic & its Applications, 5-9 Mar 2018, Kanazawa, Japan
- 3rd FilMat conference: Philosophy of Mathematics: objects, structures, & logics, 25-27 May 2018, Mussomeli, Italy
- 2nd SYSMICS: Substructural logics: semantics, proof theory, & applications, 26-28 Feb 2018, Wien, Austria
Received: 2017-12-11:
- FMV 2018: Foundations in Mathematics---Modern Views, 4-7 Apr 2018, Munich, Germany
- "Logic(s) for Imagination", 14 Mar 2018, Bochum, Germany
- Two postdoctoral positions in computational logic, Oxford (England), Deadline: 13 Dec 2017
- LC 2018: Logic Colloquium, 23-28 Jul 2018, Udine, Italy
- CSL 2018: Computer Science Logic, 4-7 Sep 2018, Birmingham, England
- PhD student positions in computer science ("logic for agents"), Nottingham (England)
- Postdoctoral position in logic ("Reflection & Truth"), Gothenburg (Sweden), Deadline: 8 Jan 2018
- Postdoctoral position in philosophical logic, Helsinki (Finland), Deadline: 15 Jan 2018
Received: 2017-12-04:
- DEON 2018: Deontic Logic & Normative Systems, 3-6 Jul 2018, Utrecht, The Netherlands
- ESSLLI 2018 Student Session, 6-17 Aug 2018, Sofia, Bulgaria
- Workshop on Medieval Logic & its contemporary relevance, 30 Apr - 2 May 2018, St Andrews, Scotland
- Logical Perspectives 2018, 14-18 May 2018, St Petersburg, Russia
- GaLoP 2018: Games for Logic & Programming Languages, 14-15 Apr 2018, Thessaloniki, Greece
- 2018/19 Fellowships at the Centre for Mind, Brain and Cognitive Evolution, Bochum (Germany), Deadline: 5 Jan 2018
- PhD studentship in applications of logic & category theory, London (England)
Received: 2017-11-22:
- Book Symposium, Edouard Machery: "Philosophy within its Proper Bounds", 18 Dec 2017, Bochum, Germany
- RCL 2018: Rudolf-Carnap-Lectures, 7-9 Mar 2018, Bochum, Germany
- PhD student positions in homotopy type theory, Pittsburgh PA (U.S.A.), Deadline: 2 Jan 2018
- LOFT 13: Logic & the Foundations of Game & Decision Theory, 16-18 Jul 2018, Milan, Italy
- CfP special issue of IJAR on "Defeasible & Ampliative Reasoning", Deadline: 15 Feb 2018
Received: 2017-11-21:
- 4REAL 2018: Replicability & Reproducibility of Research Results in Science and Technology of Languages, 12 May 2018, Miyazaki, Japan
- CfP special issue of Minds & Machines on "The epistemological significance of methods in computer simulation", Deadline: 1 May 2018
- SAT 2018: Theory & Applications of Satisfiability Testing, 9-12 Jul 2018, Oxford, England
- AMS special session on Homotopy Type Theory, 11 Jan 2018, San Diego CA, U.S.A.
- DeMaDIE 2018: Decision Making in Dynamic Information Environments, 20-22 Jun 2018, Toledo, Spain
- DIAGRAMS 2018, 18-22 Jun 2018, Edinburgh, Scotland
Received: 2017-11-20:
- RaMiCS 2018: Relational & Algebraic Methods in CS, 29 Oct - 2 Nov 2018, Groningen, The Netherlands
- KR 2018: Knowledge Representation & Reasoning, 30 Oct - 2 Nov 2018, Tempe AZ, U.S.A.
- LFMTP 2018: Logical Frameworks & Meta-Languages, 7 Jul 2018, Oxford, England
- CfPart: JURIX 2017, 13-15 Dec 2017, Luxembourg, Luxembourg
- "From the Fundamental Lemma to Discrete Geometry, to Formal Verification" (60th birthday of Thomas Hales), 18-22 Jun 2018, Pittsburgh PA, U.S.A.
- CfP special issue of JGPS on "Formal Models of Scientific Inquiry", Deadline: 1 Dec 2017
Received: 2017-11-19:
- Assistant Professorship in Theoretical Philosophy (Philosophy of Science and/or Social Epistemology), Groningen (The Netherlands), Deadline: 30 Nov 2017
- IJCAR 2018: Joint Conference on Automated Reasoning, 14-17 Jul 2018, Oxford, England
- Mathematical & Metaphysical Explanation II: Explanation, Grounding & Dependance, 14-16 Dec 2017, Pavia, Italy
- NLCS 2018: Natural Language & Computer Sciences, 7-8 Jul 2018, Oxford, England
- CfP special issue of LMCS on "Continuity, Computability, Constructivity", Deadline: 1 Jan 2018
- FSCD 2018: Formal Structures for Computation & Deduction, 9-12 Jul 2018, Oxford, England
- Spring Course in Epistemic Game Theory, 25 Jun - 9 Jul 2018, Maastricht, The Netherlands
- FOIS 2018: Formal Ontology in Information Systems, 17-21 Sep 2018, Cape Town, South Africa
Received: 2017-11-17:
- Workshop on Ramsey Theory of Equations & Related Topics, 16-17 Feb 2018, Pisa, Italy
- W3 Professorship in Theoretical Philosophy, Greifswald (Germany), Deadline: 15 Dec 2017
- Helmut Veith Stipend for Female Master's Students, Vienna (Austria), Deadline: 30 Nov 2017
- SOQE 2017: Second-Order Quantifier Elimination & Related Topics, 6-8 Dec 2017, Dresden, Germany
- PhD studentship on "The ethics of AI", Oxford (England), Deadline: 19 Jan 2018
- DCM 2018: Developments in Computational Models, 8 Jul 2018, Oxford, England
- PhD student position in philosophy (focus: Logic), Jena (Germany), Deadline: 27 Nov 2017
- W2 Professorship in Logic, Formal Languages, & Automata, Kaiserslautern (Germany), Deadline: 10 Dec 2017
Received: 2017-11-16:
- CfP special issue of Synthese on "Decision Theory & the future of AI", Deadline: 15 Feb 2018
- 2nd Workshop on Mathematical Logic & its Applications, 5-9 Mar 2018, Kanazawa, Japan
- Logic(s) for Imagination, 14 Mar 2018, Bochum, Germany
- PhDs in Logic X, 1-4 May 2018, Prague, Czech Republic
- (Senior) Lectureship in Artificial Intelligence, London (England), Deadline: 18 Dec 2017
- PhD student position on discrete-time models with uncertainty, Liverpool (England), Deadline: 20 Nov 2017
- 11th Young Set Theory Workshop, 25-29 Jun 2018, Lausanne, Switzerland
- Two postdoctoral positions on interpretable vector space models, Cardiff (Wales), Deadline: 10 Dec 2017
Received: 2017-11-04:
- Section Logic at the joint annual meeting of GDM and DMV, 5-9 Mar 2018, Paderborn, Germany
- Book announcement: "Trends in Computational Social Choice"
- Reflective Equilibrium in Logic & Philosophy of Science, 16 Nov 2017, Bern, Switzerland
- CfP special issue of Canadian Journal of Linguistics on "Formal diachronic semantics", Deadline: 1 Mar 2018
- NFM 2018: NASA Formal Methods Symposium, 17-19 Apr 2018, Newport News VA, U.S.A
- Associate Professorship in Philosophy, Oxford (England), Deadline: 4 Dec 2017
Received: 2017-11-02:
- SYSMICS 2: Substructural logics, 26-28 Feb 2018, Vienna, Austria
- CfP special issue of IJAR on "Defeasible & Ampliative Reasoning", Deadline: 15 Feb 2018
- CiE 2018: Computability in Europe, 30 Jul - 3 Aug 2018, Kiel, Germany
- Global Perspectives on Reasoning & Scientific Method, 30 Nov - 1 Dec 2017, Salzburg, Austria
- Marcin Mostowski (1955-2017)
- CCR 2018: Computability, Complexity, & Randomness, 17-21 Dec 2018, Santiago de Chile, Chile
Received: 2017-10-31:
- CLIB 2018: Computational Linguistics in Bulgaria, 28-29 May 2018, Sofia, Bulgaria
- CMCS 2018: Coalgebraic Methods in Computer Science, 14-15 Apr 2018, Thessaloniki, Greece
- Logic, Probability, & their generalisations, 16-20 Jun 2018, Vichy, France
- Diagrams 2018, 18-22 Jun 2018, Edinburgh, Scotland
- JAF 37: Journees sur les Arithmetiques Faibles, 28-30 May 2018, Florence, Italy
- HaPoP 4: History & Philosophy of Programming, 22-23 Mar 2018, Oxford, England
- Lise Meitner Fellowship for Excellent Women in Computer Science, Deadline: 1 Dec 2017
- PhD student position in Artificial Intelligence, Mannheim (Germany)
Received: 2017-10-26:
- MARS 2018: Models for Formal Analysis of Real Systems, 21 Apr 2018, Thessaloniki, Greece
- PT-AI 2017: Philosophy and Theory of AI, 4-5 Nov 2017, Leeds, England
- Workshop on Hyperintensional Logics & Truthmaker Semantics, 15 Dec 2017, Gent, Belgium
- ITP 2018: Interactive Theorem Proving, 9-12 Jul 2018, Oxford, England
- Simons-Berkeley Research Fellowships, Berkeley CA (U.S.A.), Deadline: 15 Dec 2017
- Kosta Dosen (1954-2017)
Received: 2017-10-21:
- C3GI 2017: Computational Creativity, Concept Invention, & General Intelligence, 15 Dec 2017, Madrid, Spain
- FLoC 2018: Federated Logic Conference, 6-19 Jul 2018, Oxford, England
- ALT 2018: Algorithmic Learning Theory, 7-9 Apr 2018, Lanzarote, Spain
- Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy, 16-18 Feb 2018, Bonn, Germany
- 46th annual meeting of the Society for Exact Philosophy, 18-20 May 2018, Storrs CT, U.S.A.
- Assistant or Associate Professorship in Logic & Philosophy of Science, Irvine CA (U.S.A.), Deadline: 10 Nov 2017
- Types, Sets, & Constructions (Hausdorff Trimester Programme), 2 May - 24 Aug 2018, Bonn, Germany
- Tenure-track instructorship in logic, Vancouver BC (Canada), Deadline: 22 Nov 2017
Received: 2017-10-20:
- Tenure-track position in Computer Science, New York City NY (U.S.A.)
- Tenure-track position in philosophy of science and/or logic, Salzburg (Austria), Deadline: 29 Nov 2017
- Postdoctoral fellowship in public engagement of science, Cincinnati OH (U.S.A.)
- Junior Professorship (W1) in Theoretical Computer Science, Berlin (Germany), Deadline: 9 Nov 2017
- Postdoc in Algorithmic Economics, New York City NY (U.S.A.), Deadline: 1 Dec 2017
- Mini-Symposium "Georg Cantor (1845-1918)", 5-9 March 2018, Paderborn, Germany
- Mathematics & Culture II, 8-10 Jan 2018, Kolkata, India
- CiE 2018: Computability in Europe, 30 Jul - 3 Aug 2018, Kiel, Germany
Received: 2017-10-16:
- LATD 2018: Logic, Algebra & Truth Degrees, 28-31 Aug 2018, Berne, Switzerland
- Enabling Mathematical Cultures, 5-7 Dec 2017, Oxford, England
- SOQE 2017: Second-order Quantifier Elimination & Related Topics, 6-8 Dec 2017, Dresden, Germany
- PhD student position in Artificial Intelligence (computational models of strategic behaviour), Warwick (England)
- IACAP 2018: Computing & Philosophy, 21-23 Jun 2018, Warsaw, Poland
- Senior teaching & research assistantship (postdoctoral) in theoretical philosophy, Zuerich (Switzerland), Deadline: 15 Nov 2017
Received: 2017-10-11:
- WoLLIC 2018: Logic, Language, Information, & Computation, 24-27 Jul 2018, Bogota, Colombia
- Two PhD student positions in formal verification, Columbia MO (U.S.A.)
- PhD student positions in philosophy of vagueness & indeterminacy, Tuebingen (Germany), Deadline: 30 Nov 2017
- Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy, 16-18 Feb 2018, Bonn, Germany
- Associate / Full Professorship in Philosophy of Science & Technology, Munich (Germany)
- PhD student positions in theoretical computer science, Stockholm (Sweden), Deadline: 23 Oct 2017
Received: 2017-10-08:
Received: 2017-10-05:
- ETAPS 2018: Theory & Practice of Software, 14-21 Apr 2018, Thessaloniki, Greece
- Practices of Reading & Writing in Logic, 23-24 Jun 2018, Vichy, France
- SotFoM4: Reverse Mathematics, 9-11 Oct 2017, Munich, Germany
- AsubL take 6: Algebra & substructural logics, 11-13 Jun 2018, Cagliari, Italy
- AITP 2018: AI & Theorem Proving, 25-30 Mar 2018, Aussois, France
Received: 2017-10-04:
- 7th evoMUSART: Computational Intelligence in Music, Sound, Art, & Design, 4-6 Apr 2018, Parma, Italy
- KR Doctoral Consortium: Knowledge Representation, 30 Oct - 2 Nov 2018, Tempe AZ, U.S.A.
- XXI ESMLS: European Symposium on Medieval Logic & Semantics, 25-29 Jun 2018, Duesseldorf, Germany
- Special session on Logic Programming & NLP in memory of Alain Colmerauer, 17-19 Nov 2017, Poznan, Poland
- Logic, Law, & Legal Reasoning, 21-26 Jun 2017, Vichy, France
- PhD student position on formal verification, Guildford (England), Deadline: 31 Dec 2017
Received: 2017-10-03:
- Commonsense 2017, 6-8 Nov 2017, London, England
- Category Theory in Physics, Mathematics, & Philosophy, 16-17 Nov 2017, Warsaw, Poland
- "New Perspectives on Self-Deception, Biased Belief & Automatic Action", 1 Dec 2017, Bochum, Germany
- LATA 2018: Language & Automata Theory & Applications, 8-12 Apr 2018, Ramat Gan, Israel
- IJCAR 2018: Automated Reasoning, 14-17 Jul 2018, Oxford, England
- "Games, Values, & AI", 15 Dec 2017, Cambridge, England
Received: 2017-10-01:
- CfP special issue of Studia Logic on "Permissions, Obligations, & Beyond", Deadline: 15 Nov 2017
- Naming Logics II, 16-26 Jun 2018, Vichy, France
- "Philosophy of Imagination", 15-16 Mar 2018, Bochum, Germany
- British Postgraduate Model Theory Conference, 4-6 Jan 2018, Oxford, England
- PhD student grants (in particular, mathematical logic and set theory), Hamburg (Germany), Deadline: 20 October 2017
- PhD student position in formal semantics or formal pragmatics, Graz (Austria), Deadline: 11 Oct 2017
- Postdoctoral and PhD student positions in applying formal verification to new biological computing devices, Ramat Gan (Isral)
- Vladimir Voevodsky (1966-2017)
Received: 2017-09-22:
- Diagrams 2018, 18-22 Jun 2018, Edinburgh, Scotland
- NFM 2018: NASA Formal Methods Symposium, 17-19 Apr 2018, News VA, U.S.A.
- Advanced Winter School on Formal Verification, 17-21 Dec 2017, Jerusalem, Israel
- KR 2018: Knowledge Representations, 30 Oct - 2 Nov 2018, Tempe AZ, U.S.A.
- WoLGA: Logical Geometry & its Applications, 25 Jun 2018, Vichy, France
- CCA 2018: Computability & Complexity in Analysis, 5-8 Aug 2018, Lake Kochel, Germany
- NLPinAI 2018: Natural Language Processing in Artificial Intelligence, Fuchal, 16-18 Jan 2018, Madeira, Portugal
- "Logic, Probability, and their generalisations", 16-20 Jun 2018, Vichy, France
Received: 2017-09-14:
- "Practices of Reading & Writing in Logic", 23-24 Jun 2018, Vichy, France
- KARE 2017: Knowledge Acquisition Reuse & Evaluation, 4-7 Dec 2017, Jaipur, India
- Workshop on Logical Correctness, 21-26 June 2017, Vichy, France
- PhD student positions in computing, London (England)
- Postdoctoral position in SAT solving, Stockholm (Sweden), Deadline: 24 Sep 2017
- Workshop on Model Theory, 16-26 Jun 2018, Vichy, France
Received: 2017-09-11:
- FSCD 2018: Formal Structures for Computation and Deduction, 9-12 Jul 2018, Oxford, England
- IJCAR 2018: Automated Reasoning, 14-17 Jul 2018, Oxford, England
- SotFoM4: Reverse Mathematics, 9-11 Oct 2017, Munich, Germany
- HOPOS 2018: History of Philosophy of Science, 9-12 Jul 2018, Groningen, The Netherlands
- "On the infinite", 18-21 Oct 2017, Paris, France
- CfP ThEdu'17 post-proceedings in EPTCS, Deadline: 17 Nov 2017
- W3 Professorship in Theoretical Philosophy, Heidelberg (Germany), Deadline: 22 Sep 2017
Received: 2017-09-10:
- CfP special issue of Synthese on "Mathematical Cognition & Enculturation", Deadline: 1 Feb 2018
- PhD student grants in the humanities, Cologne (Germany), Deadline: 3 Nov 2017
- Workshop "Logic & Music", 24-25 Jun 2018, Vichy, France
- PhD student positions in mathematics, Helsinki (Finland), Deadline: 14 Sep 2017
- CfP volume on "Algebraic methods in general rough sets", Deadline: 30 Dec 2017
- ETAPS 2018: Theory & Practice of Software, 14-21 Apr 2018, Thessaloniki, Greece
- UNILOG 2018: 6th World Congress on Universal Logic, 21-26 Jun 2018, Vichy, France
- Non-classical modal & predicate logics, 4-8 Dec 2017, Guangzhou, China
Received: 2017-09-07:
- MACIS 2017: Mathematical Aspects of Computer & Information Systems, 15-17 Nov 2017, Vienna, Austria
- School & Workshop on Univalent Mathematics, 11-15 Dec 2017, Birmingham, England
- EUMAS 2017: Multi-Agent Systems, 14-15 Dec 2017, Evry, France
- Assistant or Associate professorship in Computational Lingustics, Utrecht (The Netherlands), Deadline: 30 Sep 2017
- Department Chair position for the Department of Humanities, Chicago IL (U.S.A.)
- Diagrams 2018, 18-22 Jun 2018, Edinburgh, Scotland
- Workshop on Logical Correctness, Vichy (France), 21-26 Jun2018
- W3 professorship in theoretical philosophy, Konstanz (Germany), Deadline: 28 Sep 2017
Received: 2017-08-26:
- Attitudes in Context, 14-15 Sep 2017, Regensburg, Germany
- CfP special issue on "From Leibniz to Kant" of Logical Analysis & History of Philosophy, Deadline: 1 Oct 2017
- From minimal to complex collective actions, 4 Sep 2017, Milan, Italy
- Linguistic Evidence 2018, 15-17 Feb 2018, Tuebingen, Germany
- Postdoctoral position in philosophy of science, Edinburgh (Scotland), Deadline: 21 Sep 2017
- Assistant, Associate or Full Professorship in Mathematical Logic, Helsinki (Finland), Deadline: 31 Aug 2017
- Six full professorships in computing (including algorithms & complexity), Leeds (England), Deadline: 17 Sep 2017
- PhD student position in deontic logic, Vienna (Austria)
Received: 2017-08-16:
- Imperial College Research Fellowships in Computing, London (England), Deadline: 29 Aug 2017
- PhD student position in game theory, Paris (France), Deadline: 4 Sep 2017
- "The Reception of Hilbert's Axiomatic Method in Central and Eastern Europe", 3 Oct 2017, Brno, Czech Republic
- KR 2018: Knowledge Representation & Reasoning, 27 Oct - 1 Nov 2018, Tempe AZ, U.S.A.
Received: 2017-08-13:
- Ada Lovelace PhD student position in Mathematics & Computer Science, Muenster (Germany), Deadline: 1 Oct 2017
- PhD student position in cognitive mathematics, Koeln (Germany), Deadline: 20 Aug 2017
- Two sessions at the Joint Mathematics Meeting: "Philosophy of Mathematical As Actually Practices" and "Alternative Proofs in Mathematical Practice", 12 Jan 2018, San Diego CA, U.S.A.
- CfP special issue of LMCS: postproceedings 'Continuity, Computability, Constructivity', Deadline: 1 Feb 2018
- Novembertagung 2017: Tools for research in mathematics, history and philosophy, 2-4 Nov 2017, Brussels, Belgium
Received: 2017-08-09:
- SD 2017: Structures & Deduction, 8-9 Sep 2017, Oxford, England
- SotFoM4: Reverse Mathematics, 9-11 Oct 2017, Munich, Germany
- Logic in the Wild, 9-10 Nov 2017, Gent, Belgium
- PhD student position in correct parallel algorithms, Leiden (The Netherlands), Deadline: 27 Aug 2017
Received: 2017-08-02:
- CfPart: TABLEAUX 2017, FroCoS 2017, & ITP 2017, 25-29 Sep 2017, Brasilia, Brazil
- CfP: special issue of Topoi on "Foundations of Clinical Reasoning", Deadline: 31 Aug 2017
- ISAIM 2018: Artificial Intelligence and Mathematics, 3-5 Jan 2018, Fort Lauderdale FL, U.S.A.
- 9th DGfS Computational Linguistics Fall School, 11-22 Sep 2017, Duesseldorf, Germany
- CfPart GandALF 2017, 20-22 Sep 2017, Rome, Italy
Received: 2017-07-31:
- evoMUSART 7: Computational Intelligence in Music, Sound, Art, & Design, 4-6 Apr 2018, Parma, Italy
- Practices of Reading & Writing in Logic, 23-24 Jun 2018, Vichy, France
- EUMAS 2017: 15th European Conference on Multi-Agent Systems, 14-15 Dec 2017, Evry, France
- SD 2017: Structures & Deduction, 8-9 Sep 2017, Oxford, England
- CEx 2017: Comprehensibility & Explanation in AI and ML, 14-17 Nov 2017, Bari, Italy
- W3 Professorship in Theoretical Philosophy, Erlangen-Nuernberg (Germany), Deadline: 22 Sep 2017
- LENLS 14 (Logic & Engineering of Natural Language Semantics), 13-15 Nov 2017, Tokyo, Japan
- Workshop on Proof Theory, 21-26 Jun 2018, Vichy, France
Received: 2017-07-26:
- Summer School on Formal Methods for Cyber-Physical Systems, 12-16 Sep 2017, Verona, Italy
- EPINON 2017: Epistemology in Ontologies, 21-23 Sep 2017, Bolzano, Italy
- EPS: Encyclopedia of Proof Systems, 24-25 Sep 2017, Brasilia, Brazil
- 12th International Symposium on Cognition, Logic and Communication: "Impact on Visuospatial Skills on Learning", 31 Oct - 1 Nov 2017, Riga, Latvia
- W6: Topics on Philosophy of Logic, 2-4 Aug 2017, Buenos Aires, Argentina
- Helmut Veith grants for female Master's students in Computer Science, Vienna (Austria), Deadline: 20 Aug 2017
- Axiomatic Thinking, 11-14 Oct 2017, Lisbon, Portugal
- 6th UNILOG: World Congress & School on Universal Logic, 16-26 Jun 2018, Vichy, France
Received: 2017-07-23:
- 13th Tbilisi Summer School in Logic & Language, 25-27 Sep 2017, Tbilisi, Georgia
- 3L workshop: Language, Learning, Logic, 21 Sep 2017, London, England
- Workshop on Computability Theory & Foundations of Mathematics, 8-12 Sep 2017, Singapore, Singapore
- CfP special issue of Argument & Computation on "Applications of Argumentation", Deadline: 10 Aug 2017
- PhD studentship in verification of security & privacy, Guildford (England), Deadline: 30 Aug 2017
- CLAR 2018: 2nd Chinese Conference on Logic & Argumentation, 16-17 Jun 2018, Hangzhou, China
- PhD student positions and postdoctoral fellowships in logic and topos theory, Como (Italy), Deadline: 1 or 8 Sep 2017
- BLC 2017: British Logic Colloquium, 7-9 Sep 2017, Brighton, England
Received: 2017-07-15:
- KR 2018: Knowledge Representation & Reasoning, 30 Oct - 2 Nov 2018, Tempe AZ, U.S.A.
- CfPart FSCD 2017, Formal Structures for Computation & Deduction, 3-9 Sep 2017, Oxford, England
- Postdoctoral Fellowship in Computational Models of Reasoning, Washington DC (U.S.A.), Deadline: 15 Aug 2017
- FSTTCS 2017: Foundations of Software Technology & Theoretical Computer Science, 11-15 Dec 2017, Kanpur, India
- SotFoM 4: Reverse Mathematics, 9-11 Oct 2017, Munich, Germany
- ODBASE 2017: Ontologies, Databases, and Applications of Semantics, 24-25 Oct 2017, Rhodes, Greece
- Two postdoctoral positions and one research assistant position in "Language in Interaction", Amsterdam / Nijmegen (The Netherlands), Deadline: 10 Sep 2017
Received: 2017-07-13:
- Commonsense 2017, 6-8 Nov 2017, London, England
- WINKS 2017: Interaction-based Knowledge Sharing, 21-23 Sep 2017, Bolzano, Italy
- AsubL 6: Algebra and substructural logics, 11-13 Jun 2018, Cagliari, Italy
- CEx@AI*IA 2017: Comprehensibility & Explanation in AI and ML, 14-17 Nov 2017, Bari, Italy
- Lectureship in Philosophy of Science & Logic, Armidale (Australia), Deadline: 31 Jul 2017
- WoLGA: Logical Geometry & its Applications, 25 Jun 2018, Vichy, France
- CfPart: DL 2017, 18-21 Jul 2017, Montpellier, France
- Diagrams 2018, 18-22 Jun 2018, Edinburgh, Scotland
Received: 2017-07-04:
- CfPart TARK 2017 & SR 2017, 24-27 Jul 2017, Liverpool, England
- LFCS 2018: Logical Foundations of Computer Science, 8-11 Jan 2018, Deerfield Beach FL, U.S.A.
- LORI VI: Logic, Rationality & Interaction, 11-14 Sep 2017, Sapporo, Japan
- LENLS 14: Logic & Engineering of Natural Language Semantics, 13-15 Nov 2017, Tokyo, Japan
- CfPart: CSL 2017, 20-24 Aug 2017, Stockholm, Sweden
- CfP special issue of Philosophy & Technology on "Information Architecture", deadline for expressions of interest: 26 Jul 2017
- AiML 2018: Advances in Modal Logic, 27-31 Aug 2018, Bern, Switzerland
Received: 2017-07-03:
- 21st Amsterdam Colloquium, 20-22 December 2017, Amsterdam, The Netherlands
- 70th birthday of John Truss: homogeneous structures, permutation groups, and connections to set theory, 10-12 Sep 2017, Leeds, England
- STRING 2017: String Diagrams in Computation, Logic, and Physics, 8-9 Sep 2017, Oxford, England
- Postdoctoral position in logic, proof theory, and semantics, Nancy (France), Deadline: 25 Jul 2017
- Deduktionstreffen 2017, 25-26 Sep 2017, Dortmund, Germany
- INT10: Intelligent Narrative Technologies, 5-9 Oct 2017, Snowbird UT, U.S.A.
- PhD student position in automated theorem proving, Paris (France), Deadline 29 Oct 2017
- Dame Kathleen Ollerenshaw Combinatorics Day, 10 Jul 2017, Manchester, England
Received: 2017-06-27:
- Postdoctoral position in theoretical philosophy, Berlin (Germany), Deadline: 3 Jul 2017
- WoLLIC 2017: Logic, Language, Information, & Computation, 18-21 Jul 2017, London, England
- QPL 2017: Quantum Physics & Logic, 3-7 Jul 2017, Nijmegen, The Netherlands
- Postdoctoral position on first-order theory of rewriting, Innsbruck (Austria), Deadline: 1 Aug 2017
- LSFA 2017: Logical and Semantic Frameworks with Applications, 23-24 Sep 2017, Brasilia, Brazil
- LAMAS 2017: Logical Aspects of Multi-Agent Systems, 25 Aug 2017, Stockholm, Sweden
- RADICAL 2017: Recent Advanced in Concurrency and Logic, 4 Sep 2017, Berlin, Germany
- Section "Algebra, Logic & Set Theory" at the 19th OeMG Congress, 11-15 Sep 2017, Salzburg, Austria
Received: 2017-06-25:
- Mereology & Identity, 3-5 Jul 2017, Pisa, Italy
- PCC 2017: Proof, Computation & Complexity, 26-27 Jul 2017, Goettingen, Germany
- Specificity, definiteness & article systems across languages, 7-9 Mar 2018, Stuttgart, Germany
- PhD student position in metaphysics of science, Duesseldorf (Germany), Deadline: 13 Jul 2017
- Logic & Automata Theory: in memory of Zoltan Esik, 25 Aug 2017, Stockholm, Sweden
- Omni Buss Celebration Workshop: Sam Buss 60, 14 Jul 2017, La Jolla CA, U.S.A.
- Enabling Mathematical Cultures, 5-7 Dec 2017, Oxford, England
- Mini-symposium on deontic logic, 27 Jun 2017, Utrecht, The Netherlands
Received: 2017-06-20:
- 2017 IAOA Summer Institute on "Upper Ontologies", 8-11 Aug 2017, Toronto ON, Canada
- CfPart: MOL 2017, 13-14 Jul 2017, London, England
- Seventeen PhD student and postdoctoral positions in "Limit of Variability in Language", Potsdam (Germany)
- BRaD 2017: Big Data, Reasoning & Decision Making, 29-30 Sep 2017, Hangzhou, China
- Twelve PhD student positions in "Uncertainty & Randomness in Algorithms, Verification & Logic", Aachen (Germany), Deadline: 14 Jul 2017
- IAS Fellowships, Durham (U.K.), Deadline: 30 Jun 2017
- Call for Course & Workshop Proposals: ESSLLI 2018, 6-17 Aug 2018, Sofia, Bulgaria
- DKB 2017 & KIK 2017: Dynamics of Knowledge and Belief & KI & Kognition, 25-29 Sep 2017, Dortmund, Germany
Received: 2017-06-13:
- NeSy 2017: Neural-Symbolic Learning & Reasoning, 17-18 Jul 2017, London, England
- Perspectives on Scientific Error, 26-27 Jun 2017, Tilburg, The Netherlands
- TABLEAUX/FroCoS/ITP 2017, 25-29 Sep 2017, Brasilia, Brazil
- 12th Summer School "Algebra, Topology, Analysis", 10-23 Jul 2017, Kolochava, Ukraine
- BLAST 2017: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology, 14-18 Aug 2017, Nashville TN, U.S.A.
- PhD student position in proof theory, Gothenburg (Sweden)
Received: 2017-06-10:
- ISD3: Image Schema Day III, 21-23 Sep 2017, Bolzano, Italy
- 6th UNILOG: World Congress & School on Universal Logic, 16-26 Jun 2018, Vichy, France
- GandALF 2017: Games, Automata, Logics, and Formal Verification, 20-22 Sep 2017, Rome, Italy
- NASSLLI 2018: North American Summer School in Logic, Language and Information, 23-29 Jun 2018, Pittsburgh PA, U.S.A.
- Time in Translation, 23 Jun 2017, Utrecht, The Netherlands
- PhD student position and postdoctoral position in program logics, Erlangen (Germany)
Received: 2017-06-08:
- Workshop & Summer School on Formal Semantics of Concepts, 1-2 Aug 2017, Riga, Latvia
- UNIF 2017: Unification, 3 Sep 2017, Oxford, England
- Ten PhD student grants in computer science, Bolzano (Italy), Deadline: 3 Jul 2017
- Non-classical modal and predicate logics, 4-8 Dec 2017, Guangzhou, China
- RADICAL 2017: Recent Advances in Concurrency & Logic, 4 Sep 2017, Berlin, Germany
- CADE-26: Automated Deduction, 6-11 Aug 2017, Gothenburg, Sweden
- JOWO 2017: Joint Ontology WOrkshops, 21-23 Sep 2017, Bolzano, Italy
Received: 2017-06-07:
- MACIS 2017: Mathematical Aspects of Computer & Information Sciences, 15-17 Nov 2017, Vienna, Austria
- WoMoCoE 2017: Ontology Modularity, Contextuality, & Evolution, 21-25 Oct 2017, Vienna, Austria
- ODLS 2017: Ontologies and Data in Life Sciences, 22-23 Sep 2017, Bolzano, Italy
- XCI 2017: Explainable Computational Intelligence, 4-7 Sep 2017, Santiago de Compostela, Spain
- Savoir Faire Mathematiques, 14-15 Sep 2017, Clermont, France
- PhD student position in lambda calculus, Paris (France)
- PhD student position in epistemology & decision theory, Hamburg (Germany), Deadline: 30 Jun 2017
- Lectureship in Philosophy (logic teaching need), Melbourne (Australia), Deadline: 30 Jun 2017
Received: 2017-06-06:
- ThEdu 2017: Theorem proving components for educational software, 6-11 Aug 2017, Gothenburg, Sweden
- SPE9: Ninth Semantics & Philosophy in Europe Colloquium, 4-6 Sep 2017, Padua, Italy
- EPINON 2017: Epistemology in Ontologies, 21-23 Sep 2017, Bolzano, Italy
- EUMAS 2017: European Conference on Multi-Agent Systems, 14-15 Dec 2017, Evry, France
- Logic in Question 7, 13-14 Jul 2017, Paris, France
- CCA 2017: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, South Korea
- HIGHLIGHTS 2017: Highlights of Logic, Games, & Automata, 12-15 Sep 2017, London, England
- Three postdoctoral research associates on interactive theorem proving, Cambridge (England), Deadline: 3 Jul 2017
Received: 2017-06-05:
- Trends in Logic XVII: Traditional and new perspectives on deontic logic and agency modeling, 12-15 Sep 2017, Lublin, Poland
- DaLi: Dynamic Logic, 24 Sep 2017, Brasilia, Brazil
- New book series: Logic PhDs (College Publications)
- The structure of modal & semantic reasoning, 29 Jun - 1 Jul 2017, Muenchen, Germany
- LogiCS/RiSE Summer School on Logic, AI, and Verification, 3-5 Jul 2017, Vienna, Austria
- LC 2017: Logic Colloquium (CfPart), 14-20 Aug 2017, Stockholm, Sweden
- Three Postdoctoral positions on Narrative Science, London (England), Deadline: 22 Jun 2017
- CAALC 2017: Computational Aspects of Arguments and Logic, 6-7 Jul 2017, Belgrade, Serbia
Received: 2017-05-29:
- LSFA 2017: Logical & Semantic Frameworks, 23-24 Sep 2017, Brasilia, Brazil
- FOUST II: Foundational Ontology, 21-23 Sep 2017, Bolzano, Italy
- Professorship in Theoretical Philosophy, Graz (Austria), Deadline: 14 Jun 2017
- Launch of the PhilMath Archive: preprint server specifically for philosophy of mathematics
- CEx 2017: Comprehensibility & Explanation in AI & ML, 14-17 Nov 2017, Bari, Italy
- CfP special issue of Philosophical Papers on Linguistic Justice & Analytic Philosophy, Deadline: 1 Oct 2017
- "Beziehungsweisen", 11 Aug 2017, Bochum, Germany
- PhD student position and postdoctoral position in socially adaptive computing, Delft (The Netherlands), Deadline: 25 Jun 2017
Received: 2017-05-23:
- Logical Foundations for Uncertainty & Learning, 19 Aug 2017, Melbourne, Australia
- PhD student position and postdoctoral position in philosophy or cognitive science, Bochum (Germany), Deadline: 5 Jul 2017
- INT10: Intelligent Narrative Technologies, 5-9 Oct 2017, Snowbird UT, U.S.A.
- LFCS 2018: Logical Foundations of Computer Science, 8-11 Jan 2018, Deerfield Beach FL, U.S.A.
- "The Experimental Philosophy of Morality & Causation", 13 Jun 2017, Bochum, Germany
- ISRALOG 2017: 3rd Israeli workshop on Non-Classical Logics, 15-17 Oct 2017, Haifa, Israel
Received: 2017-05-20:
- WINKS 2017: Workshop on Interaction-Based Knowledge Sharing, 21-23 Sep 2017, Bolzano, Italy
- STP 2017: Set Theoretic Pluralism, 20-25 Jun 2017, Bristol, England
- LAMAS 2017: Logical Aspects of Multi-Agent Systems, 25 Aug 2017, Stockholm, Sweden
- International Workshop: Proofs, 1-2 Jun 2017, Paris, France
- 3rd Workshop on Connexive Logics, 7 Sep 2017, Kyoto, Japan
- CSL 2017: Computer Science Logic, 20-24 Aug 2017, Stockholm, Sweden
Received: 2017-05-17:
- GandALF 2017: Games, Automata, Logics, and Formal Verification, 20-22 Sep 2017, Rome, Italy
- EASSS 2017: student grants (European Agent Systems Summer School), 7-11 Aug 2017, Gdansk, Poland
- CREOL 2017: Contextual Representation of Objects and Events in Language, 21-23 Sep 2017, Bolzano, Italy
- CAV 2017: Computer-Aided Verification, 22-28 Jul 2017, Heidelberg, Germany
- GCAI 2017: Global Conference on AI, 18-22 Oct 2017, Miami FL, U.S.A.
- 1st Aquinas workshop: "Hylomorphism as an alternative theory in the philosophy of mind", 13-15 Oct 2017, Cologne, Germany
Received: 2017-05-16:
- "Magic in Science", 75th birthday of Grzegorz Rozenberg, 17 June 2017, Turku, Finland
- AIRIM 2017: AI aspects of Reasoning, Information, & Memory, 3-6 Sep 2017, Prague, Czech Republic
- NeSy 2017: Neural-Symbolic Learning & Reasoning, 17-18 Jul 2017, London, England
- HaPoC 2017: History and Philosophy of Computing, 4-7 Oct 2017, Brno, Czech Republic
- Professorship in Theoretical Philosophy, Graz (Austria), Deadline: 14 June 2017
- Six PhD student positions in information governance technologies, Hamburg (Germany), Deadline: 31 May 2017
- SR 2017: Strategic Reasoning, 26-27 Jul 2017, Liverpool, England
- LOTKS 2017: Language, Ontology, Terminology, & Knowledge Structures, 19 Sep 2017, Montpellier, France
Received: 2017-05-12:
- Summer School on Logic in Computer Science, 3-6 Jul 2017, Warsaw, Poland
- ALC 2017: Asian Logic Conference, 10-14 Jul 2017, Daejeon, South Korea
- PhD student and postdoctoral positions in Information Security, Stuttgart (Germany), Deadline: 28 May 2017
- Two PhD student positions in computational linguistics, Utrecht (The Netherlands), Deadline: 10 Jun 2017
- PhD student position on blockchain technologies, Stirling (Scotland), Deadline: 15 Jun 2017
- PhD student positions in fundamental computing, Groningen (The Netherlands), Deadline: 2 Jun 2017
- Postdoctoral research fellowship (2y) in dynamical multi-agent systems, Stockholm (Sweden), Deadline: 4 June 2017
- Gaisi Takeuti (1926-2017)
Received: 2017-05-04:
- LFUL 2017: Logical Foundations for Uncertainty & Learning, 19 Aug 2017, Melbourne, Australia
- Postdoctoral position in philosophy of science, Pasadena CA (U.S.A.)
- Assistant Professorship in Theoretical Foundations of Computer Science, Umea (Sweden), Deadline: 29 May 2017
- 6th CSLI Workshop on Logic, Rationality, & Intelligent Interaction and Solomon Feferman Symposium, 3-5 Jun 2017, Stanford CA, U.S.A.
- GandALF 2017: Games, Automata, Logics, & Formal Verification, 20-22 Sep 2017, Rome, Italy
- Donau-Rhein Modelltheorie & Anwendungen, 12 May 2017, Konstanz, Germany
Received: 2017-05-02:
- FMCAD 2017: Formal Methods in Computer-Aided Design, 2-6 Oct 2017, Vienna, Austria
- Novembertagung 2017: "Tools for research in mathematics, history, & philosophy", 2-4 Nov 2017, Brussels, Belgium
- 2nd Bochum-Rutgers Workshop in Philosophy & Cognitive Science, 19-20 May 2017, Bochum, Germany
- AAL 2017: Australasian Association for Logic, 6-8 Jul 2017, Adelaide, Australia
- "Proof meets Truth", 12 May 2017, Bath, England
- LC 2017: Logic Colloquium, 14-20 Aug 2017, Stockholm, Sweden
Received: 2017-04-28:
Received: 2017-04-27:
- RuleML+RR 2017: Rules & Reasoning, 12-15 Jul 2017, London, England
- FILOMENA 3: Philosophy, Logic, Analytical Metaphysics, 21-23 Aug 2017, Natal, Brazil
- Vampire 2017: The 4th Vampire Workshop, 7 Aug 2017, Gothenburg, Sweden
- "Events & Stories in the News", 4 Aug 2017, Vancouver BC, Canada
- RP 2017: Reachability Problems, 7-9 Sep 2017, London, England
- SD 2017: Structures & Deduction, 8-9 Sep 2017, Oxford, England
Received: 2017-04-26:
- MRC 2017: Modelling & Reasoning in Context, 19-25 Aug 2017, Melbourne, Australia
- FroCoS 2017: Frontiers of Combining Systems, 27-29 Sep 2017, Brasilia, Brazil
- TABLEAUX 2017, 25-28 Sep 2017, Brasilia, Brazil
- IQSA 2017: Intermediate Workshop on Quantum Structures, 4-7 Jul 2017, Nijmegen, The Netherlands
- NeSy 2017: Neural-Symbolic Learning & Reasoning, 17-18 Jul 2017, London, England
- ABM4Crime: Agent-Based Modelling for Criminological Research, 5-8 Sep 2017, Porto, Portugal
Received: 2017-04-25:
- DKB 2017 & KIK 2017: Dynamics of Knowledge & Belief / KI & Kognition, 25-29 Sep 2017, Dortmund, Germany
- IWCS 2017: Computational Semantics, 19-22 Sep 2017, Montpellier, France
- ARCADE: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 6 Aug 2017, Gothenburg, Sweden
- QPL 2017: Quantum Physics & Logic, 3-7 Jul 2017, Nijmegen, The Netherlands
- ISR 2017: School on Rewriting, 3-7 Jul 2017, Eindhoven, The Netherlands
- "Enabling Mathematical Cultures", 5-7 Dec 2017, Oxford, England
- "Proofs", 1-2 Jun 2017, Paris, France
Received: 2017-04-24:
- KRR@EPIA 2017: Knowledge Representation & Reasoning, 5-8 Sep 2017, Porto, Portugal
- MIREL 2017: Mining & Reasoning with Legal Texts, 16 June 2017, London, England
- FCT 2017: Fundamentals of Computation Theory, 11-13 Sep 2017, Bordeaux, France
- Masterclass in the Philosophy of Mathematical Practice: Jose Ferreiros, 17-19 May 2017, Brussels, Belgium
- ESSLLI 2017: Logic, Language & Information, 17-28 Jul 2017, Toulouse, France
- LPNMR 2017: Logic Programming & Non-monotonic reasoning, 3-6 Jul 2017, Espoo, Finland
- ODBASE 2017: Ontologies, Databases, & Applications of Semantics, 24-25 Oct 2017, Rhodes, Greece
Received: 2017-04-22:
- Scholarships for EMCL: European Master's Programme in Computational Logic
- DL 2017: Description Logics, 18-21 Jul 2017, Montpellier, France
- ESSLLI 2018: Logic, Language & Information, 6-17 Aug 2018, Sofia, Bulgaria
- TIME 2017: Temporal Representation & Reasoning, 16-18 Oct 2017, Mons, Belgium
- "Contemporary Language, Logic, & Metaphysics: African & Western Approaches", 14-16 Aug 2017, Johannesburg, South Africa
- CfP special issue of Topoi on "Foundations of Clinical Reasoning", Deadline: 31 Aug 2017
- TAG+13: Tree Adjoining Grammars & Related Formalisms, 4-6 Sep 2017, Umea, Sweden
- International Summer School for Proof Theory in First-order Logic, Funchal, 22-27 Aug 2017, Madeira, Portugal
Received: 2017-04-20:
- "Linguistic Intuitions, Evidence, & Expertise", 25-27 Oct 2017, Aarhus, Denmark
- EASSS 2017: European Agent Systems Summer School, 7-11 Aug 2017, Gdansk, Poland
- ALC 2017: Asian Logic Conference, 10-14 Jul 2017, Daejeon, South Korea
- Summer School on Verification Technology, Systems & Applications, 31 Jul - 4 Aug 2017, Saarbruecken, Germany
- Summer School "On Computer Simulation Methods", 25-29 Sep 2017, Stuttgart, Germany
- "Logic at UC Berkeley": 60th anniversary of the Logic Group, 5-6 May 2017, Berkeley CA, U.S.A.
- 6ESTC: European Set Theory Conference, 3-7 Jul 2017, Budapest, Hungary
Received: 2017-04-19:
- Final Call for Nominations, E W Beth Dissertation Prize 2017, Deadline: 21 Apr 2017
- PLS11: Eleventh Panhellenic Logic Symposium, 12-16 Jul 2017, Delphi, Greece
- Logic in Stockholm 2017: NLS 2017, LC 2017, CSL 2017, LACompLing 2017, LAMAS 2017, 7-25 Aug 2017, Stockholm, Sweden
- YALP 2017: Yerevan Academy for Linguistics & Philosophy, 31 Jul - 11 Aug 2017, Yerevan, Armenia
- Call for Workshops, FLoC 2018: Federated Logic Conference, 6-19 Jul 2018, Oxford, England
- Postdoctoral position (1y) in automata theory, Lyon (France)
- Stipendiary Lectureship in Logic, General Philosophy, & Moral Philosophy, Oxford (England), Deadline: 3 May 2017
- CfInfP: CiE 2017, 12-16 Jun 2017, Turku, Finland
Received: 2017-04-12:
- (Assistant) Professorship in Theoretical Philosophy, Bern (Switzerland), Deadline: 14 May 2017
- 7th Summer School on Formal Techniques, 21-26 May 2017, Atherton CA, U.S.A.
- CfP special issue of Logica Universalis in memory of Jaakko Hintikka
- Remembering Raymond Smullyan, 27 Apr 2017, New York NY, U.S.A.
- Research position on "Neural basis of language" (4y, TV-L E13), Nijmegen (The Netherlands), Deadline: 17 Apr 2017
- "Borel Reducibility of Equivalence Relations", 29 May 2017, Lausanne, Switzerland
- School on Foundations of Programming and Software Systems, 29 May - 4 Jun 2017, Braga, Portugal
Received: 2017-04-11:
- CCC 2017: Continuity, Computability, Constructivity, 26-30 Jun 2017, Nancy, France
- Computational Analogy, 26-28 Jun 2017, Trondheim, Norway
- MFCS 2017: Mathematical Foundations of Computer Science, 21-25 Aug 2017, Aalborg, Denmark
- IWCS 2017: Computational Semantics, 19-22 Sep 2017, Montpellier, France
- LC 2017: Logic Colloquium, 14-20 Aug 2017, Stockholm, Sweden
- Senior postdoctoral position in "Language in Interaction", Nijmegen (The Netherlands), Deadline: 17 Apr 2017
- QBFEVAL 2017: Competitive Evaluation of QBF Solvers, 28 Aug - 1 Sep 2017, Melbourne, Australia
Received: 2017-04-09:
- SPE9: Semantics & Philosophy in Europe, 4-6 Sep 2017, Padua, Italy
- "Mathematics & Mechanics in the Newtonian Age", 18-20 Sep 2017, Sevilla, Spain
- W2 Professorship in Theoretical Computer Science and Foundations of Computer Science, Darmstadt (Germany), Deadline: 5 May 2017
- W2/W3 Professorship in Theoretical Philosophy, Bremen (Germany), Deadline: 31 May 2017
- XCI 2017: Explaining Computational Intelligence, 4-7 Sep 2017, Santiago de Compostela, Spain
- Metafinite 2017: Metafinite model theory & definability & complexity of numeric graph parameters, 19 Jun 2017, Reykjavik, Iceland
Received: 2017-04-08:
- Warsaw Workshop on Formal Truth Theories, 28-30 Sep 2017, Warsaw, Poland
- Call for Nominations: Lakatos Award 2018, Deadline: 2 Oct 2017
- Autumn School "Proof & Computation", 23-26 Sep 2017, Herrsching, Germany
- FILOMENA 3: Philosophy, Logic, Analytical Metaphysics, 21-23 Aug 2017, Natal, Brazil
- FSCD 2017: Formal Structures for Computation & Deduction, 4-7 Sep 2017, Oxford, England
- Cognitum 2017: Cognitive Knowledge Acquisition & Applications, 19-21 Aug 2017, Melbourne, Australia
- Mereology & Identity, 3-5 Jul 2017, Pisa, Italy
Received: 2017-04-07:
- Summer School on computer simulation methods, 25-29 Sep 2017, Stuttgart, Germany
- Two postdoctoral positions (in logic & cognitive science and in logic & AI), Amsterdam (The Netherlands)
- PxTP 2017: Proof eXchange for Theorem Proving, 23-24 Sep 2017, Brasilia, Brazil
- JOWO 2017: Joint Ontology Workshops, 21-23 Sep 2017, Bolzano, Italy
- PhD student position in theoretical philosophy, Klagenfurt (Austria), Deadline: 10 May 2017
- Position of Deputy Director of the Institute of Philosophy, London (England), Deadline: 11 Apr 2017
- YST 2017: Young Set Theory / "New Directions in the Higher Infinite", 10-14 Jul 2017, Edinburgh, Scotland
Received: 2017-04-05:
- LPNMR DC 2017: Doctoral Consortium / Logic Programming & Non-monotonic Reasoning, 3-6 Jul 2017, Espoo, Finland
- FLoC 2018: Federated Logic Conference, 6-19 Jul 2018, Oxford, England
- BLAST 2017: Boolean Algebras, Lattices, Algebraic Logic, Set Theory, Set Theoretic Topology, 14-18 Aug 2017, Nashville TN, U.S.A.
- Postdoctoral research fellowship in algorithmic game theory, Warwick (England), Deadline: 1 May 2017
- Two lectureships & one senior lectureship in Computer Science, Liverpool (England), Deadline: 5 May 2017
- Postdoctoral positions (both senior and junior) in mathematics, Barcelona (Spain)
- Postdoctoral position in solving parity games, Liverpool (England)
Received: 2017-04-01:
- REAL 2017: Reasoning about Enterprise Architecture: Logic & Reasoning, 7 Apr 2017, Luxembourg, Luxembourg
- Assistant Teaching Professorship in Mathematics (non-tenure track), Rolla MO (U.S.A.), Deadline: 3 Apr 2017
- PLM4: Philosophy of Language and Mind, 21-23 Sep 2017, Bochum, Germany
- DARe 2017: Defeasible & Ampliative Reasoning, 3 Jul 2017, Espoo, Finland
- Associate Professorship in Logic (potentially tenure-track), Hangzhou (China), Deadline: 31 Jun 2017
- Postdoctoral position (3y+3y) in mathematics (algebra or analysis or logic), Gent (Belgium), Deadline: 18 Apr 2017
Received: 2017-03-30:
- RW 2017: 13th Reasoning Web Summer School, 7-11 Jul 2017, London, England
- EPS: Encyclopedia of Proof Systems, 24-25 Sep 2017, Brasilia, Brazil
- CfP special issue on Automated Reasoning Systems in JAR, Deadline (extended): 1 May 2017
- Final application deadline IERTNiL: Indo-European Research Training Network in Logic, 15 Apr 2017
- Formal Methods and Science in Philosophy 2, 4-6 May 2017, Dubrovnik, Croatia
- Rudolf-Carnap-Lectures 2017: Frank Jackson, "Meaning, Perception, and conceptual analysis", 8-10 Jun 2017, Bochum, Germany
Received: 2017-03-29:
- SR 2017: Strategic Reasoning, 26-27 Jul 2017, Liverpool, England
- CALCO 2017: Algebra & Coalgebra in Computer Science, 13-16 Jun 2017, Ljubljana, Slovenia
- DL 2017: Description Logics, 18-21 Jul 2017, Montpellier, France
- QPL 2017: Quantum Physics and Logic, 3-7 Jul 2017, Nijmegen, The Netherlands
- BLC 2017: British Logic Colloquium, 8-9 Sep 2017, Brighton, England
- LaML: Logic and Machine Learning in Natural Languages, 12-14 Jun 2017, Goeteborg, Sweden
Received: 2017-03-27:
- 2nd Logic Mentoring Workshop, 18 Jun 2017, Reykjavik, Iceland
- Formal Models of Scientific Inquiry, 18-19 Jul 2017, Bochum, Germany
- MA in Logic & Theory of Science, Budapest (Hungary)
- Logique juridique & logique conditionelle dans la pensee moderne, 31 Mar 2017, Brussels, Belgium
- PhD student positions in multi-agent systems, London (England), Deadline: 10 Apr 2017
- Computer-aided mathematical proof, 10-14 Jul 2017, Cambridge, England
Received: 2017-03-26:
- "Negation and Negativity in Natural Language", 27-29 Apr 2017, Bochum, Germany
- SaarDial / SemDial 2017: Semantics & Pragmatics of Dialogue, 15-17 Aug 2017, Saarbruecken, Germany
- LearnAut: Learning & Automata, 19 Jun 2017, Reykjavik, Iceland
- Four lectureships & one senior lectureship in computer science, Swansea (Wales)
- LORI VI: Logic, Rationality & Interaction, 11-14 Sep 2017, Sapporo, Japan
- Postdoctoral fellowships in history & philosophy of science, Jerusalem (Israel), Deadline: 1 Apr 2017
Received: 2017-03-24:
- Four PhD student positions in philosophy of science, Hannover (Germany), Deadline: 28 May 2017
- 6ESTC: European Set Theory Conference, 3-7 Jul 2017, Budapest, Hungary
- "I think, therefore I teach": early modern logic, 26-27 Oct 2017, Leuven, Belgium
- Call for Workshop Proposals at ICLP 2017: Logic Programming, 29 Aug - 1 Sep 2017, Melbourne, Australia
- IsraLog 2017: Israeli Workshop on Non-Classical Logics, 15-17 Oct 2017, Tel Aviv, Israel
- Senior Visiting Fellowships in History and Philosophy of Science, Jerusalem (Israel), Deadline: 1 Apr 2017
Received: 2017-03-22:
- CCA 2017: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, South Korea
- ICTCS 2017: Italian Conference on Theoretical Computer Science, 26-29 Sep 2017, Naples, Italy
- TARK 2017: Theoretical Aspects of Rationality and Knowledge, 24-26 Jul 2017, Liverpool, England
- ITP 2017 / FroCoS 2017, 26-29 Sep 2017, Brasilia, Brazil
- Hilbert-Bernays Summer School on Logic & Computation, 23-29 Jul 2017, Goettingen, Germany
- "Imagination and Modality", 24 Mar 2017, Padova, Italy
Received: 2017-03-21:
- CfP special issue of 'Minds & Machines' on "What is a computer?", Deadline: 30 Sep 2017
- LACompLing 2017: Logic and Algorithms in Computational Linguistics, 16-19 Aug 2017, Stockholm, Sweden
- FilMat 2017: Philosophy of Mathematics, 13-14 Jul 2017, Trento, Italy
- AFM 2017: Automated Formal Method, 19-20 May 2017, Menlo Park CA, U.S.A.
- TbiLLC 2017: Language, Logic and Computation, 18-22 Sep 2017, Kakheti, Georgia
- PhD student position in formal verification of sensor networks, Liverpool (England), Deadline: 17 Apr 2017
- RAMiCS 2017: Relational and Algebraic Methods in Computer Sciences, 15-18 May 2017, Lyon, France
Received: 2017-03-20:
- 7th Summer School on Formal Techniques, 21-26 May 2017, Atherton CA, U.S.A.
- WoLLIC 2017: Logic, Language, Information, & Computation, 18-21 Jul 2017, London, England
- Section Algebra, Logic & Set Theory at the OeMG-DMV Joint Meeting, 11-15 Sep 2017, Salzburg, Austria
- CCC 2017: Continuity, Computability, Constructivity, 26-30 Jun 2017, Nancy, France
- BLAST 2017: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology, & Point-free Topology, 14-18 Aug 2017, Nashville TN, U.S.A.
- ALC 2017: Asian Logic Conference, 10-14 Jul 2017, Daejeon, South Korea
- TIME 2017: Temporal Representation & Reasoning, 16-18 Oct 2017, Mons, Belgium
Received: 2017-03-17:
- TSD 2017: Text, Speech, and Dialogue, 27-31 Aug 2017, Prague, Czech Republic
- AIRIM 2017: AI aspects of Reasoning, Information and Memory, 3-6 Sep 2017, Prague, Czech Republic
- LSFA 2017: Logical and Semantic Frameworks with Applications, 23-24 Sep 2017, Brasilia, Brazil
- Postdoctoral position and PhD student position in "Oligomorphic clones", Vienna (Austria), Deadline: 15 Apr 2017
- ALCOP 2017: Algebra and Coalgebra meet Proof Theory, 10-12 Apr 2017, Glasgow, Scotland
- LPAR-21: Logic for Programming, AI and Reasoning (Call for Short Presentation Papers), 7-12 May 2017, Maun, Botswana
- LSE Fellowship in Logic (1y), London (England), Deadline: 17 Apr 2017
Received: 2017-03-16:
- CILC 2017: Italian Conference on Computational Logic, 26-29 Sep 2017, Naples, Italy
- Call for Nominations: Ackermann Award 2017, Deadline: 1 April 2017
- Computational Analogy 2017, 26-28 Jun 2017, Trondheim, Norway
- FSCD 2017: Formal Structures for Computation and Deduction, 4-7 Sep 2017, Oxford, England
- "Magic in Science": Grzegorz Rozenberg's 75th Birthday, 17 Jun 2017, Turku, Finland
- Evidence & Decision Making in the Law, 16 Jun 2017, London, England
- PhD student position in SAT solving, Stockholm (Sweden), Deadline: 31 Mar 2017
Received: 2017-03-15:
- PhD student position in quantitative logics and automata, Dresden (Germany), Deadline: 11 May 2017
- PhD student or postdoc position in description logic, Bremen (Germany), Deadline: 31 Mar 2017
- Masterclass in the Philosophy of Mathematical Practice, 17-19 May 2017, Brussels, Belgium
- CiE 2017: Computability in Europe, 12-16 Jun 2017, Turku, Finland
- Postdoctoral positions in theoretical computer science (proof complexity and SAT solving), Stockholm (Sweden), Deadline: 31 Mar 2017
- HaPoC-4: History and Philosophy of Computing, 4-7 Oct 2017, Brno, Czech Republic
- Set Theoretic & Topological Methods in Model Theory, 7-12 Sep 2017, Tezpur, India
- Postdoctoral research fellowship on category theory, North Ride NSW (Australia), Deadline: 31 Mar 2017
Received: 2017-03-09:
- TABLEAUX 2017, 25-28 Sep 2017, Brasilia, Brazil
- PhD student position in "Data, Knowledge, Society", Hamburg (Germany), Deadline: 6 April 2017
- Knowledge Representation & Reasoning, 5-8 Sep 2017, Porto, Portugal
- Warsaw Workshop on Formal Truth Theories, 28-30 Sep 2017, Warsaw, Poland
- PhD scholarships in computer science, Toulouse (France), Deadline: 9 May 2017
- (In)Coherence of Discourse 4, 30-31 Mar 2017, Nancy, France
Received: 2017-03-06:
- Intuitionistic Modal Logic and Applications, 17-28 Jul 2017, Toulouse, France
- CfP special issue of IfCoLog Journal of Logics and their Applications on "Argument Strength", Deadline: 15 May 2017
- ECSQARU 2017: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10-14 Jul 2017, Lugano, Switzerland
- ETAPS 2018: Theory & Practice of Software, 14-21 Apr 2018, Thessaloniki, Greece
- DARe 2017: Defeasible & Ampliative Reasoning, 3 Jul 2017, Espoo, Finland
- QBFEVAL 2017: Competitive Evaluation of QBF Solvers, 28 Aug - 1 Sep 2017, Melbourne, Australia
Received: 2017-03-05:
- WoLLIC 2017: Logic, Language, Information and Computation, 18-21 Jul 2017, London, England
- CSL 2017: Computer Science Logic, 20-24 Aug 2017, Stockholm, Sweden
- Computer-aided mathematical proof, 10-14 July 2017, Cambridge, England
- EASSS 2017: European Agent Systems Summer School, 7-11 Aug 2017, Gdansk, Poland
- PhD student position in logic for decision making in security, Bath (England)
- Poster session at TABLEAUX/FroCoS/ITP, 25-29 Sep 2017, Brasilia, Brazil
Received: 2017-03-04:
- MoL 2017: Mathematics of Language, 13-14 Jul 2017, London, England
- IWCS 2017: Computational Semantics, 19-22 Sep 2017, Montpellier, France
- GandALF 2017: Games, Automata, Logics, and Formal Verification, 20-22 Sep 2017, Rome, Italy
- ESSLLI 2017, 17-28 July 2017, Toulouse, France
- DICE-FOPARA 2017: Developments in Implicit Computational Complexity & Foundational and Practical Aspects of Resource Analysis, 22-23 Apr 2017, Uppsala, Sweden
- W3 Professorship in Corpus and Computational Linguistics, Erlangen (Germany), Deadline: 24 Mar 2017
Received: 2017-03-03:
- Assistant/Associate Professorship (tenure track) in computational linguistics, Trento (Italy)
- CfP special issue of AMAI on "Formalisation of Geometry, Automated and Interactive Geometric Reasoning"
- NeSy 2017: Neural-Symbolic Learning and Reasoning, 17-18 Jul 2017, London, England
- 2nd Logic Mentoring Workshop, 18 Jun 2017, Reykjavik, Iceland
- MFCS 2017: Mathematical Foundations of Computer Science, 21-25 Aug 2017, Aalborg, Denmark
Received: 2017-03-02:
- TACL 2017: Topology, Algebra and Categories in Logic, Prague/Olomouc (Czech Republic), 20-30 Jun 2017
- SLALM 2017: Latin American Symposium on Mathematical Logic, 26-30 Jun 2017, Puebla, Mexico
- Group decision-making in scientific expert committees, 12-13 Apr 2017, Tilburg, The Netherlands
- LPNMR Doctoral Colloquium 2017, 3-6 Jul 2017, Espoo, Finland
- Bohuslaw Balcar (1943-2017)
- Research Fellowship in Mathematics, Prague (Czech Republic), Deadline: 17 Apr 2017
- Marktoberdorf Summer School: Logical Methods for Safety and Security of Software Systems, 2-11 Aug 2017, Marktoberdorf, Germany
- Two postdoctoral positions in logic & cognitive science/AI, Amsterdam (The Netherlands)
Received: 2017-02-20:
- Filomena 2017: Philosophy, Logic and Analytical Metaphysics, 21-23 Aug 2017, Natal, Brazil
- AGI 2017: Artificial General Intelligence, 15-18 Aug 2017, Melbourne, Australia
- ThEdu 2017: Theorem proving components for educational software, 6-11 Aug 2017, Gothenburg, Sweden
- PhD student position in "Les Corses avaient-ils raison?", Paris (France), Deadline: 21 Apr 2017
- PLS11: Eleventh Panhellenic Logic Symposium, 12-16 Jul 2017, Delphi, Greece
- RuleML+RR 2017 Doctoral Consortium, 12-15 Jul 2017, London, England
Received: 2017-02-17:
- W1 Junior Professorship (3+3y) in philosophy of mind and cognitive systems, Saarbruecken (Germany), Deadline: 17 Mar 2017
- Logic, Relativity & Beyond, 23-27 Aug 2017, Budapest, Hungary
- SPIN 2017: Model Checking of Software, 13-14 Jul 2017, Santa Barbara CA, U.S.A.
- RuleML+RR 2017: Rules and Reasoning, 12-15 Jul 2017, London, England
- FCA4KD++ 2017: Knowledge Discovery with Formal Concept Analysis, 26-29 Jun 2017, Warsaw, Poland
- FG 2017: Formal Grammar, 22-23 Jul 2017, Toulouse, France
- PhD student position in homotopy type theory, Amsterdam (The Netherlands), Deadline: 15 Mar 2017
Received: 2017-02-15:
- MuST10: Munich-Sydney-Tilburg Conference; Causation & Complexity, 1-3 Mar 2017, Sydney, Australia
- DICE-FOPARA 2017: Developments in Implicit Computational Complexity & Foundational and Practical Aspects of Resource Analysis, 22-23 Apr 2017, Uppsala, Sweden
- IJCRS 2017: Rough Sets, 3-7 Jul 2017, Olsztyn, Poland
- PAoASP 2017: Practical Aspects of Answer Set Programming, 3 Jul 2017, Espoo, Finland
- LearnAut 2017: Learning & Automata, 19 Jun 2017, Reykjavik, Iceland
- MOL 2017: Mathematics of Languages, 13-14 Jul 2017, London, England
Received: 2017-02-14:
- APMP 2017: Philosophy of Mathematical Practice, 23-27 Oct 2017, Salvador de Bahia, Brazil
- ESSLLI 2017: European Summer School in Logic, Language and Information, 17-28 Jul 2017, Toulouse, France
- CALCO 2017: Algebra and Coalgebra in Computer Sciences, 13-16 Jun 2017, Ljubljana, Slovenia
- Mati Rubin (1946-2017)
- Logic in Bochum III, 5-6 May 2017, Bochum, Germany
- CCA 2017: Computability and Complexity in Analysis, 24-27 Jul 2017, Daejeon, South Korea
- 2017 ASL North American Annual Meeting, 20-23 Mar 2017, Boise ID, U.S.A.
Received: 2017-02-13:
- Raymond Smullyan (1919-2017)
- E W Beth Dissertation Prize 2017
- 17th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, 15-16 Jun 2017, London ON, Canada
- Metafinite 2017: Metafinite model theory, 19 Jun 2017, Reykjavik, Iceland
- PhD student positions in artificial intelligence, Manchester (England), Deadline: 17 Mar 2017
- UNILOG 2018: World Congress & School on Universal Logic, 16-26 Jun 2018, Vichy, France
Received: 2017-02-09:
- ARCADE 2017: Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements, 6 Aug 2017, Gothenburg, Sweden
- LSFA 2017: Logical and Semantic Frameworks with Applications, 23-24 Sep 2017, Brasilia, Brazil
- CfP special issue of TPLP on "Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming", Deadline: 31 Mar 2017
- LACompLing 2017: Logic and Algorithms in Computational Linguistics, 18-19 Aug 2017, Stockholm, Sweden
- TIME 2017: Temporal Representation and Reasoning, 16-18 Oct 2017, Mons, Belgium
- DARe 2017: Defeasible and Ampliative Reasoning, 3 Jul 2017, Espoo, Finland
Received: 2017-02-08:
- FORTE 2017: Formal Techniques for Distributed Objects, Components and Systems, 19-22 Jun 2017, Neuchatel, Switzerland
- IWIL 2017: Implementation of Logics, 7 May 2017, Maun, Botswana
- FilMath 2017: Philosophy of Mathematics, 13-14 Jul 2017, Trento, Italy
- NLS 2017: Nordic Logic Summer School, 7-11 Aug 2017, Stockholm, Sweden
- AAL 2017: Australasian Association for Logic, 6-8 Jul 2017, Adelaide, Australia
- FSCD 2017: Formal Structures for Computation and Deduction, 3-6 Sep 2017, Oxford, England
- Three PhD student positions on algorithmic techniques for automated planning, Delft (The Netherlands), Deadline: 28 Feb 2017
Received: 2017-02-07:
- LC 2017: Logic Colloquium, 14-20 Aug 2017, Stockholm, Sweden
- PhD student position in logic & security, London (England), Deadline: 28 Feb 2017
- Formal Models of Scientific Inquiry, 18-19 Jul 2017, Bochum, Germany
- TbiLLC 2017: Tbilisi Symposium on Language, Logic and Computation, 18-22 Sep 2017, Kakheti, Georgia
- INLG 2017: Natural Language Generation, 4-7 Sep 2017, Santiago de Compostela, Spain
- WiL 2017: Women in Logic, 19 Jun 2017, Reykjavik, Iceland
- DaLi: Dynamic Logic, 24 Sep 2017, Brasilia, Brazil
Received: 2017-02-02:
- ALCOP 2017: Algebra and Coalgebra meet Proof Theory, 10-12 Apr 2017, Glasgow, Scotland
- AFM 2017: Automated Formal Methods, 19-20 May 2017, Menlo Park CA, U.S.A.
- AIRIM 2017: AI aspects of Reasoning, Information and Memory, 3-6 Sep 2017, Prague, Czech Republic
- SemDial 2017: Semntics and Pragmatics of Dialogue, 15-17 Aug 2017, Saarbruecken, Germany
- ISR 2017: International School on Rewriting, 3-7 Jul 2017, Eindhoven, The Netherlands
- Assistant Professorship in Mathematical Philosophy, Gdansk (Poland), Deadline: 28 Feb 2017
Received: 2017-01-31:
- Workshop on topics at the intersection between the philosophy of language and linguistics, 5-7 Jun 2017, Zuerich, Switzerland
- LPNMR 2017: Logic Programming and Non-monotonic reasoning, 3-6 Jul 2017, Espoo, Finland
- Modal Knowledge, 16-17 Mar 2017, Bielefeld, Germany
- Postdoctoral fellowships in philosophy, Mexico City (Mexico), Deadline: 1 March 2017
- BSC Women Lovelace Colloquium 2017, 12 Apr 2017, Aberystwyth, Wales
- Postdoctoral position in theoretical philosophy (maternity cover, 1y), Essen (Germany), Deadline: 10 Feb 2017
Received: 2017-01-30:
Received: 2017-01-29:
- ICE 2017: Interaction and Concurrency Experience, 22 Jun 2017, Neuchatel, Switzerland
- Logic, Relativity and Beyond, 23-27 Aug 2017, Budapest, Hungary
- CfP special issue of JAR on Automated Reasoning Systems, Deadline: 3 Apr 2017
- TSD 2017: Text, Speech and Dialogue, 27-31 Aug 2017, Prague, Czech Republic
- Ampliative Reasoning in the Sciences, 18-19 May 2017, Gent, Belgium
- Reasoning and Argumentation in Science, 31 May - 2 Jun 2017, Munich, Germany
Received: 2017-01-28:
- CCA 2017: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, South Korea
- Formal approaches to the dynamics of linguistic interaction, 17-21 Jul 2017, Toulouse, France
- Group decision-making in scientific expert committees, 12-13 Apr 2017, Tilburg, The Netherlands
- Carl Friedrich von Weizsaecker Professorship in Theory and History of Science, Tuebingen (Germany), Deadline: 10 Feb 2017
- XVIII EBL: Brazilian Logic Meeting, 8-12 May 2017, Pirenopolis, Brazil
- ITP 2017: Interactive Theorem Proving, 26-29 Sep 2017, Brasilia, Brazil
- CIAA 2017: Implementation & Application of Automata, 27-30 Jun 2017, Paris, France
Received: 2017-01-26:
- Two PhD student or postdoctoral positions in normative and value-based reasoning, Delft (The Netherlands), Deadline: 31 Jan 2017
- QUAD: Quantifiers and Determiners, 17-21 Jul 2017, Toulouse, France
- LPNMR 2017: Logic Programming and Non-monotonic Reasoning, 3-6 Jul 2017, Espoo, Finland
- PRW 2017: Poznan Reasoning Week, 4-7 Jul 2017, Poznan, Poland
- SLALM 2017: 17th Latin American Symposium on Mathematical Logic, 26-30 Jun 2017, Puebla, Mexico
- YST 2017: New directions in the higher infinite, 10-14 Jul 2017, Edinburgh, Scotland
Received: 2017-01-25:
- CAOS 2017: Cognition & Ontologies, 18-21 Apr 2017, Bath, England
- DEMAS: Deliberative Multi-Agent Systems, 21-25 May 2017, Barcelona, Spain
- Mathematical & Metaphysical Explanation, 2-3 Feb 2017, Paris, France
- FMCAD 2017: Formal Methods in Computer-Aided Design, 2-6 Oct 2017, Vienna, Austria
- Logic in Bochum III, 5-6 May 2017, Bochum, Germany
- Rosalind Franklin Fellowships in Mathematics & Natural Sciences, Groningen (The Netherlands), Deadline: 31 Jan 2017
Received: 2017-01-20:
- Call for Tutorials: RuleML+RR 2017, 15-17 Jul 2017, London, England
- CAV Award 2016: Computer-Aided Verification, Deadline: 10 Feb 2017
- CfP special issue of Studia Logica on "From Permissions to Obligations", Deadline: 31 May 2017
- Call for Nominations: Alonzo Church Award for Outstanding Contributions to Logic and Computation, Deadline: 1 March 2017
- TABLEAUX 2017, 25-28 Sep 2017, Brasilia, Brazil
- CfP special issue of IfCoLog Journal on Argument Strength, Deadline: 15 Apr 2017
Received: 2017-01-19:
- MARS 2017: Models for Formal Analysis of Real Systems, 29 Apr 2017, Uppsala, Sweden
- "Progress in Science and Society", 12 Mar 2017, Hannover, Germany
- DICE-FOPARA 2017: Developments in Implicit Computational Complexity & Foundational and Practical Aspects of Resource Analyssis, 22-23 Apr 2017, Uppsala, Sweden
- Group Knowledge & Mathematical Collaboration, 8-9 Apr 2017, Oxford, England
- CORBON 2017: Coreference Resolution Beyond OntoNotes, 4 Apr 2017, Valencia, Spain
- DL 2017: Description Logics, 18-21 Jul 2017, Montpellier, France
Received: 2017-01-18:
- CfP "From Leibniz to Kant" at Logical Analysis and History of Philosophy, Deadline: 1 Sep 2017
- CfPart STACS 2017, 8-11 Mar 2017, Hannover, Germany
- Call for Nominations of Graduate Fellows in the CRA Education Committee, Deadline: 30 Jan 2017
- FCA4KD++: Knowledge Discovery with Formal Concept Analysis and related formalisms, 26-29 Jun 2017, Warsaw, Poland
- MAMLS at VCU: Mid-Atlantic Mathematical Logic Seminar, 1-2 Apr 2017, Richmond VA, U.S.A.
- School on Foundations of Programming and Software Systems, 29 May - 4 Jun 2017, Braga, Portugal
Received: 2017-01-17:
- IWCS 2017: Computational Semantics, 19-22 Sep 2017, Montpellier, France
- Deadline extension: IACAP 2017
- Associate Professorship in Automated Verification, Oxford (England), Deadline: 3 Mar 2017
- VIG 19: Very Informal Gathering of Logicians, 3-5 Feb 2017, Los Angeles CA, U.S.A.
- TARK 2017: Theoretical Aspects of Rationality and Knowledge, 24-26 Jul 2017, Liverpool, England
- Jack H. Silver (1942-2016)
- RulEML+RR 2017: Rules and Reasoning, 12-15 Jul 2017, London, England
Received: 2017-01-14:
- JAF 36: Journees sur les Arithmetiques Faibles, 5-7 Jun 2017, St. Petersburg, Russia
- "Formal methods in the philosophy of science", 27 Feb - 1 Mar 2017, Sydney, Australia
- MFPS XXXIII: Mathematical Foundations of Programming Semantics, 12-15 Jun 2017, Ljubljana, Slovenia
- CADE-26: Automated Deduction, 6-11 Aug 2017, Gothenburg, Sweden
- Postdoctoral position (5y) in computational logic, Innsbruck (Austria), Deadline: 2 Feb 2017
- Workshop "Culture and Cognition", 9 Feb 2017, Goettingen, Germany
Received: 2017-01-12:
- SPIN 2017: Model Checking of Software, 13-14 Jul 2017, Santa Barbara CA, U.S.A.
- DeMADIE 2017: Decision Making in Dynamic Information Environments, 21-23 Jun 2017, Porto, Portugal
- PhDs in Logic IX, 2-4 May 2017, Bochum, Germany
- The Making of the Humanities VI, 28-30 Sep 2017, Oxford, England
- 1st School on Foundations of Programming and Software Systems, 29 May - 4 Jun 2017, Braga, Portugal
- CSL 2017: Computer Science Logic, 20-24 Aug 2017, Stockholm, Sweden
Received: 2017-01-11:
- 2017 BSPS Doctoral Scholarship Competition, UK, Deadline: 7 March 2017
- SILFS 2017, 20-23 Jun 2017, Bologna, Italy
- Call for Nominations: Ackermann Award, Deadline: 1 Apr 2017
- Postdoctoral position in formal methods, Bordeaux (France)
- LPAR-21: Logic for Programming, Artificial Intelligence and Reasoning, 8-12 May 2017, Maun, Botswana
- LogInfoLangMR 2017: Logic, Information, Language, Memory, Reasoning, 21-23 Jun 2017, Porto, Portugal
Received: 2017-01-09:
Received: 2017-01-08:
- CMCL 2017: Cognitive Modelling and Computational Linguistics, 3 Apr 2017, Valencia, Spain
- ALCOP 2017: Algebra & Coalgebra meet Proof Theory, 10-12 Apr 2017, Glasgow, Scotland
- CREST 2017: Causal Reasoning for Embedded and Safety-critical Systems Technologies, 29 Apr 2017, Uppsala, Sweden
- 2nd World Congress on Logic & Religion, 18-22 Jun 2017, Warsaw, Poland
- FG 2017: Formal Grammar, 22-23 Jul 2017, Toulouse, France
Received: 2017-01-07:
Received: 2017-01-06:
- Postdoctoral/PhD student positions in "From Perception to Belief and Back Again", Bochum (Germany), Deadline: 15 Feb 2017
- School on Graph Theory, Algorithms and Applications, 5-13 May 2017, Erice, Italy
- Assistant Professorship in Theoretical Philosophy, Zuerich (Switzerland), Deadline: 19 Feb 2017
- 17th Philosophy of Logic, Mathematics, and Physics Graduate Conference, 15-16 Jun 2017, London ON, Canada
- Postdoctoral position in artificial intelligence, Cardiff (Wales), Deadline: 4 Feb 2017
- Trends in Logic XVII, 12-15 Nov 2017, Lublin, Poland
Received: 2017-01-03:
Received: 2017-01-02:
Received: 2017-01-01:
- Deadline extension special issue of JAIR on Learnin, Knowledge Representation and Reasoning, New deadline: 28 Feb 2017
- ABM4Crime: Agent-based modelling for criminological research, 5-8 Sep 2017, Porto, Portugal
- LPNMR 2017: Logic programming and non-monotonic reasoning, 3-6 Jul 2017, Espoo, Finland
- CfP special issue of "Philosophies" on logic, inference, probability, and paradox, Deadline: 20 Jul 2017
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