[LOGIC] List Mailing Archive 2013
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: 2013-12-26:
- PhD student position in the philosophy of causation, Geneva (Switzerland), Deadline: 25 Jan 2014
- INFTY Final Conference, 4-7 Mar 2014, Bonn, Germany
- Final CfP with extended deadline: SILFS 2014, 18-20 Jun 2014, Rome, Italy
- Days in Logic 2014, 23-25 Jan 2014, Braga, Portugal
- FEW 2014: Formal Epistemology, 20-22 Jun 2014, Los Angeles CA, U.S.A.
- PhD student position in epistemology, Cambridge (U.K.) & Groningen (The Netherlands), Deadline: 10 Jan 2014
Received: 2013-12-20:
Received: 2013-12-19:
- Final CfP PhDs in Logic VI, 24-25 Apr 2014, Utrecht, The Netherlands
- Call for commentators: Reasoning Conference 2014, 24-27 Jul 2014, Konstanz, Germany
- Second Logic and Language Conference, 21-22 Mar 2014, London, U.K.
- "Infinity, computability, and metamathematics": celebrating the 60th birthdays of Peter Koepke and Philip Welch, 23-25 May 2014, Bonn, Germany
- 2nd CfP: WoLLIC 2014, 1-4 Sep 2014, Valparaiso, Chile
- Call for expressions of interest to host HOPOS 2016
Received: 2013-12-17:
- Ackermann Award 2014, Deadline: 28 Feb 2014
- LATD 2014: Logic, Algebra and Truth Degrees, 16-19 Jul 2014, Vienna, Austria
- Covey Award and Herbert A. Simon Award in Computing and Philosophy, Deadline: 15 Jan 2014
- 2nd CfP: CiE 2014, 23-27 Jun 2014, Budapest, Hungary
- Language, Culture and Mind, 24-26 Jun 2013, Lublin, Poland
- IFAAMAS-13 Victor Lesser Distinguished Dissertation Award, Deadline: 31 Dec 2013
Received: 2013-12-16:
- "Paraconsistent Reasoning in Science and Mathematics", 11-13 Jun 2014, Munich, Germany
- "Applying Peirce", Helsinki & Tallinn (Finland & Estonia), 22-25 Apr 2014
- CfP special issue of Balkan Journal of Philosophy on "Facets of Rationality: Reasoning, Communication and Decision making", Deadline: 30 Nov 2014
- Research fellowship in Homotopy Type Theory and Univalent Foundations, Leeds (U.K.), Deadline: 6 Jan 2014
- EMAS 2014: Engineering Multi-Agent Systems, 5-6 May 2014, Paris, France
- Part-time temporary position as lecturer Formal Methods, Utrecht (The Netherlands), Deadline: 6 Jan 2014
Received: 2013-12-15:
- ICFCA 2014: Formal Concept Analysis, Cloj-Napoca (Romania), 10-13 Jun 2014
- PhD student position in Theoretical Computer Science, Stockholm (Sweden), Deadline: 31 Jan 2014
- Three permanent lectureships in philosophy (one in logic & metaphysics), London (U.K.)
- AGI 2014: Artificial General Intelligence, 1-4 Aug 2014, Quebec City QC, Canada
- GIRLS 2014: Games, Interaction, Reasoning, Learning and Semantics, 24-26 Apr 2014, Lund, Sweden
- Research Staff Position in Algorithms, Yorktown Heights NY (U.S.A.), Deadline: 15 Feb 2014
Received: 2013-12-12:
- Student session at NASSLLI 2014, 23-27 June 2014, College Park MD, U.S.A.
- Mathematical Structures of Computation, 13 Jan - 14 Feb 2014, Lyon, France
- Summer school on Mathematical Philosophy for female students, 27 Jul - 2 Aug 2014, Munich, Germany
- Tenure-track position as assistant professor in Logic and Philosophy of Science, Salzburg (Austria), Deadline: 27 Dec 2013
- Permanent senior lectureship and temporary senior lectureship in Philosophy of Science, Gothenburg (Sweden), Deadline: 13 Feb 2014
- new book series in Philosophy of Mathematics and Physics (Pickering & Chatto)
Received: 2013-12-11:
- RuleML 2014: Web Rule Symposium, 18-20 Aug 2014, Prague, Czech Republic
- PhD student position in Information Security, Luxembourg (Luxembourg), Deadline: 19 Jan 2014
- PhML-2014: Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014, 21-25 Apr 2014, St. Petersburg, Russia
- Student Session at ESSLLI 2014, 11-22 Aug 2014, Tuebingen, Germany
- Doctoral Mentoring Program: AAMAS 2014, 5-9 May 2014, Paris, France
- 2nd CfP: HaPoP 2014, 1-4 Apr 2014, London, U.K.
Received: 2013-12-10:
- NMR 2014: Non-monotonic reasoning, 17-19 Jul 2014, Vienna, Austria
- 14th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference, 5-6 Jun 2014, London ON, Canada
- Seven postdoctoral fellowships in all subjects for female researchers, Berlin (Germany), Deadline: 15 Jan 2014
- Visitor grants for visiting PhD students in logic, Rio de Janeiro (Brazil)
- Two postdoctoral positions in information security, Luxembourg (Luxembourg), Deadline: 19 Jan 2014
- Halbert L. White Prize in Info-Metrics, Nomination Deadline: 30 June 2014
Received: 2013-12-09:
- Two part-time (30 hours/week) postdoctoral jobs in Epistemology / Philosophy of Language, Graz (Austria), Deadline: 18 Dec 2013
- SPE7: Semantics and Philosophy in Europe, 25-28 Jun 2014, Berlin, Germany
- "On Contradictions", 12 Dec 2013, Padova, Italy
- LAMAS 2014: Logical Aspects of Multi-Agent Systems, Paris (France), 5 or 6 May 2014
- The Second Asian Workshop on Philosophical Logic, 12-13 April 2014, Guangzhou, China
- SILFS 2014: Italian Society for Logic and Philosophy of Science, 18-20 June 2014, Rome, Italy
Received: 2013-12-07:
- Philosophy of Mathematics: objectivity, cognition, and proof, 29-31 May 2014, Milan, Italy
- Trends in Logic XIV, 8-11 July 2014, Gent, Belgium
- Lectureship in Philosophy, Cambridge (U.K.), Deadline: 10 Jan 2014
- Ershov Informatics Conference (PSI'14), St. Petersburg, Russia, 24-27 June 2014
- PhD studies in theoretical computer science, Birmingham (U.K.)
- CSL/LICS 2014: Computer Science Logic & Logic in Computer Science, 14-18 July 2014, Vienna, Austria
Received: 2013-12-06:
- CfP: supplemental volume of CJP on "Mathematics in Kant's Critical Philosophy", Deadline: 15 Feb 2014
- MSc programme in Logic, Amsterdam (The Netherlands)
- CNL 2014: Controlled Natural Language, 20-22 Aug 2014, Galway, Ireland
- 7th Young Set Theory Workshop, 12-16 May 2014, Bedlewo, Poland
- PhD studentships in Mathematical Foundations of Computation, Bath (U.K.)
- Visiting Fellowships in Computer Science, Liverpool (U.K.), Deadline: 14 Dec 2013
Received: 2013-12-05:
- Doctoral student funding in philosophy, Edinburgh (Scotland), Deadline: 10 Dec 2013
- BCTCS 2014: Theoretical Computer Science, 9-11 Apr 2014, Loughborough, U.K.
- Tenure-track position in philosophy of science or logic, Salzburg (Austria), Deadline: 27 Dec 2013
- Postdoctoral position in Algorithms, Munich (Germany), Deadline: 15 Dec 2013
- "On contradictions", 12-13 Dec 2013, Padua, Italy
- Postdoctoral (or more senior) research positions in theoretical computer science, Princeton NJ (U.S.A.), Deadline: 10 Dec 2013
Received: 2013-11-29:
- Philosophy of mathematics: objectivity, cognition, and proof, 29-31 May 2014, Milan, Italy
- "Empirical Methods of Linguistics in Philosophy", Dortmund (Germany), 13-14 March 2014 [Deadline: 1 Dec 2013]
- "Is computation observer-relative?", 1-4 Apr 2014, London, U.K.
- Call for Nominations for EATCS Fellows 2014, Deadline: 31 Dec 2013
- CfP special issue of JLC on "Resources, Processes, and Programes", Deadline: 14 Mar 2014
- "Classification Theory" (ICM 2014 Satellite), 6-9 Aug 2014, Seoul, Korea
Received: 2013-11-28:
- Algebra and Mathematical Logic: Theory and Applications, 2-6 June 2014, Kazan, Russia
- Postdoctoral fellowships in mathematics of information, Pasadena CA (U.S.A.), Deadline: 20 Dec 2013
- PhD scholarships in philosophy, Bristol (U.K.)
- CfP special issue of Topoi on "Presuppositions: Philosophy, Linguistics, Psychology", Deadline: 15 May 2014
- ECAI 2014: Artificial Intelligence, 18-22 Aug 2014, Prague, Czech Republic
- Postdoctoral position (3y) in history of science and technology, Berlin (Germany), Deadline: 5 Dec 2013
Received: 2013-11-26:
- CfP special issue of Philosophia Scientiae on "Mathematical Exchanges", Deadline: 1 May 2014
- IV International Colloquium of the Chilean Society for Analytic Philosophy, 25-28 March 2014, Santiago, Chile
- Postdoctoral position in proof complexity and SAT solving, Stockholm (Sweden), Deadline: 15 Dec 2013
- Logic and Truth, 2 December 2013, Geneva, Switzerland
- RTA+TLCA 2014: Rewriting Techniques and Applications & Typed Lambda Calculi and Applications, 14-17 Jul 2014, Vienna, Austria
- PSX4: Philosophy of Scientific Experimentation, 11-12 Apr 2014, Pittsburgh PA, U.S.A.
Received: 2013-11-25:
- PhiloSTEM-6: Philosophy of Science, Technology, Engineering and Mathematics, 11-12 Apr 2014, Fort Wayne IN, U.S.A.
- CfP special issue of MSCS on "Continuity, Computability, Constructivity", Deadline: 31 Jan 2014
- IJCAR 2014: Automated Reasoning, 19-22 July 2014, Vienna, Austria
- CfP entries for the "Encyclopedia of Logic", College Publications
- Arguing on the Web 2.0, 30 June - 1 July 2014, Amsterdam, The Netherlands
- PhD student position in Theoretical Computer Science, Stockholm (Sweden), Deadline: 15 Dec 2013
Received: 2013-11-22:
- CSR-2014: Computer Science Symposium in Russia, 6-12 June 2014, Moscow, Russia
- Trends in Logic XIII, 2-5 Jul 2014, Lodz, Poland
- Three PhD studentships in Mathematical Foundations of Computation, Bath (U.K.)
- Representation and Reality: Humans, Animals and Machines, 1-4 Apr 2014, London, U.K.
- Models and Simulations in the Sciences, Notre Dame IN (U.S.A.), 9-11 May 2014 (Deadline tomorrow!)
- AiML-2014: Advances in Modal Logic, 5-8 Aug 2014, Groningen, The Netherlands
Received: 2013-11-20:
- Postdoctoral position (2y) in semantics, logic and type systems, Lyon (France), Deadline: 15 Jan 2014
- LOGICA 2014, 16-20 June 2014, Hejnice, Czech Republic
- LogiCIC workshop "Social Dynamics of Information Change", 2-4 Dec 2013, Amsterdam, The Netherlands
- Movie about Alan Turing, "Codebreaker"
- Two PhD student or postdoctoral positions in stochastic model checking, Twente (The Netherlands), Deadline: 1 Dec 2013
- Postdoctoral position (1+2y) on the "What-If Machine", Madrid (Spain), Deadline: 27 Jan 2014
Received: 2013-11-19:
Received: 2013-11-18:
- Two PhD student position in formal semantics and pragmatics, Amsterdam (The Netherlands), Deadline: 15 Dec 2013
- Lectureship in Theories of Knowledge and Philosophy of Language, Sydney (Australia), Deadline: 2 Dec 2013
- CiE 2014: Computability in Europe, 23-27 June 2014, Budapest, Hungary
- MC3: Mathematical Cultures 3, 10-12 April 2013, London, U.K.
- PhD student position in logic and rational choice, Bayreuth (Germany), Deadline: 15 Jan 2014
- Several postdoctoral positions in logic and databases, Dresden (Germany)
Received: 2013-11-01:
- New Scholastic meets Analytic Philosophy, 7-8 Dec 2013, Cologne, Germany
- PhD student position in Logic, Language and Computation, Amsterdam (The Netherlands), Deadline: 13 Jan 2014
- Substructural Approaches to Paradox, 25-26 Nov 2013, Barcelona, Spain
- Visiting Fellowships at the Sydney Centre for the Foundations of Science, Sydney (Australia), Deadline: 15 Nov 2013
- PhML-2014: Philosophy, Mathematics, Linguistics, 21-25 April 2014, St. Petersburg, Russia
- CfP special issue of KI on multi-agent decision making, Deadline: 20 Dec 2013
Received: 2013-10-31:
- 2013 AAP NZ Conference, 8-12 Dec 2013, Auckland, New Zealand
- PhD student position and postdoctoral position in computational logic, Innsbruck (Austria), Deadline: 30 Nov 2013
- Assistant Professorship in the History of Philosophy of Science, Waterloo (Canada), Deadline: 20 Nov 2013
- Postdoctoral position in logic and theoretical philosophy, Amsterdam (The Netherlands), Deadline: 15 Nov 2013
- PhD student position in verification, Paris (France)
- Postdoctoral positions in algorithms, Jerusalem / Tel Aviv (Israel), Deadline: 15 Dec 2013
Received: 2013-10-30:
- PhD scholarships in Neurophilosophy, Munich (Germany), Deadline: 1 Feb 2014
- Philogica Prize for Young Scholars (best paper award for the III Colombian Conference on Logic, Epistemology and Philosophy of Science), Deadline: 15 Nov 2013
- Grant scheme on "Science Beyond Scientism", Amsterdam (The Netherlands), Deadline: 15 Dec 2013
- Postdoctoral fellowships (with particular emphasis on Indian and Chinese candidates) in computer science, Haifa (Israel)
- LOFT11: Logic and the Foundations of Game and Decision Theory, 27-30 Jul 2014, Bergen, Norway
- CMN 2014: Computational Models of Narrative, 31 Jul - 2 Aug 2014, Quebec City QC, Canada
Received: 2013-10-24:
- Workshop in Honour of Reinhard Muskens, 16 Nov 2013, Tilburg, The Netherlands
- SILFS 2014: Italian Society for Logic and Philosophy of Sciences, 18-20 Jun 2014, Rome, Italy
- ISAAC 2013: Algorithms and Computation, 16-18 Dec 2013, Hong Kong, China
- Human Computation and the Humanities, 22-23 Feb 2014, New York NY, U.S.A.
- Trends in Logic XIV, 8-11 Jul 2014, Gent, Belgium
- Postdoctoral fellowships in philosophy, Campinas (Brazil), Deadline: 1 Nov 2013
Received: 2013-10-22:
- PhDs in Logic VI, 24-25 Apr 2014, Utrecht, The Netherlands
- ICTAC 2014: Theoretical Aspects of Computing, 17-20 Sep 2014, Bucharest, Romania
- Winter School on Rationality, 27-28 Jan 2014, Groningen, The Netherlands
- Fellowships (junior postdoctoral & senior) in "explanatory power", Duisburg-Essen (Germany), Deadline: 15 Jan 2014
- RaAM 2014: Researching and Applying Metaphor, 20-23 Jun 2014, Cagliari, Italy
- Lindstroem Lectures: Wilfrid Hodges, 14-15 Nov 2013, Gothenburg, Sweden
Received: 2013-10-21:
- Temporary Lectureship in Logic, Epistemology or Metaphysics of Mind, London (U.K.), Deadline: 15 Nov 2013
- Tenure-track Assistant Professorship or Tenured Associate Professorship in Mathematical Logic, Vienna (Austria), Deadline: 31 Jan 2014
- TAMS 2014: Theory and Applications of Models of Computation, 11-13 Apr 2014, Chennai, India
- W3 Professorship in Theoretical Computer Science, Tuebingen (Germany), Deadline: 17 Nov 2013
- PhD student positions in mathematics, Helsinki (Finland), Deadline: 31 Oct 2014
- Modeling experiencers in natural language semantics, 13-16 Jan 2014, Tezpur, India
Received: 2013-10-17:
- RaMICS 2014: Relational and Algebraic Methods in Computer Science, Marienstatt im Westerwald (Germany), 27 Apr to 1 May 2014
- Winter School in Abstract Analysis, Section Set Theory and Topology, 25 Jan - 1 Feb 2014, Hejnice, Czech Republic
- WoLLIC 2014: Logic, Language, Information and Computation, 1-4 Sep 2014, Valparaiso, Chile
- "Is computation observer-relative?", 1-4 Apr 2014, London, U.K.
- "Mathematics research beyond the blackboard", 29 Oct 2013, London, U.K.
- Inconsistency Robustness 2014, Stanford CA (U.S.A.), summer 2014 (no exact dates)
Received: 2013-10-15:
- Mathematical Depth Workshop, 11-12 Apr 2014, Irvine CA, U.S.A.
- Workshop on Beauty and Explanation in Mathematics, 10-12 Mar 2014, Umea, Sweden
- LATA 2014: Language and Automata Theory and Applications, 10-14 Mar 2014, Madrid, Spain
- CfP special issue of LMCS on "Computability and Complexity in Analysis", Deadline: 11 Nov 2013
- FOIS 2014 (Formal Ontology in Information Systems): Call for Workshop Proposals, 22-25 Sep 2014, Rio de Janeiro, Brazil
- CfP special issue of Mathematics in Computer Science on "Enabling Domain Experts to use Formalised Reasoning", Deadline: 31 Oct 2013
Received: 2013-10-14:
- CMCS'14: Coalgebraic Methods in Computer Science, 5-6 Apr 2014, Grenoble, France
- PhD student position in Logical and Communicative aspects of Iconicity, Helsinki (Finland), Deadline: 21 Oct 2013
- PhDs in Logic VI, 24-25 April 2014, Utrecht, The Netherlands
- Research scientist position in narrative understanding/generation, Raleigh NC (U.S.A.)
- W2 Professorship in Theoretical Computer Science, Bonn (Germany), Deadline: 30 Nov 2013
- Postdoctoral fellowship in philosophy, Sao Leopoldo (Brazil), Deadline: 15 Nov 2013
Received: 2013-10-11:
- "Proofs that and proofs why", 14-15 Nov 2013, Paris, France
- Advances in Proof Theory, 13-14 Dec 2013, Bern, Switzerland
- PhD student or postdoctoral position in the intersection between philosophy and psychology, Munich (Germany)
- 1st announcement: Colloquium Logicum 2014, Neubiberg/Munich (Germany), 4-6 Sep 2014
- Two postdoctoral positions in "Logical and Communicative Aspects of Iconicity" (16 months), Helsinki (Finland), Deadline: 1 Nov 2013
- HaPoP 2: History and Philosophy of Programming, 1-4 April 2014, London, U.K.
Received: 2013-10-09:
- EBL 2014: XVIIth Brazilian Logic Conference, 7-11 April 2014, Petropolis, Brazil
- FOIS 2014: Formal Ontology in Information Systems, Call for Workshop Proposals, 22-25 Sep 2014, Rio de Janeiro, Brazil
- Postdoctoral fellowships in the Arts and Humanities, Beirut (Lebanon), Deadline: 1 Nov 2013
- Assistant Professorship in philosophy of knowledge / language / mind, Columbia SC (U.S.A.)
- "Proof Theory and Philosophy", 3-5 Dec 2013, Groningen, The Netherlands
- Postdoctoral position in formal modelling, Toulouse (France)
Received: 2013-10-08:
- "Logik in der Informatik", 8-9 Nov 2013, Bremen, Germany
- Conference support of the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science (DLMPS/IUHPS), Deadline: 15 Nov 2013
- AAMAS 2014: Call for Workshop Proposals, 5-9 May 2014, Paris, France
- Relaunch of the "Australasian Journal of Logic"
- Inductive Logic and Confirmation in Science, 17-18 Oct 2013, Paris, France
- AiML-2014: Advances in Modal Logic, 5-8 Aug 2014, Groningen, The Netherlands
Received: 2013-09-23:
- Research and teaching assistantship (postdoctoral, 3+3y) in Logic and Semantics, Munich (Germany)
- 300 Years of Wolff's "German Logic", 21-22 Nov 2013, Leuven, Belgium
- EUMAS 2013: European Workshop on Multi-Agent Systems, 12-13 Dec 2013, Toulouse, France
- 5th French Philosophy of Mathematics Workshop, Clermont-Ferrand (France), 17-19 Oct 2013
Received: 2013-09-21:
Received: 2013-09-20:
- two-week intensive course on Epistemic Game Theory, 12-23 May 2014, Maastricht, The Netherlands
- Modelling experiencers in natural language semantics (workshop at ISLA 2014), 13-16 Jan 2014, Tezpur, India
- Izaak Walton Killam Memorial Postdoctoral Fewllowship in philosophy (2y), Edmonton AB (U.S.A.), Deadline: 18 Nov 2013
- Professorship & Position as Department Chair in Philosophy, Charlotte NC (U.S.A.)
- LATIN 2014: Latin American Theoretical Informatics, 31 Mar-4 Apr 2014, Montevideo, Uruguay
- Jahrestagung "Logik in der Informatik" 2013, 8-9 Nov 2013, Bremen, Germany
Received: 2013-09-19:
- Naples-Konstanz Model Theory Days, 6-8 Nov 2013, Naples, Italy
- Winter School on Rationality, 27-28 Jan 2014, Groningen, The Netherlands
- CfP two volumes on medieval logic and theology, Deadline: 31 Dec 2013
- Inaugural lecture of Professor Potter as Professor of Logic at the University of Cambridge, 18 Oct 2013, Cambridge, U.K.
- PhD student position in cognition, communication and learning, Lund (Sweden), Deadline: 14 Oct 2013
- Assistant Professorship (AR a.Z., 3+3 y) in philosophy, Munich (Germany), Deadline: 1 Oct 2013
Received: 2013-09-18:
- Temporary assistant professorship (80%) in philosophical logic, Amsterdam (The Netherlands), Deadline: 15 Oct 2013
- Postdoctoral position (3y) on "Grounding: Metaphysics, Science, logic" with focus on logic, Neuchatel (Switzerland)
- PhD student position in theoretical philosophy, Lund (Sweden), Deadline: 14 Oct 2013
- "New Scholastic meets Analytic Philosophy", 7-8 Dec 2013, Cologne, Germany
- Postdoctoral grant in logic & argumentation, Coimbra (Portugal)
- Research Fellowship in historical and philosophical sciences at Emmanuel College, Cambridge (U.K.), Deadline: 3 Oct 2013
Received: 2013-09-12:
- (Re)presenting the Speech of Others, 13-14 Mar 2014, Groningen, The Netherlands
- New Centre for Digital Philosophy at the University of Western Ontario
- Philosophical Perspectives on Mathematical Knowledge, 20-21 Sep 2013, Vienna, Austria
- 3rd CfP: AAMAS 2014 (Autonomous Agents and Multiagent Systems), 5-9 May 2014, Paris, France
- AIC 2013: Artificial Intelligence and Cognition, 3 Dec 2013, Turin, Italy
- Logic across the University, 14-16 Oct 2013, Beijing, China
Received: 2013-09-02:
- PT-AI 2013: Philosophy and Theory of Artificial Intelligence, 21-22 Sep 2013, Oxford, U.K.
- temporary Lectureship in Philosophy (Epistemology), London (U.K.)
- Functions, proofs, constructions, 20-23 Feb 2014, Tuebingen, Germany
- Lectureship in Philosophy (Epistemology), Cape Town (South Africa), Deadline: 4 Oct 2013
- Proof, 9-13 Sep 2013, Berne, Switzerland
- Assistant & Associate Professorships in modelling of systems using language-based techniques and tools, Kungens Lyngby (Denmark), Deadline: 1 Oct 2013
Received: 2013-08-30:
Received: 2013-08-29:
- teorema Essay Prize for Young Scholars, Topic: Self-knowledge, Deadline: 1 Oct 2013
- Modal epistemology and the philosophy of science, 12 Sep 2013, Odense, Denmark
- Minds without Magic: The natural basis of intentionality, 18-19 Sep 2013, Bielefeld, Germany
- CiE 2014: Computability in Europe, 23-27 June 2014, Budapest, Hungary
- Logic Across the Disciplines, 13 Sep 2013, Harrisonburg VA, U.S.A.
- Heyting Day, 6 September 2013, Amsterdam, The Netherlands
Received: 2013-08-24:
- Modelling Organisational Behaviour and Social Agency, 27-28 Jan 2014, Bournemouth, U.K.
- MA programme in Analytic Philosophy, Barcelona (Spain)
- Experimental Philosophy: Philosophy of Mind and Action, 12-13 Sep 2013, Bristol, U.K.
- Models and Simulations 6, 9-11 May 2014, Notre Dame IN, U.S.A.
- FM 2014: Formal Methods, 14-16 May 2014, Singapore, Singapore
- Fiction/alism: Fiction in Metaphysics, Language, and Methodology, 4-5 Oct 2013, Hamburg, Germany
Received: 2013-08-22:
- COIN 2013: Coordination, Organisations, Institutions and Norms, 3 Dec 2013, Dunedin, New Zealand
- PhD student position (100% TV-L E13) in theoretical computer science, Hagen (Germany), Deadline: 6 Sep 2013
- PhD student or postdoctoral position on reasoning under uncertainty, Munich (Germany)
- PhD student position in philosophy of language, Preston (U.K.), Deadline: 1 Nov 2013
- LATA 2014: Language and Automata Theory and Applications, 10-14 Mar 2014, Madrid, Spain
- Thought Experiments, Counterfactuals and Modal Knowledge, 2-3 Sep 2013, Berlin, Germany
Received: 2013-08-21:
- Lectureship in Philosophy of Science, Leeds (U.K.), Deadline: today!
- W3 Professorship in Algorithm Engineering, Potsdam (Germany), Deadline: 29 Aug 2013
- Lectureship in Logic, Amsterdam (The Netherlands), Deadline: 10 Sep 2013
- Postdoctoral position in applied logic (1y), Vienna (Austria), Deadline: 30 Sep 2013
- Workshop in Philosophical Logic, 13 Sep 2013, Padova, Italy
- W3 Professorship in Computational Linguistics, Heidelberg (Germany), Deadline: 30 Sep 2013
Received: 2013-08-19:
Received: 2013-08-09:
- Two PhD scholarships in philosophy, Oslo (Norway), Deadline: 1 Sep 2013
- Christoph J. Scriba (1929-2013)
- Three PhD scholarships in humanities or social sciences, Marburg (Germany), Deadline: 1 Sep 2013
- Call for Symposia Proposals: AISB 2014 (extended deadline), 1-4 Apr 2014, London, U.K.
- Honorary doctorate of the Universiteit Gent for Professor Harvey Friedman, 4 Sep 2013, Gent, Belgium
Received: 2013-08-06:
Received: 2013-08-01:
- HOPOS 2014: History of Philosophy of Science, 3-6 July 2014, Gent, Belgium
- Research & Teaching Associate in Philosophy of Science (1y), Cambridge (U.K.), Deadline: 30 Aug 2013
- fixed-term lectureship in philosophy, Canterbury (U.K.), Deadline: 4 Aug 2013
- AIC 2013: Artificial Intelligence and Cognition, 3 Dec 2013, Turing, Italy
- CfPart: CALCO 2013, 3-6 Sep 2013, Warsaw, Poland
- NASSLLI 2014: North American Summer School in Logic, Language and Information, 23-27 Jun 2014, College Park MD, U.S.A.
Received: 2013-07-31:
- Postdoctoral position in robust, Manno (Switzerland), Deadline: 5 Aug 2013
- Postdocotoral position in computational logic, Luxembourg (Luxembourg), Deadline: 2 Sep 2013
- Two postdoctoral positions in theoretical philosophy (18m & 2y), Konstanz (Germany), Deadline: 30 Aug 2013
- Fred Dretske (1932-2013)
- "Probabilistic Modelling in Science and Philosophy", 11-12 Oct 2013, Bern, Switzerland
- MCU 2013: Machines, Computation and Universality, 9-11 Sep 2013, Zuerich, Switzerland
Received: 2013-07-29:
- PhD student position in philosophy of simulation, Stuttgart (Germany), Deadline: 20 Aug 2013
- "Proof Theory": postgraduate course, 26 Aug - 6 Sep 2013, Oslo, Norway
- AAMAS 2014: Autonomous Agents and Multiagent Systems, 5-9 May 2014, Paris, France
- PhD student position in foundations of individual choice, Tilburg (The Netherlands), Deadline: 31 Aug 2013
- Junior Research Fellowship at Jesus College, Cambridge (U.K.), Deadline: 4 Sep 2013
- PHILOGICA III: Colombian Conference on Logic, Epistemology and Philosophy of Science, 12-14 Feb 2014, Bogota, Colombia
Received: 2013-07-19:
- 3y postdoctoral position on the metaphysics of causation, Geneva (Switzerland)
- CfP special issue of "Rivista Italiana di Filosofia del linguaggio" on Linguistic Relativity, Deadline: 20 Sep 2013
- EUMAS 2013: European Workshop on Multi-Agent Systems, 12-13 Dec 2013, Toulouse, France
- PhD position on scientific reasoning, Tilburg (The Netherlands), Deadline: 31 Aug 2013
- Paraconsistency and paraconsistent Logics, 24 Jul 2013, Bonn, Germany
- Postdoctoral position in formal modelling of the problem domain, Toulouse (France)
Received: 2013-07-17:
- CfPart Progic 2013, 17-18 Sep 2013, Munich, Germany
- Lectureship (tenured) and Fellowship (temporary) in philosophy of science / language/ mind, Dublin (Ireland), Deadline: 29 Jul 2013
- Three PhD studentships in Computer Science, Leicester (U.K.)
- CfPart: TABLEAUX 2013, 16-19 Sep 2013, Nancy, France
- 1st New Zealand Agent School, 1 Dec 2013, Dunedin, New Zealand
- New journal: "Language under Discussion"
Received: 2013-07-16:
- Postdoctoral position in ceteris paribus conditions, Cologne (Germany), Deadline: 10 Aug 2013
- LPAR-19: Logic for Programming, Artificial Intelligence and Reasoning, 14-19 Dec 2013, Stellenbosch, South Africa
- Workshop on Modality, 18 July 2013, Nottingham, U.K.
- semdial 2013: DialDam: Semantics and Pragmatics of Dialogue, 16-18 Dec 2013, Amsterdam, The Netherlands
- Postdoctoral position in formal understanding of creativity, Barcelona (Spain), Deadline: 15 Sep 2013
- 7th Arche / CSMN Graduate Conference, 2-3 Nov 2013, St Andrews, Scotland
Received: 2013-07-11:
- Eight PhD student positions in Logic and Epistemology, Rome (Italy), Deadline: 29 Jul 2013
- 19th Amsterdam Colloquium, 18-20 Dec 2013, Amsterdam, The Netherlands
- Postdoctoral position (2y) in philosophy of mind, Tuebingen (Germany), Deadline: 20 Jul 2013
- Researcher positions (1 to 3 years) in all subjects, Helsinki (Finland), Deadline: 4 Sep 2013
- Visiting Fellowships in History and Philosophy of Science, Leeds (U.K.), Deadline: 19 Jul 2013
- Professorship in Philosophy of Science, Shanghai (China), Deadline: 1 Oct 2013
Received: 2013-07-05:
- Final CfP: LRPP 2013, 16 Sep 2013, Nancy, France
- Alan Musgrave Master's Scholarship in Philosophy 2014, Otago (New Zealand), Deadline: 1 Sep 2013
- BLC 2013: British Logic Colloquium (together with Dummett Symposium), 4-7 Sep 2013, Leeds, U.K.
- Two postdoctoral positions in "Ontology after Quine", Hamburg (Germany), Deadline: 31 Jul 2013
- Postdoctoral research fellowship in philosophy of science, Johannesburg (South Africa), Deadline: 15 Jul 2013
- Doxastic Freedom and Normativity, 19-21 Sep 2013, Regensburg, Germany
Received: 2013-06-29:
- Junior Professorship (W1) in topological algebra (including general topology), Dresden (Germany), Deadline: 5 Jul 2013
- CLPS 2013: Logic and Philosophy of Science, 16-18 Sep 2013, Gent, Belgium
- CfPart CMN 2013, 4-6 Aug 2013, Hamburg, Germany
- Directorship Schloss Dagstuhl, Dagstuhl (Germany), Deadline: 8 July 2013
- Extended deadline: professorship in theoretical philosophy, Vienna (Austria), deadline now 12 Jul 2013
- Carnap on Logic 2013, 3-6 Jul 2013, Munich, Germany
Received: 2013-06-27:
- Call for Symposia Proposals: AISB 2013, 1-4 April 2014, London, U.K.
- Ikerbasque Research Professorships in Philosophy of Language, Epistemology, and Philosophy of Logic, Basque Country, Deadline: 15 July 2013
- 4th World Congress on the Square of Opposition, 5-9 May 2014, Vatican City, Vatican
- IV Madrid Workshop on new trends in the philosophy of science: "Inferentialism in Epistemology and Philosophy of Science", 11-13 Nov 2013, Madrid, Spain
- Postdoctoral position (1y) in Logics and Formal Methods, Clausthal (Germany), Deadline: 15 July 2013
- W2 Professorship in Theoretical Philosophy, Frankfurt (Germany), Deadline: 11 July 2013
Received: 2013-06-24:
- Cf Workshop Proposals: ISLA 2014 (Indian School on Logic and its Applications), 6-17 Jan 2014, Tezpur, India
- OrdRing 2013: Ordering and Reasoning, 21-22 Oct 2013, Sydney, Australia
- STACS 2014: Theoretical Aspects of Computer Science, 5-8 Mar 2014, Lyon, France
- PT-AI 2013: Philosophy and Theory of Artificial Intelligence, 21-22 Sep 2013, Oxford, U.K.
- Postdoctoral position in model theory, Konstanz (Germany)
- 2nd announcement: Proof Theory in Lisbon, 19 July 2013, Lisbon, Portugal
Received: 2013-06-17:
- Master programme in Cognitive Science and Humanities, San Sebastian (Spain)
- dialectica prize: social ontology, deadline: November 2013
- LRPP 2013: Logics for Resources, Processes and Programs, 16 Sep 2013, Nancy, France
- Epistemology of Modality, 29-31 Aug 2013, Lisbon, Portugal
- 3rd CfP: PRIMA 2013, 3-6 Dec 2013, Dunedin, New Zealand
- 5WCP: World Congress of Paraconsistent Logic, 13-17 Feb 2013, Kolkata, India
Received: 2013-06-15:
- CfP special issue of 'Mathematics in Computer Science' on formalised reasoning,
- Research fellowship (postdoctoral) in "Epistemic Innocence of Imperfect Conditions", Birmingham (U.K.), Deadline: 11 July 2013
- PhD student position in "Computationally realistic architectures for a Bayesian brain", Nijmegen (The Netherlands), Deadline: 14 July 2013
- PhD student position in "Science beyond Scientism", Amsterdam (The Netherlands), Deadline: 4 July 2013
- PhD student position in philosophy of science and/or epistemology, Vienna (Austria), Deadline: 4 July 2013
- Position as Head of Computer Science Department, Hull (U.K.), Deadline: 17 June 2013
Received: 2013-06-11:
- Assistant Professorship in Social Network Analysis, Zuerich (Switzerland), Deadline: 30 Sep 2013
- Philosophy in the Age of Euler: Science and Enlightenment, 7-8 July 2013, Gent, Belgium
- CfPart "What is Cognition", 27-29 June 2013, Bochum, Germany
- New book: Alan Turing: His Work and Impact
- Highlights 2013: Highlights of Logic, Games and Automata, 18-21 Sep 2013, Paris, France
- Digital Humanities and Philosophy, 28 June 2013, Amsterdam, The Netherlands
Received: 2013-06-09:
- Faculty position in philosophy of science / analytic ontology, Leuven (Belgium), Deadline: 30 Sep 2013
- CfPart: Foundations of Network Science, 7 Jul 2013, Riga, Latvia
- 2nd CfP ISAAC 2013, 16-18 Dec 2013, Hong Kong, China
- CfP on "Turing on Emotions" of the International Journal of Synthetic Emotions
- 26th Australasian Joint Conference on AI, 3-6 Dec 2013, Dunedin, New Zealand
- King George VI Postdoctoral Fellowship, Windsor (U.K.), Deadline: 28 June 2013
Received: 2013-06-07:
- British Academy Postdoctoral Fellowships in Philosophy, Oxford (U.K.)
- Professorship Theoretical Philosophy, Vienna (Austria), 21 June 2013
- 8th Barcelona Workshop on Conditionals, 26-28 June 2013, Barcelona, Spain
- FLoC 2014 (part of VSL 2014): Call for Workshops, Vienna (Austria), July 2014
- Postdoctoral researcher in logic, Luxembourg (Luxembourg), Deadline: 20 June 2013
- Postdoctoral position in philosophy, Bergen (Norway), Deadline: 29 June 2013
Received: 2013-05-30:
- 4th meeting of the medieval philosophy network, 7 Jun 2013, London, U.K.
- Deadline extension: LORI-4, 9-12 Oct 2013, Hangzhou, China
- Final CfP: Argumentation Technologies, 16-17 Sep 2013, Corunna, Spain
- Functions, proofs, constructions, 20-23 Feb 2014, Tuebingen, Germany
- LRPP 2013: Logics for Resources, Processes and Programmes, 16 Sep 2013, Nancy, France
- temporary part-time teaching position in theoretical philosophy, Leiden (The Netherlands), Deadline: 10 June 2013
Received: 2013-05-26:
Received: 2013-05-25:
- CfPart: Andrzej Mostowski Centenary, 11-13 Oct 2013, Warsaw, Poland
- PhD student or Postdoctoral position in Philosophy of Language, Neurolinguistics or Neurosemantics, Bochum (Germany), Deadline: 15 June 2013
- 2nd CfP & travel grant announcement: FotFS VIII (History and Philosophy of Infinity), 20-23 Sep 2013, Cambridge, England
- Two postdoctoral positions in computer security (logic background required), Luxembourg (Luxembourg), Deadline: 30 May 2013
Received: 2013-05-24:
Received: 2013-05-22:
Received: 2013-05-21:
- Postdoctoral position (2y) in set theory, Torino (Italy), Deadline: 28 May 2013
- Hegel's Logic, 2-3 Sep 2013, Oxford, U.K.
- LCC 2013: Logic and Computational Complexity, 6 Sep 2013, Torino, Italy
- 2nd CfP: CLIMA XIV, 16-17 Sep 2013, Corunna, Spain
Received: 2013-05-16:
- CfPart: CiE 2013, 1-5 Jul 2013, Milan, Italy
- CfPart: WoLLIC 2013, 20-23 Aug 2013, Darmstadt, Germany
- Postdoctoral research fellow in philosophy of science, Johannesburg (South Africa), Deadline: 15 July 2013
- Full Professorship in Theoretical Philosophy, Vienna (Austria), Deadline: 21 June 2013
- Rudolf Carnap Lectures and Graduate Conference: David Chalmers "Structuralism, Space and Skepticism", 21-23 May 2013, Bochum, Germany
- PhD scholarships in mathematics, Barcelona (Spain), Deadline: 20 June 2013
Received: 2013-05-13:
- LoPhisc: Master in Logic, Philosophy of Science & Epistemology, Paris (France)
- 2nd CfP: SIFA Graduate Conference "Language, Logic and Mind", 16-118 Sep 2013, Cagliari, Italy
- RP 2013: Reachability Problems, 25-27 Sep 2013, Uppsala, Sweden
- CfPart: LoQI, 30 May - 1 Jun 2013, Paris, France
- "Metaphor, Analogy, Reasoning", 27-28 May 2013, Urbino, Italy
- European Master's programme in Computational Logic, Bolzano/Dresden/Lisbon/Vienna (Italy/Germany/Portugal/Austria)
Received: 2013-05-12:
- PhilMath Intersem, 4-27 June 2013, Paris, France
- 60th Parallel Workshop on Constructivism and Proof Theory, 20-21 May 2013, Stockholm, Sweden
- The Annual Info-Metrics Prize in Memory of Halbert L. White Jr., Deadline: 30 June 2013
- British Logic Colloquium 2013, 4-5 Sep 2013, Leeds, U.K.
- Vagueness, Imprecision and Uncertainty in Description Logics, 11-14 Oct 2013, Halifax, Canada
- Postdoctoral position in machine learning, San Diego CA (U.S.A.)
Received: 2013-05-09:
- PhD student position or postdoctoral position in philosophy of language, Bochum (Germany), Deadline: 15 Jun 2013
- Senior Lectureship in Philosophy of Science, Stockholm (Sweden), Deadline: 11 Jun 2013
- Final CfP (extended deadline): HaPoC 2013, 28-31 Oct 2013, Paris, France
- Truth and paradox, 24-25 May 2013, Munich, Germany
- CfPart: LICS 2013, 25-28 Jun 2013, New Orleans LA, U.S.A.
- Faculty position in philosophy, Darussalam (Brunei), Deadline: 4 Jun 2013
Received: 2013-05-08:
- Professorship in Theoretical Philosophy (specialization: Logic), Stockholm (Sweden), Deadline: 11 June 2013
- Arithmetic, Structures and the Rise of Modern Logic, Colloquium in honour of Dan Isaacson, 15 June 2013, Oxford, U.K.
- ALT 2013: Algorithmic Learning Theory, 6-9 Oct 2013, Singapore, Singapore
- 300 years of Wolff's German Logic, 21-22 Nov 2013, Leuven, Belgium
- Two postdoctoral research assistantships in automated verification and synthesis, Oxford (U.K.), Deadline: 31 May 2013
- Temporary Professorship in Theoretical Philosophy (rfour months), Vienna (Austria), Deadline: 22 May 2013
Received: 2013-05-06:
- CfP "The Life and Work of Leon Henkin", Deadline: Sep 2013
- PhD student position in automata theory, Bordeaux (France)
- Faculty positions in mathematics (lecturer / associate professor), Leeds (U.K.)
- College Lectureship in Philosophy, Oxford (U.K.), Deadline: 21 May 2013
- Visiting Assistant Professorship in medieval philosophy / epistemology / logic, Asheville NC (U.S.A.), Deadline: 15 May 2013
- Postdoctoral position in logic, proof theory and semantics, Nancy (France), Deadline: 15 Jun 2013
Received: 2013-04-29:
- SSIU / WIUI 2013: "Information, Uncertainty and Imprecision", 3-7 Jun 2013, Olomouc, Poland
- Workshop on Intensionality in Mathematics, 11-12 May 2013, Lund, Sweden
- BSPS scholarship for doctoral work in philosophy of science, Deadline: 1 May 2013
- "Reflection principles and set theory of large cardinals", 9-12 Sep 2013, Kyoto, Japan
- Lectureship in Philosophy, Southampton (U.K.), Deadline: 24 May 2013
- (Associate/Full) Professorship in Logic/Statistics/Computer Science, Kobe (Japan), Deadline: 31 May 2013
Received: 2013-04-27:
- Proof Theory in Lisbon, 19 Jul 2013, Lisbon, Portugal
- Concept Acquisition and the Role of Language, 27-28 May 2013, Durham, U.K.
- Deadline extension: KI 2013: Artificial Intelligence, 16-20 Sep 2013, Koblenz, Germany
- Workshop on History of Analytic Philosophy, 8 May 2013, York, U.K.
- Deadline extension: TbiLLC 2013, 23-27 Sep 2013, Gudauri, Georgia
- RR 2013 Doctoral Consortium: Reasoning and Rule Systems, 27-29 Jul 2013, Mannheim, Germany
Received: 2013-04-26:
- Pragmatics and the Philosophy of Language, 13 May 2013, Nottingham, U.K.
- Wolfgang Stegmueller und die Rueckkehr der analytischen Philosophie, 1 June 2013, Munich, Germany
- Final CfP: GandALF 2013 (Games, Automata, Logics and Formal Verification), 29-31 Aug 2013, Borca di Cadore, Italy
- European Philosophy of Science Association Conference (EPSA13), 28-31 Aug 2013, Helsinki, Finland
- 2nd Call for Informal Presentations: CiE 2013, 1-5 Jul 2013, Milan, Italy
- Final CfP: IACAP 2013, 15-17 Jul 2013, College Park MD, U.S.A.
Received: 2013-04-25:
- PhD scholarship in philosophy ("Managing Severe Uncertainty"), London (U.K.), Deadline: 15 June 2013
- Modes of Explanation, 21-25 May 2013, Paris, France
- 2nd CfP: PRIMA 2013, 3-6 Dec 2013, Dunedin, New Zealand
- Bertrand Russell Visiting Professorship, Hamilton ON (Canada), Deadline: 30 Apr 2013
- Call for Workshops: ISLA 2014 (Indian School on Logic and its Applications), 6-17 Jan 2014, Tezpur, India
- Two postdoctoral research associate positions in philosophy of mind / cognitive science, Manchester (U.K.), Deadline: 7 May 2013
Received: 2013-04-24:
- Funding Initiative: "New Perspectives on the Philosophy of Understanding", Deadline: 1 Nov 2013
- ICAART 2014: Agents and Artificial Intelligence, 6-8 Mar 2014, Angers, France
- temporary (1y) assistant professorship in philosophy, Hamilton ON (Canada), Deadline: 30 Apr 2013
- PhD student positions in computer science, Liverpool (U.K.), Deadline: 13 May 2013
- Professorship in theoretical philosophy, Helsinki (Finland), Deadline: 30 May 2013
- LENLS 10: Logic and Engineering of Natural Language Semantics, 27-28 Oct 2013, Kanagawa, Japan
Received: 2013-04-22:
- Extended registration deadline: YSTW 2013, 10-14 Jun 2013, Santuario di Oropa, Italy
- Frege@Stirling, 22-23 Jun 2013, Stirling, Scotland
- Deadline extension: Computational Creativity, Concept Invention and General Intelligence, 3-4 Aug 2013, Beijing, China
- The Historical Turn in Philosophy of Science: Kuhn, Feyerabend, Wittgenstein, 10-11 May 2013, Zuerich, Switzerland
- Metaphysics of Time, 1 May 2013, Birmingham, U.K.
- Travel grants available: Logical Models of Group Decision Making, 12-16 Aug 2013, Duesseldorf, Germany
Received: 2013-04-20:
- Visiting Assistant Professorship in Philosophy of Science, Glassboro NJ (U.S.A.), Deadline: 27 May 2013
- ICFCA 2013: Formal Concept Analysis, 21-24 May 2013, Dresden, Germany
- Lewis Carroll's Mathematics, 18 May 2013, Birmingham, U.K.
- Tenure-track position in Theoretical Computer Science, Amsterdam (The Netherlands), Deadline: 1 Jun 2013
- Call for Nominations: 2013 E W Beth Dissertation Prize
- The role of analogy in argumentative discourse, 3-4 May 2013, Coimbra, Portugal
Received: 2013-04-19:
- Creative Mathematical Sciences Communication, 2-10 Aug 2013, Darwin, Australia
- PhD student positions in theoretical computer science, Birmingham (U.K.)
- Call for Informal Presentations: CCA 2013 (Computability and Complexity in Analysis), 8-10 July 2013, Nancy, France
- Argumentation Technologies (@ CLIMA XIV), 16-17 Sep 2013, Corunna, Spain
- Lectureship in Philosophy (expertise in logic), Belfast (U.K.), Deadline: 13 May 2013
- Workshop on the Philosophy of Information and Information Quality, 10 May 2013, Lund, Sweden
Received: 2013-04-18:
- Workshop on Argumentation in Mathematics, 30 May 2013, Groningen, The Netherlands
- PhD student position in theoretical computer science, Stockholm (Sweden), Deadline: 5 May 2013
- DGL 2013: Decisions, Games & Logic, 17-19 June 2013, Stockholm, Sweden
- Call for Course and Workshop Proposals: ESSLLI 2014, 11-22 Aug 2014, Tuebingen, Germany
- 2nd CfP: HaPoC 2013, 28-31 Oct 2013, Paris, France
- Lectureship in Philosophy, Durham (U.K.), Deadline: 28 Apr 2013
Received: 2013-04-17:
- Two PhD student positions in logic, Amsterdam (The Netherlands), Deadline: 12 May 2013
- ALCOP 2013: Algebra and Coalgebra meet Proof Theory, 18-20 Apr 2013, Utrecht, The Netherlands
- PhD student position on SAT/SMT-based verification techniques, Newcastle (U.K.)
- 3rd CfP: TbiLLC 2013, 23-27 Sep 2013, Gudauri, Georgia
- Postdoctoral position in theoretical computer science ("Understanding the hardness of theorem proving"), Stockholm (Sweden), Deadline: 5 May 2013
- 2y postdoctoral position in theoretical philosophy, Gothenburg (Sweden), Deadline: 25 Apr 2013
Received: 2013-04-13:
- MC2: Mathematical Cultures, 17-19 Sep 2013, London, U.K.
- Algebra and Logic, 2 May 2013, Berne, Switzerland
- The Roles of Knowledge, 28-29 Jun 2013, Cambridge, U.K.
- Postdoctoral position in set theory (2y), Torino (Italy)
- LPAR-19: Logic for Programming, Artificial Intelligence and Reasoning, 14-19 Dec 2013, Stellenbosch, South Africa
- Postdoctoral position in secure communication, Seville (Spain), Deadline: 1 Jun 2013
Received: 2013-04-08:
- Theory and Applications of Formal Argumentation, 3-5 Aug 2013, Beijing, China
- Deadline extension CALCO Tools 2013, 3-6 Sep 2013, Warsaw, Poland
- Summer School: The Philosophical History of Modern Space-Time Theory, 5-9 Aug 2013, Tuebingen, Germany
- WoMO 2013: Modular Ontologies, 15 Sep 2013, Corunna, Spain
- HOPA: Higher-Order Program Analysis, 28-29 Jun 2013, New Orleans LA, U.S.A.
- Reasons and Reasoning, 20 Apr 2013, Washington DC, U.S.A.
Received: 2013-04-07:
- 5th and Final Formal Epistemology Festival, 3-5 June 2013, Toronto ON, Canada
- WWV 2013: Automated specification and verification of web systems, Florence (Italy), 6 June 2013 (deadline: tomorrow)
- Postdoctoral or PhD student position on "Semantic technology for context awareness", Dresden (Germany), Deadline: 18 April 2013
- 2nd CfP: SIROCCO 2013: Structural Information and Communication Complexity, 1-3 July 2013, Ischia, Italy
- Wittgenstein in relation to philosophical traditions, 20-22 May 2013, Goettingen, Germany
- Norms and Normative Multi-Agent Systems, 16-17 Sep 2013, Corunna, Spain
Received: 2013-04-06:
- KI 2013: Artificial Intelligence, 16-20 Sep 2013, Koblenz, Germany
- Final CfP: Progic 2013, 17-18 Sep 2013, Munich, Germany
- Investigating Semantics, 10-12 Oct 2013, Bochum, Germany
- Truth and Paradox, 23-25 May 2013, Munich, Germany
- LICS 2013: Call for Short Presentations, 25-28 June 2013, New Orleans LA, U.S.A.
- 3rd CHR Summer School: Programming and Reasoning with Rules and Constraints, 8-12 July 2013, Berlin, Germany
Received: 2013-04-05:
- Category-theoretic foundations of mathematics, 4-5 May 2013, Irvina CA, U.S.A.
- Postdoctoral fellow in theoretical philosophy (2y), Gothenburg (Sweden), Deadline: 25 Apr 2013
- CLIMA XIV: Computational Logic in Multi-Agent Systems, 16-17 Sep 2013, Corunna, Spain
- BLAST 2013: Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Topology, 5-9 Aug 2013, Orange CA, U.S.A.
- W3 Professorship in Theoretical Computer Science, Kassel (Germany), Deadline: 18 Apr 2013
- Information Systems and the Four-Category Ontology, 20-21 May 2013, Durham, U.K.
Received: 2013-04-04:
- CfP special issue of Humana.Mente on Meinong, Deadline: 25 Apr 2013
- GIRL 2013: Games, Interactive Rationality and Learning, 23-26 Apr 2013, Lund, Sweden
- FotFS VIII: Registration and Grant announcement, 20-23 Sep 2013, Cambridge, England
- Deadline extension: IACAP 2013, 15-17 Jul 2013, College Park MD, U.S.A.
- Reduction and Emergence in the Sciences, 14-16 Nov 2013, Munich, Germany
- Call for Nominations: Ackermann Award 2013
Received: 2013-04-03:
- ACAI Summer School on Computational Models of Argument, 1-5 July 2013, London, U.K.
- FregeFest IV, 12-13 Apr 2013, Irvine CA, U.S.A.
- FCT 2013: Fundamentals of Computation Theory, 19-21 Aug 2013, Liverpool, U.K.
- Workshop in Putnam's Model-theoretic arguments, 23 May 2013, Munich, Germany
- PhD internships in mathematics (for graduate students), Warsaw (Poland), Deadline: 15 Apr 2013
- Analysis Studentship in analytic philosophy (at UK universities), Deadline: 12 Apr 2013
Received: 2013-04-02:
- LSFA 2013: Logical and Semantic Frameworks, 2-3 Sep 2013, Sao Paulo, Brazil
- Extended deadline: 4ESTC (European Set Theory Conference), 15-18 July 2013, Mon Sant Benet, Spain
- PhD student scholarship on "Modelling and Normative Assessment of Collective Decisions", Hamburg (Germany), Deadline: 15 April 2013
- ADDCT 2013: Automated Deduction: Decidability, Complexity, Tractability, 10 June 2013, Lake Placid NY, U.S.A.
- NVTI Theory Day, 5 April 2013, Utrecht, The Netherlands
- PhD student and postdoc positions in epistemic protocol synthesis, Nancy (France), Deadline: 15 May 2013
Received: 2013-03-29:
- Reference and Frege puzzles, 31 May - 1 Jun 2013, Umea, Sweden
- Logicality, Lexical Meaning and Semantic Invariance, 25 Jun 2013, Barcelona, Spain
- Inductive Logic and Confirmation in Science, 17-18 Oct 2013, Paris, France
- Charles S. Peirce Centennial Congress, 16-19 Jul 2014, Lowell MA, U.S.A.
- PhD student position in "Rational Extensions of Logical Reasoning", Wernigerode (Germany), Deadline: 29 Apr 2013
- QR 2013: Qualitative Reasoning, 27-30 Aug 2013, Bremen, Germany
Received: 2013-03-25:
- European PhD program in computational logic, Bozen/Dresden/Wien/Lisboa (Italy/Germany/Austria/Portugal)
- Bayesian Natural Language Semantics and Pragmatics, 5-9 Aug 2013, Duesseldorf, Germany
- Algebraic Proof Theory Workshop, 23-27 Sep 2013, Tbilisi, Georgia
- The Drapers' Company Junior Research Fellowship in the Humanities, Oxford (U.K.), Deadline: 12 Apr 2013
- Uncertainty & Surprise in the Exact Sciences, 6 June 2013, Gent, Belgium
- M4M-8: Methods for Modalities, 9 June 2013, Lake Placid NY, U.S.A.
Received: 2013-03-23:
- 2nd PLM Conference: Philosophy of Language and Mind, 13-15 Sep 2013, Budapest, Hungary
- Two PhD student positions in philosophy (philosophy of physics, logic), Rotterdam (The Netherlands), Deadline: 1 May 2013
- Call for Informal Presentations: CiE 2013, 1-5 Jul 2013, Milano, Italy
- PhD student position in efficient and natural proof systems, Bath (U.K.), Deadline: 17 Apr 2013
- STAMI: Space, Time and Ambient Intelligence, 14-15 Jul 2013, Bellevue WA, U.S.A.
- Postdoctoral position "infinite regresses in philosophy", Groningen (The Netherlands), Deadline: 8 Apr 2013
Received: 2013-03-20:
- 7th Latin Meeting in Analytic Philosophy, 1-2 Jul 2013, Paris, France
- RR 2013: Doctoral Consortium (Reasoning and Rules Systems), 27-29 Jul 2013, Mannheim, Germany
- 2nd APMP meeting: Association for the Philosophy of Mathematical Practice, 3-4 Oct 2013, Urbana IL, U.S.A.
- MCU 2013: Machines, Computations and Universality, 9-12 Sep 2013, Zuerich, Switzerland
- 3rd CfP: Progic 2013, 17-18 Sep 2013, Munich, Germany
- PT-AI 2013: Philosophy and Theory of Artificial Intelligence, 21-22 Sep 2013, Oxford, U.K.
Received: 2013-03-19:
- PhD student positions in Principles of Brain Computation, Graz (Austria), Deadline: 24 Mar 2013
- SPE6: Semantics and Philosophy in Europe, 10-14 June 2013, St. Petersburg, Russia
- TACL 2013: Topology, Algebra and Categories in Logic, Nashville TN (U.S.A.), 24 July to 1 August 2013
- Assistant Professorship (A13, 3y+3y) in philosophy, Munich (Germany), Deadline: 7 April 2013
- CaEitS: Causality and Experimentation in the Sciences, 1-3 July 2013, Paris, France
- Research Master's programme in Philosophy, Groningen (The Netherlands)
Received: 2013-03-18:
- Reasons: Action, Belief, Perception, 10-12 Oct 2013, Saarbruecken, Germany
- Postdoctoral positions in approximation algorithms, Morgantown WV (U.S.A.)
- Semdial 2013: DialDam (Semantics and Pragmatics of Dialogue), 16-18 December 2013, Amsterdam, The Netherlands
- Senior and junior fellowships, Greifswald (Germany), Deadline: 30 April 2013
- PhD position in coalgebraic logics, Glasgow (Scotland), Deadline: 15 April 2013
- MA in Reasoning, Canterbury (U.K.), Deadline: 4 April 2013
Received: 2013-03-14:
- 2nd CfP: FormalMAGiC, 31 Jul - 3 Aug 2013, Beijing, China
- CMFP 2013: Constructive Mathematics, Foundations and Practice, 24-28 June 2013, Nis, Serbia
- Hegel's Science of Logic, 2-3 May 2013, Warwick, U.K.
- LORI-4: Logic, Rationality and Interaction, 9-12 Oct 2013, Hangzhou, China
- Two postdoctoral positions in algorithms, Warsaw (Poland)
- Postdoctoral fellowship in science of information, West Lafayette IN (U.S.A.), Deadline: 1 Apr 2013
Received: 2013-03-13:
- W2 professorship in theoretical philosophy, Duesseldorf (Germany), Deadline: 4 Apr 2013
- Mathematising Science: Limits and Perspectives, 16-17 May 2013, Norwich, U.K.
- Tenured or tenure-track position in analytic philosophy, Tel Aviv (Israel), Deadline: 15 May 2013
- WoLLIC 2013: Logic, Language, Information and Computation, 20-23 Aug 2013, Darmstadt, Germany
- Formal Methods in Philosophy, 15-17 Jul 2013, Gdansk, Poland
- Arthur Prior Centenary Conference, 21-22 Aug 2014, Oxford, U.K.
Received: 2013-03-12:
- DGL 2013: Decisions, Games & Logics, 17-19 June 2013, Stockholm, Sweden
- MATES 2013: Multiagent System Technologies, 16-20 Sep 2013, Koblenz, Germany
- Postdoctoral and doctoral fellowships in philosophy of science, Munich (Germany), Deadline: 7 Apr 2013
- CfP special issue of LLC: computational models of narrative,
- Full professorship in philosophy of science, Tilburg (The Netherlands), Deadline: 8 Apr 2013
- 1y assistant professorship in philosophy, Kalamazoo MI (U.S.A.)
Received: 2013-03-10:
- Postdoctoral researcher in machine learning, Oxford (U.K.), Deadline: 5 April 2013
- Stipendiary Lectureship in Philosophy at Merton College, Oxford (U.K.), Deadline: 5 Apr 2013
- W1 junior professorship on computational social choice, Duesseldorf (Germany), Deadline: 21 Mar 2013
- Euro-Xprag Master Class on Pragmatics and Language Processing, 28-29 May 2013, London, U.K.
- Two post-doctoral grants in logic and information theory, Campinas (Brazil)
- The role of analogy in argumentative discourse, 3-4 May 2013, Coimbra, Portugal
Received: 2013-03-05:
- 2nd CfP: ANR 2013: Kurt Goedel, Aix-en-Provence (France), 11-13 July 2013
- Lectureship in Logic (all areas), Amsterdam (The Netherlands), Deadline: 1 April 2013
- 2nd CfPart: Nordic Logic Spring 2013, 27-31 May 2013, Nordfjordeid, Norway
- LREC 2014: Language Resources and Evaluation Conference, 26 May - 1 Jun 2014, Reykjavik, Iceland
Received: 2013-03-04:
- extended deadline: SILFS Postgraduate conference in logic and philosopphy of sciences, 29-31 May 2013, Urbino, Italy
- CfPart LATA 2013, 2-5 Apr 2013, Bilbao, Spain
- Lectures associated with the Francqui Chair (Wolfgang Thomas), 18 Apr - 3 May 2013, Mons, Belgium
- CfP special issue of 'AI & Society' on agent-based modelling, Deadline: 15 Mar 2013
- 2nd CfP: TbiLLC 2013, 23-27 Sep 2013, Gudauri, Georgia
- PhD student position in AI (ontology, knowledge representation, logic, decision theory), Mannheim (Germany), Deadline: 1 Apr 2013
Received: 2013-03-02:
- Workshop: Constructing the World, 24-26 May 2013, Cologne, Germany
- Litwin Award for Doctoral Dissertation in the Philosophy of Information, Deadline: 1 Jun 2013
- Deadline extension: YSTW 2013, 10-14 Jun 2013, Santuario di Oropa, Italy
- W2 Professorship in philosophy of mind, Dortmund (Germany)
- ISAAC 2013: Algorithms and Computation, 16-18 Dec 2013, Hong Kong, China
- CHR 2013: Constraint Handling Rules, 11-12 July 2013, Berlin, Germany
Received: 2013-03-01:
- CfPart BCTCS 2013, 24-27 Mar 2013, Bath, U.K.
- FPMW5: French PhilMath Workshop, Clermont-Ferrand (France), 17-19 Oct 2013
- TACL 2013: Topology, Algebra and Categories in Logic, Nashville TN (U.S.A.), 24 July to 1 Aug 2013
- Simplicity: Ideals of Practice in Mathematics and the Arts, 3-5 Apr 2013, New York NY, U.S.A.
- GIGA 2013: General Intelligence in Game-Playing Agents, 3-5 Aug 2013, Beijing, China
- Call for Nominations: Ackermann Award 2013, Deadline: 15 Apr 2013
Received: 2013-02-28:
- Doctoral / Postdoctoral position in constraint programming, Ulm (Germany)
- New perspectives on external world scepticism, 9-10 July 2013, Munich, Germany
- two fully funded studentships in model theory, Norwich (U.K.), Deadline: TODAY!
- FotFS VIII: History and Philosophy of Infinity, 20-23 Sep 2013, Cambridge, England
- Cf Workshop Proposals: ICLP 2013, 24-29 Aug 2013, Istanbul, Turkey
- Modal Epistemology, 7-8 Mar 2013, Mainz, Germany
Received: 2013-02-27:
- IWNC7: Natural Computing, 20-22 Mar 2013, Tokyo, Japan
- SSSW@Brazil 2013: Ontology Engineering and the Semantic Web, 5-11 May 2013, Florianopolis, Brazil
- Joint CfP for CADE-24 Workshops: ADDCT, ARSEC, ARiSVE, ESARAI, KInAR and PxTP, 9-10 June 2013, Lake Placid NY, U.S.A.
- Two fully funded studentships in set theory, Norwich (U.K.), Deadlines: 28 Feb 2013 (tomorrow) and 1 April 2013
- Workshop on Computational Creativity, Concept Invention, and General Intelligence, 3-4 Aug 2013, Beijing, China
- Doctoral student positions in formal verification, Trento (Italy)
Received: 2013-02-26:
- Rudolf Carnap Lectures & Graduate Conference: "Structuralism, Space and Skepticism", 21-23 May 2013, Bochum, Germany
- ICCL Summer School 2013: Semantic Web, 18-31 Aug 2013, Dresden, Germany
- Postgraduate programme in Logic, History and Philosophy of Science, Gent (Belgium)
- CCR 2013: Computability, Complexity and Randomness, 23-27 Sep 2013, Moscow, Russia
- 2nd CfP ESSLLI 2013 Student Session, 5-16 Aug 2013, Duesseldorf, Germany
- deadline extension CALCO 2013, 3-6 Sep 2013, Warsaw, Poland
Received: 2013-02-22:
- SLSP: Statistical Language and Speech Processing, 29-31 July 2013, Tarragona, Spain
- WL4AI: Weighted Logics for AI, 3-5 Aug 2013, Beijing, China
- 2nd CfP Progic 2013, 17-18 Sep 2013, Munich, Germany
- 2nd Workshop on the Limits and Scope of Mathematical Knowledge, 30-31 Mar 2013, Bristol, U.K.
- NVTI Theory Day 2013, 5 Apr 2013, Utrecht, The Netherlands
- Final CfP: WG 2013, 19-21 June 2013, Luebeck, Germany
Received: 2013-02-20:
- Eight postdoctoral positions (all area), Berlin (Germany), Deadline: 5 Apr 2013
- PLS9: Ninth Panhellenic Logic Symposium, 15-19 Jul 2013, Athens, Greece
- M4M-8: Methods for Modalities, 10 June 2013, Lake Placid NY, U.S.A.
- Four PhD student positions in formal methods, Gothenburg (Sweden), Deadline: 30 Mar 2013
- DCLPS Fellowship Talks on philosophy of science, Duesseldorf (Germany), 23-26 Apr 2013
- Final CfPart: Saphir Graduate Conference, 25-27 Feb 2013, Bochum, Germany
Received: 2013-02-19:
- Final CfP CMN 2013, 4-6 August 2013, Hamburg, Germany
- W1 junior professorship in computational methods for uncertainty quantification, Stuttgart (Germany), Deadline: 31 Mar 2013
- Problems and Prospects in the Philosophy of Mathematics, Urbana-Champaign IL (U.S.A.), 3-6 Oct 2013
- Seminar on Reasoning over ontologies and data, 27 Feb 2013, Amsterdam, The Netherlands
- Amsterdam Workshop on Truth, 13-15 March 2013, Amsterdam, The Netherlands
- CfP "Experimentelle Philosophie", Deadline: 6 Mar 2013
Received: 2013-02-14:
- 2nd CfP MCU 2013, 9-12 Sep 2013, Zuerich, Switzerland
- PhD student position in sociology of science, Berlin (Germany)
- IJCCI 2013: Computational Intelligence, 20-22 Sep 2013, Vilamoura, Portugal
- Thirteen postdoctoral fellowships (in all areas), Bremen (Germany), Deadline: 1 Apr 2013
- GSCL XIV: Graduate Student Conference in Logic, Urbana-Champaign IL (U.S.A.), 20-21 Apr 2013
- Big vs small: Fundamentality in Things, Thought, and Language, 19-20 Jul 2013, Hamburg, Germany
Received: 2013-02-13:
- Understanding others, 11-12 March 2013, Oxford, U.K.
- TSD 2013: Text, Speech and Dialogue, 1-5 Sep 2013, Plzen, Czech Republic
- PCC 2013: Proof, Computation and Complexity, 22-23 April 2013, Toulouse, France
- Postgraduate conference in Logic and Philosophy of Sciences, 29-31 May 2013, Urbino, Italy
- Associate Professorship in Philosophy of Mind, Bergen (Norway), Deadline: 23 Feb 2013
- Summer school: Physics and Philosophy of Time, 23-28 July 2013, Munich, Germany
Received: 2013-02-12:
- Kurt Goedel, philosopher: From Logic to Cosmology, 11-13 Jul 2013, Marseille, Paris
- HaPoC 2013: History and Philosophy of Computing, 28-31 Oct 2013, Paris, France
- PRIMA 2013: Principles and Practice of Multi-Agent Systems, 3-6 Dec 2013, Dunedin, New Zealand
- Wittgenstein Summer School and Symposium, Kirchberg am Wechsel (Austria), 7 to 17 Aug 2013
- Two PhD student positions in philosophy, Bochum (Germany)
- EASSS 2013: European Agent Systems Summer School, 1-5 Jul 2013, London, U.K.
Received: 2013-02-09:
- W3 Professorship in Logic in Computer Science, Berlin (Germany)
- Fifteen interdisciplinary postdoctoral fellowships (in all fields), Konstanz (Germany), Deadline: 15 March 2013
- Groundedness in Semantics and Beyond, 23-24 Aug 2013, Oslo, Norway
- Philosophy of Science in a Forest 2013, 23-25 May 2013, Amersfoort, The Netherlands
- Two PhD student positions in computer science, Berlin (Germany), Deadline: 14 Feb 2013
- DL 2013: Description Logics, Ulm (Germany) 23-26 July 2013
Received: 2013-02-08:
- Budapest Semester in Cognitive Science, Budapest (Hungary)
- 2nd Hamburg Summer School in Philosophy: Kit Fine, 22-26 July 2013, Hamburg, Germany
- ESPP 2013: European Society for Philosophy and Psychology, 9-12 July 2013, Granada, Spain
- ICPI 2013: Philosophy of Information, Xi'an (China), 18-21 Oct 2013
- "Minds in Common" (Aarhus-Paris Conference on Coordination and Common Ground), 25-26 June 2013, Paris, France
- Sixth Israel CS Theory Day, Ra'anana (Israel), 13 March 2013
Received: 2013-02-06:
- Intelligence Initiative Postdoctoral Fellowship, Cambridge MA (U.S.A.), Deadline: 28 Feb 2013
- YSTW 2013: Young Set Theory Workshop, 10-14 June 2013, Santuario di Oropa, Italy
- Modal Epistemology, 7-8 March 2013, Mainz, Germany
- Workshop on Bayesian Natural Language Semantics and Pragmatics, 5-9 Aug 2013, Duesseldorf, Germany
- Final CfP EMAS 2013, 6-7 May 2013, St Paul MN, U.S.A.
- Final CfP: ECSQARU 2013, 7-10 Jul 2013, Utrecht, The Netherlands
Received: 2013-02-04:
- CC2013: Concepts and categorization in linguistics, cognitive science and philosophy, 15-16 May 2013, Duesseldorf, Germany
- BCTCS: British Colloquium for Theoretical Computer Science, 24-27 March 2013, Bath, U.K.
- Midlands Graduate School 2013 in the Foundations of Computing, 8-12 April 2013, Leicester, U.K.
- PhD student position in computational complexity, Sydney (Australia), Deadline: 15 Feb 2013
- SPI: Society for the Philosophy of Information
- NRAC 2013: Nonmonotonic Reasoning, Action and Change, 3-5 Aug 2013, Beijing, China
Received: 2013-01-30:
- HOLIC 2013: History of Logic in China, 27-29 April 2013, Tianjin, China
- Postdoctoral position on SMT techniques for word-level formal verification, Trento (Italy)
- 2nd CfP: CMN 2013, 4-6 Aug 2013, Hamburg, Germany
- Postdoctoral position in efficient algorithms, Berlin (Germany), Deadline: 15 March 2013
- APPROX and RANDOM 2013, 21-23 Aug 2013, Berkeley CA, U.S.A.
- Assistant Professorship in Computer Science (tenure track), Sao Paulo (Brazil), Deadline: 10 April 2013
Received: 2013-01-28:
- Diagram, Logic and Cognition 2013, 28-29 Oct 2013, Kolkata, India
- SoCal PhilMath + PhilLogic + FoM, Irvine CA (U.S.A.) / Los Angeles CA (U.S.A.), 16 Feb 2013 and 20 Apr 2013
- BLAST 2013: Boolean algebra, Lattice theory, universal Algebra, Set theory, Topology, 5-9 Aug 2013, Orange CA, U.S.A.
- Logic, Knowledge and Language, Paul Gochet Memorial Conference, 14-15 March 2013, Brussels, Belgium
- UCLA summer school for undergraduates in Logic, 7-27 July 2013, Los Angeles CA, U.S.A.
- PhD position in logic, brain and cognition, Amsterdam (The Netherlands), Deadline: 15 Feb 2013
Received: 2013-01-21:
- Final CfP: RTA 2013, 24-26 June 2013, Eindhoven, The Netherlands
- PhD student position in computer science (social network analysis), Constance (Germany), Deadline: 31 Jan 2013
- Temporary lectureship in philosophy (75% TV-L 13, 2y) , Essen (Germany), Deadline: 1 Feb 2013
- W2/W3 Professorship in Cognitive Systems, Bremen (Germany), Deadline: 31 March 2013
- EASSS 2013: European Agents Systems Summer School, 1-5 July 2013, London, U.K.
- WFAP Graduate Conference "How Am I Supposed to Know", 2-4 May 2013, Vienna, Austria
Received: 2013-01-19:
- European Master's Programme in Computational Logic, Bolzano, Lisbon, Dresden, Vienna (Italy / Portugal / Germany / Austria)
- 5th Workshop on Philosophy of Information, 27-28 Mar 2013, Hatfield, U.K.
- SFM-13:DS: School on Formal Methods for the Design of Computer, Communication and Software Systems, 17-22 Jun 2013, Bertinoro, Italy
- Master of Science in Mind, Language and Embodied Cognition, Edinburgh (Scotland)
- ECSQARU 2013: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7-10 Jul 2013, Utrecht, The Netherlands
- Frege: Freunde und Feinde, 12-15 May 2013, Wismar, Germany
Received: 2013-01-18:
- Final CfP (and new deadline): CiE 2013, 1-5 Jul 2013, Milano, Italy
- CfPart: STACS 2013, 27 Feb - 2 Mar 2013, Kiel, Germany
- IACAP 2013: Computing and Philosophy ("Minds, Machines and Morals"), 15-17 Jul 2013, College Park MD, U.S.A.
- AGI 2013: Artificial General Intelligence, 31 Jul - 3 Aug 2013, Beijing, China
- PhD student positions in computer science, Liverpool (U.K.), Deadline: 28 Feb 2013
- Jaco de Bakker (1939-2012)
Received: 2013-01-17:
- ICAIL 2013: Artificial Intelligence and Law, 10-14 Jun 2013, Rome, Italy
- RuleML 2013: Web Rule Symposium, 11-13 Jul 2013, Seattle WA, U.S.A.
- 2nd Cf Workshop Proposals: LICS 2013, 25-28 Jun 2013, New Orleans LA, U.S.A.
- FormalMAGiC: Formalizing Mechanisms for Artificial General Intelligence and Cognition, 31 July - 3 Aug 2013, Beijing, China
- ESSLLI 2013 Student Session, 5-16 Aug 2013, Duesseldorf, Germany
- Type Theory, Homotopy Theory and Univalent Foundations, 23-27 Sep 2013, Barcelona, Spain
Received: 2013-01-16:
- SIROCCO 2013: Structural Information and Communication Complexity, 1-3 July 2013, Ischia, Italy
- Two postdoctoral positions in algorithms and lower bounds, Bristol (U.K.)
- MLQA 2013: Models and Logics for Quantitative Analysis, 24 Mar 2013, Rome, Italy
- W3 Professorship in Philosophy of Mind, Munich (Germany), Deadline: 18 Feb 2013
- Computational Linguistics for Literature, 13-14 June 2013, Atlanta GA, U.S.A.
- Postdoctoral research fellowship in verification, Warwick (U.K.), Deadline: 24 Jan 2013
Received: 2013-01-13:
Received: 2013-01-12:
- Petri Nets 2013, 24-28 Jun 2013, Milano, Italy
- Workshop on set theoretic methods in compact spaces and Banach spaces, 17-21 Apr 2013, Warsaw, Poland
- CfP special issue of HPL: the square of opposition in historical perspective, Deadline: 30 Jun 2013
- Reasons: Action, Belief, Perception, 10-12 Oct 2013, Saarbruecken, Germany
- RR 2013: Web Reasoning and Rule Systems, 27-29 Jul 2013, Mannheim, Germany
- Lectureshios, Senior Lectureships and Professorships in Computer Science, Liverpool (U.K.)
Received: 2013-01-11:
- 2nd CfP: ICALP 2013, 8-12 Jul 2013, Riga, Latvia
- 2nd CfP: TAMC 2013, 20-22 May 2013, Hong Kong, China
- DL 2013: Description Logics, 23-26 Jul 2013, Ulm, Germany
- Call for Nominations: Ackermann Award 2013
- Postdoctoral position in "Efficient and Natural Proof Systems", Bath (U.K.), Deadline: 23 Jan 2013
- RW 2013: Reasong Web Summer School, 30 Jul - 2 Aug 2013, Mannheim, Germany
Received: 2013-01-09:
- EMAS 2013: Engineering Multi-Agent Systems, 6-7 May 2013, Saint Paul MN, U.S.A.
- LoQI: Logic, Questions and Inquiry, 30 May - 1 June 2013, Paris, France
- 2nd Call: PhDs in Logic V, 8-10 Apr 2013, Munich, Germany
- CfP: Social Networks, a framework of computational intelligence, Deadline: 1 Feb 2013
- SILFS Postgraduate conference in logic and philosophy of science, 29-31 May 2013, Urbino, Italy
- PhD student position in philosophical logic, Bochum (Germany), Deadline: 15 Feb 2013
Received: 2013-01-08:
- "Philosophy of Information", 26 April 2013, Washington DC, U.S.A.
- Dirk van Dalen 80, 11 January 2013, Utrecht, The Netherlands
- VIG 2013: Very Informal Gathering, 1-3 February 2013, Los Angeles CA, U.S.A.
- Two PhD student positions in Computer Science, Leicester (U.K.), Deadline: 10 Jan 2013
- ESMLS XX: European Symposium on Medieval Logic and Semantics, Cambridge (U.K.), June 2014
- 4ESTC: 4th European Set Theory Conferences, 15-18 July 2013, Mon St Benet, Spain
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