[LOGIC] List Mailing Archive 2015
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: 2015-06-17:
- Temporary Lectureship in Philosophy of Language, Bochum (Germany), Deadline: 1 Jul 2015
- Lectureship in theoretical philosophy, Umea (Sweden), Deadline: 31 Aug 2015
- Postdoctoral position in foundations of opinion formation, Liverpool (England)
- Philosophy of Mathematics Conference, 22 Jun 2015, Oxford, England
- Postdoctoral position (3y) in Logic, Helsinki (Finland), Deadline: 20 Aug 2015
- Lectureship in Algorithms and Complexity, Leeds (England), Deadline: 25 Jun 2015
Received: 2015-06-06:
- GAMNLP-15: Games and Natural Language Processing, 15 Nov 2015, Santa Cruz CA, U.S.A.
- BLC 2015: British Logic Colloquium, 2-4 Sep 2015, Cambridge, England
- Postdoctoral position (2y) in Deontic Logic and Normative Systems, Luxembourg (Luxembourg), Deadline: 30 Jun 2015
- PRIMA 2015: Principles and Practice of Multi-Agent Systems, 26-30 Oct 2015, Bertinoro, Italy
- HIGHLIGHTS 2015: Highlights of Logic, Games and Automata, 15-18 Sep 2015, Prague, Czech Republic
- PhD student position on "Making Scientific Inferences more objective", Tilburg (The Netherlands), Deadline: 10 Jul 2015
Received: 2015-05-28:
- Fulbright Visiting Research Chair in Logic, Calgary AB (Canada), Deadline: 3 Aug 2015
- 7th conference on Non-Classical Logic, Theory and Applications, 24-26 Sep 2015, Torun, Poland
- Entia et Nomina V, 9-11 Sep 2015, Krakow, Poland
- 1y postdoctoral position in proof complexity, Leeds (England), Deadline: 17 Jun 2015
- Doctoral/Postdoctoral fellowship in psychology of reasoning, Munich (Germany), Deadline: 25 Jul 2015
- Formal Mathematics for Mathematicians, 13-17 Jul 2015, Washington DC, U.S.A.
Received: 2015-05-26:
- BLC 2015: British Logic Colloquium, 2-4 Sep 2015, Cambridge, England
- PhD student positions and postdoctoral positions in logic, Bremen (Germany)
- PhD student positions in computer science, London (England), Deadline: 29 May 2015
- Lectureship in knowledge representation and reasoning, Cardiff (Wales), Deadline: today!
- 6y postdoctoral position in philosophy of science and epistemology, Vienna (Austria)
- Two postdoctoral positions in logic, Bremen (Germany), Deadline: 11 Jun 2015
Received: 2015-05-12:
- Call for Course Proposals: ESSLLI 2016 (European Summer School in Logic, Language and Information), 15-26 Aug 2016, Bolzano, Italy
- Reminder: 5ESTC (Set Theory), 24-28 Aug 2015, Cambridge, England
- Proper Names Workshop, 18-19 May 2015, Budapest, Hungary
- PRIMA 2015: Principles and Practice of Multi-Agent Systems, 26-30 Oct 2015, Bertinoro, Italy
- PhD student position and postdoctoral position in "Computational Aspects of the Univalence Axiom", Bergen (Norway), Deadline: 10 Jun 2015
- PhD student positions in theoretical computer science, London (U.K.), Deadline: 5 Jun 2015
Received: 2015-05-10:
- ThEdu'15: Theorem proving components for Educational software, 13-17 Jul 2015, Washington DC, U.S.A.
- 2015-16 ASL Winter Meeting, 6-9 Jan 2016, Seattle WA, U.S.A.
- SoTFoM III and the Hyperuniverse Programme, 21-23 Sep 2015, Vienna, Austria
- ALT 2015: Algorithmic Learning Theory, 4-6 Oct 2015, Banff AB, Canada
- RP 2015: Reachability Problems, 21-23 Sep 2015, Warsaw, Poland
- Doctoral Consortium of MATES 2015 (Multiagent System Technologies), 28 Sep 2015, Cottbus, Germany
Received: 2015-05-08:
- 8th Young Set Theory Workshop, 25-30 Oct 2015, Jerusalem, Israel
- Postdoctoral position in theoretical philosophy, Bern (Switzerland), Deadline: 27 May 2015
- LAP 2015: Logic and Applications, 21-25 Sep 2015, Dubrovnik, Croatia
- "Clusters, Games and Axioms", 22-26 Jun 2015, Leiden, The Netherlands
- Final CfP & Deadline Extension: LORI-V, 28-31 Oct 2015, Taipei, Taiwan
- Postdoctoral position on "Oligomorphic Clones", Vienna (Austria)
Received: 2015-04-25:
- INT8: Intelligent Narrative Technologies, 14-15 Nov 2015, Santa Cruz CA, U.S.A.
- STeDy 2015: Spatio-Temporal Dynamics, 25-31 Jul 2015, Buenos Aires, Argentina
- QUANTIFY 2015, 1 Aug 2015, Berlin, Germany
- CfPart PhDs in Logic VII, 14-16 May 2015, Vienna, Austria
- CoCoNat 2015: deadline extension, 19-20 Jul 2015, Bloomington IN, U.S.A.
- Workshop "Fiction and Depiction", 17-18 Jul 2015, Hamburg, Germany
Received: 2015-04-24:
- 2nd Amsterdam Quantum Logic Workshop, 7-8 May 2015, Amsterdam, The Netherlands
- Extended deadline for informal presentations: CiE 2015, 29 Jun - 3 Jul 2015, Bucharest, Romania
- Questioning the Concepts of Culture, Diversity and Comparison in the History and Philosophy of Science, 11 Jul 2015, Paris, France
- Visiting Assistant Professorship in mathematics, Boca Raton FL (U.S.A.)
- TIME 2015: Temporal Representation and Reasoning, 23-25 Sep 2015, Kassel, Germany
- W3 Professorship in Theoretical Computer Science (Algorithms), Berlin (Germany), 14 May 2015
Received: 2015-04-19:
- ArgLP 2015: Argumentation and Logic Programming, 31 Aug 2015, Cork, Ireland
- Hilbert-Bernays Summer School on Logic and Computation, 26 Jul - 1 Aug 2015, Goettingen, Germany
- General Proof Theory, 27-29 Nov 2015, Tuebingen, Germany
- Section in Logic & Theoretical Computer Science at DMV 2015, 21-25 Sep 2015, Hamburg, Germany
- PhD student position in Logic, Amsterdam (The Netherlands), Deadline: 17 May 2015
- Postdoctoral / PhD student position in Algorithms, Potsdam (Germany), Deadline: 1 May 2015
Received: 2015-04-13:
- CfPart SPSP 2015, 24-26 Jun 2015, Aarhus, Denmark
- CCC 2015: Continuity, Computability, Constructivity: From Logic to Algorithms, 14-18 Sep 2015, Kochel am See, Germany
- FILOMENA 2: Filosofia, Logica e Metafisica Analitica, 2-4 Sep 2015, Natal, Brazil
- PhD student position in first-order temporal logic, Toulouse (France)
- Contest: "The Future of Logic", Deadline: 4 May 2015
- Logic from Descartes to Kant, 20 Apr 2015, Padua, Italy
Received: 2015-04-10:
- Postdoctoral position in theory and practice of ontology-based query answering for expressive ontology languages, Liverpool (England)
- PhD student position in nonmonotonic logics and formal argumentation, Bochum (Germany), Deadline: 17 May 2015
- SR 2015: Strategic Reasoning, 21-22 Sep 2015, Oxford, England
- CCR 2015: Computability, Complexity and Randomness, 22-26 Jun 2015, Heidelberg, Germany
- LFCS 2016: Logical Foundations of Computer Science, 4-7 Jan 2016, Deerfield Beach FL, U.S.A.
- W3 Professorship in Theoretical Computer Science, Bremen (Germany), Deadline: 24 April 2015
Received: 2015-04-06:
Received: 2015-04-05:
- SAT 2015: Satisfiability Testing, 24-27 Sep 2015, Austin TX, U.S.A.
- Call for Course and Workshop Proposals: ESSLLI 2016, 15-26 Aug 2016, Bolzano, Italy
- Postdoctoral fellowship in philosophy, London (U.K.), Deadline: 29 Apr 2015
- 2015 Annual Conference of the Australasian Association of Logic (AAL), 2-3 Jul 2015, Sydney, Australia
- George Boole Mathematical Sciences Conference: From Boole's Algebra of Logic to Boolean Algebra and Beyond, 27-28 Aug 2015, Cork, Ireland
- 2nd CfP: PLS 2015, 11-15 Jun 2015, Samos, Greece
Received: 2015-03-31:
- SETS 2015: Sets and Tools, 23 Jun 2015, Oslo, Norway
- Associate/Full Professorship in Philosophy (Head of Department), Pretoria (South Africa), Deadline: 7 Apr 2015
- 7th Conference on Non-Classical Logic, 24-26 Sep 2015, Torun, Poland
- NeSy 2015: Neural-Symbolic Learning and Reasoning, 25-27 Jul 2015, Buenos Aires, Argentina
- Postdoctoral position in formal semantics / experimental semantics / philosophical logic, Paris (France), Deadline: 26 Apr 2015
- PhD student position in theoretical philosophy, Stockholm (Sweden), Deadline: 15 Apr 2015
Received: 2015-03-30:
Received: 2015-03-26:
- 2nd Workshop on Vaught's Conjecture, 1-5 Jun 2015, Berkeley CA, U.S.A.
- "Truth Pluralism and Logical Pluralism", 17-19 Apr 2015, Storrs CT, U.S.A.
- Guenter Asser (1926-2015)
- JOWO 2015: Joint Ontology Workshops, 25-31 Jul 2015, Buenos Aires, Argentina
- FroCoS 2015: Frontiers of Combining Systems, 21-24 Sep 2015, Wroclaw, Poland
- Final CfP CCA 2015, 12-15 Jul 2015, Tokyo, Japan
Received: 2015-03-25:
- HaPoC 3: History and Philosophy of Computing, 8-11 Oct 2015, Pisa, Italy
- Postdoctoral grant: Analysis studentship in philosophy, United Kingdom, Deadline: 27 Apr 2015
- RAMiCS 2015: Relational and Algebraic Methods in Computer Science, 28 Sep - 1 Oct 2015, Braga, Portugal
- HCVS: Horn Clauses for Verification and Synthesis, 19 Jul 2015, San Francisco CA, U.S.A.
- Utrecht Workshop on Proof Theory, 16-18 Apr 2015, Utrecht, The Netherlands
- Philosophy of Mathematics, 22 Jun 2015, Oxford, England
Received: 2015-03-21:
- FCA4AI 4: What can FCA do for AI?, 25 Jul-1 Aug 2015, Buenos Aires, Argentina
- FSMNLP 2015: Finite-State Methods and Natural Language Processing, 22-24 Jun 2015, Duesseldorf, Germany
- PhD student position in psychology of reasoning, judgment or decision making, Munich (Germany), Deadline: 22 Apr 2015
- CALCO 2015: Algebra and Coalgebra in Computer Science, 24-26 Jun 2015, Nijmegen, The Netherlands
- Proper Names, 18-19 May 2015, Budapest, Hungary
- Petr Vopenka (1935-2015)
Received: 2015-03-20:
- Two PhD student positions in theory of computation, Barcelona (Spain), Deadline: 15 Jun 2015
- SOPhIA 2015: Salzburg Conference for Young Analytic Philosophy, 2-4 Sep 2015, Salzburg, Austria
- iPRA 2015: Interpolation: From Proofs to Applications, 18 Jul 2015, San Francisco CA, U.S.A.
- Call for Nominations: Ackermann Award 2015, Deadline: 15 April 2015
- Summer School "Reasoning", 13-26 Sep 2015, Dresden, Germany
- CSL 2015: Computer Science Logic, 7-10 Sep 2015, Berlin, Germany
Received: 2015-03-18:
- Lectureship in Philosophy, Dublin (Ireland), Deadline: 30 Mar 2015
- Call for Workshops: LPAR-20, 23 Nov 2015, Suva, Fiji
- Call for Infomal Presentations: CiE 2015, 29 Jun - 3 Jul 2015, Bucharest, Romania
- GandALF 2015: Games, Automata, Logics, and Formal Verification, 21-23 Sep 2015, Genoa, Italy
- PhD student position in theoretical philosophy, Stockholm (Sweden), Deadline: 15 April 2015
- Postdoctoral position (2y) in descriptive set theory, Torino (Italy), Deadline: 5 May 2015
Received: 2015-03-15:
- PhD student position in collective reasoning, Luxembourg (Luxembourg), Deadline: 31 Mar 2015
- CoCoNat 2015: Computing Natural Reasoning, 19-20 Jul 2015, Bloomington IN, U.S.A.
- KI 2015: Artificial Intelligence, 21-25 Sep 2015, Dresden, Germany
- PhD student position or postdoctoral position in Data and Web Science, Mannheim (Germany)
- 1st Salzburg-Irvine-Munich Workshop in Logic and Philosophy of Science, 23-24 Apr 2015, Salzburg, Austria
- EPSA fellowships for junior philosophers from Eastern Europe, Deadline: 1 May 2015
Received: 2015-03-14:
- Georg Kreisel (1923-2015)
- Handbook of Epistemic Logic, edited by van Ditmarsch, Halpern, van der Hoek, Kooi
- LQMR 2015: Logics for Qualitative Modelling and Reasoning, 13-16 Sep 2015, Lodz, Poland
- extended deadline: TbiLLC 2015, 21-26 Sep 2015, Tbilisi, Georgia
- BLAST 2015: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free topology, Denton TX (U.S.A., 8-12 Jun 2015
- Boole 200, 8 May 2015, Utrecht, The Netherlands
Received: 2015-03-01:
- APMP 2015: 3rd meeting of the Association for the Philosophy of Mathematical Practice, 2-4 Nov 2015, Paris, France
- 7th conference on Non-Classical Logic, 24-26 Sep 2015, Torun, Poland
- W3 professorship in Philosophy of Science and Epistemology, Hamburg (Germany), Deadline: 26 Mar 2015
- TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, 21-24 Sep 2015, Wroclaw, Poland
- Logic, Relativity, and Beyond, 9-13 Aug 2015, Budapest, Hungary
- DL 2015: Description Logics, 7-10 Jun 2015, Athens, Greece
Received: 2015-02-27:
- LogiCS: PhD programme "Logical Methods in Computer Science", Vienna, Graz & Linz (Austria), Deadline: 1 Mar 2015
- Postdoctoral positions in logic and theoretical computer science, Basque Country (Spain), Deadline: 15 Apr 2015
- "Testing Philosophical Theories Against the History of Science", 21 Sep 2015, Oulu, Finland
- LC 2015: Logic Colloquium 2015, 3-8 Aug 2015, Helsinki, Finland
- BLC 2015: British Logic Colloquium, 2-4 Sep 2015, Cambridge, England
- Franco Montagna (1958-2015)
Received: 2015-02-22:
- ARW 2015: Automated Reasoning Workshop, 9-10 Apr 2015, Birmingham, England
- 1st Workshop on Logic, Reasoning, and Rationality: "Explanation and Abduction", 7-8 May 2015, Gent, Belgium
- LFIs^15: 15 years of Logics of Formal Inconsistency, 4 Sep 2015, Natal, Brazil
- Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics, 10-12 Jun 2015, Montpellier, France
- Joint CfP for workshops at CADE-25: Automated Deduction, 1-7 Aug 2015, Berlin, Germany
- 3rd St. Petersburg Days of Logic and Computability, in memory of Grigory Mints (1939-2014), 24-26 Aug 2015, St. Petersburg, Russia
Received: 2015-02-21:
- Studying evidence in the law: formal, computational and philosophical methods, 12 Jun 2015, San Diego CA, U.S.A.
- PLLC 2015: Bridging Logical and Probabilistic Approaches to Language and Cognition, 3-7 Aug 2015, Barcelona, Spain
- TSD 2015: Text, Speech and Dialogue, 14-17 Sep 2015, Plzen, Czech Republic
- FG 2015: Formal Grammar, 8-9 Aug 2015, Barcelona, Spain
- JOWO-15: Joint Ontology Workshops, Buenos Aires (Argentina), July 2015
- History and Philosophy of Logic Notations, 1-2 Aug 2015, Tallinn, Estonia
Received: 2015-02-20:
- Junior Professorship in Theoretical Philosophy (non-tenured, 6y), Hamburg (Germany), Deadline: 19 Mar 2015
- PhD student position (or postdoctoral position) in logic in computer science, Konstanz (Germany), Deadline: 9 Mar 2015
- Call for Nominations: Editor-in-Chief ACM Transactions on Computational Logic
- Prague Seminat on Non-Classical Mathematics, 11-13 Jun 2015, Prague, Czech Republic
- LPAR-20: Logic for Programming, Artificial Intelligence and Reasoning, 24-28 Nov 2015, Suva, Fiji
- PhD student position in Collective Reasoning, Luxembourg (Luxembourg), Deadline: 31 Mar 2015
Received: 2015-02-15:
- PhD student position in History of Science, Uppsala (Sweden), Deadline: 31 Mar 2015
- Postdoctoral position in set theory, Sao Paolo (Brazil)
- TARK 2015: Theoretical Aspects of Rationality and Knowledge, 4-6 Jun 2015, Pittsburgh PA, U.S.A.
- LAMAS 2015: Logical Aspects of Multi-Agent Systems, 4-5 May 2015, Istanbul, Turkey
- TbiLLC 2015: Tbilisi Symposium on Language, Logic and Computation, 21-26 Sep 2015, Tbilisi, Georgia
- "Truth Pluralism and Logical Pluralism", 17-19 Apr 2015, Storrs CT, U.S.A.
Received: 2015-02-09:
- Call for Nominations: Ackermann Award 2015
- Call for Proposals: IFAAMAS Training Events
- Call for Nominations: 2015 E. W. Beth Dissertation Prize
- TTCS 2015: Topics in Theoretical Computer Science, 26-28 Aug 2015, Tehran, Iran
- SemDial 2015 / goDIAL: Semantics and Pragmatics of Dialogues, 24-26 Aug 2015, Gothenburg, Sweden
- Modeling hypothetical reasoning: validity, inference, and paradoxes, 19-20 Feb 2015, Paris, France
Received: 2015-02-08:
- Self Prediction in Decision Theory and AI, 13-19 May 2015, Cambridge, England
- RR 2015: Web Reasoning and Rule Systems, 4-6 Aug 2015, Berlin, Germany
- Entia et Nomina V, 9-11 Sep 2015, Krakow, Poland
- PhD student positions in theoretical computer sciences, Birmingham (U.K.)
- MCU 2015: Machines, Computations and Universality, 9-11 Sep 2015, Famagusta, Cyprus
- ACMES 2015: Algorithms and Complexity in Mathematics, Epistemology and Science, 6-8 May 2015, London ON, Canada
Received: 2015-02-06:
- RTA 2015: Rewriting Techniques and Applications, Warsaw (Poland), 29 Jun - 1 Jul 2015 (abstract submission deadline: today)
- ALT 2015: Algorithmic Learning Theory, 4-6 Oct 2015, Banff AB, Canada
- "The Logic and Metaphysics of Predication", 11-12 Jun 2015, Oslo, Norway
- Workshop on Truthmaker Semantics and related topics, 3-4 Aug 2015, Hamburg, Germany
- Postdoctoral position in logic-based refactoring of description logic ontologies, Oxford (U.K.), Deadline: 2 Mar 2015
- Postdoctoral position in Abstract Algebra / Logic (31m), Luxembourg (Luxembourg)
Received: 2015-02-05:
- DARe 2015: Defeasible and Ampliative Reasoning, 25-27 Jul 2015, Buenos Aires, Argentina
- CfP special issue of LiLT on "Modality in Natural Language Understanding", Deadline: 1 Aug 2015
- MoL 2015: Mathematics of Language, 25-26 Jul 2015, Chicago IL, U.S.A.
- MFPS XXXI: Mathematical Foundations of Programming Semantics, 22-25 Jun 2015, Nijmegen, The Netherlands
- Filomena 2, 2-4 Sep 2015, Natal, Brazil
- Heyting Day, 27 Feb 2015, Utrecht, The Netherlands
Received: 2015-02-04:
- Workshop on the Morphological, Syntactic and Semantic Aspects of Dispositions, 25-27 Jun 2015, Stuttgart, Germany
- Lectureship in Philosophy, London (U.K.), Deadline: 15 Mar 2015
- CCA 2015: Computability and Complexity in Analysis, 12-15 Jul 2015, Tokyo, Japan
- Postdoctoral position in efficient algorithms, Munich (Germany), Deadline: 15 Feb 2015
- CfP volume on applications of logical methods outside of the core areas, edited by Urbaniak and Payette
- CEPE-IACAP 2015: International Society for Ethics and Information Technology & International Association for Computing and Philosophy, 22-25 Jun 2015, Newark DE, U.S.A.
Received: 2015-02-02:
- PhD student position in probabilististic analysis of algorithms, Twente (The Netherlands), Deadline 15 Mar 2015
- PhD student positions in Formal Methods, London (U.K.), Deadline: 30 March 2015
- Faculty position in Programming Principles, Logic and Verification, London (U.K.), Deadline: 6 Mar 2015
- TyTLeS: Type Theory and Lexical Semantics, 3-7 Aug 2015, Barcelona, Spain
- W2 Professorship in Speech Technology, Hamburg (Germany), Deadline: 26 Feb 2015
- Research assistant position (postdoctoral) in "Social Machines of Mathematics", Oxford (U.K.), Deadline: 4 Mar 2015
Received: 2015-01-30:
- PhD student or postdoctoral position in theoretical philosophy, Zuerich (Switzerland), Deadline: 31 Jan 2015
- Postdoctoral position in theoretical philosophy (conditionals), Regensburg (Germany), Deadline: 8 Feb 2015
- Postdoctoral position in quantum algorithms / complexity, Riga (Latvia), Deadline: 1 Feb 2015
- Position as project coordinator (3y) of a project on counterfactuals (suitable for PhD students), Konstanz (Germany), Deadline: 22 Feb 2015
- PhD student position in philosophy, Dublin (Ireland), Deadline: 4 Feb 2015
- CfP special issue of Computational Linguistics on "Formal Distributional Semantics"
Received: 2015-02-03:
Received: 2015-01-28:
- PhD student position in description logic, Bremen (Germany), Deadline: 15 Feb 2015
- NAT@Logic 2015: Logic AT Natal, Natal (Brazil) 31 Aug - 4 Sep 2015
- PhD student positions in mathematics and computer science, Toulouse (France)
- Symposium on the occasion of the retirements of Herman Ruge Jervell and Dag Normann, 21-22 May 2015, Oslo, Norway
- Postdoctoral position (3y) in "Conditionals and Information Transfer" (Philosophy), Konstanz (Germany), Deadline: 22 Feb 2015
- PhDs in Logic VII, 14-16 May 2015, Vienna, Austria
Received: 2015-01-19:
- Postdoctoral position and two PhD student positions in "Emergence of Relativism", Vienna (Austria), Deadline: 1 Mar 2015
- QPL12: Quantum Physics and Logic, 13-17 Jul 2015, Oxford, England
- 4th Hamburg Summer School: Stephen Yablo, 27-31 Jul 2015, Hamburg, Germany
- DGL8: Decisions, Games and Logic, 17-19 Jun 2015, London, England
- RTA 2015: Rewriting Techniques and Applications, 29 Jun - 1 Jul 2015, Warsaw, Poland
- LC 2015: Logic Colloquium, 3-8 Aug 2015, Helsinki, Finland
Received: 2015-01-18:
Received: 2015-01-13:
- CMN 2015: Computational Models of Narrative, 26-28 May 2015, Atlanta GA, U.S.A.
- CONTEXT 2015, 2-6 Nov 2015, Larnaca, Cyprus
- Else Barth (1928-2015)
- CfP DMV 2015: Annual meeting of German Mathematicians' Association, 21-25 Sep 2015, Hamburg, Germany
- NLDB 2015: Application of Natural Language to Information Systems, 17-19 Jun 2015, Passau, Germany
- KR Track at IJCAI 2015, 25 Jul - 1 Aug 2015, Buenos Aires, Argentina
Received: 2015-01-12:
- John Shepherdson (1920-2014)
- PhD student or postdoctoral position in epistemology, Leuven (Belgium), Deadline: 15 Feb 2015
- PCC 2015: Proof, Computation and Complexity, 23-24 May 2015, Oslo, Norway
- LORI-V: Logic, Rationality and Interaction, 28-31 Oct 2015, Taipei, Taiwan
- TLCA 2015: Typed Lambda Calculi and Applications, 1-3 Jul 2015, Warsaw, Poland
- 15th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, 4-5 Jun 2015, London ON, Canada
Received: 2015-01-09:
- CCA 2015: Computability and Complexity in Analysis, 12-15 Jul 2015, Tokyo, Japan
- Final CfP: CiE 2015, 29 Jun - 3 Jul 2015, Bucharest, Romania
- DMV 2015: Jahrestagung der Deutschen Mathematiker-Vereinigung, Call for Papers, 21-25 Sep 2015, Hamburg, Germany
- GAP.9: Analytic Philosophy, 14-18 Sep 2015, Osnabrueck, Germany
- PhD student or postdoctoral position in theoretical philosophy, Zuerich (Switzerland), Deadline: 31 Jan 2015
- LAMAS 2015: Logical Aspects of Multi-Agent Systems, 4-5 May 2015, Istanbul, Turkey
Received: 2015-01-05:
- Logics for Resource-Bounded Agents, 10-14 Aug 2015, Barcelona, Spain
- NLCS 2015: Natural Language and Computer Science, 5 Jul 2015, Kyoto, Japan
- Ivor Grattan-Guinness (1941-2014)
- 5ESTC: European Set Theory Conference, 25-28 Aug 2015, Cambridge, England
- Visiting Fellowships at MCMP (Mathematical Philosophy), Munich (Germany), Deadline: 15 Feb 2015
- AGI-15: Artificial General Intelligence, 22-25 Jul 2015, Berlin, Germany
Received: 2015-01-02:
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