[LOGIC] List Mailing Archive 2016
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: 2016-12-25:
Received: 2016-12-24:
- RuleML+RR 2017 Doctoral Consortium, 12-15 Jul 2017, London, England
- W1 Junior Professorship in Computational Intelligence, Mainz (Germany), Deadline: 31 Jan 2017
- Twelve PhD student position in situated cognition, Bochum/Osnabrueck (Germany), Deadline: 14 Feb 2017
- Summer School on Mathematical Philosophy for Female Students 2017, 30 Jul - 5 Aug 2017, Munich, Germany
Received: 2016-12-23:
- W3 Professorship in Machine Learning, Konstanz (Germany), Deadline: 29 Jan 2017
- Phylogenetic Methods in Historical Linguistics, 27-31 Mar 2017, Tuebingen, Germany
- ESSLLI 2017 Student Session, 17-28 Jul 2017, Toulouse, France
- W2 Professorship in Theoretical Computer Science, Bonn (Germany), Deadline: 12 Feb 2017
- AUTOMATA 2017: Cellular Automata and Discrete Complex Systems, 7-9 Jun 2017, Milan, Italy
- Summer School in Dynamic Epistemic Logic, 14-25 Aug 2017, Sapporo, Japan
Received: 2016-12-21:
- CAOS 2017: Cognition & Ontologies, 18-21 Apr 2017, Bath, England
- DCFS 2017: Descriptional Complexity of Formal Systems, 3-5 Jul 2017, Milan, Italy
- PhiLang 2017: Philosophy of Language and Linguistics, 12-14 May 2017, Lodz, Poland
- PhD student position in formal verification of sensor networks, Liverpool (England), Deadline: 10 Feb 2017
- Postdoctoral position in theoretical philosophy, Freiburg (Germany), Deadline: 20 Jan 2017
- Negation & Negativity in Natural Language, 27-29 Apr 2017, Bochum, Germany
Received: 2016-12-19:
Received: 2016-12-16:
- LPAR-21: Logic for Programming, Artificial Intelligence and Reasoning, 8-12 May 2017, Maun, Botswana
- Postdoc position and PhD student position in SAT solving, Stockholm (Sweden), Deadline: 15 Jan 2017
- 2nd Indian Winter School on Diagrams 2017, 13-17 Feb 2017, Kolkata, India
- DEMAS: Deliberative Multi-Agent Systems, 21-25 May 2017, Barcelona, Spain
- EASSS 2017: European Agent Systems Summer School, 7-11 Aug 2017, Gdansk, Poland
- (In)coherence of Discourse 4, 30-31 Mar 2017, Nancy, France
Received: 2016-12-15:
- CiE 2017: Computability in Europe, 12-16 Jun 2017, Turku, Finland
- PhD student position in logic and verification for AI, Utrecht (The Netherlands), Deadline: 1 Jan 2017
- PhD studentship on Robert Grosseteste and the science of learning, Lincoln (England), Deadline: 17 Feb 2017
- Four postdoc and four PhD student positions in computational complexity, Stockholm (Sweden), Deadline: 15 Jan 2017
- PhD student position in dependence logic, Auckland (New Zealand), Deadline: 31 Jan 2017
- PhD student position and postdoc position in computational reasoning for socially adaptive electronic partners, Delft (The Netherlands), Deadline: 31 Jan 2017
Received: 2016-12-13:
- Change of dates: LRB 2017, Budapest (Hungary), now: 23-27 Aug 2017
- SPIN 2017: Model Checking of Software, 13-14 Jul 2017, Santa Barbara CA, U.S.A.
- CSR 2017: Computer Science Symposium in Russia, 8-12 Jun 2017, Kazan, Russia
- CORBON 2017: Coreference Resolution Beyond OntoNotes, 4 Apr 2017, Valencia, Spain
- Mathematical and Metaphysical Explanation Workshop, 2-3 Feb 2017, Paris, France
- W2 Professorship in Sociology of Working Worlds' Digitization, Berlin (Germany), Deadline: 7 Jan 2017
Received: 2016-12-09:
- Formal approaches to the dynamics of linguistic interaction, 17-21 Jul 2017, Toulouse, France
- Model Theory: Philosophy, Mathematics and Language, 9-12 Jan 2017, Munich, Germany
- CALCO 2017: Algebra and Coalgebra in Computer Science, 13-16 Jun 2017, Ljubljana, Slovenia
- CIAA 2017: Implementation and Application of Automata, 27-30 Jun 2017, Paris, France
Received: 2016-12-08:
- QBFEVAL 2017: Competitive evaluation of QBF solvers, 28 Aug - 1 Sep 2017, Melbourne, Australia
- Sanskrit Computational Linguistics, 2-5 Jan 2017, Manipal, India
- 2017 Essay Prize of the Metaphysics of Entanglement Project, Deadline: 16 Dec 2016
- CfP special issue of TPLP on "Parallel and Distributed Computation in (Constraint) Logic Programming"
- 6ESTC: European Set Theory Conference, 3-7 Jul 2017, Budapest, Hungary
- ICAIL 2017: Artificial Intelligence and Law, 12-16 Jun 2017, London, England
Received: 2016-12-07:
- PADL 2017: Practical Aspects of Declarative Languages, 16-17 Jan 2017, Paris, France
- Logic, Relativity, and Beyond, 18-22 Jul 2017, Budapest, Hungary
- Lectureships and Senior Lectureships in Artificil Intelligence, London (England), Deadline: 16 Jan 2017
- 2nd World Congress on Analogy, 24-26 May 2017, Poznan, Poland
- WiL 2017: Women in Logic, 19 Jun 2017, Reykjavik, Iceland
- PhD student position in parameterised complexity, Nijmegen (The Netherlands)
Received: 2016-12-03:
- Provability & Modal Logic, 15 Dec 2016, Amsterdam, The Netherlands
- John and Judy Paul Summer Research Grants for Anselm studies, Manchester NH (U.S.A.), Deadline: 1 Mar 2017
- LACL 2016: Logical Aspects of Computational Linguistics, 5-7 Dec 2016, Nancy, France
- EASSS 2017: European Agent Systems Summer School, 7-11 Aug 2017, Gdansk, Poland
- CCA 2017: Computability & Complexity in Analysis, 24-27 Jul 2017, Daejeon, South Korea
- IMLA 2017: Intuitionistic Modal Logic and Applications, 17-28 Jul 2017, Toulouse, France
Received: 2016-11-30:
- IJCAI-17: Artificial Intelligence, 19-25 Aug 2017, Melbourne, Australia
- Creativity & Intelligence in Brains and Machines, 10-17 Mar 2017, Guenne am Moehnesee, Germany
- TACL 2017: Topology, Algebra and Categories in Logic, Prague & Olomouc (Czech Republic), 20-30 Jun 2017
- Philosophy and the Semantics of 'I', 2-3 Dec 2016, Freiburg, Germany
Received: 2016-11-29:
- "Transdiziplinaritaet", 8-9 Dec 2016, Muenster, Germany
- Akademischer Rat a.Z. (3+3y) in Theoretical Philosophy / Philosophy of Science, Bielefeld (Germany), Deadline: 22 Dec 2016
- Postdoctoral position (6y) in systematic analytic philosophy, Bielefeld (Germany), Deadline: 16 Dec 2016
- MOL 2017: Mathematics of Language, 13-14 Jul 2017, London, England
- Proofs of Propositions in 14th Century Logic, 23-25 May 2017, St Andrews, Scotland
- Intensionality and Truth, 3-4 Dec 2016, Amsterdam, The Netherlands
Received: 2016-11-25:
Received: 2016-11-24:
- AAA93: 93. Arbeitstagung Allgemeine Algebra, 10-12 Feb 2017, Bern, Switzerland
- PhDs in Logic IX, 2-4 May 2017, Bochum, Germany
- PhD student position in specification and verification of data-aware systems, Evry (France), Deadline: 9 Jan 2017
- LPAR-21: Logic for Programming, Artificial Intelligence and Reasoning, 8-12 May 2017, Maun, Botswana
- APMP IV: Philosophy of Mathematical Practice, 23-27 Oct 2017, Salvador da Bahia, Brazil
- RuleML+RR 2017: Rules and Reasoning, 12-15 Jul 2017, London, England
Received: 2016-11-22:
- Call for Colloquium Proposals: GAP.10 (Gesellschaft fuer Analytische Philosophie), 17-20 Sep 2018, Koeln, Germany
- PhD positions in Computer Science, Liverpool (England), Deadline: 2 Dec 2016
- UCNC 2017: Unconventional Computation and Natural Computation, 5-9 Jun 2017, Fayetteville AR, U.S.A.
- Call for Nominations: Fernando Gil International Prize in Philosophy of Science
- Hartley Slater (1936-2016)
- PROGIC 2017: Combining logic and probability, 29-31 Mar 2017, Munich, Germany
Received: 2016-11-18:
- ACiE special interest group "Women in Computability"
- "Games, Logic, and Society": 80th birthday of Rohit Parikh, 1-2 Dec 2016, New York NY, U.S.A.
- NLS 2017: Third Nordic Logic Summer School, 7-11 Aug 2017, Stockholm, Sweden
- PhD studentship in mathematical models of access control policies, London (England), Deadline: 28 Feb 2017
Received: 2016-11-17:
- Call for Nominations: Herbert A. Simon Award for Outstanding Research in Computing and Philosophy, Deadline: 22 Nov 2016
- SILFS 2017: Italian Society for Logic and Philosophy of Science, 20-23 Jun 2017, Bologna, Italy
- ESSLLI 2017 Student Session, 17-28 Jul 2017, Toulouse, France
- College Lectureship and Fellowship in Mathematics (6y), Cambridge (England), Deadline: 21 Nov 2016
- Call for Nominations: Frege-Preis, Deadline: 15 Jan 2017
Received: 2016-11-14:
- Two PhD student positions and three postdoctoral positions in computational approaches to reference with memory-enhanced neural networks, Barcelona (Spain)
- Foundations of vagueness, rough sets and mereology (at IJCRS 2017), 3-7 Jul 2017, Olsztyn, Poland
- Workshop on Non-Classical Logics and Artificial Intelligence, 22-24 May 2017, Marco Island FL, U.S.A.
- SCSS 2017: Symbolic Computation in Software Science, 6-9 Apr 2017, Gammarth, Tunisia
- FSTTCS 2016: Foundations of Software Technoloy & Theoretical Computer Science, 13-15 Dec 2016, Chennai, India
Received: 2016-11-13:
Received: 2016-11-12:
- Conference on Mereology and Identity, 3-5 Jul 2017, Pisa, Italy
- Winter School in Abstract Analysis: section set theory & topology, 28 Jan - 4 Feb 2017, Hejnice, Czech Republic
- CSL 2017: Computer Science Logic, 20-24 Aug 2017, Stockholm, Sweden
- IEA/AIE 2017: special track on applications of argumentation, 27-30 Jun 2017, Arras, France
- CADE-26: Automated Deduction, 6-11 Aug 2017, Gothenburg, Sweden
- Professorship as Head of Studium Generale (W2), Mainz (Germany), Deadline: 15 Dec 2016
Received: 2016-11-10:
- W2 Professorship in Theoretical Philosophy, Rostock (Germany), Deadline: 1 Dec 2016
- MBT 2017: Model-Based Testing, 23 Apr 2017, Uppsala, Sweden
- Assistant / Associate Professorship in Algorithmics, Delft (The Netherlands), Deadline: 1 Dec 2016
- TSD 2017: Text, Speech and Dialogue, 27-31 Aug 2017, Prague, Czech Republic
- Workshop on proof theory and modal logic, 2 Dec 2016, Turin, Italy
- Ertegun Graduate Scholarship in the Humanities, Oxford (England)
Received: 2016-11-08:
- PUaNLP 2017: Partiality, Underspecification and Natural Language Processing, 24-26 Feb 2017, Porto, Portugal
- Rudolf-Carnap-Lectures 2017: Frank Jackson, 8-10 Jun 2017, Bochum, Germany
- SPIN 2017: Model Checking of Software, 13-14 Jul 2017, Santa Barbara CA, U.S.A.
- ISMVL 2017: Multiple-Valued Logic, 22-24 May 2017, Novi Sad, Serbia
- PLS11: Panhellenic Logic Symposium, 12-16 July 2016, Delphi, Greece
- Bjarni Jonsson (1920-2016)
Received: 2016-11-07:
- CiE 2017: Computability in Europe ("Unveiling Dynamics and Complexity"), 12-16 Jun 2017, Turku, Finland
- Assistant/Associate Professor in Philosophy (in particular logic), Astana (Kazakhstan), Deadline: 27 Nov 2016
- TAMC 2017: Theory and Applications of Models of Computation, Bern (Switzerland), 20-22 Apr 2017 (Deadline extension)
- LORI VI: Logic, Rationality and Interaction, 11-14 Sep 2017, Sapporo, Japan
- 4th Epicenter Spring Course in Epistemic Game Theory, 12-26 Jun 2016, Maastricht, The Netherlands
- Assistant Professorship in Logic and Philosophy of Language (3y), Munich (Germany), Deadline: 1 Dec 2016
- Two research fellowships in mathematical logic and theoretical computer science, Singapore (Singapore), Deadline: 15 Jan 2017
Received: 2016-10-31:
- The relevance of logic for human reasoning, 18-19 Nov 2016, Munich, Germany
- LOGICA 2017, 19-23 Jun 2017, Hejnice, Czech Republic
- XVIII EBL: Brazilian Logic Meeting, 8-12 May 2017, Pirenopolis, Brazil
- Gaylord and Dorothy Donnelley Research Fellowship (for PhD graduates of the University of Chicago in the Humanities), Cambridge (England), Deadline: 1 Dec 2016
- Consequence and Paradox between Truth and Proof, 2-3 Mar 2017, Tuebingen, Germany
- Assistant professorship in phiosophy of mind (teaching competence of logic required), Schenectady MY (U.S.A.)
Received: 2016-10-29:
- David MacKay Newton stipendiary research fellowship in mathematics and information theory, Cambridge (England), Deadline: 21 Nov 2016
- Professorship in Semantical Systems, Klagenfurt (Austria), Deadline: 11 Dec 2016
- Temporary Assistant Professorship (4y) in formal modelling of language and cognition, Amsterdam (The Netherlands), Deadline: 4 Nov 2016
- W3 Professorship in Machine Learning, Hamburg (Germany), Deadline: 1 Dec 2016
- Call for Nominations: 2017 Covey Award in Computing and Philosophy, Deadline: 15 Nov 2016
- W1 Junior Professorship in Artificial Intelligence, Duesseldorf (Germany), Deadline: 1 Dec 2016
Received: 2016-10-28:
- W3 Professorship in Digital Phonetics, Stuttgart (Germany), Deadline: 1 Dec 2016
- W1 Junior Professorship in Algorithms, Hamburg (Germany), Deadline: 1 Dec 2016
- RAMiCS 2017: Relational and Algebratic Methods in Computer Science, 15-19 May 2017, Lyon, France
- TABLEAUX 2017, FRoCoS 2017, & ITP 2017, 26-29 Sep 2017, Brasilia, Brazil
- PhD studentship in mathematical models of access control policies, London (England), Deadline: 28 Feb 2017
- TPNC 2016: Theory and Practice of Natural Computing, 12-13 Dec 2016, Sendai, Japan
Received: 2016-10-27:
- MARS 2017: Models for Formal Analysis of Real Systems, 29 Apr 2017, Uppsala, Sweden
- MuST10: Munich-Sydney-Tilburg Conference in the Philosophy of Science, Causation & Complexity, 1-3 Mar 2017, Sydney, Australia
- AITP 2017: AI & Theorem Proving, 26-30 Mar 2017, Obergurgl, Austria
Received: 2016-10-26:
- Real possibilities and branching time, 12 Nov 2016, Utrecht, The Netherlands
- IACAP 2017: Computing and Philosophy, 26-28 Jun 2017, Stanford CA, U.S.A.
- WoLLIC 2017: Logic, Language, Information and Computation, 18-21 Jul 2017, London, England
- LATA 2017: Language and Automata Theory and Applications, 6-10 Mar 2017, Umea, Sweden
- Set Theory Conference on the occasion of Ronald Jensen's 80th birthday, 29 Jul - 4 Aug 2017, Muenster, Germany
- 6th Entia et Nomina, Palolem, 29 Jan - 5 Feb 2017, Goa, India
Received: 2016-10-20:
- CfP special issue of AI Communications on "Automated Reasoning", Deadline: 15 Jan 2017
- TPNC 2016: Theory and Practice of Natural Computing, 12-13 Dec 2016, Sendai, Japan
- TAMC 2017: Theory and Applications of Models of Computation, 20-22 Apr 2017, Bern, Switzerland
- L.E.J. Brouwer Symposium, 9 Dec 2016, Amsterdam, The Netherlands
- Postdoctoral position in mathematics and its applications, Lisbon (Portugal), Deadline: 14 Nov 2016
- TARK 2017: Theoretical Aspects of Rationality and Knowledge, 24-26 Jul 2017, Liverpool, England
Received: 2016-10-19:
- CSL 2017: Computer Science Logic, 20-24 August 2017, Stockholm, Sweden
- JELIA 2016: Logics in AI, 9-11 Nov 2016, Larnaca, Cyprus
- Special track on applications of argumentation at IEA/AIE 2017, 27-30 Jun 2017, Arras, France
- VIG 19: Very informal gathering of logicians, 3-5 Feb 2017, Los Angeles CA, U.S.A.
- ISMVL 2017: Multiple-valued logic, 22-24 May 2017, Novi Sad, Serbia
- "Agency & Causation: Formal and Conceptual Issues", 27-29 Oct 2016, Gent, Belgium
Received: 2016-10-18:
- Postdoctoral position in verification of linear dynamical systems, Oxford (England)
- Scientiae 2017: disciplines of knowing in the early modern world, 19-22 Apr 2017, Padua, Italy
- "Bridging the gap between Sanskrit Computational Linguistics tools and management of Sanskrit Digital Libraries", 18 Dec 2016, Varanasi, India
- FroCoS 2017: Frontierts of Combining Systems, 25-29 Sep 2017, Brasilia, Brazil
- Junior Research Fellowship in the Arts (3y), Cambridge (England), Deadline: 5 Dec 2016
- Dynamics in Logic 2016, 29 Oct 2016, Delft, The Netherlands
Received: 2016-10-10:
- Strathclyde Chancellor's Fellowship (tenure-track fellowships), Glasgow (Scotland), Deadline:
- SILFS 2017: Italian Society for Logic and Philosophy of Science, 20-23 Jun 2017, Bologna, Italy
- ETAPS 2017: Theory and Practice of Software, 22-29 Apr 2017, Uppsala, Sweden
- ICALP 2017: Automata, Languages and Programming, 10-14 Jul 2017, Warsaw, Poland
- Junior Research Fellowships in Sciences and Humanities, Cambridge (England), Deadline: 8 Nov 2016
- DL 2017: Description Logics, 18-21 Jul 2017, Montpellier, France
Received: 2016-10-06:
- IUHPST Essay Prize in History and Philosophy of Science: "What is the value of philosophy of science for history of science?" , deadline: 2016-11-30
- Postdoctoral position on "Ideological bias and ideological diversity in philosophy of science", Leuven (Belgium)
- "Situations, Information, and Semantic Content", 16-18 Dec 2016, Munich, Germany
- 2nd Indian Winter School on Diagrams 2017, 13-17 Feb 2017, Kolkata, India
Received: 2016-10-05:
Received: 2016-10-04:
Received: 2016-10-03:
- "Context in the explanation and evaluation of human reasoning", 19-23 Jun 2017, Paris, France
- Assistant Professorship in Philosophy, Logic and Scientific Method, London (England), Deadline: 7 Nov 2016
- Postdoctoral fellowship on formal concepts, Oslo (Norway)
- Grote Chair of Philosophy of Mind and Logic, London (England), Deadline: 28 Oct 2016
- Three postdoctoral positions on formal epistemology, Prague (Czech Republic), Deadline: 31 Oct 2016
- CiE 2017: Computability in Europe (Unveiling Dynamics and Complexity), 12-16 Jun 2017, Turku, Finland
Received: 2016-09-30:
Received: 2016-09-29:
Received: 2016-09-26:
- Two postdoctoral fellowships in philosophy of reasoning / physics, decision theory, epistemology, Munich (Germany), Deadline: 30 Oct 2016
- SLSP 2016: Statistical Language and Speech Processing, 11-12 Oct 2016, Pilsen, Czech Republic
- Postdoctoral position in information assurance, Luxembourg (Luxembourg), Deadline: 20 Oct 2016
- Boris Trakhtenbrot (1921-2016)
- Model Theory: Philosophy, Mathematics, and Language, 9-12 Jan 2017, Munich, Germany
Received: 2016-09-22:
Received: 2016-09-20:
- Workshop on Coalgebra, Horn Clause Logic Programming and Types, 28-29 Nov 2016, Edinburgh, Scotland
- Logic and Literary Form, 14-15 Apr 2017, Berkeley CA, U.S.A.
- LOGICIC Workshop: The Logical Structure of Correlated Information Change, 17-19 Nov 2016, Amsterdam, The Netherlands
- FCT 2017: Fundamentals of Computation Theory, 11-13 Sep 2017, Bordeaux, France
- Call for Workshops & Tutorials: TABLEAUX, FroCoS, ITP; Brasilia (Brazil), 25-29 Sep 2017
- COLING 2016 Workshops: Computational Linguistics, 11-12 Dec 2016, Osaka, Japan
Received: 2016-09-16:
- LL2016: Linear Logic: interaction, proofs, and computation, 7-10 Nov 2016, Lyon, France
- Phylogenetic Methods in Historical Linguistics, 27-31 Mar 2017, Tuebingen, Germany
- Postdoctoral position (research assistantship) in "The Evolution of Linguistic Complexity", Edinburgh (Scotland), Deadline: 13 Oct 2016
- Tenure-track Assistant Professorship in Fundamental Mathematics, Utrecht (The Netherlands), Deadline: 16 Oct 2016
- AAA93: Arbeitstagung Allgemeine Algebra, 10-12 Feb 2017, Bern, Switzerland
Received: 2016-09-15:
Received: 2016-09-14:
- GCAI 2016: 2nd Global Conference on Artificial Intelligence, 29 Sep - 2 Oct 2016, Berlin, Germany
- Simons-Berkeley Research Fellowships at the Simons Institute for the Theory of Computing, Berkeley CA (U.S.A.), Deadline: 15 Dec 2016
- Postdoctoral position in proof theory, Vienna (Austria), Deadline: 21 Oct 2016
- Postdoctoral position (3 months) in proof complexity, Leeds (England)
- 2nd Indian Winter School on Diagrams, 13-17 Feb 2017, Kolkata, India
- PhD student positions in mathematics (including logic), Helsinki (Finland)
Received: 2016-09-08:
- 2016 Autumn School on Computational Logic, 16-17 Oct 2016, New York NY, U.S.A.
- STACS 2017: Theoretical Aspects of Computer Science, 8-11 Mar 2017, Hannover, Germany
- Spring School on "Social Cognition, Emotion and Joint Action" 2017, 6-10 Mar 2017, Bochum, Germany
- MWPMW 17: Midwest PhilMath Workshop, 12-13 Nov 2016, Notre Dame IN, U.S.A.
- Newton Advanced Fellowships for researchers from Malaysia, Mexico and South Africa to visit the U.K., Deadline: 14 Sep 2016
- PhD student position in information assurance, Luxembourg (Luxembourg), Deadline: 7 Oct 2016
- Lecturer position in Algorithms and Complexity, Leeds (England), Deadline: 18 Sep 2016
Received: 2016-09-04:
Received: 2016-09-03:
- Peirce's Logic and Philosophy, 22-23 Oct 2016, Guiyang, China
- "Rational animals", 4-6 Oct 2016, Bochum, Germany
- Philosophy of David Lewis, 19-20 Sep 2016, Hamburg, Germany
- LENLS 13: Logic and Engineering of Natural Language Semantics, Tokyo & Kanagawa (Japan), 13-15 Nov 2016
- Postdoctoral research fellowship (5y; philosophy included among the eligible subjects), Oxford (England), Deadline: 9 Sep 2016
- Stipendiary Junior Research Fellowship (philosophy included as eligible subject), Cambridge (England), Deadline: 27 Oct 2016
Received: 2016-09-02:
- Associate Professorship in Theoretical Philosophy, Oslo (Norway), Deadline: 21 Sep 2016
- MIWAI 2016: Artificial Intelligence, 7-9 Dec 2016, Chiang Mai, Thailand
- Agent-based modelling across social science, economics, and philosophy, 21-22 Oct 2016, Bamberg, Germany
- RCRA 2016: Experimental evaluations of algorithms for solving problems with combinatorial explosion, 28 Nov - 1 Dec 2016, Genova, Italy
- W5: 5th Workshop on Philosophical Logic, 23-25 Nov 2016, Buenos Aires, Argentina
- Jaakko Hintikka Memorial Conference: Legacy in Game-Theoretical Semantics and Epistemic Logic, 8-9 Sep 2016, Helsinki, Finland
Received: 2016-08-31:
- PhD student position in "The Language of Fiction and Imagination" (linguistics/philosophy), Groningen (The Netherlands), Deadline: 20 Sep 2016
- Two PhD student positions in theoretical philosophy, Groningen (The Netherlands), Deadline: 14 Sep 2016
- Professorship of Theoretical Philosophy (Logic & Argumentation Theory), open rank, Frankfurt (Germany), Deadline: 1 Sep 2016 (tomorrow)
- 10th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 28-29 Jan 2017, Cambridge, U.K.
Received: 2016-08-29:
Received: 2016-08-27:
- EvoMusArt 2017: Computational Intelligence in Music, Sound, Art and Design, 19-21 Apr 2017, Amsterdam, The Netherlands
- NFM 2017: NASA Formal Methods Symposium, 16-18 May 2017, Moffett Field CA, U.S.A.
- LATA 2017: Language and Automata Theory and Applications, 6-10 Mar 2017, Umea, Sweden
- 9th Workshop on Knowledge Acquisition Reuse & Evaluation, 27 Nov - 1 Dec 2016, Naples, Italy
Received: 2016-08-24:
Received: 2016-08-23:
- PADL 2017: Practical Aspects of Declarative Languages, 16-17 Jan 2017, Paris, France
- ETAPS 2017: Theory and Practice of Software, 22-29 Apr 2017, Uppsala, Sweden
- ECA 2017: European Conference on Argumentation, 20-23 Jun 2017, Fribourg, Switzerland
- FQAS 2017: Flexible Query Answering Systems, 21-23 Jun 2017, London, England
Received: 2016-08-19:
- CfPart TIME 2016: Temporal Representation & Reasoning, 17-19 Oct 2016, Kungens Lyngby, Denmark
- W3 Professorship in theoretical philosophy, Goettingen (Germany), Deadline: 12 Oct 2016
- W3 Professorship in theoretical philosophy / analytic philosophy, Siegen (Germany), Deadline: 12 Oct 2016
- Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning -- 40 years of CLE, 12-15 Sep 2016, Campinas, Brazil
- W3 Professorship in theoretical philosophy / philosophy of language, Mannheim (Germany), Deadline: 1 Sep 2016
- CfP special issue of JAR on "Milestones in interactive theorem proving"
Received: 2016-08-17:
Received: 2016-08-16:
- CfP special issue of Logic Journal of IGPL on "Recovery Operators and Logics of Formal Consistency and Inconsistencies"
- PhD student position in supervision of autonomous software systems, Utrecht (The Netherlands), Deadline: 2 Oct 2016
- BLC 2016: British Logic Colloquium, 7-8 Sep 2016, Edinburgh, Scotland
- TAMC 2017: Theory and Applications of Models of Computation, 20-22 Apr 2017, Bern, Switzerland
- LOPSTR 2016: Logic-based Program Synthesis and Transformation, 6-8 Sep 2016, Edinburgh, Scotland
- PhD student position in argument mining, Dundee (Scotland), Deadline: 31 Aug 2016
Received: 2016-08-03:
- RCRA 2016: Knowledge Representation & Automated Reasoning, 28 Nov - 1 Dec 2016, Genova, Italy
- Ph.D. student position on "learning language through dialogue", Tilburg (The Netherlands), Deadline: 30 Aug 2016
- Two industrial Ph.D. student positions in formal logic, Barcelona (Spain), Deadline: 10 Sep 2016
- PhD student position in Knowledge Representation and Reasoning, Luxembourg (Luxembourg), Deadline: 15 Sep 2016
- Directions in Computability Theory: A meeting in memory of Barry Cooper, 17 Sep 2016, Leeds, England
Received: 2016-08-01:
Received: 2016-07-29:
Received: 2016-07-28:
- PhD student position in epistemology or philosophy of mind, Luxembourg (Luxembourg), Deadline: 15 Aug 2016
- Postdoctoral position on "Disagreements", Tartu (Estonia), Deadline: 1 Aug 2016
- JeTou 2017: Journees d'Etudes Toulousaines, 18-19 May 2017, Toulouse, France
- FQAS 2017: Flexible Query Answering Systems, 21-23 Jun 2017, London, England
- Three PhD student positions and one postdoctoral position in history and philosophy of mathematics, Zuerich (Switzerland), Deadline: 31 Aug 2016
Received: 2016-07-26:
- FMICS-AVoCS 2016: Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, 26-28 Sep 2016, Pisa, Italy
- CfPart GANDALF 2016, 14-16 Sep 2016, Catania, Italy
- ILP 2016: Inductive Logic Programming, 4-6 Sep 2016
- Postdoctoral position in temporal issues (14m), Milan (Italy), Deadline: 2 Sep 2016
- CfPart CSL 2016, 29 Aug - 1 Sep 2016, Marseille, France
- Annals of Science Best Paper Prize 2016 (for doctoral students), Deadline: 30 Sep 2016
Received: 2016-07-22:
- FORMATS 2016: Formal Modeling and Analysis of Timed Systems, 24-26 Aug 2016, Quebec City QC, Canada
- Autumn School on Linear Logic, 7-8 Nov 2016, Lyon, France
- M4M 2017: Methods for Modalities, 8-10 Jan 2017, Kanpur, India
- CfP special issue of JANCL on Logic and Argumentation, Deadline: 15 Nov 2016
- Two PhD student positions in Science Studies and History of Science, Zuerich (Switzerland), Deadline: 31 Aug 2016
Received: 2016-07-16:
Received: 2016-07-14:
- HyTra-6: Hybrid Approaches to Translation, 11 Dec 2016, Osaka, Japan
- Model theory of finite and pseudofinite structures, 27-29 Jul 2016, Leeds, England
- 32nd SIGAPP Symposium on Applied Computing: Track on Knowledge Representation and Reasoning, 3-7 Apr 2017, Marrakech, Morocco
- BLC 2016: British Logic Colloquium, 6-8 Sep 2016, Edinburgh, Scotland
- Assistant Professorship (permanent) in mathematical logic, Krakow (Poland)
- Christopher Strachey Symposium, 19 November 2016, Oxford, England
Received: 2016-07-11:
- TSD 2016: Text, Speech, Dialogue, 12-16 Sep 2016, Brno, Czech Republic
- "Argument Strength", 1-2 Dec 2016, Bochum, Germany
- Junior Research Fellowship in Philosophy, Oxford (England), Deadline: 19 Sep 2016
- Postdoctoral position in epistemology / decision theory, Hamburg (Germany)
- Assistant or Associate Professorship in Theoretical Computer Science (tenure-track), Amsterdam (The Netherlands), Deadline: 1 Sep 2016
- 2016 Autumn School on Computational Logic, 16-17 Oct 2016, New York NY, U.S.A.
Received: 2016-07-08:
Received: 2016-07-07:
Received: 2016-07-06:
- TACL 2017: Topology, Algebra and Categories in Logic, Olomouc & Prague (Czech Republic), 20-30 Jun 2017
- Third International Wormshop: Proof Theory, Modal Logic, and Reflection Principles, 5-9 Sep 2016, Tbilisi, Georgia
- CNL 2016: Controlled Natural Languages, 25-26 Jul 2016, Aberdeen, Scotland
- ILP 2016: Inductive Logic Programming, 4-6 Sep 2016, London, England
- Part-time teaching position in philosophy (2y), Koeln (Germany), Deadline: 20 Jul 2016
- 6ESTC: European Set Theory Conference, 3-7 Jul 2017, Budapest, Hungary
- CTFM 2016: Computability Theory and Foundations of Mathematics, 20-21 Sep 2016, Tokyo, Japan
Received: 2016-07-01:
- PhilMath Seminar IHPST, Paris (France), 12 Sep 2016, 10 Oct 2016, 7 Nov 2016, 12 Dec 2016
- Postdoctoral position (3y) in philosophy of science, Rome (Italy), Deadline: 28 Jul 2016
- Australasian Postgraduate Philosophy Conference 2016, 24-26 Sep 2016, Canberra, Australia
- Four PhD student positions and two postdoctoral positions on "Knowledge beyond natural science", Stirling (Scotland), Deadline: 8 Jul 2016
Received: 2016-06-30:
Received: 2016-06-29:
- Workshop on Logical Constants, 5-6 Oct 2016, Munich, Germany
- PhD student positions in Computer Science, Lucca (Italy), Deadline: 13 Jul 2016
- PhD student positions in philosophy, Rome (Italy), Deadline: 11 Jul 2016
- Postdoctoral Associate position on information flow security, London (England)
- Lectureships in Knowledge Representation and Reasoning (and other areas of computer science), Cardiff (Wales), Deadline: 14 Jul 2016
- Postdoctoral position in mathematics, Kiel (Germany), Deadline: 15 Jul 2016
Received: 2016-06-23:
- ISWC 2016: Semantic Web, 17-21 Oct 2016, Kobe, Japan
- AI 2016: Australasian Joint Conference on AI, 7-9 Dec 2016, Hobart, Australia
- ECAI 2016: Artificial Intelligence, 29 Aug - 2 Sep 2016, Den Haag, The Netherlands
- ESSLLI 2017: Logic, Language and Information, 17-28 July 2017, Toulouse, France
Received: 2016-06-21:
- Poznan Reasoning Week, 5-10 Sep 2016, Poznan, Poland
- RCRA 2016: Experimental evaluation of algorithms & 15th Conference of the Italian Association for AI, 28 Nov - 1 Dec 2016, Genova, Italy
- ITP 2016: Interactive Theorem Proving, 22-27 Aug 2016, Nancy, France
- C3GI 2016: Computational Creativity, Concept Invention, and General Intelligence, 20-21 Aug 2016, Bolzano, Italy
- WST 2016: Workshop on Termination, 5-7 Sep 2016, Obergurgl, Austria
- AiML 2016: Advances in Modal Logic, 30 Aug - 2 Sep 2016, Budapest, Hungary
- W2 professorship in philosophy (epistemology), Bayreuth (Germany), Deadline: 26 Aug 2016
Received: 2016-06-15:
- CL 2016: Colloquium Logicum, 10-12 Sep 2016, Hamburg, Germany
- ISWC 2016: Semantic Web, 17-21 Oct 2016, Kobe, Japan
- CfP special issue of Journal of Symbolic Computation on "Symbolic Computation in Software Science"
- DGfS Summer School "Mapping Meaning", 15-26 Aug 2016, Tuebingen, Germany
- TIME 2016: Temporal Representation and Reasoning, 17-19 Oct 2016, Kungens Lyngby, Denmark
- Postdoctoral position in epistemic protocol synthesis, Nancy (France), Deadline: 15 Jul 2016
Received: 2016-06-11:
- LACL 2016: Logical Aspects of Computational Linguistics, 5-7 Dec 2016, Nancy, France
- APMP 2017: 4th Meeting of the Association for the Philosophy of Mathematical Practice, 23-27 Oct 2017, Salvador de Bahia, Brazil
- Masters in Logic and Theory of Science at the Eoetvoes University, Budapest, Hungary
- LRR 2016: "Agency and Causation: Formal and Conceptual Issues", 27-28 Oct 2016, Gent, Belgium
- Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, 40 years of CLE, 12-15 Sep 2016, Campinas, Brazil
- WoLLIC 2016: Logic, Language, Information and Computation, 16-19 Aug 2016, Puebla, Mexico
Received: 2016-06-10:
- LOGIC mailing list twitter feed
- HaPoP 2016: History and Philosophy of Programming, 25 Jun 2016, Paris, France
- JELIA 2016: Logics in Artificial Intelligence, 9-11 Nov 2016, Larnaca, Cyprus
- COLING 2016: Computational Linguistics, 11-16 Dec 2016, Osaka, Japan
- ECAI 2016: Call for system demonstrations, 29 Aug - 2 Sep 2016, Den Haag, The Netherlands
Received: 2016-06-09:
Received: 2016-06-08:
- new book: Advances in Proof Theory, Dedicated to the 60th birthday of Gerhard Jaeger
- CiE 2016: Computability in Europe, 27 Jun - 1 Jul 2016, Paris, France
- CLIB 2016: Computational Linguistics in Bulgaria, 9 Sep 2016, Sofia, Bulgaria
- AI 2016: Australasian Joint Conference on AI, Hobart/Tasmania (Australia), 5-9 Dec 2016
- STACS 2017: Theoretical Aspects of Computer Science, 8-11 Mar 2017, Hannover, Germany
- C3GI 2016: Computational Creativity, Concept Invention, and General Intelligence, 20-21 Aug 2016, Bolzano, Italy
Received: 2016-06-07:
- Foundations of Mathematical Structuralism, 12-14 Oct 2016, Munich, Germany
- LOPSTR 2016: Logic-based Program Synthesis and Transformation, 6-8 Sep 2016, Edinburgh, Scotland
- NorMAS 2016: Normative Multi-Agent Systems, 29-30 Aug 2016, Den Haag, The Netherlands
- PhD student position on formal methods for testing of networks of controllers, Grenoble (France)
- Lecture Series "Dialetheism and the History of (Western) Philosophy" by Graham Priest, 14-17 Jun 2016, Padua, Italy
- W1 Junior Professorship in Mathematical Logic, Muenster (Germany), Deadline: 15 Jul 2016
- W3 Professorship in Philosophy of Language and Mind, Konstanz (Germany), Deadline: 23 Jun 2016
- Non-Classical Logics. Theory and Applications VIII, 5-7 Sep 2016, Lodz, Poland
Received: 2016-06-01:
- ECAI 2016: Artificial Intelligence, 29 Aug - 2 Sep 2016, Den Haag, The Netherlands
- TPNC 2016: Theory and Practice of Natural Computing, 12-14 Dec 2016, Sendai, Japan
- TIME 2016: Temporal Representation and Reasoning, 17-19 Oct 2016, Kungens Lyngby, Denmark
- LCC 2016: Logic and Computational Complexity, 2-3 Sep 2016, Marseille, France
- Associate Senior Lectureship (4y) in Computational Linguistics, Gothenburg (Sweden)
- PhD student position in Logic for Multiscale Network Modelling, Leeds (England), Deadline: 17 Jun 2016
Received: 2016-05-30:
- EASSS 2016: European Agent Systems Summer School, 25-30 July 2016, Catania, Italy
- European Master's Programme in Computational Logic, Bolzano/Dresden/Lisbon/Vienna (Italy/Germany/Portugal/Austria)
- ISAO 2016: Applied Ontology, 27 Jun-1 Jul 2016, Bolzano, Italy
- ESSLLI 2017: Logic, Language and Information, 17-28 Jul 2017, Toulouse, France
- LAP 2016: Logic & Applications, 19-23 Sep 2016, Dubrovnik, Croatia
- PhD student or postdoctoral position on oligomorphic clones, Vienna (Austria)
Received: 2016-05-28:
- CSLP 2016: Constraints and Language Processing, 17-21 Oct 2016, New York NY, U.S.A.
- LICS 2016: Logic in Computer Science, 5-8 Jul 2016, New York NY, U.S.A.
- RW 2016: Reasoning Web Summer School, 5-9 Sep 2016, Aberdeen, Scotland
- ICLA 2017: Logic and its Applications, 5-7 January 2017, Kanpur, India
- PhD student position in knowledge-based systems, Lisbon (Portugal), Deadline: 3 Jun 2016
- ESSLLI 2016, 15-26 Aug 2016, Bolzano, Italy
Received: 2016-05-25:
- 1st Thomistic Summer School: "Dualismus und Hylemorphismus in der Philosophie des Geistes", Opfenbach/Wigratzbad (Germany), 19-24 Aug 2016
- DARe 2016: Defeasible and Ampliative Reasoning, Den Haag (The Netherlands), 29/30 Aug 2016
- NeSy 2016: Neural-Symbolic Learning and Reasoning, 16-17 Jul 2016, New York NY, U.S.A.
- LACL 2016: Logical Aspects of Computational Linguistics, 5-7 Dec 2016, Nancy, France
- Poznan Reasoning Week, 5-10 Sep 2016, Poznan, Poland
- Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning, 12-15 Sep 2016, Campinas, Brazil
Received: 2016-05-23:
- FPMW 8: 8th French Philosophy of Mathematics Workshop, 3-5 Nov 2016, Marseille, France
- ISAAC 2016: Algorithms & Computation, 12-14 Dec 2016, Sydney, Australia
- Postdoctoral fellowship in situated semantics, Munich (Germany), Deadline: 15 Jun 2016
- 8th South-East Asian Summer School on Computational Logic, 16-30 Jul 2016, Rayong, Thailand
- Agency & Causation (Third Workshop on Logic, Reasoning, and Rationality), 27-28 Oct 2016, Gent, Belgium
- PhiLang 2017: Philosophy of Language and Linguistics, 12-14 May 2017, Lodz, Poland
Received: 2016-05-22:
- NFM 2016: NASA Formal Methods Symposium, 7-9 Jun 2016, Minneapolis MN, U.S.A.
- FCA4AI 2016: What can FCA do for AI?, 30 Aug 2016, Den Haag, The Netherlands
- new textbook: J. M. Font, Abstract algebraic logic (College Publications)
- GandALF 2016 (Games, Automata, Logics and Formal Verification), 14-16 Sep 2016, Catania, Italy
- FEW 2016: Formal Epistemology Workshop, 20-22 Jun 2016, Groningen, The Netherlands
- Conceptual Spaces at Work 2016, 24-27 Aug 2016, Huddinge, Weden
Received: 2016-05-20:
- SUM 2016: Scalable Uncertainty Management, 21-23 Sep 2016, Nice, France
- 2017 Essay Prize of the Metaphysics of Entanglement Project: "What is Structure?", Deadline: 16 Dec 2016
- MIWAI 2016: Artificial Intelligence, 7-9 Dec 2016, Chiang Mai, Thailand
- Postdoctoral position (2y) on meta-ontology, Uppsala (Sweden), Deadline: 1 Jun 2016
- PhD student position in deontic logic and medical ethics, Gent (Belgium), Deadline: 10 July 2016
- Lectureship in mathematical logic or formal epistemology, Utrecht (The Netherlands), Deadline: 12 June 2016
- FilMat 2016: Philosophy of Mathematics, 26-28 May 2016, Chieti, Italy
Received: 2016-05-19:
- "Pictures and Propositions", 13-14 Jun 2016, London, England
- "Knowledge, Reasons, and Action", 21-22 Jul 2016, Erlangen, Germany
- Vampire 2016, 2 Jul 2016, Coimbra, Portugal
- CfP special issue of 'Philosophy & Technology' on Logic as Technology, Deadline: 15 Jun 2016
- Grants for doctoral students and postdocs: Intensive Research Program on Large Cardinals and Strong Logics, Barcelona (Spain), September to December 2016
- Postdoctoral position in stochastic games, Bordeaux (France)
- "From Basic Cognition to Mathematical Practice", 19-21 Sep 2016, Seville, Spain
Received: 2016-05-18:
- PhD student position in algorithms, Bergen (Norway), Deadline: 29 May 2016
- "Generalised Baire spaces", 21-22 Sep 2016, Bonn, Germany
- Postdoctoral position in logic, Amsterdam (The Netherlands), Deadline: 15 June 2016
- HIGHLIGHTS 2016: Highlights of Logic, Games and Automata, 6-9 Sep 2016, Brussels, Belgium
- Plural Foundations Conference, 17 Jun 2016, Leeds, England
- CL 2016: Colloquium Logicum, 10-12 Sep 2016, Hamburg, Germany
- Research fellowship in machine learning, information theory or artificial intelligence, Canberra (Australia), Deadline: 30 Jun 2016
- Litwin Books Award for Ongoing Doctoral Dissertation Research in the Philosophy of Information, Deadline: 1 Jun 2016
Received: 2016-05-11:
- 5th CSLI Workshop on Logic, Rationality, and Intelligent Interaction, 28-29 May 2016, Stanford CA, U.S.A.
- AiML 2016: Advances in Modal Logic, 30 Aug - 2 Sep 2016, Budapest, Hungary
- Oberwolfach Prize 2016 in Discrete Mathematics, Logic or Theoretical Computer Science, Nomination Deadline: 1 Sep 2016
- Lecturer positions in Computer Science, Rochester NY (U.S.A.)
- Workshop "Philosophical Methods", 16-17 Jun 2016, Essen, Germany
- PhD student position in Algorithms, Bergen (Norway), Deadline: 29 May 2016
- Postdoctoral position in logic, Amsterdam (The Netherlands), Deadline: 15 June 2016
Received: 2016-05-08:
- ICTAC 2016: Theoretical Aspects of Computing, 24-31 Oct 2016, Taipei, Taiwan
- SMLM 2016: Society for Medieval Logic and Metaphysics, 3-6 Nov 2016, San Francisco CA, U.S.A.
- Call for Proposals to host FOIS 2018: Formal Ontology in Information Systems
- ESSLLI 2016: European Summer School in Logic, Language and Information, 15-26 Aug 2016, Bolzano, Italy
- Workshop "Argument Strength", 1-2 Dec 2016, Bochum, Germany
- Postdoctoral positions in mathematical logic, Lisbon (Portugal)
Received: 2016-05-06:
- Type Theory and Philosophy, 9-10 Jun 2016, Canterbury, England
- ThEdu 2016: Theorem Prover Components for Educational Software, 25-29 Jul 2016, Bialystock, Poland
- WCT 2016: Computability Theory, 4-5 Jul 2016, Gent, Belgium
- "The Identity Theory of Truth", 20-21 May 2016, Cambridge, England
- Postdoctoral position in non-monotonic logics and formal argumentation, Bochum (Germany), Deadline: 31 May 2016
- Postdoctoral position in Algorithms, Munich (Germany)
- CfP special issue of JICPR on "Pluralism in Mathematics", Deadline: 15 Jul 2016
- PhD student position in "The Nature of Representation", Stockholm (Sweden), Deadline: 26 May 2016
Received: 2016-05-01:
- Language and metalanguage, logic and meta-logic. Revisiting Tarski's hierarchy, Louvain-la-Neuve (Belgium), 19-20 May 2016
- ECAP 9: European Congress of Analytic Philosophy, 21-28 Aug 2017, Munich, Germany
- Reasoning in Conceptual Spaces, 28-29 Jun 2016, Amsterdam, The Netherlands
- GandALF 2016: Games, Automata, Logics and Formal Verification, 14-16 Sep 2016, Catania, Italy
- AUTOMATA 2016: Cellular Automata and Discrete Complex Systems, 15-17 Jun 2016, Zuerich, Switzerlaand
- AI 2016: Australasian Joint Conference on AI, 5-9 Dec 2016, Hobart, Australia
Received: 2016-04-30:
- NeSy 2016: Neural-Symbolic Learning and Reasoning, 16-17 July 2016, New York NY, U.S.A.
- PAAR 2016: Practical Aspects of Automated Reasoning, 2 Jul 2016, Coimbra, Portugal
- TPNC 2016: Theory and Practice of Natural Computing, 12-14 Dec 2016, Sendai, Japan
- SLSP 2016: Statistical Language and Speech Processing, 11-13 Oct 2016, Pilsen, Czech Republic
- Grant opportunities for Master or PhD students in philosophy, Rio de Janeiro (Brazil), Deadline: 12 or 31 May 2016
- QBF 2016: Quantified Boolean Formulas (and Beyond), 4 Jul 2016, Bordeaux, France
Received: 2016-04-29:
- ARQNL 2016: Automated Reasoning in Quantified Non-Classical Logics, 1 Jul 2016, Coimbra, Portugal
- new book: Handbook of Computational Social Choice, Cambridge University Press
- Workshop on Proofs, Justifications and Certificates, 3-4 Jun 2016, Toulouse, France
- Position as "Lektor" for philosophy at Vittorio Klostermann, Frankfurt (Germany)
- "From Basic Cognition to Mathematical Practices", 19-21 Sep 2016, Seville, Spain
- "Intuitionism, Computation and Proof", 10-11 Jun 2016, Paris, France
Received: 2016-04-28:
- Postdoctoral position in philosophy of time, Milan (Italy), Deadline: 10 May 2016
- Postdoctoral position in mathematical logic, Salerno (Italy)
- Nine PhD student positions in mathematics, Luxembourg (Luxembourg)
- Postdoctoral or PhD student position in Computation with Bounded Resources, Innsbruck (Austria), Deadline: 31 May 2016
- EASSS 2016: Agent Systems Summer School, 25-30 Jul 2016, Catania, Italy
- FOMUS: Foundations of Mathematics, Univalent Foundations and Set Theory, 18-23 Jul 2016, Bielefeld, Germany
- SUM 2016: Scalable Uncertainty Measurement, 21-23 Sep 2016, Nice, France
Received: 2016-04-25:
- PhD student position in computational linguistics, Gothenburg (Sweden)
- Two PhD student positions in Logic, Amsterdam (The Netherlands), Deadline: 15 May 2016
- Full professorship in philosophical anthropology, Tilburg (The Netherlands), Deadline: 16 May 2016
- PhD student position in computer security, Rennes (France)
- PhD student position in theoretical computer science, Karlsruhe (Germany), Deadline: 12 May 2016
- ISAO 2016: Applied Ontology, Bolzano (Italy), 27 Jun - 1 Jul
Received: 2016-04-21:
- Full professorship in philosophical logic, Pisa (Italy), Deadline: 31 May 2016
- Composes end-of-project workshop, 14 Aug 2016, Bolzano, Italy
- LaTeCH 2016: Language Technology for Cultural Heritage, 11 Aug 2016, Berlin, Germany
- 3rd CfP JOWO 2016, 6 Jul 2016, Annecy, France
- C3GI 2016: Computational Creativity, Concept Invention and General Intelligence, 20-21 Aug 2016, Bolzano, Italy
- Three PhD studentships in Computational Linguistics, London (England), Deadline: 6 May 2016
Received: 2016-04-19:
- Plural logic and the foundations of mathematics, 17 Jun 2016, Leeds, England
- Informal Aspects of Uncertainty Evaluation, 20 May 2016, Cambridge, England
- HyTra-5: Hybrid Approaches to Translation, 2 Jun 2016, Riga, Latvia
- Philosophy of the Precautionary Principle, 3 May 2016, Tilburg, The Netherlands
- Lectureship in Mathematical Logic, Leeds (England), Deadline: 28 April 2016
- AAL 2016: Australasian Association for Logic, 30 Jun - 2 Jul 2016, Melbourne, Australia
Received: 2016-04-18:
- AIRIM 2016: AI aspects of Reasoning, Information and Memory, 11-14 Sep 2016, Gdansk, Poland
- ESA 2016: European Symposium on Algorithms, 22-26 Aug 2016, Aarhus, Denmark
- CLIB 2016: Computational Linguistics in Bulgaria, 9 Sep 2016, Sofia, Bulgaria
- Two positions (one postdoc, one PhD student) in digital humanities, Graz (Austria), Deadline: 13 May 2016
- PhDs in Logic VIII, 9-11 May 2016, Darmstadt, Germany
- TIME 2016: Temporal Representation and Reasoning, 17-19 Oct 2016, Kungens Lyngby, Denmark
Received: 2016-04-15:
- AUTOMATA 2016: Cellular Automata and Discrete Complex Systems, 15-17 Jun 2016, Zuerich, Switzerland
- SR 2016: Strategic Reasoning, 9-10 Jul 2016, New York NY, U.S.A.
- Reconciling Nominalism and Platonism in the Philosophy of Mathematics, 22-23 Apr 2016, New York NY, U.S.A.
- W2 Professorship in Theoretical Computer Science (Algorithms), Kaiserslautern (Germany), Deadline: 22 May 2016
- Postdoctoral position in "Recursion, Guarded Recursion and Computational Effects", Birmingham (England), Deadline: 22 May 2016
- Argument Strength, 1-2 Dec 2016, Bochum, Germany
Received: 2016-04-14:
- VMW 2016: Verification Mentoring Workshop, 17-23 Jul 2016, Toronto ON, Canada
- DARe: Defeasible and Ampliative Reasoning, The Hague (The Netherlands), 29 or 30 Aug 2016
- RP 2016: Reachability Problems, 19-21 Sep 2016, Aalborg, Denmark
- LATD 2016: Logic, Algebra and Truth Degrees, 28-30 Jun 2016, Phalaborwa, South Africa
- Foundational Impact of Recursion Theory: Steve Simpson's 70th birthday, 22 May 2016, Storrs CT, U.S.A.
- 1st Irvine Conference on Descriptive Inner Model Theory and HOD Mice, 18-29 Jul 2016, Irvine CA, U.S.A.
Received: 2016-04-13:
- Bridging the gap between human and automated reasoning, 9 Jul 2016, New York NY, U.S.A.
- MFCS 2016: Mathematical Foundations of Computer Science, 22-26 Aug 2016, Krakow, Poland
- NASSLLI 2016: North American Summer School in Logic, Language and Information, 9-16 Jul 2016, New Brunswick NJ, U.S.A.
- QUATIC 2016: Quality Aspects in Verification and Validation, 7-9 Sep 2016, Lisbon, Portugal
- Interactions between Model Theory and Arithmetic Dynamics, 25-29 Jul 2016, Toronto ON, Canada
- Associate / Full Professorship in computational linguistics, Stony Brook NY (U.S.A.), Deadline: 1 May 2016
Received: 2016-04-10:
- 5th Rene Desartes Lectures & Workshop: Science, Values and Democracy, 5-7 Sep 2016, Tilburg, The Netherlands
- LICS 2016: Logic in Computer Science, 5-8 Jul 2016, New York NY, U.S.A.
- Inferences and Proofs, 31 May - 1 Jun 2016, Marseille, France
- Summer School in Tame Geometry, 18-23 Jul 2016, Konstanz, Germany
- PhD student position in on-line privacy using Multi-Agent Systems, London (England), Deadline: 15 Apr 2016
- CCA 2016: Computability & Complexity in Analysis, 15-17 Jun 2016, Faro, Portugal
Received: 2016-04-08:
- WoLLIC 2016: Logic, Language, Information and Computation, 16-19 Aug 2016, Puebla, Mexico
- Call for Nominations: 2016 Shoenfield Prizes for outstanding expository writing in logic, Deadline: 1 Nov 2016
- JOWO-16: Joint Ontology Workshops, 6-9 Jul 2016, Annecy, France
- Set-theoretical aspects of the model theory of strong logics, 26-30 Sep 2016, Bellaterra, Spain
- Lectureship in Philosophy, in particular "theoretical reasoning", Canterbury (England), Deadline: 11 April 2016
- LC 2016: Logic Colloquium, 31 Jul - 6 Aug 2016, Leeds, England
Received: 2016-04-07:
- Semdial 2016 / JerSem: Semantics and Pragmatics of Dialogue, 16-18 Jul 2016, New Brunswick NJ, U.S.A.
- 2016 ASL North American Annual Meeting, 23-26 May 2016, Storrs CT, U.S.A.
- CfP special issue of Journal of Symbolic Computation on "Symbolic Computation in Software Science"
- Call for Nominations: 2016 Sack Prize for the most outstanding doctoral dissertation in mathematical logic
- eduTPS: Justifying (in) Math, 7-10 Sep 2016, Targu Mures, Romania
- International Conference on Model Theory, 20-24 Jun 2016, Notre Dame IN, U.S.A.
Received: 2016-04-06:
- 6th Summer School on Formal Techniques, 22-27 May 2016, Atherton CA, U.S.A.
- Plural Foundations, 17 Jun 2016, Leeds, England
- GCAI: Artificial Intelligence, 29 Sep - 2 Oct 2016, Berlin, Germany
- PhD student position in philosophical logic or formal epistemology, Bochum (Germany), Deadline: 21 Apr 2016
- ARQNL 2016: Automated Reasoning in Quantified Non-Classical Logics, 1 Jul 2016, Coimbra, Portugal
- The Bounds of Logic Reloaded, 20-21 Oct 2016, Moscow, Russia
Received: 2016-04-05:
- Retirement workshop and retirement speech Albert Visser, Utrecht (The Netherlands), 22 & 25 April 2016
- SYSMICS 2016: Syntax meets Semantics, 5-9 Sep 2016, Barcelona, Spain
- KR 2016: Knowledge Representation and Reasoning, 25-29 Apr 2016, Cape Town, South Africa
- FORMATS 2016: Formal Modelling and Analysis of Times Systems, 24-26 Aug 2016, Quebec City QC, Canada
- Symposium on History and Philosophy of Computing, 23-29 Jul 2017, Rio de Janeiro, Brazil
- LRPP 2016: Logics for Resources, Processes and Programs, 1 Jul 2016, Coimbra, Portugal
Received: 2016-04-04:
- HaPoP 2016: History and Philosophy of Programming, 25 June 2016, Paris, France
- PhD student position in formal methods for software and systems modeling, Konstanz (Germany)
- LCC 2016: Logic & Computational Complexity, 2-3 Sep 2016, Marseille, France
- Truth: Deflationism & Beyond, 23-24 Sep 2016, Alghero, Italy
- HLAI 2016 Doctoral Consortium: Human-Level A.I., 16-19 Jul 2016, New York NY, U.S.A.
- GandALF 2016: Games, Automata, Logics and Formal Verification, 14-16 Sep 2016, Catania, Italy
Received: 2016-04-03:
- Sociological Overtones in Logical Empiricism, 11-12 Apr 2016, Budapest, Hungary
- DSALT: Distributional Semantics and Linguistic Theory, 15-19 Aug 2016, Bolzano, Italy
- 5th World Congress on the Square of Opposition, Rapa Nui, 11-15 Nov 2016, Easter Island, Chile
- Cognitum 2016: Cognitive Knowledge Acquisition and Applications, 9-11 Jul 2016, New York NY, U.S.A.
- Third Workshop of the Buenos Aires Logic Group, 20-22 Apr 2016, Buenos Aires, Argentina
- FPMW8: Philosophy of Mathematics, 3-5 Nov 2016, Marseille, France
Received: 2016-04-02:
- NeSy 2016: Neural-Symbolic Learning and Reasoning, 16-17 Jul 2016, New York NY, U.S.A.
- REINS: Responsible Intelligent Systems in Perspective, 18-19 Apr 2016, Utrecht, The Netherlands
- Workshop "Situations, Information, and Semantic Content", 16-18 Dec 2016, Muenchen, Germany
- ECAI 2016: European Conference on Artificial Intelligence, 29 Aug - 2 Sep 2016, Den Haag, The Netherlands
- Workshop "Roots of Deduction", 7-9 Apr 2016, Groningen, The Netherlands
- Assistant Professorship in Philosophy of Science, Tilburg (The Netherlands), Deadline: 22 Apr 2016
- Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics, 13-15 Sep 2016, Bristol, England
Received: 2016-04-01:
- E. W. Beth Dissertation Prize in Logic, Language, and Information, Deadline: 9 May 2016
- CL 2016: Colloquium Logicum, 10-12 Sep 2016, Hamburg, Germany
- Postdoctoral position (2+2y) in "Coordination, Collective Goal and Cooperation", Milan (Italy), Deadline: 26 Apr 2016
- ISAO 2016: Interdisciplinary School on Applied Ontology, 27 Jun - 1 Jul 2016, Bolzano, Italy
- LAP 2016: Logic and Applications, 19-23 Sep 2016, Dubrovnik, Croatia
- CiE 2016: Computability in Europe, 27 Jun - 1 Jul 2016, Paris, France
- STP: Set Theoretic Pluralism, 12-17 Jul 2016, Aberdeen, Scotland
Received: 2016-03-31:
- Postdoctoral position on epistemic logic and social epistemology (3y), Bayreuth (Germany), Deadline: 30 Apr 2016
- PhD Studentship in the History and Philosophy of Computing, London (U.K.), Deadline: 18 April 2016
- PhD student position in semantics / pragmatics of disagreement, Barcelona (Spain), Deadline: 22 Apr 2016
- Hilbert-Bernays Summer School on Logic and Computation, 24-30 July 2016, Goettingen, Germany
- PhD student position in 'Making scientific inferences more objective', Tilburg (The Netherlands), Deadline: 8 May 2016
- PhD position on higher-order verification, Bordeaux (France), Deadline: 9 Sep 2016
- Revival of the mailing list
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