[LOGIC] List Mailing Archive 2014
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: 2014-12-30:
- FG 2015: Formal Grammar, 8-9 Aug 2015, Barcelona, Spain
- Celebration: 25 years of Coordination Models and Languages at CWI, 9 Jan 2015, Amsterdam, The Netherlands
- Social Aspects of Cognition and Computing, 20-22 Apr 2015, Canterbury, England
- ESSLLI 2015: Logic, Language and Information, 3-14 Aug 2015, Barcelona, Spain
- Formal Ethics 2015, 3-5 Jul 2015, Bayreuth, Germany
- Two postdoctoral positions in Philosophy of Mathematics (2y), Munich (Germany), Deadline: 18 Jan 2015
Received: 2014-12-29:
- 5th Workshop on Formal Topology, 8-10 Jun 2015, Djursholm, Sweden
- International Conference on Machine Learning 2015, 6-11 Jul 2015, Lille, France
- Logic and Inference, 19-20 Mar 2015, London, U.K.
- Truth Pluralism and Logical Pluralism, 17-19 Apr 2015, Storrs CT, U.S.A.
- Trends in Logic XV: Logics for Social Behaviour, 29 Jun - 3 Jul 2015, Delft, The Netherlands
- Three Assistant Professorships in Logic & Philosophy of Language, Munich (Germany), Deadline: 28 Feb 2015
Received: 2014-12-23:
- GSCL 2015: German Society for Computational Linguistics and Language Technology, 30 Sep - 2 Oct 2015, Essen, Germany
- MoL 2015: Mathematics of Language, 25-26 Jul 2015, Chicago IL, U.S.A.
- TACL 2015: Topology, Algebra, and Categories in Logic, 15-26 Jun 2015, Salerno, Italy
- PhD student position in dependent type theory, Brighton (England), Deadline: 23 Feb 2015
- PhDs in Logic VII, 14-16 May 2015, Vienna, Austria
- Temporary teaching associateship in philosophy (teaching needs: logic and philosophy of mathematics), Cambridge (England), Deadline: 19 Jan 2015
Received: 2014-12-17:
- Empirical Advances in Categorial Grammar, 10-14 Aug 2015, Barcelona, Spain
- CMI Postdoctoral Fellowship Program (Center for the Mathematics of Information), Pasadena CA (U.S.A.), Deadline: 19 Dec 2014
- Young Researchers' Conference Frontiers of Formal Methods in Computer Science, 25-27 Feb 2015, Aachen, Germany
- Wadge theory and automata, 28 Jan 2015, Turin, Italy
Received: 2014-12-15:
- Postdoctoral position in computational complexity, Stockholm (Sweden), Deadline: 25 Jan 2015
- PhD student positions in mathematics and theoretical computer science, Bath (U.K.), Deadline: 28 Feb 2015
- PhD studentships in Computer Science, Nottingham (U.K.), Deadline: 14 Jan 2015
- SoTFoM II: "Competing Foundations", 12-13 Jan 2015, London, U.K.
- Postdoctoral position in logic and game theory ("Reasoning about computational economies"), Oxford (U.K.), Deadline: 12 Jan 2015
Received: 2014-12-12:
Received: 2014-12-11:
- 2nd CfP: WoLLIC 2015, 20-23 Jul 2015, Bloomington IN, U.S.A.
- PhD student opportunities in philosophy (including logic), Edinburgh (Scotland)
- Postdoctoral and visiting fellowships in philosophy of science, Pittsburgh PA (U.S.A.), Deadline: 15 Dec 2014
- Postdoctoral position on "Ontology after Quine", Hamburg (Germany), Deadline: 31 Jan 2015
- CICM 2015: Intelligent Computer Mathematics, 13-17 Jul 2015, Washington DC, U.S.A.
- "Just playing? Toy models in the Sciences", 8-9 May 2015, Munich, Germany
Received: 2014-12-10:
- 2014 Victor Lesser Distinguished Dissertation Award of the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
- FG 2015: Formal Grammar, 8-9 Aug 2015, Barcelona, Spain
- Final CfP: EPSA 2015, 23-26 Sep 2015, Duesseldorf, Germany
- TSD 2015: Text, Speech, Dialogue, 14-17 Sep 2015, Plzen, Czech Republic
- CfP special issue of JAL on "Progic 2015", Deadline: 15 Jan 2015
- CfP special track of JAIR on "Cross-language algorithms and applications", Deadline: 1 Mar 2015
Received: 2014-12-09:
- "Truth and Grounds", Monte Verita/Ascona (Switzerland), 24-29 May 2015
- Assistant professorship in philosophy of mind, Bochum (Germany), Deadline: 15 Dec 2014
- Two PhD student / postdoctoral positions in Formal Semantics & Logic, Delft (The Netherlands), Deadline: 15 Dec 2014
- Scandinavian Logic Summer School, 27-31 Jul 2015, Helsinki, Finland
- SEALS 2015: South-Eastern Logic Symposium, 27 Feb - 1 Mar 2015, Gainesville FL, U.S.A.
- 2nd CfP: CiE 2015, 29 Jun - 3 Jul 2015, Bucharest, Romania
Received: 2014-12-08:
- CfP special issue of JLAMP on "automated verification of programs and web systems", Deadline: 25 Feb 2015
- "Frontierts of Formal Methods", 25-27 Feb 2015, Aachen, Germany
- Deadline extension: PhiLang 2015, 14-16 May 2015, Lodz, Poland
- Deadline extension: TAMC 2015, 18-20 May 2015, Singapore, Singapore
- Naming Matters: Workshop on the Logic of Proper Names, 19-20 Dec 2014, Stuttgart, Germany
- Final CfP: SoPhA 2015, 17-20 Jun 2015, Montreal QC, Canada
Received: 2014-12-07:
- Final CfPart: "Paradoxes and Dilemmas", 26-27 Jan 2015, Groningen, The Netherlands
- NLDB 2015: Application of Natural Language to Information Systems, 17-19 Jun 2015, Passau, Germany
- TbiLLC 2015: Tbilisi Symposium on Language, Logic and Computation, 21-26 Sep 2015, Tbilisi, Georgia
- CSR 2015: Computer Science Symposium in Russia, Listvyanka/Lake Baikal (Russia), 13-17 Jul 2015
- Funding for M.A. in Philosophy, Durham (England), Deadline: 16 Jan 2015
- PLS10: 10th Panhellenic Logic Symposium, 11-15 Jun 2015, Samos, Greece
Received: 2014-12-04:
- FM 2015: Formal Methods, 22-26 Jun 2015, Oslo, Norway
- Deadline extension: UNILOG 2015, Istanbul (Turkey), 20-30 Jun 2015 (Deadline tomorrow!)
- Morphological, Syntactic and Semantic Aspects of Dispositions, 25-27 Jun 2015, Stuttgart, Germany
- 2nd CfP: CiE 2015, 29 Jun - 3 Jul 2015, Bucharest, Romania
- 20th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, 4-8 May 2015, Szklarska Poreba, Poland
- W2 Professorship in Mathematical Logic, Muenster (Germany), Deadline: 31 Dec 2014
Received: 2014-12-03:
- European Master's Program in Computational Logic, Bolzano/Dresden/Lisbon/Vienna (Italy/Germany/Portugal/Austria)
- M.Sc. in Logic programme, Amsterdam (The Netherlands)
- QPL 2015: Quantum Physics and Logic, 13-17 Jul 2015, Oxford, England
- Summer School on Mathematical Philosophy for Female Students, Munich (Germany), 26 Jul to 1 Aug 2015
- 7th Workshop on the Philosophy of Information (7WPI), 30-31 Mar 2015, London, England
- Two-year postdoctoral position in "The genesis of mathematical knowledge", Seville (Spain)
Received: 2014-11-27:
- Agent-based Modeling in Philosophy, 11-13 Dec 2014, Munich, Germany
- Graz Young Epistemology and Philosophy of Logic Workshop, 28 Nov 2014, Graz, Austria
- Postdoctoral position (2y) in security verification, Munich (Germany)
- C3GI 2015: Computational Creativity, Concept Invention and General Intelligence, 30 Jun 2015, Istanbul, Turkey
- Visiting Assistant Professorship (1y) teaching logic, Schenectady NY (U.S.A.)
- DICE 2015: Developments in Implicit Computational Complexity, 12 Apr 2015, London, England
Received: 2014-11-26:
- CALCO 2015: Algebra and Coalgebra in Computer Science, 24-26 Jun 2015, Nijmegen, The Netherlands
- PhD student position on "Anti-Mathematicism in Philosophy", Gent (Belgium), Deadline: 15 Dec 2014
- 16th Workshop on the Roots of Pragmasemantics, 20-23 Feb 2015, Szklarska Poreba, Poland
- PhD student positions and postdoctoral positions in mathematics, Hamburg (Germany), Deadline: 15 Dec 2014
- TARK 2015: Theoretical Aspects of Rationality and Knowledge, 4-6 Jun 2015, Pittsburgh PA, U.S.A.
- PhD student positions in computer science, Oxford (England), Deadline: 9 Jan 2015
Received: 2014-11-25:
- PhD positions in Logical Methods in Computer Science, Wien/Graz/Linz (Austria), Deadline: 1 Dec 2014
- Postdoctoral position in set theory, Singapore (Singapore)
- VIG 2015: Very Informal Gathering, on the occasion of Tony Martin's retirement, Los Angeles CA (U.S.A.), 30 Jan to 1 Feb 2015
- Full Professorship in Theoretical Philosophy, Utrecht (The Netherlands), Deadline: 5 Jan 2015
- "Structure and Relations", 28 Nov 2014, Utrecht, The Netherlands
- PhD student position in computability theory, Greifswald (Germany), Deadline: 15 Dec 2014
Received: 2014-11-20:
- Final CfP: BLAST 2015, 5-9 Jan 2015, Las Cruces NM, U.S.A.
- new book: A Bridge Between Conceptual Frameworks; Sciences, Society and Technology Studies.
- new book: The Life and Work of Leon Henkin
- Logic, Relativity and Beyond, 9-13 Aug 2015, Budapest, Hungary
- St. Louis Annual Conference on Reasons and Rationality, 17-19 May 2015, St. Louis MO, U.S.A.
- Patrick Suppes (1922-2014)
Received: 2014-11-19:
- Final CfP: Logic and Information, 25-30 Jun 2015, Istanbul, Turkey
- Modality in natural languages, 22-23 Nov 2014, Leeds, England
- CfPart: EUMAS 2014, 18-19 Dec 2014, Prague, Czech Republic
- PhD student position in philosophy of mathematics, Konstanz (Germany), Deadline: 17 Dec 2014
- "The Semantics/Pragmatics Distinction and Philosophical Methodology", 28-29 Nov 2014, Zuerich, Switzerland
- MFPS XXXI: Mathematical Foundations of Programming Semantics, 22-25 Jun 2015, Nijmegen, The Netherlands
Received: 2014-11-18:
- 2015 meeting of the Bertand Russell Society, 4-6 Jun 2015, Dublin, Ireland
- Logics for Resource-Bounded Agents, 3-14 Aug 2015, Barcelona, Spain
- LNAT3: Logic Now And Then, 5-6 Feb 2015, Brussels, Belgium
- "Pictures and Proofs", 19-21 Mar 2015, Columbia SC, U.S.A.
- PhD student position in theoretical philosophy (epistemology / philosophy of language), Osnabrueck (Germany), Deadline: 15 Dec 2014
- "The Computational Turn: Simulation in Science", 6-17 Jul 2015, Vienna, Austria
Received: 2014-11-17:
- TTL 2015: Tools for Teaching Logic, 9-12 Jun 2015, Rennes, France
- 2nd CfP: TAMC 2015, 18-20 May 2015, Singapore, Singapore
- MET-ARG 2014: Methodologies for Research on Legal Argumentation, 10 Dec 2014, Krakow, Poland
- "Toward problems of paraconsistency and paracompleteness", 27 Jun 2015, Istanbul, Turkey
- 2015/16 Herman Goldstine Memorial Postdoctoral Fellowshop (in algorithms), Yorktown NY (U.S.A.), Deadline: 16 Jan 2015
- Visiting Fellowships in Logic, General Ethics and Philosophy of Science, Tilburg (The Netherlands), Deadline: 15 Dec 2014
Received: 2014-11-15:
- Bridging Logical and Probabilistic Approaches to Language and Cognition, 3-7 Aug 2015, Barcelona, Spain
- Assistant Professorship in Cognitive Science, Los Angeles CA (U.S.A.)
- Postdoctoral positions in algorithms, Tel Aviv, Jerusalem, Berkeley CA (Israel & U.S.A.), Deadlines: 15 Dec 2014
- Junior Professorship (W1) in Computational Linguistics, Stuttgart (Germany), Deadline: 15 Dec 2014
- PhD funding in philosophy, Bristol (England), Deadline: 12 Jan 2015
- Winter School on Paradoxes and Dilemmas, 26-27 Jan 2015, Groningen, The Netherlands
Received: 2014-11-14:
- Assistant Professorship (non-tenure track, 3+3y) in Philosophy of Mind, Language or Cognition, Bochum (Germany), Deadline: 15 Dec 2014
- Three-year fellowship in philosophy at St Hugh's College, Oxford (England), Deadline: 9 Feb 2015
- TLCA 2015: Typed Lambda Calculi and Applications, 1-3 Jul 2015, Warsaw, Poland
- Diagrams as Vehicles of Scientific Reasoning, 10-12 Apr 2015, Pittsburgh PA, U.S.A.
- Aesthetics in Mathematics, 5-7 Dec 2014, Norwich, U.K.
- Teorema Essay Prize 2014 for Young Scholars: "Belief without Evidence"
Received: 2014-11-13:
- Postdoctoral position in quantum computing, Paris (France), Deadline: 1 Dec 2014
- Postdoctoral position in computer science, Edinburgh (Scotland), Deadline: 27 Nov 2014
- Faculty positions in theoretical computer science, Urbana-Champaign IL (U.S.A.), Deadline: 5 Jan 2015
- 1st World Congress on Logic and Religion, 1-5 Apr 2015, Joao Pessoa, Brazil
- Visiting Fellowship in Mathematical Philosophy, Munich (Germany), deadline: 15 Feb 2015
- RTA 2015: Rewriting Techniques and Applications, 29 Jun - 1 Jul 2015, Warsaw, Poland
Received: 2014-11-12:
- "Empirical Advances in Categorial Grammar", 10-14 Aug 2015, Barcelona, Spain
- Cf Workshop Proposals: SAT 2015, Satisfiability Testing, 24-27 Sep 2015, Austn TX, U.S.A.
- "The idea of logic: Historical Perspectives", 25-30 Jun 2015, Istanbul, Turkey
- Formal Ethics 2015, 3-5 Jul 2015, Bayreuth, Germany
- Tenure-track position in theoretical computer science, Salt Lake City UT (U.S.A.)
Received: 2014-11-07:
- PhD funding in philosophy, Aberdeen (Scotland)
- Postdoctoral position in parametrized complexity, Budapest (Hungary), Deadline: 15 Nov 2014
- Call for Workshop Proposals: IJCAI 2015, 25-27 Jul 2015, Buenos Aires, Argentina
- Ireland Postdoctoral Fellowship Scheme (all disciplines), Deadline: 27 Nov 2014
- Tenure track position in philosophy (female candidates), Groningen (The Netherlands), Deadline: 1 Dec 2014
- Final CfP: CLMPS 2015, 3-8 Aug 2015, Helsinki, Finland
Received: 2014-11-04:
- PhD student position on "The Evolution of Unpopular Norms and Bullying", Munich (Germany), Deadline: 20 Nov 2014
- Tenure-track position in mathematics (open), Las Cruces NM (U.S.A.), Deadline: 15 Nov 2014
- Workshop on Correlated Information Change, 24-26 Nov 2014, Amsterdam, The Netherlands
- CCC 2015: Computational Complexity Conference, 17-19 Jun 2015, Portland OR, U.S.A.
- LORI V: Logic, Rationality and Interaction, 28-31 Oct 2015, Taipei, Taiwan
- Chevening-Durham MA Scholarships for Master's studies in philosophy, Durham (England), Deadline: 15 Nov 2014
Received: 2014-10-31:
- MPC 2015: Mathematics of Program Construction, Koenigswinter (Germany), 29 Jun to 1 Jul 2015
- "Logic in Kant's Wake", 6-7 Jan 2015, Hamilton ON, Canada
- WoLLIC 2015: Logic, Language, Information and Computation, 20-23 Jul 2015, Bloomington IN, U.S.A.
- PhD student position in epistemology, Canterbury (England)
- CfP special issue of Kuenstliche Intelligenz Journal on "Higher-Level Cognition and Computation", Deadline: 19 Dec 2014
- Postdoctoral position on "bridging causal and explanatory reasoning", Tilburg (The Netherlands), Deadline: 20 Dec 2014
Received: 2014-10-30:
- Two PhD student / postdoc positions in Formal Semantics & Logic, Delft (The Netherlands), Deadline: 15 Dec 2014
- IJCAI 2015: Artificial Intelligence, 25 Jul - 1 Aug 2015, Buenos Aires, Argentina
- DMV 2015: Annual meeting of the German Maths Association, 21-25 Sep 2015, Hamburg, Germany
- CiE 2015: Computability in Europe, 29 Jun - 3 Jul 2015, Bucharest, Romania
- Temporary (1y) Teaching fellowship in philosophy of mind/science, London (England), Deadline: 13 Nov 2014
- Assistant Professorship in Game Theory, Maastricht (The Netherlands), Deadline: 7 Nov 2014
Received: 2014-10-22:
- FEW 2015: Formal Epistemology Workshop, 20-22 May 2015, St. Louis MO, U.S.A.
- "Object and property in logic, language and metaphysics", 5 Nov 2014, Birmingham, England
- CMNA 2014: Computational Models of Natural Argument, 10 Dec 2014, Krakow, Poland
- W3 Professorship in Algorithms and Complexity, Aachen (Germany), Deadline: 14 Nov 2014
- Graz Young Epistemology and Philosophy of Logic Workshop, 28 Nov 2014, Graz, Austria
- "Constructivism and Computability", 2-6 Mar 2015, Kanazawa, Japan
Received: 2014-10-13:
- 2014 Essay Prize in Informal Logic, Deadline: 31 Oct 2014
- CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity", Deadline: 31 Jan 2015
- Two PhD scholarships in Philosophy of Mind and Cognition, Wollongong (Australia), Deadline: 31 Oct 2014
- Winter School in Abstract Analysis, Section Set Theory, 31 Jan - 7 Feb 2015, Hejnice, Czech Republic
- TACL 2015: Topology, Algebra and Categories in Logic, 15-26 Jun 2015, Salerno, Italy
- Synthese Conference on Qualitative And Quantitative Methods in Formal Epistemology, 20-21 Nov 2014, Amsterdam, The Netherlands
Received: 2014-10-10:
- 8th AISB Symposium on Computing and Philosophy, 20-22 Apr 2015, Canterbury, England
- SAT 2015: Satisfiability Testing, 24-27 Sep 2015, Austin TX, U.S.A.
- Cultures of Mathematics IV, 22-25 Mar 2015, New Delhi, India
- FoLLI workshop sponsorship, Deadline: 1 Dec 2015
- PhD student position in philosophy of cognitive science, Cologne (Germany), Deadline: 1 November 2014
- SoPhA 2015: Societe de philosophie analytique, 17-20 Jun 2015, Montreal QC, Canada
Received: 2014-10-09:
- CMN 2015: Computational Models of Narrative, 26-28 May 2015, Atlanta GA, U.S.A.
- Assistant Professorship in Set Theory, Oxford OH (U.S.A.), Deadline: 15 Nov 2014
- CLC Annual Meet on Logic and Its Applications, 17-19 Oct 2014, Kolkata, India
- "The Philosophers and Mathematics", 29-30 Oct 2014, Lisbon, Portugal
- Assistant Professorship in Logic and Foundations, Boulder CO (U.S.A.), Deadline: 1 Dec 2014
- Position as Maitre de conference in mathematical logic, Paris (France), Deadline: 23 Oct 2014
Received: 2014-10-04:
- CfP special issue of JoLLI: Euler and Venn diagrams, Deadline: 30 Oct 2014
- Deadline extension: EUMAS 2014, 18-19 Dec 2014, Prague, Czech Republic
- "Hegel, Analytic Philosophy and Formal Logic", 17-18 Oct 2014, Fort Wayne IN, U.S.A.
- PhD scholarship in philosophy of cognitive science, Witten/Herdecke (Germany), Deadline: 1 Nov 2014
- Professorship in mathematical foundations of computer science, Natal (Brazil)
- 2nd CfP: AREW, Analogical Reasoning East and West, 24-25 Nov 2014, Heidelberg, Germany
Received: 2014-10-01:
Received: 2014-09-30:
- 1st Munich Graduate Workshop in Mathematical Philosophy, 9-11 April 2015, Munich, Germany
- Postdoctoral position in theoretical linguistics, Goettingen (Germany), Deadline: 1 Nov 2014
- IERTNiL: Indo-European Research Training Network in Logic, 4th funding deadline: 15 Oct 2014
- CiE 2015: Computability in Europe, 29 Jun - 3 Jul 2015, Bucharest, Romania
- SPSP 2015: Society for Philosophy of Science in Practice, 24-26 Jun 2015, Aarhus, Denmark
- Conference in honour of Hugh Woodin's 60th birthday, 17-19 April 2015, Cambridge MA, U.S.A.
Received: 2014-09-24:
- MWPMW 15: Midwest PhilMath Workshop, 18-19 Oct 2014, Notre Dame IN, U.S.A.
- Assistant / Associate Professorship in logic, AI, algorithms, data structures or graph theory, Kungens Lyngby (Denmark), Deadline: 15 Oct 2014
- PhD student scholarships in philosophy of mind and cognition, Wollongong (Australia)
- Lindstroem Lectures 2014: Moschovakis & Moschovakis, 23-24 Oct 2014, Gothenburg, Sweden
- Call for Tutorials: AAMAS 2015, 4-8 May 2015, Istanbul, Turkey
Received: 2014-09-23:
- EPSA 2015: European Association for Philosophy of Science, 23-26 Sep 2015, Duesseldorf, Germany
- AIC 2014: Artificial Intelligence and Cognition, 26-27 Nov 2014, Turin, Italy
- Postdoctoral position in computational logic, Linz (Austria), Deadline: 31 Oct 2014
- Workshop on Connexive Logics, 25-30 Jun 2015, Istanbul, Turkey
Received: 2014-09-21:
- Inductive Logic and Confirmation in Science II, 24-25 Oct 2014, Salt Lake City UT, U.S.A.
- "Epistemic Reasons", 7-8 Nov 2014, Sherbrooke QC, Canada
- PhiLang 2015: Philosophy of Language and Linguistics, 14-16 May 2015, Lodz, Poland
- Workshop in Honour of Hans Kamp, 8 Oct 2014, Nancy, France
- "Wittgenstein's lectures, Cambridge 1930-1933", 18-22 May 2015, Iowa City IA, U.S.A.
- "Mathematical Transgressions", 15-19 Mar 2015, Cracow, Poland
Received: 2014-09-20:
- Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 17-18 Jan 2015, Cambridge, England
- PhD student position in philosophy of technology and science, Braunschweig (Germany), Deadline: 5 Oct 2014
- PhD student position in logic and verification for AI, Utrecht (The Netherlands), Deadline: 20 Oct 2014
- Non-classical abstract logics, 27 Jun 2015, Istanbul, Turkey
- AI*IA 2014 Doctoral Consortium, 11 Dec 2014, Pisa, Italy
- Logic and Philosophy of Mathematical Practice, 11-12 Dec 2014, Brussels, Belgium
Received: 2014-09-16:
- Workshop on Logic and Information, 25-30 Jun 2015, Istanbul, Turkey
- PhD student position in quantum cryptography, Amsterdam (The Netherlands)
- Postdoctoral position in algorithms, Bristol (England), Deadline: 13 Oct 2014
- 2nd CfP: CLMPS 2015, 3-8 August 2015, Helsinki, Finland
- Postdoctoral or predoctoral position in logic in computer science, Kiel (Germany), Deadline: 19 Sep 2014
- Stipendiary Research Fellowship in Logic (among other things) at Corpus Christi College, Cambridge (England), Deadline: 29 Oct 2014
Received: 2014-09-10:
- 2nd CfP: STACS 2015, 4-7 Mar 2015, Garching, Germany
- 3rd CfP: EUMAS 2014, 18-19 Dec 2014, Prague, Czech Republic
- ALC 2015: Asian Logic Conference, 5-8 Jan 2015, Mumbai, India
- Workshop on Medieval Logic, 25-30 Jun 2015, Istanbul, Turkey
- Quantum computation, Quantum information and the exact sciences, 30-31 Jan 2015, Munich, Germany
Received: 2014-09-09:
- Spring Course in Epistemic Game Theory, 22-23 June 2015, Maastricht, The Netherlands
- AAL 2014: Australasian Association of Logic, 29-30 Nov 2014, Christchurch, New Zealand
- 1st Indian Winter School on Diagrams, 27-31 Jan 2015, Kolkata, India
- PhD student position in logic and formal argumentation, Bochum (Germany), Deadline: 15 Oct 2014
- UNILOG 2015: World Congress on Universal Logic, 20-30 June 2015, Istanbul, Turkey
- Postdoctoral position in "Argument Analytics", Dundee (Scotland), Dedline: 30 Sep 2014
Received: 2014-09-07:
- Aristotle's Modal Logic, 18 Sep 2014, Washington DC, U.S.A.
- PhD student position in "Recognizing Trust in Natural Language", Dundee (Scotland), Deadline: 31 Oct 2014
- CfPart JELIA 2014, 24-26 Sep 2014, Madeira, Portugal
- Two positions as associate professor in theoretical philosophy, Bergen (Norway)
- ETAPS 2015: Theory and Practice of Software, 11-18 Apr 2015, London, England
- Perspectives on Spatial Cognition, 12-13 Sep 2014, Riga, Latvia
Received: 2014-09-06:
- Pre-/Postdoctoral position in cryptography, Trier (Germany), Deadline: 5 Oct 2014
- 4th South African Philosophy of Science Colloquium (with a day on formal logic), 15-16 Jan 2015, Pretoria, South Africa
- "Inconsistencies in Scientific Reasoning", 24 Oct 2014, Gent, Belgium
- CfPart "Norms of Reasoning", 22-23 Sep 2014, Bochum, Germany
- CfPart: Proof Theory, Modal Logic and Reflection Principles, Mexico City (Mexico), 29 Sep to 2 Oct 2014
- "Pictures and Proofs", 19-21 Mar 2015, Columbia SC, U.S.A.
- CfP book "Applications of Formal Philosophy", Deadline: 31 Dec 2014
Received: 2014-08-28:
- 4th Parma Workshop on Semantics and Pragmatics, 15 Sep 2014, Parma, Italy
- PIIP 2015: Philosophy of Information and Information Processing, 27 Mar 2015, Oxford, England
- LATA 2015: Language and Automata Theory and Applications, 2-6 Mar 2015, Nice, France
- Axiomatic Theories of Truth, 6 Sep 2014, Neuchatel, Switzerland
- Summer School "The computational turn", 6-17 Jul 2015, Vienna, Austria
- TAMC 2015: Theory and Applications of Models of Computation, 18-20 May 2015, Singapore, Singapore
Received: 2014-08-27:
- AISB Workshop Series: Call for Proposals for AI-related workshops in the UK
- SoTFoM II: Competing Foundations, 12-13 Jan 2015, London, U.K.
- LORI-V: Logic, Rationality and Interaction, 28-31 Oct 2015, Taipei, Taiwan
- Assistant/Associate Professorship in Logic and AI, Kungens Lyngby (Denmark), Deadline: 15 Oct 2014
- RACT 2015: Reasoning, Argumentation & Critical Thinking Instruction, 25-27 Feb 2015, Lund, Sweden
- AST 2014: Amsterdam Workshop on Set Theory (Generalized Baire Space), 3-4 Nov 2014, Amsterdam, The Netherlands
Received: 2014-08-26:
- Postdoctoral position in logic and uncertainty, Cardiff (Wales), Deadline: 2 Sep 2014
- AREW: Analogical Reasoning East & West, 24-25 Nov 2014, Heidelberg, Germany
- W3 Professorship in Theoretical Computer Science, Braunschweig (Germany), Deadline: 30 Sep 2014
- Ruediger Goebel (1940-2014)
- Postdoctoral position in computational complexity, cryptography, quantum information theory or algorithmic game theory, Aarhus (Denmark)
- First announcement: Grigori Mints Memorial Conference, St. Petersburg (Russia), August 2015
Received: 2014-08-17:
- "Modal Epistemology and Metaphysics", 18-20 Sep 2014, Belgrade, Serbia
- CCC 2014: Continuity, Computability, Constructivity, 15-19 Sep 2014, Ljubljana, Slovenia
- LanCog Workshop on Analyticity, 25-26 Sep 2014, Lisbon, Portugal
- 14 PhD student grants in Computer Science, Pisa (Italy), Deadline: 5 Sep 2014
- AISB Convention 2015, 20-22 Apr 2015, Canterbury, U.K.
- 2nd CfP: EUMAS 2014, 18-19 Dec 2014, Prague, Czech Republic
Received: 2014-08-16:
- CfPart Epistemology of Modality, 24-26 Sep 2014, Aarhus, Denmark
- PhD student positions in Dynamics of Language, Canberra (Australia), Deadline: 20 Aug 2014
- W3 Professorship in Theoretical Philosophy, Erlangen (Germany), Deadline: 1 Oct 2014
- CfPart ICTCS 2014, 17-19 Sep 2014, Perugia, Italy
- CfPart CL 2014, 4-6 Sep 2014, Neubiberg, Germany
- Postdoctoral position in efficient algorithms, Munich (Germany)
Received: 2014-08-06:
- Senior Lectureship in Theoretical Philosophy, Uppsala (Sweden), Deadline: 15 Sep 2014
- Panel on Philosophy of Language and Buddhism at APA Central, 18-21 Feb 2015, St. Louis MO, U.S.A.
- temporary position (3y) as Lecturer/Researcher in Logic, Amsterdam (The Netherlands), Deadline: 17 Sep 2014
- 4th International Congress on Tools for Teaching Logic, 1-4 Jun 2015, Rennes, France
- Four temporary full professorships in mathematics as "Bonn Junior Fellows", Bonn (Germany), Deadline: 11 Oct 2014
- Head of Science Programmes at ICSU, Paris (France), Deadline: 11 Aug 2014
Received: 2014-07-27:
- CfP special issue of 'Discipline filosofiche' on philosophical analysis and experimental philosophy, Deadline: 31 Dec 2014
- Call for Demonstrations; TSD 2014: Text, Speech and Dialogue, 8-12 Sep 2014, Brno, Czech Republic
- Head librarian at the Max-Planck-Institute for the History of Science, Berlin (Germany), Deadline: 15 Sep 2014
- Two temporary lectureships in philosophy, Durham (U.K.), Deadline: 26 Aug 2014
- IERTNiL: Indo-European Research Training Network in Logic: 3rd Deadline, 1 Aug 2014
- CfP special issue of JoLLI on "Euler and Venn diagrams", Deadline: 30 Oct 2014
Received: 2014-07-22:
- STACS 2015: Theoretical Aspects of Computer Sciences, 4-7 Mar 2015, Garching, Germany
- CfPart: WoLLIC 2014, 1-4 Sep 2014, Valparaiso, Chile
- Cultures of Mathematics IV, 22-25 Mar 2015, New Delhi, India
- New book series: Philosophy of Mathematics and Physics, Pickering & Chatto
- Temporary Lectureship in metaphysics and philosophy of science, Bristol (U.K.), Deadline: 28 Jul 2014
- PhD student position in epistemology / philosophy of science, Freiburg (Germany), Deadline: 12 Sep 2014
Received: 2014-07-20:
- 1st Indian Winter School on Diagrams, 27-31 Jan 2015, Kolkata, India
- PROGIC 2015: Probability and Logic, 22-24 April 2015, Canterbury, England
- Seven PhD student positions in "Language in Interaction", The Netherlands, Deadline: 30 Sep 2014
- Bursary for postgraduate study in computational, mathematical or philosophical logic, Pretoria (South Africa), Deadline: 30 Oct 2014
- Postdoctoral position in categorical methods in computer science, Braunschweig (Germany)
- PhD student position in programming, modelling and verification of concurrent software, Bamberg (Germany)
Received: 2014-07-04:
- Temporary (1y) lectureship in philosophy, Sheffield (U.K.)
- PhD student positions in Semantic Web, Dayton OH (U.S.A.)
- Postdoctoral position and PhD student positions in philosophy, Oslo (Norway)
- PhD funding opportunities in theoretical computer science, Birmingham (U.K.)
- ODLS 2014: Ontologies and Data in Life Sciences, 7-8 Oct 2014, Freiburg, Germany
- DEON 2014: Deontic logic and normative systems, 12-15 Jul 2014, Gent, Belgium
Received: 2014-06-29:
- "Science: Big Questions Revisited", Symposium on the occasion of Paul Hoyningen-Huene's retirement, 18 Jul 2014, Hannover, Germany
- Reasoning, Argumentation and Critical Thinking Instruction, 25-27 Feb 2015, Lund, Sweden
- Joachim Lambek (1922-2014)
- CfP special issue of Topoi on "Epistemic modals and the epistemology of modality", Deadline: 15 Mar 2015
- BICT 2014: Bio-inspired information anc communication technologies, 1-3 Dec 2014, Boston MA, U.S.A.
- "The applicability of mathematics as a philosophical problem", 1-3 Jul 2014, Leipzig, Germany
Received: 2014-06-26:
- Perspectives on Introspection and Self-Knowledge, 3-4 Jul 2014, Tuebingen, Germany
- Postdoctoral position based on formal concept analysis in biomarker identification, Clermond-Ferrand (France)
- PhD student position in integrated history and philosophy of science, Durham (England)
- Postdoctoral position in decision making and learning in combinatorial games, New York NY (U.S.A.)
- BELUX2 Colloquium: "Epistemic normative reasons", 9-10 Jul 2014, Luxembourg, Luxembourg
- PhD student positions in computer science (including agents, complexity theory, logic), Liverpool (England), Deadline: 1 Aug 2014
Received: 2014-06-24:
- Postdoctoral position in mathematical logic (3y), Freiburg (Germany), Deadline: 25 July 2014
- CfPart: MFCS 2014, 25-29 Aug 2014, Budapest, Hungary
- EUMAS 2014: Multi-Agent Systems, 18-19 Dec 2014, Prague, Czech Republic
- Postdoctoral position in programming language theory (36m)
- Postdoctoral positions in logics for intelligent agents, Luxembourg (Luxembourg), Deadline: 7 Jul 2014
- STACS 2015: Theoretical Aspects of Computer Science, 4-7 Mar 2015, Garching, Germany
Received: 2014-06-14:
- KIK Workshop "Higher-level cognition and computation", 23 Sep 2014, Stuttgart, Germany
- Final CfP: CL 2014, 4-6 Sep 2014, Neubiberg bei Muenchen, Germany
- 8th Arche Graduate Conference, 8-9 Nov 2014, St. Andrews, Scotland
- BLAST 2015: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free topology, 5-9 Jan 2015, Las Cruces NM, U.S.A.
- ISAAC 2014: Algorithms and Computation, 15-17 Dec 2014, Jeonju, Korea
Received: 2014-06-11:
Received: 2014-06-10:
Received: 2014-06-09:
- M.A. Programme in Logic and Theory of Science, Budapest (Hungary), Deadline: 22 Aug 2014
- ECSI 2014: Social Intelligence, 3-5 Nov 2014, Barcelona, Spain
- "Reasoning about other minds", 4-5 Aug 2014, Groningen, The Netherlands
- FLoC workshop on proof complexity, 12-13 Jul 2014, Vienna, Austria
- ERCIM STM WG 2014 Award for the best PhD thesis on security and trust management, Deadline: 7 Jul 2014
- CLA 2014: Concept Lattices and their Applications, 7-10 Oct 2014, Kosice, Slovakia
Received: 2014-06-06:
- new journal: Journal of the American Philosophical Association
- FoCAS 2014: Fundamentals of Collective Adaptive Systems, 8 Sep 2014, London, U.K.
- SoTFoM: Foundations of Mathematics, 7-8 Jul 2014, Vienna, Austria
- Deadline Extension: RP 2014, 22-24 Sep 2014, Oxford, U.K.
- ECA 2015: European Conference on Argumentation, 9-12 Jun 2015, Lisbon, Portugal
- ANP 2014: Arthur Prior Centenary Conference, 21-22 Aug 2014, Oxford, U.K.
Received: 2014-06-05:
- LENSL 11: Logic and Engineering of Natural Language Semantics, 22-24 Nov 2014, Kanagawa, Japan
- CfPart IJCAR 2014, 19-22 Jul 2014, Vienna, Austria
- Fixed-term lectureship in Philosophy of Science, Leeds (U.K.), Deadline: 10 Jun 2014
- One or two lectureships in Philosophy of Mind, Language or Science, Johannesburg (South Africa), Deadline: 12 Jun 2014
- Reactive Systems: David Harel's 64th birthday, 23 Jul 2014, Vienna, Austria
- CfPart: LCC 2014/ImmermanFest, 12-13 Jul 2014, Vienna, Austria
Received: 2014-06-04:
- PhD student position in social ontology, Leuven (Belgium), Deadline: 15 Jul 2014
- CfPart AiML 2014, 5-8 Aug 2014, Groningen, The Netherlands
- CfPart 9th Scandinavian Logic Symposium, 25-27 Aug 2014, Tampere, Finland
- Logics for Social Behaviour, 10-14 Nov 2014, Leiden, The Netherlands
- Tenured positions in algebra or logic or set theory, Salvador, Bahia (Brazil), Deadline: 3 Jul 2014
- Master in Logic and Philosophy of Science, Salamanca, Santiago de Compostela, Valladolid, La Laguna, Granada, A Coruna, Valencia (Spain)
Received: 2014-05-31:
Received: 2014-05-27:
- CfPart SILFS 2014, 18-20 Jun 2014, Rome, Italy
- CfPart LACL 2014, 18-20 Jun 2014, Toulouse, France
- ICAART 2015: Agents and Artificial Intelligence, 10-12 Jan 2015, Lisbon, Portugal
- Doxastic Agency & Epistemic Responsibility, 2-3 Jun 2014, Bochum, Germany
- CfPart "Logic, Grammar & Meaning", 7-9 Jun 2014, Norwich, U.K.
- CfPart LOFT 2014, 27-30 Jul 2014, Bergen, Norway
Received: 2014-05-24:
- Aesthetics in Mathematics, 5-7 Dec 2014, Norwich, U.K.
- RP 2014: Reachability Problems, 22-24 Sep 2014, Oxford, U.K.
- Summer School on Computational Logic, 17-18 Jul 2014, Vienna, Austria
- CfPart Isabelle Workshop and Tutorial, 13 Jul 2014, Vienna, Austria
- Postdoctoral position on "The roots of deduction", Groningen (The Netherlands)
- Lectureship in Philosophical Logic / Philosophy of Language, Durham (U.K.)
Received: 2014-05-15:
- ICLA 2015: Indian Conference on Logic and its Applications, 8-10 Jan 2014, Mumbai, India
- Predicate approaches to modality, 12 Sep 2014, Munich, Germany
- PhD student fellowships in "Philosophy, Science and the Sciences", Berlin (Germany), Deadline: 9 Jun 2014
- Final CfP: Modal Syllogistic, 11-13 Sep 2014, Lisbon, Portugal
- AI*IA 2014 Doctoral Consortium, 11 Dec 2014, Pisa, Italy
Received: 2014-05-14:
- OCL 2014: OCL and Textual Modelling, 28-30 Sep 2014, Valencia, Spain
- Call for Project Proposals at ZiF, Bielefeld (Germany), Deadline: 1 Oct 2014
- Final CfP: JELIA 2014, 24-26 Sep 2014, Madeira, Portugal
- "Frege's Real Numbers", 27 May 2014, Milano, Italy
- Call for Short Presentations: AiML 2014, 5-8 Aug 2014, Groningen, The Netherlands
- 2nd CfP: XVI SLALM, 28 Jul - 1 Aug 2014, Buenos Aires, Argentina
Received: 2014-05-13:
- Figurative language: its patterns and meanings in domain-specific discourse, 18-19 Aug 2014, Birmingham, U.K.
- 2nd IAOA Summer School on Ontological Analysis, 15-19 Sep 2014, Vitoria, Brazil
- Final Call for Proposals: ESSLLI 2015, 3-14 Aug 2015, Barcelona, Spain
- Ten years of "Logical Methods in Computer Science"
- Postdoctoral position in epistemology, Leuven (Belgium), Deadline: 30 May 2014
- "Logik der Musik -- Musikalische Logik", 12-13 Jun 2014, Cottbus, Germany
Received: 2014-05-12:
- Inconsistency Robustness 2014, 29-31 Jul 2014, Stanford CA, U.S.A.
- Full professorship in computer science, Warwick (U.K.)
- Postdoctoral position on "Program Reasoning with Nominal Game Semantics", London (U.K.), Deadline: 17 May 2014
- 2014 teorema essay prize for young scholars: "Belief without Evidence", Deadline: 1 Dec 2014
- CfP special issue of Annals of Mathematics and Artificial Intelligence on "Mathematical Theories of Natural Language Processing", Deadline: 31 Jul 2014
- Wittgenstein & Epistemology, 5-6 Jun 2014, Edinburgh, Scotland
Received: 2014-05-10:
- RP 2014: Reachability Problems, 22-24 Sep 2014, Oxford, U.K.
- Argument Mining, 9-10 Jul 2014, Dundee, Scotland
- FilMat: Philosophy of Mathematics: Objectivity, Cognition and Proof, 29-31 May 2014, Milan, Italy
- The Notion of Proof, 8 Jul 2014, Coimbra, Portugal
- Categories and Logical Syntax, 1 Jul 2014, Leiden, The Netherlands
- The Making of the Humanities IV, 16-18 Oct 2014, Rome, Italy
Received: 2014-05-06:
- FCA4AI 2014: What can FCA do for AI?, 19 Aug 2014, Prague, Czech Republic
- Lectureship in analytic philosophy, Dunedin (New Zealand), Deadline: 4 Jul 2014
- Charles Sanders Peirce, Logic and Metaphysics, The Paris Centennial Conference, 12 May 2014, Paris, France
- Call for Volunteers: Conference on Computational Complexity (CCC)
- Assistant Professorship in Philosophy of Science, Amsterdam (The Netherlands), Deadline: 29 May 2014
- Call for nominations: Editor-in-Chief ACM Transactions on Algorithms
Received: 2014-05-01:
- 2nd CfP: ALT 2014, 8-10 Oct 2014, Bled, Slovenia
- Third Reasoning Club Conference, 23-24 Jun 2014, Canterbury, U.K.
- FLoC workshop on proof complexity, 12-13 Jul 2014, Vienna, Austria
- Deadline extension, PSC 2014, 17-18 Jul 2014, Vienna, Austria
- CfPart: Mathematising Science 2, 1-3 Jun 2014, Norwich, U.K.
- 2nd CfP: CIGAR, 22 Sep 2014, Rio de Janeiro, Brazil
Received: 2014-04-30:
- Postdoctoral position in model checking or computational logic, Kassel (Germany), Deadline: 15 May 2014
- PhD student position in applying formal reasoning to security problems, Luxembourg (Luxembourg), Deadline: 22 Jun 2014
- extended deadline: Logic and Games, 15 Jul 2014, Vienna, Austria
- STAIRS 2014: Starting AI Researcher Symposium, 18-19 Aug 2014, Prague, Czech Republic
- Lectureship in Philosophy of Science (.6 fte), Groningen (The Netherlands), Deadline: 26 May 2014
- DHCS 2014: Chicago Colloquium on Digital Humanities and Computer Science, 23-24 Oct 2014, Evanston IL, U.S.A.
Received: 2014-04-23:
- Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, Germany
- NVTI Theory Day, 16 May 2014, Utrecht, The Netherlands
- Proof Theory, Modal Logic and Reflection Principles, Mexico City (Mexico), 29 Sep to 2 Oct 2014
- 4th Summer School on Formal Techniques, 19-23 May 2014, Atherton CA, U.S.A.
- 2nd Workshop of the Turing Centenary Research Project: Mind, Mechanism and Mathematics, 12-14 May 2014, New York NY, U.S.A.
- PhD student position in a project relating to set theory and theories of truth, Aberdeen (Scotland)
Received: 2014-04-20:
Received: 2014-04-19:
- C.S.Pierce: Logic and Metaphysics, 12 May 2014, Paris, France
- SOPhiA 2014: Salzburg Conference for Young Analytic Philosophy, 4-6 Sep 2014, Salzburg, Austria
- ICLA 2015: Indian Conference on Logic and its Applications, 8-10 Jan 2015, Mumbai, India
- PhD student position and postdoctoral position in Situated Cognition, Bochum (Germany), Deadline: 30 Apr 2014
- Descriptive Set Theory, 9 May 2014, Lausanne, Switzerland
Received: 2014-04-17:
- Postdoctoral position (1y) in semantics of programming languages and logic in computer science, Lyon (France), Deadline: 4 May 2014
- Summer School on "Individuals and Indeterminacy", Bamberg (Germany), 28 Jul to 8 Aug 2014
- Final CfP: Scandinavian Logic Symposium 2014, 25-27 Aug 2014, Tampere, Finland
- Research fellowship / assistant professorship in knowledge representation, Bolzano (Italy)
- Postdoctoral and PhD student position in logic, Gothenburg (Sweden), Deadlines: 19 / 12 May 2014
- ED 2014: Euler Diagrams, 28 Jul 2014, Melbourne, Australia
Received: 2014-04-15:
- Hegel's Logic and Metaphysics, 1-2 May 2014, Warwick, U.K.
- ECAP8: European Conference on Analytic Philosophy, 28 Aug - 2 Sep 2014, Bucharest, Romania
- WoMO 2014: Modular Ontologies, 22 Sep 2014, Rio de Janeiro, Brazil
- CLIMA XV: Computational Logic in Multi-Agent Systems, 18-19 Aug 2014, Prague, Czech Republic
- "Higher-Level Cognition and Computation", Stuttgart (Germany) 23 Sep 2014
- QUANTIFY 2014: Workshop on Quantification, 18 Jul 2014, Vienna, Austria
Received: 2014-04-14:
- PhD student position in verification of asynchronous distibuted systems, Bordeaux (France)
- CLA 2014: Concept Lattices and their applications, 7-10 Oct 2014, Kosice, Slovakia
- KInAR: Knowledge Intensive Automated Reasoning, 17 Jul 2014, Vienna, Austria
- CfP special issue of Topoi on Presuppositions, Deadline: 15 May 2014
- Fibrations in computing 2014 (Fibs'14), 23-24 Jun 2014, Glasgow, Scotland
Received: 2014-04-13:
Received: 2014-04-12:
- Inductive Logic and Confirmation in Science II, 24-25 Oct 2014, Salt Lake City UT, U.S.A.
- Professorship in analytic philosophy (philosophy of language), Vienna (Austria), Deadline extension to 30 Apr 2014
- Professorship in Computational Linguistics, Lancaster (U.K.), Deadline: 18 May 2014
- PhD position in software verification, Paris (France)
- Colloquium of Philosophy of Logic (at XVI SLALM), 29 Jul 2014, Buenos Aires, Argentina
- Epistemology of Modality, 24-26 Sep 2014, Aarhus, Denmark
Received: 2014-04-11:
- PhD student position in theory of higher-order verification, London (U.K.), Deadline: 31 May 2014
- Final Call for Informal Presentations: CiE 2014, 23-27 Jun 2014, Budapest, Hungary
- Agent-based modeling in philosophy, 11-13 Dec 2014, Munich, Germany
- Three PhD student positions in theoretical philosophy, logic and philosophy of science, Gothenburg (Sweden), Deadline: 12 May 2014
- Info-Metrics workshop on philosophy of information and information processing, 27 Mar 2015, Oxford, U.K.
- XVI SLALM: Simposio Latinoamericano de Logica Matematica, 28 Jul - 1 Aug 2014, Buenos Aires, Argentina
Received: 2014-04-07:
- RLTLN 2014: Reseaux Lexicaux et Traitement des Langues Naturelles, 1 Jul 2014, Marseille, France
- Doxastic Agency and Epistemic Responsibility, 2-3 Jun 2014, Bochum, Germany
- PhD student position in theoretical philosophy, Stockholm (Sweden), Deadline: 15 Apr 2014
- PSC 2014: Proof, Structure and Computation, 17-18 Jul 2014, Vienna, Austria
- CfP special issue of Opiniao Filosofica on logic and epistemology in Kant and Hegel, Deadline: 31 May 2014
- ICTCS 2014: Italian Conference on Theoretical Computer Science, 17-19 Sep 2014, Perugia, Italy
Received: 2014-04-06:
- Postdoctoral position in philosophy of science (including mathematics), Bielefeld (Germany), Deadline: 15 Apr 2014
- CLMPS XV: Logic, Methodology and Philosophy of Science, 3-8 Aug 2015, Helsinki, Finland
- Postdoctoral position in mathematical logic, Utrecht (The Netherlands), Deadline: 1 May 2014
- Issues in Aristotle's modal ontology, logic and moral epistemology, 28 Apr 2014, Helsinki, Finland
- Retirement event Johan van Benthem, 26-27 Sep 2014, Amsterdam, The Netherlands
- PhD student and postdoctoral positions in epistemic protocol analysis, Nancy (France), Deadline: 15 May 2014
Received: 2014-04-03:
- AST 2014: Applications of Semantic Technologies, 22 Sep 2014, Stuttgart, Germany
- European PhD Program in Computational Logic (EPCL), Bolzano/Dresden/Wien/Lisbon (Italy/Germany/Austria/Portugal), Deadline: 30 Apr 2014
- Ramsey Theory Conference, 24-28 May 2014, Denver CO, U.S.A.
- 6th International Summer School in Cognitive Sciences and Semantics: Quantum computing, logic and cognition, 27-29 Jul 2014, Riga, Latvia
- SIFA 2014: Filosofia, Analisi, Impegno Pubblico, L'Aquila (Italy), 3-5 Sep 2014
- Postdoctoral position in theoretical philosophy, Konstanz (Germany), Deadline: 20 Apr 2014
Received: 2014-03-30:
- Workshop on Propositions, 7-8 May 2014, Leeds, U.K.
- CfPart Amsterdam Quantum Logic Workshop, 31 Mar - 2 Apr 2014, Amsterdam, The Netherlands
- CfPart PhDs in Logic VI, 24-25 Apr 2014, Utrecht, The Netherlands
- Mathematical Depth Workshop, 11-12 Apr 2014, Irvine CA, U.S.A.
- Call for Volunteers: Vienna Summer of Logic, 9-24 Jul 2014, Vienna, Austria
- Logics for Games and Strategic Reasoning and Social Choice, 18-19 Aug 2014, Prague, Czech Republic
Received: 2014-03-24:
- PhD student fellowship in epistemology, Leuven (Belgium), Deadline: 30 May 2014
- Summer School in Epistemology and Cognition, 25-29 Aug 2014, Groningen, The Netherlands
- AGI'14: Artificial General Intelligence, 1-4 Aug 2014, Quebec City QC, Canada
- CfP special issue of MSCS on "Continuity, Computability, Constructivity", Deadline: 31 March 2014
- Hegel's Logic and Metaphysics, 1-2 May 2014, Warwicj, U.K.
- CfPart LAMAS 2014, 5 May 2014, Paris, France
Received: 2014-03-21:
- Postdoctoral fellowship in epistemology, Leuven (Belgium), Deadline: 30 May 2014
- CSLP 2014: Constraint Solving and Language Processing, 17-18 Jun 2014, Toulouse, France
- Tenured position as lecturer (maitre de conference) in automated reasoning, Toulouse (France)
- Doxastic Agency & Epistemic Responsibility, 2-3 Jun 2014, Bochum, Germany
- 2nd Frege@Stirling Workshop, 10-11 May 2014, Stirling, Scotland
- Postdoctoral position in statistical machine translation, Amsterdam (The Netherlands), Deadline: 1 June 2014
Received: 2014-03-19:
- Highlights of Logic, Games and Automata, 2-5 Sep 2014, Paris, France
- 3rd CfP & extneded deadline: Trends in Logic XIII, 2-5 Jul 2014, Lodz, Poland
- ARQNL 2014: Automated Reasoning in Quantified Non-Classical Logics, 23 Jul 2014, Vienna, Austria
- CL 2014: Colloquium Logicum, 4-6 Sep 2014, Neubiberg, Germany
- PhD student position in mathematical game theory and model-based testing, Twente (The Netherlands), Deadline: 7 Apr 2014
- KI 2014: German Conference on Artificial Intelligence, 22-26 Sep 2014, Stuttgart, Germany
Received: 2014-03-18:
- FLoC workshop on proof complexity, 12-13 Jul 2014, Vienna, Austria
- Final CfP: TSD 2014, 8-12 Sep 2014, Brno, Czech Republic
- PhD student position in theoretical philosophy, Stockholm (Sweden), Deadline: 15 Apr 2014
- PhD student position in hybrid-logical proofs at work in cognitive psychology, Roskilde (Denmark)
- IDAS: Information Dynamics in Artificial Societies, 18-22 Aug 2014, Tuebingen, Germany
- Logic, Dynamics, and their interaction II, 2-6 Jun 2014, Denton TX, U.S.A.
Received: 2014-03-14:
- W3 Professorship in Theoretical Computer Science, Passau (Germany), Deadline: 10 Apr 2014
- DL 2014: Description Logics, 17-20 Jul 2014, Vienna, Austria
- W3 Professorship Theoretical Philosophy (Philosophy of Science), Siegen (Germany), Deadline: 10 Apr 2014
- W3 Professorship in Theoretical Computer Science, Hamburg (Germany), Deadline 17 Apr 2014
- LACL 2014: Logical Aspects of Computational Linguistics, 18-20 June 2014, Toulouse, France
- 6th ISSCSS: Quantum computing, logic, cognition, 27-29 Jul 2014, Latvia, Riga
Received: 2014-03-13:
- ICTAC 2014: Theoretical Aspects of Computing, 17-20 Sep 2014, Bucharest, Romania
- NVTI Theory Day 2014, 16 May 2014, Utrecht, The Netherlands
- Research Assistantship in formal understanding of creativity, Barcelona (Spain), Deadline: 31 Mar 2014
- CfP special issue of JLC on "Logics for Resources, Processes and Programs, Deadline: 31 Mar 2014
- 2nd CfP: ESSLLI Student Session, 11-22 Aug 2014, Tuebingen, Germany
- MFCS 2014: Mathematical Foundations of Computer Science, 25-29 Aug 2014, Budapest, Hungary
Received: 2014-03-12:
- Six PhD student positions in ITN ESSENCE (Evolution of Shared Semantics in Computational Environments), Edinburgh/Trento/Barcelona/Madrid (Scotland/Italy/Spain)
- extended deadline: NASSLLI 2014, Student Session, 23-27 Jun 2014, College Park MD, U.S.A.
- Call for Proposals: ESSLLI 2015, European Summer School for Logic, Language and Information, 3-14 Aug 2015, Barcelona, Spain
- Carnegie Mellon Summer School in Logic and Formal Epistemology, 2-20 Jun 2014, Pittsburgh PA, U.S.A.
- 9th Scandinavian Logic Symposium, 25-27 August 2014, Tampere, Finland
- 2nd CfP: LATD 2014, 16-19 Jul 2014, Vienna, Austria
Received: 2014-03-11:
- PAAR 2014: Practical Aspects of Automated Reasoning, 23 Jul 2014, Vienna, Austria
- Summer School on the Foundations of Logic and Mathematics, 18-24 Jun 2014, Aberdeen, Scotland
- Call for Nominations: E W Beth Prize, Deadline: 5 May 2014
- CfP special issue of Mind & Machines on "Algorithmic Randomness", Deadline: 31 May 2014
- ECAP8: Analytic Philosophy, 28 Aug - 2 Sep 2014, Bucharest, Romania
- Automated Reasoning Workshop & Deduktionstreffen, 23-24 Jul 2014, Vienna, Austria
Received: 2014-03-09:
- DARe@ECAI 2014: Defeasible and Ampliative Reasoning, 19 Aug 2014, Prague, Czech Republic
- CTF 2014: Concept Types and Frames in Language, Cognition and Science, 25-27 Aug 2014, Duesseldorf, Germany
- EASLLC 2014: East-Asian School on Logic, Language and Computation, 2-8 Jul 2014, Beijing, China
Received: 2014-03-08:
- PhD student position in Algorithms, Oxford (England)
- AiML 2014: Advances in Modal Logic, 5-8 Aug 2014, Groningen, The Netherlands
- 2nd CfP: LATD 2014, 16-19 Jul 2014, Vienna, Austria
- Two PhD student positions in verification, Paris (France)
- Special session on "Logics for agreement technologies" at CLIMA XV, 18-19 Aug 2014, Prague, Czech Republic
- Assistant professorship in Philosophy of Science, Amsterdam (The Netherlands), Deadline: 4 Apr 2014
Received: 2014-03-07:
- Third international conference on the History of Logic in China, 26-28 Apr 2014, Tianjin, China
- W3 Professorship in Theoretical Computer Science, Passau (Germany), Deadline: 10 Apr 2014
- Call for Informal Presentations: CiE 2014, 23-27 Jun 2014, Budapest, Hungary
- PhD student grants in all subjects of the humanities, Hamburg (Germany), Deadline: 30 Apr 2014
- PhD student position in quantum cryptography, Amsterdam (The Netherlands), Deadline: 30 Apr 2014
- FPMW 6: French Philosophy of Mathematics Workshop, 9-11 Oct 2014, Toulouse, France
Received: 2014-03-06:
- CWAP 2014: Cracow Workshop in Analytical Philosophy, "Normativity of meaning, belief and knowledge", 4-6 Jun 2014, Cracow, Poland
- Semantic content workshop, 6-8 Sep 2014, Barcelona, Spain
- CIGAR: Concept Invention, Generation, Adaptation, and Representation, 22 Sep 2014, Rio de Janeiro, Brazil
- BCAP 2014: Bucharest Colloquium in Analytic Philosophy, "Logic and its philosophy", 3-4 Sep 2014, Bucharest, Romania
- Assistant / Associate Professorship in Logic and Philosophy of Science, Irvina CA (U.S.A.), Deadline: 30 Mar 2014
- Postdoctoral position in "legal structures", Amsterdam (The Netherlands), Deadline: 20 Mar 2014
Received: 2014-03-05:
- IWSBP 2014: Boolean Problems, 17-19 Sep 2014, Freiberg, Germany
- Two postdoctoral researcher positions in "models and inferences in science; logical, epistemological and cognitive aspects", Rome (Italy), Deadline: 8 Apr 2014
- PTC 2014: Proof, Truth, Computation, 20-25 Jul 2014, Chiemsee, Germany
- PRUV 2014: Logics for Reasoning about Preferences, Uncertainty and Vagueness, 23-24 Jul 2014, Vienna, Austria
- Senior Lectureship in Metaphysics / Epistemology, Liege (Belgium), Deadline: 4 Apr 2014
- PhD student position in algorithmics, Amsterdam (The Netherlands), Deadline: 30 Apr 2014
Received: 2014-03-04:
- APPROX & RANDOM 2014: Approximation Algorithms for Combinatorial Optimization Problems & Randomization and Computation, 4-6 Sep 2014, Barcelona, Spain
- LanCog Workshop on Analyticity, 25-26 Sep 2014, Lisbon, Portugal
- PhD student position in "Algebra and Logic for Policy and Utility in Information Security", London (U.K.)
- Postdoctoral fellowship in philosophy of mathematics (1y), Nancy (France), Deadline: 30 Apr 2014
- Postdoctoral position in set theory (16m), Torino (Italy), Deadline: 19 Mar 2014
- Newton International Fellowships of the British Academy, Deadline: 10 Mar 2014
Received: 2014-02-25:
- Assistant professorship and three postdoctoral fellowships in mathematical philosophy, Munich (Germany), Deadline: 25 Mar 2014
- PhD student position in foundations of computing, London (U.K.)
- ALT 2014: Algorithmic Learning Theory, 8-10 Oct 2014, Bled, Slovenia
- Workshop on Computability Theory, 3-4 Jul 2014, Prague, Czech Republic
- GandALF 2014: Games, Automata, Logics, and Formal Verification, 10-12 Sep 2014, Verona, Italy
- CCA 2014: Computability and Complexity in Analysis, 21-24 Jul 2014, Darmstadt, Germany
Received: 2014-02-23:
- JELIA 2014: Logics in Artificial Intelligence, 24-26 Sep 2014, Madeira, Portugal
- Final CfP DEON 2014, 12-15 Jul 2014, Gent, Belgium
- Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, Germany
- PhD student positions in Computer Science (including one in formal methods), Gothenburg (Sweden), Deadline: 31 Mar 2014
- Workshop on Modal Syllogistics, 11-13 Sep 2014, Lisbon, Portugal
- MoT1: Makings of Truth, "Grounding: For and Against", 9-10 Jun 2014, Barcelona, Spain
Received: 2014-02-22:
- Workshop on Logic and Games, 15 Jul 2014, Vienna, Austria
- 2nd Logic and Language Conference, 21-22 Mar 2014, London, U.K.
- Position as scientific assistant (.5 fte, 2y) in formal ontology, Saarbruecken (Germany), Deadline: 31 Mar 2014
- LOFT11: Logic and the Foundations of Game and Decision Theory, 27-30 July 2014, Bergen, Norway
- LMS Lecture series on Games, Trees, Models, Second Order Logic, Foundations of Mathematics, and Dependence, London & Norwich (U.K.), 14-17 Apr 2014
- "Towards an epistemology of understanding", 21-22 Mar 2014, Berne, Switzerland
Received: 2014-02-21:
- Petrus Hispanus Lectures on "The Origin of Concepts", Lisbon (Portugal), 27 & 29 May 2014
- Professorship of Formal Foundations of Artificial Intelligence, Vienna (Austria), Deadline: 19 Mar 2014
- IERTNiL: Indo-European Research Network in Logic, 2nd deadline: 1 April 2014
- Postdoctoral position in set theory, Torino (Italy)
- Two PhD student positions in concept invention theory, Magdeburg (Germany), Deadline: 28 Feb 2014
- PCC 2014: Proof, Computaation and Complexity, 15-16 May 2014, Paris, France
Received: 2014-02-14:
- Analysis Studentship 2014/15 in philosophy, Deadline: 11 Apr 2014
- CNL 2014: Controlled Natural Language, 20-22 Aug 2014, Galway, Ireland
- ED 2014: Euler Diagrams, 28 Jul 2014, Melbourne, Australia
- IACAP 2014: Computing and Philosophy, 2-4 Jul 2014, Thessaloniki, Greece
- UITP 2014: User Interfaces for Theorem Provers, 17 Jul 2014, Vienna, Austria
- PhD student positions (up to 13) in History and Philosophy of Science, Vienna (Austria), Deadline: 17 Mar 2014
Received: 2014-02-13:
- Russell Visiting Professorship, Hamilton ON (Canada), Deadline: 30 Apr 2014
- Workshop on Abstractionism / Neologicism, 26-27 Apr 2014, Storrs CT, U.S.A.
- IDAS@ESSLLI2014: Information Dynamics in Artificial Societies, 18-22 Aug 2014, Tuebingen, Germany
- new journal: SAJL, South American Journal of Logic
- (INT)7, Intelligent Narrative Technologies, 17-18 Jun 2014, Milwaukee WI, U.S.A.
- Lectureship in Philosophy (teaching needs in logic), London (U.K.), Deadline: 12 Mar 2014
Received: 2014-02-12:
- Postdoctoral position in computational logic, Vienna (Austria), Deadline: 7 Mar 2014
- Gentzen Systems and Beyond, 13 Jul 2013, Vienna, Austria
- CCR 2014: Computability, Complexity and Randomness, 9-13 Jun 2014, Singapore, Singapore
- KI 2014: German Conference on Artificial Intelligence, 22-26 Sep 2014, Stuttgart, Germany
- 10th International Symposium of Cognition, Logic and Communication, 12-13 Sep 2014, Riga, Latvia
- WoDOOM 2014: Debugging Ontologies and Ontology Mappings, Anissaras/Hersonissou (Greece), 26 May 2014
Received: 2014-02-11:
- Academy Colloquium and Master Class in Dependence Logic, 3-6 Mar 2014, Amsterdam, The Netherlands
- Research workshop on Logical and Modal Space, 11-13 Apr 2014, New York NY, U.S.A.
- LCC 2014: Logic and Computational Complexity + Immerman's 60th Birthday, 12-13 Jul 2014, Vienna, Austria
- Symposium on the Foundations of Mathematics, 7-8 Jul 2014, Vienna, Austria
- Tenure-track assistant professorship in theoretical computer science, Stockholm (Sweden), Deadline: 24 Feb 2014
- BCTCS 2014: British Colloquium for Theoretical Computer Science, 9-11 Apr 2014, Loughborough, England
Received: 2014-01-31:
- Correctness by Construction, 24-27 Mar 2014, Genova, Italy
- Hypothetical Reasoning, 23-24 Aug 2014, Tuebingen, Germany
- 6th Workshop in the Philosophy of Information, 15-16 May 2014, Durham NC, U.S.A.
- Professorship in Mathematics, Helsinki (Finland), Deadline: 25 Mar 2014
- W3 Professorship in Theoretical Computer Science, Hagen (Germany), Deadline: 13 March 2014
- Postdoctoral position in resource reasoning, London (U.K.)
Received: 2014-01-30:
- HSTW 2014: Hamburg Set Theory Workshop, 10 Feb 2014, Hamburg, Germany
- Visiting Professorship (4 months) in theoretical philosophy, Vienna (Austria), Deadline: 11 Feb 2014
- CNL 2014: Controlled Natural Language, 20-22 Aug 2014, Galway, Ireland
- Set Theory Workshop & Thematic Session, Bedlewo & Poznan (Poland), 14-20 Sep 2014
- Vienna Summer of Logic, 9-24 Jul 2014, Vienna, Austria
- Deadline extension: INFTY final conference, 4-7 March 2014, Bonn, Germany
Received: 2014-01-24:
- 9th Scandinavian Logic Symposium, 25-27 Aug 2014, Tampere, Finland
- Postdoctoral position in formal methods, Kungens Lyngby (Denmark), Deadline: 10 Feb 2014
- Call for Nominations: Herbrand Award
- Full Professorship in analytical philosophy (philosophy of language), Vienna (Austria), Deadline: 31 Mar 2014
- Workshop on descriptive inner model theory, 9-13 Jun 2014, Berkeley CA, U.S.A.
- (Tenure-track) Assistant Professorship in Theoretical Philosophy, Vienna (Austria), Deadline: 12 Feb 2014
Received: 2014-01-23:
- Functions, Proofs, Constructions, 21-23 Feb 2014, Tuebingen, Germany
- Postdoctoral position in model checking, Leicester (England)
- Postdoctoral position in proof theory, Vienna (Austria), Deadline: 7 March 2014
- GIRLS14: Games, Interaction, Reasoning, Learning & Semantics, 28-30 April 2014, Lund, Sweden
- Mitchellfest: 70th birthday of William Mitchell, 7-8 Jun 2014, Berkeley CA, U.S.A.
- PhD student fellowship in theoretical philosophy, Salzburg (Austria), Deadline: 12 Feb 2014
Received: 2014-01-21:
- TRUST 2014, 5-9 May 2014, Paris, France
- Deadline extension: IJCAR 2014, 19-22 Jul 2014, Vienna, Austria
- Sixteen PhD student positions and four postdoctoral positions in digital cultural heritage, various locations in Europe
- Descriptive Inner Model Theory, 2-6 Jun 2014, Palo Alto CA, U.S.A.
- Postdoctoral position in mathematical logic, Padova (Italy), Deadline: 10 Feb 2014
- SAT 2014: Theory and Applications of Satisfiability Testing, 14-17 Jul 2014, Vienna, Austria
Received: 2014-01-19:
Received: 2014-01-16:
- Philosophy of Mathematics: Objectivity, Cognition and Proof, 29-31 May 2014, Milan, Italy
- LAMAS 2014: Logical Aspects of Multi-Agent Systems, 5-6 May 2014, Paris, France
- COLT 2014: Learning Theory, 13-15 Jun 2014, Barcelona, Spain
- Making of the Humanities IV, 16-18 Oct 2014, Rome, Italy
- 2nd CfP: SPE 7, 26-28 Jun 2014, Berlin, Germany
- FEW 2014: Formal Epistemology Workshop, 20-22 June 2014, Los Angeles CA, U.S.A.
Received: 2014-01-15:
- ISMIS 2014: Methodologies for Intelligent Systems, 25-27 Jun 2014, Roskilde, Denmark
- Junior Research Fellowship in a humanities subject, Oxford (U.K.), Deadline: 17 Jan 2014
- CfP book on "Modern Logic, 1850-1950, East and West", Deadline: 31 May 2014
- Fellowships at the Center for Mind, Brain and Cognitive Evolution, Bochum (Germany)
- 10th international symposium of cognition, logic and communication, 12-13 Sep 2014, Riga, Latvia
- tenure-track assistant professorship OR tenured associate professorship in mathematical logic, Vienna (Austria), Deadline: 31 Jan 2014
Received: 2014-01-13:
- Call for applications: Editor of Mind
- Ontology competition at FOIS 2014, 22-25 Sep 2014, Rio de Janeiro, Brazil
- ICALP 2014: Automata, Languages and Programming, 8-11 July 2014, Copenhagen, Denmark
- Final CfP: NAG 2014, 1-2 Apr 2014, London, U.K.
- PhD student position in set theory, Bristol (U.K.)
- Logic, Grammar and Meaning, 7-9 June 2014, Norwich, U.K.
Received: 2014-01-12:
- Visiting fellowships at the MCMP, Munich (Germany), Deadline: 20 Feb 2014
- SoCal PhilMath + PhilLogic + FoM, Los Angeles CA & Irvine CA (U.S.A.), 25 Jan & 22 Feb 2014
- Mathematising Science: Limits and Perspectives 2, 1-3 Jun 2014, Norwich, U.K.
- "Deduction and syllogistic form in Aristotle and his medieval commentators", 16 Jan 2014, Paris, France
- "Respecting Context-dependent preferences", 21-22 Mar 2014, Umea, Sweden
- Workshop in (dynamic) modal logics and tableau systems, 16 Jan 2014, Brussels, Belgium
Received: 2014-01-11:
- DEON 2014: Deontic Logic, 12-15 Jul 2014, Gent, Belgium
- Conference celebrating the 60th birthday of Philip Welch, 22-23 Mar 2014, Bristol, U.K.
- Lectureship in Logic and Metaphysics (Philosophy), London (U.K.), Deadline: 3 Feb 2014
- Two PhD student positions and two postdoctoral positions for logic in AI, Utrecht (The Netherlands), Deadline: 1 Feb 2014
- "Abstraction: Philosophy and Mathematics", 21-23 May 2014, Oslo, Norway
- Tenure-track assistant professorship in theoretical computer science, Stockholm (Sweden), Deadline: 23 Feb 2014
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