[LOGIC] List Mailing Archive 2012
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: 2012-12-29:
- Symposium on Proofs, Programs, Procedures, 16-18 Sep 2013, Gent, Belgium
- Contest: Scope of Logic Theorems, Deadline: 28 Feb 2013
- CLFL 2013: Computational Linguistics for Literature, 13-14 Jun 2013, Atlanta GA, U.S.A
- TSD 2013: Text, Speech, Dialogue, 1-5 Sep 2013, Plzen, Czech Republic
- Workshop on Computational Creativity, 3-4 Aug 2013, Beijing, China
- Progic 2013: Probability and Logic, 17-18 Sep 2013, Munich, Germany
Received: 2012-12-26:
- WoLLIC 2013: Logic, Language, Information and Computation, 20-23 Aug 2013, Darmstadt, Germany
- ACAI Summer School on Computational Models of Argument, 1-5 Jul 2013, London, U.K.
- Meaning and Categorization, 7-8 Feb 2013, Bielefeld, Germany
- 2nd CfP: CiE 2013, 1-5 Jul 2013, Milan, Italy
- Category-Theoretic Foundations of Mathematics, 4-5 May 2013, Irvine CA, U.S.A.
- Call for Nominations: IFAAMAS-12 Victor Lesser Distinguished Dissertation Award
Received: 2012-12-24:
- Final CfP: LICS 2013, 25-28 June 2013, New Orleans, U.S.A.
- Two PhD student positions in Philosophy of Language/Mind, Leeds (U.K.), Deadline: 1 Mar 2013
- EMAS 2013: Engineering Multi-Agent Systems, 6-7 May 2013, Saint Paul MN, U.S.A.
- CLPS: Conference on Logic and Philosophy of Science, 16-18 Sep 2013, Gent, Belgium
- TAP 2013: Tests and Proofs, 18-19 June 2013, Budapest, Hungary
- MCU 2013: Machines, Computations and Universality, 9-12 Sep 2013, Zuerich, Switzerland
Received: 2012-12-22:
- Postdoctoral position (1y) in philosophy of science, Muenster (Germany), Deadline: 4 Jan 2013
- Lectureship in Philosophy of Mathematics, Oxford (U.K.), Deadline: 18 Jan 2013
- Mini-workshop on realizability, 15 Jan 2013, Utrecht, The Netherlands
- Second conference on proof-theoretic semantics, 8-10 March 2013, Tuebingen, Germany
- Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.), Deadline: 11 Jan 2013
- TbiLLC 2013, 23-27 Sep 2013, Tbilisi, Georgia
Received: 2012-12-17:
- Logical Models of Group Decision Making, 12-16 Aug 2013, Duesseldorf, Germany
- TACL 2013: Topology, Algebra and Categories in Logic, 28 July - 1 Aug 2013, Nashville TN, U.S.A.
- Nordic Spring School in Logic 2013, 27-31 May 2013, Nordfjordeid, Norway
- LORI-4: Logic, Rationality and Interaction, 9-12 October 2013, Hangzhou, China
- Ultra-Combinatorics, 24-25 Jan 2013, Pisa, Italy
- MA programme in logic and philosophy of science, Munich (Germany)
Received: 2012-12-14:
- CfPart "Aktuelle Debatten in der Erkenntnistheorie", 28 Feb 2013, Bochum, Germany
- Scientific coordinator (TV-L E14, 5y) for the development of e-humanities, Tuebingen (Germany), Deadline: 15 Jan 2013
- RTA 2013: Rewriting Techniques and Applications, 24-26 June 2013, Eindhoven, The Netherlands
- CfP Computational Models of Narrative (CMN 2013), 4-6 August 2013, Hamburg, Germany
- ESSLLI 2013 Student Session, 5-16 August 2013, Duesseldorf, Germany
- Postdoctoral position (max 2y) in model checking, Kassel (Germany)
Received: 2012-12-11:
- AAMAS 2013: Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul MN, U.S.A.
- CfP special issue of LMCS on "Computability and Complexity in Analysis", Deadline: 11 Feb 2013
- WL4AI: Weighted Logics for AI, 3-5 Aug 2013, Beijing, China
- Honorary Doctorate Ceremony: John Perry, 30 Jan 2013, Bochum, Germany
- Josef Raviv Memorial Postdoctoral Fellowship in Computer Science, various IBM Labs (worldwide), Deadline: 15 Mar 2013
- The Legacy of Reuben Goodstein, 14 Dec 2012, Leicester, U.K.
Received: 2012-12-05:
- CfTutorials: EASSS-2013: Agent Systems Summer School, 1-5 July 2013, London, U.K.
- PhD student position in epistemology / philosophy of science, Amsterdam (The Netherlands), Deadline: 2 Jan 2013
- Research Fellowship in Theory of Computing, Berkeley CA (U.S.A.) & Saarbruecken (Germany), Deadline: 15 Jan 2013
- IWNC7: Natural Computing, 20-22 March 2013, Tokyo, Japan
- Postdoctoral and PhD student positions in algorithms and complexity, Saarbruecken (Germany), Deadline: 31 Jan 2013
Received: 2012-12-04:
- Computation Tools 2013, 27 May-1 June 2013, Valencia, Spain
- CSR 2013: Computer Science Symposium in Russia, 25-29 June 2013, Ekaterinburg, Russia
- Special issue of JLC on "Loops in Argumentation", Deadline: 31 March 2013
- Six postdoctoral positions in humanities and social sciences, Tuebingen (Germany), Deadline: 15 Jan 2013
- Lectureship & research assistantship (postdoctoral) in argumentation research, Dundee (Scotland), Deadlines: 14 / 7 Jan 2013
- Foundations of Mathematics for Computer-Aided Formalization, 9-11 Jan 2013, Padova, Italy
Received: 2012-12-02:
- Special issues of Al-Mukhatabat on History of Arabic Sciences and Arabic Logic (papers presented in Tunisia), Deadline: 15 Dec 2012
- CfP: CiE 2013 (Computability in Europe), 1-5 July 2013, Milan, Italy
- "Wicked Problems, Complexity and Wisdom", Moehnesee-Guenne (Germany), 15-22 Mar 2013
- General Intelligence in Embodied Agents, 15-19 Apr 2013, Singapore, Singapore
- ICFCA 2013: Formal Concept Analysis, 21-24 May 2013, Dresden, Germany
- 2013-14 Herman Goldstine Memorial Postdoctoral Fellowship, Yorktown NY (U.S.A.), Deadline: 13 Jan 2013
Received: 2012-12-01:
- Postdoctoral research positions in mathematics and computer science, Warsaw (Poland), Deadline: 10 Dec 2012
- Frymoyer Endowed Chair in Information Sciences, University Park PA (U.S.A.)
- PhD student position in proof complexity, Stockholm (Sweden), Deadline: 14 Jan 2013
- PhD student scholarships in theoretical computer science, Birmingham (U.K.)
- Logic Colloquium 2013, 22-27 July 2013, Evora, Portugal
- Set Theory Workshop, 15 Dec 2012, Barcelone, Spain
Received: 2012-11-24:
- Explanatory Power II: Understanding through modeling?, 25-26 April 2013, Bochum, Germany
- Lectureship in Argumentation, Dundee (Scotland), Deadline: 14 Jan 2013
- Carl Friedrich von Weizsaecker Vorlesungen: Dagfinn Foellesdal, 3-7 Dec 2012, Hamburg, Germany
- Postdoctoral position in theoretical computer science, Lausanne (Switzerland), Deadline: 30 Dec 2012
- CC 2013: Concepts and categorization, 15-16 May 2013, Duesseldorf, Germany
- Postdoctoral position in proof complexity, Stockholm (Sweden), Deadline: 14 Jan 2013
Received: 2012-11-23:
- FroCoS 2013: Frontiers of Combining Systems, 18-20 Sep 2013, Nancy, France
- ICAIL 2013: Artificial Intelligence and Law, 10-14 June 2013, Rome, Italy
- The Legacy of Reuben Goodstein, 14 Dec 2012, Leicester, U.K.
- FotFS VIII: History and Philosophy of Infinity, 20-23 September 2013, Cambridge, England
- Two PhD student positions in mathematical/philosophical logic, Canterbury (New Zealand)
- 2nd CfP: Graduate Conference in Theoretical Philosophy, 18-20 April 2013, Groningen, The Netherlands
Received: 2012-11-21:
- Workshop "Automatic Actions", 11 Jan 2013, Essen, Germany
- Ultra-Combinatorics, 24-25 Jan 2013, Pisa, Italy
- Postdoctoral position in metaphysics of science, Paris (France), Deadline: 15 Feb 2013
- Several appointments in computer science (including multi-agent systems and logic), Liverpool (U.K.), Deadline: 31 Jan 2013
- Lectureship in Algorithms, Cambridge (U.K.), Deadline: 15 Jan 2013
- Frege: Freunde und Feine, 12-15 May 2013, Wismar, Germany
Received: 2012-11-20:
- TAMS 2013: Theory and Applications of Models of Computation, 20-22 May 2013, Hong Kong, China
- Assistant Professorship (3+3y) in Philosophy of Physics, Munich (Germany), Deadline: 10 Dec 2012
- PhDs in Logic V, 8-10 Apr 2013, Munich, Germany
- Two PhD student positions in Machine Translation, Amsterdam (The Netherlands), Deadline: 30 Nov 2012
- SR 2013: Strategic Reasoning, 16-17 Mar 2013, Rome, Italy
- 7th Munich-Sydney-Tilburg conference on Models and Decisions, 10-12 Apr 2013, Munich, Germany
Received: 2012-11-19:
- MSc in Logic, Amsterdam (The Netherlands)
- Postdoctoral position in verification, Paris (France)
- 5th Workshop on the Philosophy of Information, 27-28 March 2013, Hatfield, U.K.
- Two PhD student positions in parametrized complexity, Berlin (Germany), Deadline: 1 Dec 2012
- PhD student position in Theoretical Computer Science, Bochum (Germany), Deadline: 15 Jan 2013
- AGI-12 / AGI-Impact: The 2012 Winter Intelligence Conference, 7-11 December 2012, Oxford, U.K.
Received: 2012-11-17:
- CfPart: TARK 2013, 7-9 Jan 2013, Chennai, India
- Postdoctoral position(s) in logic, Los Angeles CA (U.S.A.), Deadline: 7 Dec 2012
- Assistant Professorship (tenure-track) in Machine Learning, Blacksburg VA (U.S.A.)
- Master's programme in Philosophy with funding, Atlanta GA (U.S.A.), Deadline: 1 Feb 2013
- Two-year research Master's programme in Philosophy, Nijmegen (The Netherlands)
- PhD student position in applied logic, Luxembourg (Luxembourg), Deadline: 15 Dec 2012
Received: 2012-11-06:
- TAP 2013: Tests and Proofs, 17-21 June 2013, Budapest, Hungary
- Call for Workshops RDP 2013: Rewriting, Deduction, Programming, 23-28 Jun 2013, Eindhoven, The Netherlands
- CiE 2013: Computability in Europe, 1-5 July 2013, Milan, Italy
- PhD student positions in language, cognition or computation, Edinburgh (Scotland), Deadline: 14 Dec 2012
- 2nd CfP: SHAPES 2.0, 29 Mar - 7 Apr 2013, Rio de Janeiro, Brazil
- LoQI: Logic, Questions and Inquiry, 30 May - 1 Jun 2013, Paris, France
Received: 2012-11-05:
- Games Winter School 2013, 4-8 February 2013, Champery, Switzerland
- ALC 2013: Asian Logic Conference, 16-20 Sep 2013, Guangzhou, China
- Postdoctoral position in theory of computation, Aarhus (Denmark)
- Postdoctoral or PhD student position in formal methods in multi-agent systems, Clausthal-Zellerfeld (Germany), Deadline: 10 Dec 2012
- Turing 100, 11-12 Nov 2012, Boston MA, U.S.A.
- Postdoctoral positions in classical and quantum computing, Paris (France), Deadline: 1 Feb 2013
Received: 2012-10-29:
Received: 2012-10-26:
- Special issue of 'Review of Philosophy and Psychology' on Artifact Categorization, Deadline: 15 Nov 2012
- 1st Mediterranean Conference on Algorithms, Kibbutz Ein-Gedi (Israel), 3-5 Dec 2012
- XVI Southern Cone Colloquium of Philosophy of Formal Sciences on Set Theory and Mereology, 6-10 Nov 2012, Santa Maria, Brazil
- W3 professorship in mathematical logic, Berlin (Germany)
- New Simons Institute for the Theory of Computing: research fellowships and call for programme proposals, Berkeley CA (U.S.A.)
- IMLA 2013: Intuitionistic Modal Logic and Applications, 3-7 April 2013, Rio de Janeiro, Brazil
Received: 2012-10-24:
- Call for Proposals to Organize CLA 2014
- PhD student or postdoctoral position in theoretical computer science, Jena (Germany), Deadline: 10 Nov 2012
- SAPhIR: Systematic Analytic Philosophy and Interdisciplinary Research, Graduate Workshop, 25-27 Feb 2013, Bochum, Germany
- Postdoctoral and PhD student position in Music Cognition, Amsterdam / Leiden (The Netherlands), Deadline: 23 Nov 2012
- Lectureship in theoretical computer science, Bristol (U.K.), Deadline: 21 Nov 2012
- WoLLIC 2013: Logic, Language, Information and Computation, 20-23 August 2013, Darmstadt, Germany
Received: 2012-10-17:
- Two postdoctoral positions in algorithmic game theory, Liverpool & Glasgow (U.K.), Deadline: 12 Nov 2012
- CiE 2013: Computability in Europe, 1-5 July 2013, Milan, Italy
- Postdoctoral position on scientific uncertainty, London (U.K.), Deadline: 1 Dec 2012
- Session on Philosophy of Communication and Information at the XXIII World Congress of Philosophy, 4-10 August 2013, Athens, Greece
- Descriptive Set Theory in Paris, 10-11 Dec 2012, Paris, France
- CSR 2013: Computer Science Symposium in Russia, 25-29 June 2013, Ekaterinburg, Russia
Received: 2012-10-16:
- Postdoctoral position in verification, Paris (France)
- Two postdoctoral positions in algorithms and machine learning, Helsinki (Finland), Deadline: 31 Oct 2012
- Tenure-track assistant professorship in philosophical or mathematical logic / philosophy of mathematics, Manhattan KS (U.S.A.), Deadline: 2 Nov 2012
- Descriptive Set Theory and Model Theory, 27 Dec 2012 - 4 Jan 2013, Calcutta, India
- (Senior) Lectureship in Mathematical Logic, Amsterdam (The Netherlands), Deadline: 3 Dec 2012
- PhD student position in logical and computational models of moral reasoning, Tilburg (The Netherlands), Deadline: 15 Nov 2012
Received: 2012-10-08:
Received: 2012-10-06:
- SR 2013:: Strategic Reasoning, 16-17 March 2013, Rome, Italy
- Winter School in Abstract Analysis, section set theory and topology, 26 Jan - 2 Feb 2013, Hejnice, Czech Republic
- Last CfP: AAMAS 2013, 6-10 May 2013, Saint Paul MN, U.S.A.
- Ten PhD and Postdoctoral positions in formal methods, Vienna (Austria)
- CfPart Turing in Context II, 10-12 Oct 2012, Brussels, Belgium
- Professorship Theoretical Philosophy, Basel (Switzerland), Deadline: 20 Oct 2012
Received: 2012-10-02:
- AOW 2012: 8th Australasian Ontology Workshop, 4 Dec 2012, Sydney, Australia
- CfP special issue on Philosophy of Information of the journal "Library Trends", deadline: 31 Oct 2012
- ICAIL 2013: Artificial Intelligence and Law, 10-14 June 2013, Rome, Italy
- Three Alan Turing Days in Amsterdam, 4-6 October 2012, Amsterdam, The Netherlands
- Faculty position in formal epistemology, Pittsburgh PA (U.S.A.), Deadline: 1 Nov 2012
- 18th Coalition Theory Network Workshop, 8-9 Feb 2013, Warwick, U.K.
Received: 2012-09-28:
- Logic app for iPad
- RTA 2013: Rewriting Techniques and Applications, 24-26 June 2013, Eindhoven, The Netherlands
- Workshop on set theoretic methods in compact spaces and Banach spaces, 17-21 April 2013, Warsaw, Poland
- Postdoctoral position in automated reasoning, Verona (Italy)
- Special event as part of TiC II, 10 Oct 2012, Brussels, Belgium
- LICS 2013: Logic in Computer Science, New Orleans LA, U.S.A., 25-28 June 2013
Received: 2012-09-26:
- Call for Tutorials: AAMAS 2013, 6-10 May 2013, St Paul MN, U.S.A.
- special issue of "Review of Philosophy and Psychology" on artifact categorization, Deadline: 15 Nov 2012
- Workshop on Relevant Logic, Rio de Janeiro (Brazil), March/April 2013
- Turing100.nl: symposium & theatre performance, 5 Oct 2012, Amsterdam, The Netherlands
- Spatial Representation and Logic, 11 Oct 2012, Lausanne, Switzerland
- PhD student position and postdoc position in formal methods, Luebeck (Germany), Deadline: 7 Oct 2012
Received: 2012-09-25:
Received: 2012-09-22:
- Two PhD student positions in formal frameworks for computer security, Luxembourg (Luxembourg), Deadline: 15 Oct 2012
- PhD student position in grammatical formalisms, Umea (Sweden)
- LATA 2013 (Language and Automata Theory and Applications), 2-5 Apr 2013, Bilbao, Spain
- COIN: Coalgebra in the Netherlands, 4 Oct 2012, Amsterdam, The Netherlands
- MAMLS Meeting 2012, 6-7 Oct 2012, New Brunswick NJ, U.S.A.
- 6th Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, 19-20 Jan 2013, Cambridge, U.K.
Received: 2012-09-21:
- W3 Professorship in Theoretical Computer Linguistics, Stuttgart (Germany), Deadline: 2 Nov 2012
- Computational Logic: 70th birthday of Melvin Fitting, 4-5 Oct 2012, New York NY, U.S.A.
- Postdoctoral position in digital humanities, Houston TX (U.S.A.), deadline: 15 Oct 2012
- Compositional Meaning in Logic, 3-7 Apr 2013, Rio de Janeiro, Brazil
- introduction of habilitation as a necessary requirement for applying for academic jobs in Italy
- Richard Laver (1942-2012)
Received: 2012-09-13:
- What is/was logic? Rio de Janeiro (Brazil), 3-7 April 2013
- Postdoc position and PhD student position in statistical machine translation, Amsterdam (The Netherlands), Deadlines: 22 / 12 October 2012
- CALCO 2013: Algebra and Coalgebra in Computer Science, 3-6 Sep 2013, Warsaw, Poland
- 3rd CfP STACS 2013, 27 Feb - 2 Mar 2013, Kiel, Germany
- "Breaking the Code", Theatre production of Hugh Whitemore's play in Paderborn, Hamburg, Braunschweig, Amsterdam, and Almere
- Graduate Conference in Theoretical Philosophy, 18-20 April 2013, Groningen, The Netherlands
Received: 2012-09-11:
- Assistant Professorship in Phil of Mind or Logic, Stanford CA (U.S.A.)
- SoCal PhilMath + PhilLogic + FoM workshops, Los Angeles / Irvine CA (U.S.A.)
- Visiting PhD student position (4m) in proof complexity, Prague (Czech Republic), Deadline: 15 Oct 2012
- PhD student position in logic and theoretical philosophy, Amsterdam (The Netherlands), Deadline: 8 Oct 2012
- "New Scholastic meets Analytic Philosophy", 7-8 Dec 2012, Cologne, Germany
- PhD position in Algorithmic Game Theory, Amsterdam (The Netherlands), Deadline: 30 Sep 2012
Received: 2012-09-05:
- CfPart: KI 2012, 24-27 Sep 2012, Saarbruecken, Germany
- ISWC 2012: International Semantic Web Conference, 11-15 Nov 2012, Boston MA, U.S.A.
- 4th World Congress and School on Universal Logic, 29 Mar - 7 Apr 2013, Rio de Janeiro, Brazil
- AOW 2012: 8th Australasian Ontology Workshop, 4 Dec 2012, Sydney, Australia
- Professorship in Theoretical Philosophy, Salzburg (Austria), Deadline: 17 Sep 2012
- CfPart: RP 2012: Reachability Problems, 17-19 Sep 2012, Bordeaux, France
Received: 2012-09-02:
- W3 Professorship Theoretical Philosophy, Erlangen (Germany), Deadline: 14 Sep 2012
- "The Analysis of Theoretical Terms", 3-5 Apr 2013, Munich, Germany
- Workshop on Information and Decisions in Social Networks, 8-9 Nov 2012, Cambridge MA, U.S.A.
- Calcutta Logic Circle, 29 Sep - 1 Oct 2012, Kolkata, India
- PhD student positions in finite and algorithmic model theory, Darmstadt (Germany)
- Professorship Logic and Philosophy of Science, Salzburg (Austria), Deadline: 17 Sep 2012
Received: 2012-08-30:
- CfPart: JELIA 2012, 26-28 Sep 2012, Toulouse, France
- temporary assistant professorship in "computational approach to mathematical sciences", Kobe (Japan), Deadline: 1 Oct 2012
- MWPMW 13 (Midwest PhilMath Workshop), 27-28 Oct 2012, Notre Dame IN, U.S.A.
- CfPart "Acting Right", 14 Sep 2012, Gent, Belgium
Received: 2012-08-25:
- FSNC 2012: Fall School in Natural Computing, 19-23 Nov 2012, Tarragona, Spain
- 2nd CfP: LENLS 9, 1-3 Dec 2012, Miyazaki, Japan
- CfP special issue of 'Philosophy & Technology' on Philosophy of Computer Games, Deadline: 15 Sep 2012
- 1st Workshop of the Philosophy of Mathematics Association (PMA), 26 Oct 2012, Notre Dame IN, U.S.A.
- LogInf 2012: Logic in Computer Science, 16-17 Nov 2012, Mannheim, Germany
Received: 2012-08-23:
- CfPart: GandALF 2012, 6-8 Sep 2012, Naples, Italy
- Shapes 2.0: The shape of things, 29 Mar - 7 Apr 2013, Rio de Janeiro, Brazil
- PhD student position on mathematical foundations of computational interactive music, Bordeaux (France), Deadline: 21 Sep 2012
- "Operationalizing Epistemic Concepts", 11-12 Sep 2012, Aachen, Germany
- PhD student position in e-voting systems, Trier (Germany), Deadline: 30 Sep 2012
- CfP special issue of "eJMT" on theorem-prover based systems for education, Deadline: 15 Sep 2012
Received: 2012-08-20:
- Fifth Formal Epistemology Festival, 3-5 June 2013, Toronto ON, Canada
- "Language: The Limits of Representation and Understanding", 30 Aug - 1 Sep 2012, Erfurt, Germany
- Topoi conference "Intentions: Philosophical and empirical issues", 29-30 Nov 2012, Rome, Italy
- LFCS 2013: Logical Foundations of Computer Science, 6-8 Jan 2013, San Diego CA, U.S.A.
- Bonn Junior Fellowships (temporary W2 professorships) in Mathematics, Bonn (Germany), Deadline: 15 Oct 2012
- CfPart Dutch Model Checking Day 2012, 5 Sep 2012, Amsterdam, The Netherlands
Received: 2012-08-19:
- Postdoctoral position in algorithms, Warsaw (Poland), Deadline: 31 Aug 2012
- LATA 2013, 2-5 April 2013, Bilbao, Spain
- Johannes von Kries' Conception of Probability, 13-14 Sep 2012, Bonn, Germany
- AAMAS 2013, 6-10 May 2013, Saint Paul MN, U.S.A.
- Postdoctoral position in computational social choice, Amsterdam (The Netherlands), Deadline: 17 Sep 2012
- LEMMing Graduate Conference (Philosophy of Language, Logic and Mind), 29 Nov - 1 Dec 2012, Cologne, Germany
Received: 2012-07-29:
- CfP special issue of TCS on "Theory of algorithms and complexity", Deadline: 15 Jan 2013
- Deadline extension "Numbers and Truth", 19-21 Oct 2012, Gothenburg, Sweden
- Herzog-Ernst-Stipendium for pre- and post-doctoral research projects, Erfurt (Germany), Deadline: 15 Oct 2012
- Group leader position (senior postdoc, 3+2y) in "Knowledge Communication", Konstanz (Germany), Deadline: 1 Aug 2012
- CfPart RP 2012, 17-19 Sep 2012, Bordeaux, France
- CfP special issue of TCS on "Implicit Computational Complexity", Deadline: 1 Oct 2012
Received: 2012-07-28:
- Research position (9m) in Computational Linguistics, Aberdeen (Scotland)
- CMN 2013: Computational Models of Narrative, 4-6 Aug 2013, Hamburg, Germany
- PhD student position in theoretical computer science, Vienna (Austria), Deadline: 31 Aug 2012
- Assistant Professorship in Digital Humanities, Bern (Switzerland), Deadline: 1 Sep 2012
- CfPart JELIA 2012, 26-28 Sep 2012, Toulouse, France
- Two assistant positions (pre- or postdoctoral) in theoretical philosophy, Zuerich (Switzerland), Deadline: 10 Aug 2012
Received: 2012-07-24:
- CfP special issue of Journal of Visual Languages and Computing on "Visualization and Reasoning with Euler Diagrams", Deadline: 5 Oct 2012
- "Intuitionism in 2012", 7 Sep 2012, Amsterdam, The Netherlands
- CfP special issue of Journal of Information Processing on "Mathematics of Puzzles", Deadline: 31 July 2012
- Logical Form, 18-19 Sep 2012, Cambridge, U.K.
- CATS 2013: The Australasian Theory Symposium, 29 Jan - 1 Feb 2013, Adelaide, Australia
- Postdoctoral position in information science, Bergen (Norway), Deadline: 20 Aug 2012
Received: 2012-07-20:
- CfPart TSD 2012: Text, Speech and Dialogue, 3-7 Sep 2012, Brno, Czech Republic
- 25 years "In Contradiction", 7-9 Dec 2012, Glasgow, Scotland
- Postdoc position in formalizing and applying formal reasoning to security problems, Luxembourg (Luxembourg), Deadline: 31 Aug 2012
- WIRP-2: What is really possible?, 21-22 Sep 2012, Konstanz, Germany
- CfP special issue of "Knowledge based systems": Cognitive Models and Reasoning for Human-Aware Interaction, Deadline: 31 Aug 2012
- Lectureships (up to three) in Theoretical Computer Science, London (U.K.), Deadline: 4 September 2012
Received: 2012-07-19:
Received: 2012-07-11:
- FSFLA 2012: Fall School in Formal Languages and Applications, 29 Oct - 2 Nov 2012, Tarragona, Spain
- JIST 2012: Semantic Technology, 2-4 Dec 2012, Nara, Japan
- Konstanz-Naples Model Theory Days, 6-8 Dec 2012, Konstanz, Germany
- FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 15-17 Dec 2012, Hyderabad, India
- MOVEP 2012: Modelling and Verifying parallel Processes, 3-7 Dec 2012, Marseille, France
- Two postdoctoral positions in contextural and formal-logical approaches to scientific problem solving processes, Gent (Belgium), Deadline: 12 Aug 2012
Received: 2012-07-09:
- Lophisc: Master programme in Logic, Philosophy of Logic, and Philosophy of Science, Paris (France)
- ITCS 2013: Innovations in Theoretical Computer Science, 10-12 Jan 2013, Berkeley CA, U.S.A.
- CfPart: ICLP 2012, 4-8 Sep 2012, Budapest, Hungary
- Postdoctoral position in modeling and verification, Marseille (France)
- MSc in Cognitive Science, Bochum (Germany)
- Final CfP: STeDy 2012, 27-28 Aug 2012, Montpellier, France
Received: 2012-07-08:
- Professorship Theoretical Philosophy (Analytical Philosophy), Salzburg (Austria)
- 2nd CfP: Colloquium Logicum 2012, 13-15 Sep 2012, Paderborn, Germany
- Professorship in computational linguistics, Gothenburg (Sweden), Deadline: 31 July 2012
- Two temporary positions (4y) as Associate Professor in Digital Humanities and Cognitive Modelling, Amsterdam (The Netherlands), Deadline: 1 Aug 2012
- "Numbers and Truth", 19-21 October 2012, Gothenburg, Sweden
- Professorship in Logic and Philosophy of Science, Salzburg (Austria)
Received: 2012-07-05:
- Postdoctoral research assistant position in logic for autonomous systems, Oxford (U.K.), Deadline: 30 July 2012
- "Descriptive Set Theory and Model Theory", 27 Dec 2012 - 4 Jan 2013, Kolkata, India
- Three PhD student and 1/2 postdoctoral positions in Theoretical Computer Science, Athens (Greece)
- 2nd CfP: Turing in Context II, 10-12 October 2012, Brussels, Belgium
- CfPart ESSLLI 2012, 6-17 Aug 2012, Opole, Poland
- Workshop "Forcing extensions and large cardinals", 4-7 Dec 2012, Kyoto, Japan
Received: 2012-06-29:
- Master programme in logic, philosophy of logic and philosophy of science, Paris (France)
- KI 2012: Call for poster contributions, 24-27 Sep 2012, Saarbruecken, Germany
- Postdoctoral position in philosophy of set theory, Vienna (Austria), Deadline: 1 Sep 2012
- CfPart AiML 2012, 22-25 Aug 2012, Copenhagen, Denmark
- Deadline extension: CLA 2012, 11-14 Oct 2012, Fuengirola, Spain
- 2nd CfP: TARK 2013, 7-9 Jan 2013, Chennai, India
Received: 2012-06-26:
- FSTTCS 2012: Foundations of Software Technology and Theoretical Computer Science, 15-17 Dec 2012, Hyderabad, India
- APMP 2013: Philosophy of Mathematical Practice, Urbana-Champaign IL (U.S.A.), 20-22 Sep 2013
- Postdoc position in SMT techniques, Trento (Italy)
- CfPart COMMA 2012, 10-12 Sep 2012, Vienna, Austria
- ICLA 2013: Indian Conference on Logic and its Applications, 10-12 Jan 2012, Chennai, India
Received: 2012-06-20:
Received: 2012-06-18:
- Semantics & Pragmatics at ICL, 22-27 July 2012, Geneva, Switzerland
- Physique et Calcul, 28-29 June 2012, Paris, France
- PCC 2012: Proof, Computation and Complexity, 17-18 Aug 2012, Copenhagen, Denmark
- LogInf 2012: Logik in der Informatik, 16-17 Nov 2012, Mannheim, Germany
- 3rd CfP: "Cultures of Mathematics and Logic", 9-12 Nov 2012, Guangzhou, China
- special issue of LLP on Point-free geometry and topology, Deadline: 30 June 2012
Received: 2012-06-16:
- FPMW 4: French PhilMath Workshop, 4-6 Oct 2012, Paris, France
- PhD student position in cognitive modelling, Amsterdam (The Netherlands), Deadline: 4 July 2012
- First Hamburg Summer School in Philosophy: Timothy Williamson, Quantification and Modality, 10-14 September 2012, Hamburg, Germany
- Webcast of the unveiling of a plaque in honour of Alan Turing, 23 June 2012, Cambridge, U.K.
- Two PhD student positions in digital humanities, Amsterdam (The Netherlands), Deadline: 4 July 2012
- Postdoctoral positions in Computer Science, Aberdeen (Scotland), Deadline: 29/28 June 2012
Received: 2012-06-09:
- Foundations for Ockham's Razor, 22-24 June 2012, Pittsburgh PA, U.S.A.
- CfP special issue of 'Cognitive Systems' on Computational Models of Mindreading, Deadline: 1 Sep 2012
- MA programme in Logic and Philosophy of Science, Munich (Germany)
- Final CfP: CLA 2012, 11-14 Oct 2012, Fuengirola, Spain
- Postdoctoral position (AkadR A.Z.; 3+3y) in theoretical analytical philosophy, Tuebingen (Germany), Deadline: 30 June 2012
- Postdoctoral position in topos theory, Padua (Italy), Deadline: 29 June 2012
Received: 2012-06-08:
- 13th Midwest PhilMath Workshop, 27-28 Oct 2012, Notre Dame IN, U.S.A.
- GAMES 2012, 7-12 Sep 2012, Naples, Italy
- Postdoctoral position in intelligent interaction, Groningen (The Netherlands), Deadline: 25 June 2012
- W2 Professorship in Theoretical Computer Science, Osnabrueck (Germany), Deadline: 29 Jun 2012
- PhD student position in logical methods, Kassel (Germany), Deadline: 30 Jun 2012
- Assistant professorship (3+3y) in philosophy, Bochum (Germany), Deadline: 10 Jul 2012
Received: 2012-05-31:
- C3GI 2012: deadline extension, 27-28 Aug 2012, Montpellier, France
- Final CfPart: CiE 2012, 18-23 June 2012, Cambridge, U.K.
- turing100.nl, 5 Oct 2012, Amsterdam, The Netherlands
- MeCBIC 2012: Membrane Computing and Biologically Inspired Process Calculi, 8 Sep 2012, Newcastle, U.K.
- CLIMA XIII: deadline extension, 27-28 Aug 2012, Montpellier, France
- Beyond AI: Artificial Dreams, 5-6 Nov 2012, Plsen, Czech Republic
Received: 2012-05-29:
- CfPart: History and Philosophy of Programming, 5-6 July 2012, Birmingham, U.K.
- Postdoctoral position (6y) in theoretical philosophy, Berlin (Germany), Deadline: 7 June 2012
- FCA4AI deadline extension, 27 Aug 2012, Montpellier, France
- HAI 2012: Human Aspects in Ambient Intelligence, 13 Nov 2012, Pisa, Italy
- W2 professorship Theoretical Computer Sciences, Magdeburg (Germany), Deadline: 6 July 2012
- Philosophy and Mathematics of Uncertainty and Vagueness, 6-15 Aug 2012, Sao Paulo, Brazil
Received: 2012-05-28:
- Postdoctoral positions in reachability problems, Bordeaux & Cachan (France)
- Research Chair in Logic and the Philosophy of Science, Calgary (Canada)
- CfPart: Explicit Paradigms in Logic and Computer Sciences, 4-6 June 2012, Bern, Switzerland
- Postdoctoral position in intelligent interaction, Groningen (The Netherlands)
- Tarski Workshop, 5-6 June 2012, Amsterdam, The Netherlands
- 2nd CfP: Cultures of Mathematics and Logic, 9-12 Nov 2012, Guangzhou, China
Received: 2012-05-21:
- AIMSA 2012: AI Methodology, Systems, Applications, 12-15 Sep 2012, Varna, Bulgaria
- Summer School in Social Simulation, 9-13 July 2012, Barcelona, Spain
- SOPhiA 2012: Salzburg Conference for Young Analytic Philosophy, 13-15 Sep 2012
- Postdoctoral position (3y) in philosophy of science / logic / epistemology, Konstanz (Germany)
- Postdoctoral position (1y) in knowledge and existence of mathematical objects, Montreal (Canada)
- AGI@Oxford: Artificial General Intelligence, 8-11 December 2012, Oxford, U.K.
Received: 2012-05-18:
- STeDy 2012: Spatio-Temporal Dynamics, 27-28 Aug 2012, Montpellier, France
- Two postdoctoral positions in stochastic / statistical model checking, Rennes (France)
- 14th Wessex Theory Seminar, 23 May 2012, Bath, U.K.
- JELIA 2012: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, France
- SSIU: Summer School Information and Uncertainty, 4-8 Jun 2012, Olomouc, Czech Republic
- Numbers & Truth, 19-21 October 2012, Gothenburg, Sweden
Received: 2012-05-15:
- Call for Nominations: 2012 E W Beth Dissertation Prize
- Last CfP EASLLC 2012, Chongqing (China), 27-31 Aug 2012 (deadline today!)
- CfPart: MFPS XXVIII, 6-9 Jun 2012, Bath, England
- W2 professorship in theoretical computer science (FH), Darmstadt (Germany), Deadline: 31 May 2012
- Postdoctoral position (6y) in theoretical philosophy, Berlin (Germany), Deadline: 7 Jun 2012
- Postdoctoral position for logics for quantum interaction (2.5 years), Amsterdam (The Netherlands)
Received: 2012-05-14:
- RP 2012: Reachability Problems, 17-19 Sep 2012, Bordeaux, France
- RR 2012: Web Reasoning and Rule Systems, Vienna (Austria), 10-12 Sep 2012 (abstract deadline today!)
- "Koexistenz rivalisierender Paradigmen", 29 June 2012, Oldenburg, Germany
- Postdoctoral position in mathematical logic, Udine (Italy)
- C3GI 2012: Computational Creativity, 27-28 Aug 2012, Montpellier, France
- BCAP 2012 (Bucharest Colloquium in Analytic Philosophy): Philosophy of Mathematics Today, 1-3 June 2012, Bucharest, Romania
Received: 2012-05-10:
- IFIP-TCS 2012: Theoretical Computer Science, 26-28 Sep 2012, Amsterdam, The Netherlands
- CfPart ESSLLI 2012, 6-17 August 2012, Opole, Poland
- 2nd CfP: BNC (Belief Change, Non-monotonic reasoning and Conflict resolution), Montpellier (France), August 2012
- Postdoctoral position in computer science, Ulm (Germany)
- W3 Professorship in Theoretical Computer Science, Siegen (Germany), Deadline: 14 June 2012
- The Logic and Culture of Lying, 25-26 May 2012, Regensburg, Germany
Received: 2012-05-08:
- SVARM / VERIFY (Synthesis, Verification and Analysis of Rich Models), 30 Jun - 1 Jul 2012, Manchester, U.K.
- WoMO: Modular Ontologies, 24 July 2012, Graz, Austria
- Formal Ethics 2012, 11-13 October 2012, Munich, Germany
- "Intuitionism in 2012" & Heyting Lecture, 7 September 2012, Amsterdam, The Netherlands
- Two full professorships (Philosophy of Language and Philosophical Logic), Amsterdam (The Netherlands), Deadline: 15 June 2012
- CLIMA XIII: Computational Logic in Multi-Agent Systems, 27-28 Aug 2012, Montpellier, France
Received: 2012-05-07:
- Free online logic course at Stanford University
- School in Algorithmic Game Theory, 14-21 July 2012, Samos, Greece
- RR 2012: Doctoral Consortium (Web Reasoning and Rule Systems), 10-12 Sep 2012, Vienna, Austria
- FCA4AI: What can FCA do for AI?, 27 Aug 2012, Montpellier, France
- Three PhD student and one postdoc positions in computational logic, Luxembourg (Luxembourg) & Leuven (Belgium), Deadline: 31 May 2012
- STACS 2013: Theoretical Aspects of Computer Science, 27 Feb - 2 Mar 2013, Kiel, Germany
Received: 2012-05-03:
- CfPart KR 2012: Knowledge Representation and Reasoning, 10-14 June 2012, Rome, Italy
- European Master's Program in Computational Logic, Bolzano, Dresden, Lisboa, Wien (Italy, Germany, Portugal, Austria)
- Summer School: History and Philosophy of Science: Revolutions in Science, 27-31 Aug 2012, Utrecht, The Netherlands
- 11th Trends in Logic: Advances in Philosophical Logic, 3-5 June 2012, Bochum, Germany
- Logics for Agreement Technologies, Montpellier (France=, 27-28 Aug 2012
Received: 2012-05-02:
- 2nd CfP WoMO 2012 (Modular Ontologies), 24 July 2012, Graz, Austria
- Colloquium Logicum 2012, 13-15 September 2012, Paderborn, Germany
- Joint Master programme in Logic and Philosophy of Science, Salamanca, Valladolid, Santiago, La Laguna, Madrid, A Coruna, Valencia (Spain)
- W2 professorship theoretical computer science (FH), Leipzig (Germany), Deadline: 20 May 2012
- 2nd CfP: RP 2012, 17-19 Sep 2012, Bordeaux, France
- Deadline extension: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, Denmark
Received: 2012-05-01:
- SILFS Midterm Conference 2012, 20-21 Nov 2012, Milan, Italy
- 2nd CfP: IFCoLog-CiE student session, 18-23 June 2012, Cambridge, U.K.
- 4WFTop: Formal Topology, 15-19 June 2012, Ljubljana, Slovenia
- EPCL: European PhD Program in Computational Logic, Bolzano, Dresden, Wien, Lisboa (Italy, Germany, Austria, Portugal), Deadline: 15 May 2012
- ARCOE 2012: Acquisition, Representation and Reasoning with Contextualized Knowledge, 27-28 Aug 2012, Montpellier, France
- MSc in Cognitive Science, Bochum (Germany)
Received: 2012-04-30:
- "Modality and Modalities", 29-30 May 2012, Copenhagen, Denmark
- ESSLLI 2013: European Summer School in Logic, Language and Information, 5-16 August 2013, Duesseldorf, Germany
- 2012 annual conference of the Australasian Association of Logic, 29-30 June 2012, Sydney, Australia
- Final CfP PAAR 2012, 30 Jun 2012, Manchester, U.K.
- Logic Colloquium 2012, 12-18 July 2012, Manchester, U.K.
- CfPart LOFT10, 18-20 June 2012, Sevilla, Spain
Received: 2012-04-26:
- FPMW4: Fourth French PhilMath Workshop, 4-6 October 2012, Paris, France
- L&R 2012: Workshop on Lattices and Relations, 12-14 September 2012, Amsterdam, The Netherlands
- Two 5y postdoctoral positions in logic, game theory, complexity, Oxford (U.K.), Deadline:: tomorrow!
- PhD student position in Meta-Metaphysics, Berlin (Germany)
- Summer school in set theory: Large cardinals, inner models and fine structure, Irvine CA (U.S.A.), 25 June to 6 July 2012
- Lectureship in Computational Linguistics, Amsterdam (The Netherlands), Deadline: 1 June 2012
Received: 2012-04-22:
Received: 2012-04-19:
- ACE2012: Turing's 100th Birthday Party at King's College, 15-16 June 2012, Cambridge, U.K.
- "Turing in Context II", 10-12 October 2012, Brussels, Belgium
- "Cultures of Mathematics and Logic", 9-12 November 2012, Guangzhou, China
- PhD student position in algorithms (1+4 years), Paderborn (Germany)
- Postdoctoral position in realizability and proof theory, Lyon (France)
- Final CfP: Frontiers of Rationality and Decision, 29-31 Aug 2012, Groningen, The Netherlands
Received: 2012-04-11:
- Tests and Proof 2012, 31 May - 1 June 2012, Prague, Czech Republic
- The fifth conference on Non-Classical Logic, Theory and Applications, 27-29 Sep 2012, Torun, Poland
- LSFA 2012: Logical and Semantic Frameworks with Applications, 29-30 Sep 2012, Rio de Janeiro, Brazil
- FLOPS 2012: Functional and Logic Programming, 23-25 May 2012, Kobe, Japan
- CCC 2012: Computational Complexity, 26-20 June 2012, Porto, Portugal
- WoLLIC 2012: Logic, Language, Information and Computation, 3-6 Sep 2012, Buenos Aires, Argentina
Received: 2012-04-07:
- Final CfP ESSLLI 2012 Student Session, 6-17 Aug 2012, Opole, Poland
- 2nd CfP: SIFA 2012, Alghero, 13-15 Sep 2012, Sardinia, Italy
- 2nd CfP: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, Denmark
- Frits Staal (1930-2012)
- EASLLC 2012: East-Asian School on Logic, Language and Computation, 27-31 Aug 2012, Chongqing, China
- Logic, Algebra and Truth Degrees 2012, Kanazawa (Japan) 10-14 Sep 2012
Received: 2012-04-05:
- KI 2012: Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, Germany
- PhD student position in algorithmic game theory, Liverpool (U.K.)
- Logic Workshop: A Tribute to Horacio Arlo-Costa, 2-4 Aug 2012, Buenos Aires, Argentina
- PhD student position in logic, Amsterdam (The Netherlands), Deadline: 20 May 2012
- LCC 2012: Logic and Computational Complexity, 24 June 2012, Dubrovnik, Croatia
- "Algebraic and Logical Methods for Data and Modelling", 60th Birthday of John V Tucker, Oldwalls, 12 April 2012, Gower Peninsula, U.K.
Received: 2012-04-03:
- Assistant Professorship and two postdoctoral fellowships in mathematical philosophy, Munich (Germany), Deadline: 23 April 2012
- 2nd CfP: Turing Centenary Conference, 22-25 June 2012, Manchester, U.K.
- CfPart: RTA 2012, Nagoya (Japan), 30 May to 1 June 2012
- APPROX 2012 & RANDOM 2012, 15-17 Aug 2012, Cambridge MA, U.S.A.
- special issue of "Logic and Logical Philosophy" on point-free geometry and topology, Deadline: 30 June 2012
- TPNC 2012: Theory and Practice of Natural Computing, 1-5 Oct 2012, Tarragone, Spain
Received: 2012-04-02:
- Final CfP and Deadline Extension: CNL 2012, 29-31 Aug 2012, Zuerich, Switzerland
- Ten doctoral scholarships in "Quantitative Logics and Automata", Dresden (Germany), Deadline: 15 June 2012
- LFCS 2013: Logical Foundations of Computer Science, 6-8 Jan 2012, San Diego CA, U.S.A.
- PAAR 2012: Practical Aspects of Automated Reasoning, Manchester (U.K.), June 2012
- CfPart LICS 2012: Logic in Computer Science, 25-28 June 2012, Dubrovnik, Croatia
- Cf Posters of Young Scientists: FOIS 2012 (Formal Ontologies in Information Systems), 24-27 Jul 2012, Graz, Austria
Received: 2012-04-01:
- Philosophy & Mathematics of Uncertainty and Vagueness, 6-15 Aug 2012, Campinas, Brazil
- Kant and Modality, 5-7 July 2012, Berlin, Germany
- Final CfP: CLODEM 2012, Manchester (U.K.), 30 June 2012 (deadline tomorrow)
- Postdoctoral position in reverse and computable mathematics, Udine (Italy)
- W3 professorship in theoretical philosophy, Jena (Germany), Deadline: 26 April 2012
- ESA 2012: European Symposium on Algorithms, 10-12 Sep 2012, Ljubljana, Slovenia
Received: 2012-03-31:
- 2nd CfP: DCM 2012, 17 June 2012, Cambridge, U.K.
- CTF 2012: Concept Types and Frames in Language, Cognition and Science, 22-24 Aug 2012, Duesseldorf, Germany
- MFCS 2012: Mathematical Foundations of Computer Science, 27-31 Aug 2012, Bratislava, Slovakia
- Turing 2012: Conference on Turing's Heritage, 2-4 July 2012, Lyon, France
- "Mathematical Cultures 1", 10-12 September 2012, London, U.K.
- CLIMA XIII: Computational Logic in Multi-Agent Systens, 27-28 Aug 2012, Montpellier, France
Received: 2012-03-30:
- 1st Bochum-Bielefeld Colloquium: Philosophical Perspectives on Epistemology, Mind and Science, 4-5 May 2012, Bochum, Germany
- Final CfP (deadline today!) ESSLLI student session, 6-17 Aug 2012, Opole, Poland
- CLA 2012: Concept Lattices and their applicactions, 11-14 Oct 2012, Fuengirola, Spain
- CfPart: AAMAS 2012, 4-8 June 2012, Valencia, Spain
- Final CfP AiML 2012 (with deadline extension), 22-25 Aug 2012, Copenhagen, Denmark
- RP 2012: Reachability Problems, 17-19 Sep 2012, Bordeaux, France
Received: 2012-03-29:
- TARK 2013: Theoretical Aspects of Rationality and Knowledge, 7-9 January 2013, Chennai, India
- ICTAC 2012: Theoretical Aspects of Computing, 24-27 September 2012, Bangalore, India
- W3 professorship in theoretical computer science, Hagen (Germany), Deadline: 14 May 2012
- W1 Junior Professorships in Algorithms and Complexity, Bochum (Germany), Deadline: 20 April 2012
- PhD student and postdoctoral positions in theoretical computer science, Erlangen (Germany)
- Midlands Graduate School in Computer Science, 23-27 April 2012, Birmingham, U.K.
Received: 2012-03-23:
- Pisa Summer Workshop in Proof Theory (extended deadline), 12-15 June 2012, Pisa, Italy
- SIFA 2012: Italian Society for Analytic Philosophy, Alghero, 13-15 Sep 2012, Sardinia, Italy
- W2 professorship in analytical philosophy (philosophy of language), Saarbruecken (Germany), Deadline: 5 April 2012
- FCA4AI: What can FCA do for Artificial Intelligence?, 27 Aug 2012, Montpellier, France
- Postdoctoral position in programming language theory (up to nine months), Munich (Germany)
- Postdoctoral position in term rewriting, Innsbruck (Austria)
Received: 2012-03-21:
- ICLP 2012: Logic Programming, 4-8 Sep 2012, Budapest, Hungary
- ARCOE 2012: Acquisition, Representation and Reasoning with Contextualized Knowledge, 27-28 Aug 2012, Montpellier, France
- Summer School on Ontological Analysis, 16-20 July 2012, Trento, Italy
- Computability and Logic, 5 April 2012, Bern, Switzerland
- ICLA 2013: Indian Conference on Logic and its Applications, 10-12 Jan 2013, Chennai, India
- EASSS 2012: European Agent Systems Summer Scholl, Valencia (Spain), 28 May to 1 June 2012
Received: 2012-03-20:
Received: 2012-03-16:
- AMPLE 2012: Agent-based modeling for Policy Engineering, Montpellier (France), August 2012
- Two PhD and postdoc positions on "Kleene meets Church", Copenhagen (Denmark), Deadline: 31 Mar 2012
- Euler Diagrams 2012, 2 July 2012, Canterbury, U.K.
- AISS: Algorithmics of Infinite State Systems, 29 June 2012, Dubrovnik, Croatia
- Postdoctoral position in model checking, Paris (France),
- Postdoctoral research fellowship in infinite-state systems and games, Brno (Czech Republic), Deadline: 31 Mar 2012
Received: 2012-03-15:
- C3GI 2012: Computational Creativity, Concept Invention and General Intelligence, Montpellier (France), 27/28 Aug 2012
- PAAR 2012: Practical Aspects of Automated Reasoning, Manchester (U.K.), June 2012
- "Quotation", 27-29 Sep 2012, Bochum, Germany
- GandALF 2012: Games, Automata, Logics, and Formal Verification, 6-8 Sep 2012, Naples, Italy
- COIN: Coalgebra in the Netherlands, 19 March 2012, Amsterdam, The Netherlands
- 13th TLS Conference: Texas Linguistics Society, 23-24 June 2012, Austin TX, U.S.A.
Received: 2012-03-13:
- Continuous Logic and Functional Analysis, 16-20 July 2012, Lyon, France
- TCS 2012: 7th IFIP Conference on Theoretical Computer Science, 26-28 Sep 2012, Amsterdam, The Netherlands
- TAPAS 2012: Practice and Theory of Algorithms, 3-5 Dec 2012, Ein Gedi, Israel
- TIME 2012: Temporal Representation and Reasoning, 12-14 Sep 2012, Leicester, U.K.
- INFINITY 2012: verification of infinite state systems, 27 Aug 2012, Paris, France
- Cf Informal Presentations: CiE 2012, 18-23 June 2012, Cambridge, U.K.
Received: 2012-03-12:
- Postdoctoral position in verification of counter systems, Paris (France)
- DARC: Dynamics of Argumentation Rules and Conditionals, 2-3 April 2012, Luxembourg, Luxembourg
- Logic and Computability session at IV CLAM, 6-10 Aug 2012, Cordoba, Argentina
- ICTAC 2012: Theoretical Aspects of Computing, 24-27 Sep 2012, Bangalore, India
- IFCoLog-CiE Student Session, 18-23 Jun 2012, Cambridge, U.K.
- PhD student position in modal logics for reasoning about multi-agent systems, Lens (France)
Received: 2012-03-11:
- BNC@ECAI: Belief change, nonmonotonic reasoning, conflict resolution, Montpellier (France), August 2012
- DEON 2012: Deontic Logic in Computer Science, 16-18 Jul 2012, Bergen, Norway
- JELIA: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, France
- ISSAC 2012: Symbolic and Algebraic Computation, 22-25 July 2012, Grenoble, France
- Nikolai Vasiliev's Logical Legacy, 24-26 Oct 2012, Moscow, Russia
- Logic and Relativity: Istvan Nemeti's 70th Birthdat, 8-12 Sep 2012, Budapest, Hungary
Received: 2012-03-10:
- COMMA 2012: Computational Models of Argument, 10-12 Sep 2012, Vienna, Austria
- Tenure-track assistant professorship (all areas of mathematics), New York NY (U.S.A.)
- Final CfP: ARW 2012: Automated Reasoning Workshop, 2-4 Apr 2012, Manchester, U.K.
- Proof Theory and Modal Logic, 16-19 Apr 2012, Barcelona, Spain
- 17th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, 7-11 May 2012, Szklarska Poreba, Poland
- W3 Professorship for Philosophy of Science, Konstanz (Germany), Deadline: 30 Mar 2012
Received: 2012-03-08:
- Pisa Summer Workshop in Proof Theory, 12-15 Jun 2012, Pisa, Italy
- Two postdoctoral / PhD student positions in logic-based AI, Ulm (Germany)
- PhD student position in formal verification, Trento (Italy)
- PhD studentship in theory of constraint satisfaction, Barcelona (Spain)
- CNL 2012: Controlled Natural Language, 29-31 Aug 2012, Zuerich, Switzerland
- Invited Researcher position in verification, Paris (France)
Received: 2012-03-02:
- PhD student position in computational humanities (folktale classification; graduate in CS or AI), Twente (The Netherlands), Deadline: 4 March 2012 (in two days!)
- BCTCS 2012: British Colloquium for Theoretical Computer Science, 2-5 April 2012, Manchester, U.K.
- TSD 2012: Text, Speech and Dialogue, 3-7 September 2012, Brno, Czech Republic
- Three PhD student or postdoc positions in Philosophy of Mind & Language and Epistemology, Bochum (Germany), Deadline: 20 March 2012
- (Associate) Professorship in Formal Methods, Gothenburg (Sweden), Deadline: 22 March 2012
- Several PhD positions in Theoretical Computer Science, Bordeaux & Cachan (France)
Received: 2012-02-28:
- PhD student position in AI & Forensic Science, Utrecht (The Netherlands), Deadline: 17 Mar 2012
- ARW 2012: Automated Reasoning Workshop, 2-4 April 2012, Manchester, U.K.
- 4WFTop & HDACT: Formal Topology & Higher Dimensional Algebra, Categories & Types, 15-20 Jun 2012, Ljubljana, Slovenia
- Call for Informal Presentations: CiE 2012, 18-23 June 2012, Cambridge, U.K.
- extended deadline: LOFT 2012, 18-20 June 2012, Sevilla, Spain
- Postdoctoral fellowship in philosophical logic, Oslo (Norway)
Received: 2012-02-20:
- SAT 2012: Theory and Applications of Satisfiability Testing, 17-20 June 2012, Trento, Italy
- ESSLLI 2012 Student Session, 6-17 August 2012, Opole, Poland
- Postdoctoral position in verification, Paris (France)
- Turing Centenary Conference, 22-25 June 2012, Manchester, U.K.
- INFTY Short and Exchange Visits programme, Deadline: 1 April 2012
- CfPart CMCS 2012, 31 Mar - 1 Apr 2012, Tallinn, Estonia
Received: 2012-02-17:
- DARC: Dynamics of Argumentation Rules and Conditionals, 2-3 Apr 2012, Luxembourg, Luxembourg
- DEON 2012: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, Norway
- CL&C 2012: Classical Logic and Computation, 8 Jul 2012, Warwick, England
- CSL 2012: Computer Science Logic, 3-6 Sep 2012, Fontainebleau, France
- Informal meeting to celebrate John Tucker's 60th birthday, 12 April 2012, Swansea, Wales
- PhD student grant in philosophy of mind, Bochum (Germany), Deadline: 10 March 2012
Received: 2012-02-12:
- Postdoctoral research fellowship in formal verification, Brno (Czech Republic), Deadline: 12 Mar 2012
- Final CfP: AiML 2012, 22-25 Aug 2012, Copenhagen, Denmark
- 2nd CfP SWAT 2012, 4-6 Jul 2012, Helsinki, Finland
- BSCS: Budapest Semester in Cognitive Science, Budapest (Hungary)
- Newton Fellowship Scheme (2y postdoctoral positions in the UK), Deadline: 16 April 2012
- Postdoctoral position (AkadR a.Z.) in theoretical philosophy, Erlangen (Germany), Deadline: 20 Feb 2012
Received: 2012-02-11:
- 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, Denmark
- Three associate professorships in theoretical computer science, Stockholm (Sweden), Deadline: 29 Feb 2012
- PhD student or postdoctoral position in induction of logical propositions, Heidelberg (Germany), Deadline: 29 Feb 2012
- PhD student positions or postdoctoral position in theoretical philosophy, Aachen (Germany)
- PhD student position in model checking, Kassel (Germany), Deadline: 8 March 2012
- PhD student position in theoretical foundations of computational music, Bordeaux (France)
Received: 2012-02-03:
- Deadline extension: FOIS 2012, 24-27 July 2012, Graz, Austria
- 2nd CfP "Strategies for Learning, Belief Revision and Preference Change", 13-17 Aug 2012, Opole, Poland
- Alfried Krupp Junior Fellowships 2012/13, Greifswald (Germany)
- Postdoctoral position in formal representation of narratives, Hamburg (Germany), Deadline: 24 February 2012
- Pre- or postdoctoral position in Artificial Intelligence, Osnabrueck (Germany), Deadline: 21 February 2012
- Lectureship in pure mathematics, Bristol (U.K.), Deadline: 20 Feb 2012
Received: 2012-02-02:
- Cf Workshop Proposals: ICSC 2012 (Semantic Computing), 19-21 Sep 2012, Palermo, Italy
- Senior Fellowships 2013/14 (one semester or one year), Greifswald (Germany), Deadline: 30 Apr 2012
- 2nd CfP "Logic and Cognition", 13-17 Aug 2012, Opolo, Poland
- Postdoctoral position in KR & Agents, Melbourne (Australia)
- Postdoctoral position in Logic and Complexity Theory, Cambridge (U.K.)
- Permanent research staff position at IBM Watson Center, Hawthorne NY (U.S.A.), Deadline: 19 Feb 2012
Received: 2012-02-01:
- Deadline extension: DGL 2012, 28-30 June 2012, Munich, Germany
- CfP special issue of Fund.Inf. on "Logic, Agents and Mobility"
- SC 2012: Spatial Cognition, 31 Aug - 3 Sep 2012, Kloster Seeon, Germany
- Deadline extension for the symposia at the AISB/IACAP World Congress 2012, 2-6 July 2012, Birmingham, U.K.
- MFPS XXVIII: Mathematical Foundations of Programming Semantics, 6-9 June 2012, Bath, U.K.
- Colloquium on the Theory of Software Verification, 13 March 2012, Cachan, France
Received: 2012-01-31:
- Senior or Junior Visiting Fellowships in Philosophy of Languages, Bochum (Germany)
- LOPSTR 2012: Logic-based program synthesis and transformation, 18-20 Sep 2012, Leuven, Belgium
- CSL 2012: Computer Science Logic, 3-6 Sep 2012, Fontainebleau, France
- 7th IFIP Conference on Theoretical Computer Science 2012, 26-28 Sep 2012, Amsterdam, The Netherlands
- Pisa Summer Workshop in Proof Theory, 12-15 June 2012, Pisa, Italy
- CLODEM 2012: Comparing Logical Decision Methods, 30 June 2012, Manchester, U.K.
Received: 2012-01-27:
Received: 2012-01-26:
- Games, Game Theory and Game Semantics, 18-20 May 2012, Riga, Latvia
- GIRL 2012: Games, Interactive Rationality and Learning, 19-21 Apr 2012, Lund, Sweden
- Alexander Tamas Research Fellowship on Machine Superintelligence, Oxford (U.K.), Deadline: 27 Feb 2012
- Judgment Aggregation Computational Perspectives Workshop, 1 February 2012, Luxembourg, Luxembourg
- 1st CfP: DCM 2012 (Developments on Computational Models), 17 June 2012, Cambridge, U.K.
- Fellowships in the academic year 2012/13: Center for Mind, Brain and Cognitive Evolution, Bochum (Germany), Deadline: 1 June 2012
Received: 2012-01-23:
- 5th Young Set Theory Workshop, 30 Apr - 4 May 2012, Luminy, France
- Wittgenstein-Symposium, 5-11 Aug 2012, Kirchberg am Wechsel, Austria
- CfP special issue of Erkenntnis on Game theoretical models of Communication, deadline: 31 March 2012
- SAT 2012: Satisfiability Testing, 17-20 Jun 2012, Trento, Italy
- KI 2012: Artificial Intelligence, 24-27 Sep 2012, Saarbruecken, Germany
- new association: CADILLAC, Copenhagen Association for Dynamics, Interaction, Logic, Language And Computation
Received: 2012-01-21:
- Formal Models of Communication, 6-10 Aug 2012, Opole, Poland
- CLFL 2012: Computational Linguistics for Literature, 8 June 2012, Montreal QC, Canada
- Philosophy, Mathematics, Linguistics: Aspects of Interaction, 22-25 May 2012, St. Petersburg, Russia
- GAP.8, 17-20 Sep 2012, Konstanz, Germany
- W1 Junior Professorship in Algorithmic Game Theory, Paderborn (Germany), Deadline: 29 February 2012
- FOIS 2012: Formal Ontologies in Information Systems, 24-27 July 2012, Graz, Austria
Received: 2012-01-20:
- UCLA Logic Center Summer School, 24 Jun - 14 Jul 2012, Los Angeles CA, U.S.A.
- Call for Workshop Proposals: ICLP 2012, 4-8 Sep 2012, Budapest, Hungary
- Final Submission Information CiE 2012, 18-23 June 2012, Cambridge, U.K.
- 2nd CfP: LOFT10 2012, 18-20 June 2012, Sevilla, Spain
- PhD student or postdoctoral position in reasoning under uncertainty, Muenchen (Germany)
- Professorship in nonclassical logics in computer science, Vienna (Austria), Deadline: 18 Feb 2012
Received: 2012-01-15:
- CNL 2012: Controlled Natural Languages, 29-31 Aug 2012, Zuerich, Switzerland
- DALT 2012: Declarative Agent Languages and Technologies, 4-5 June 2012, Valencia, Spain
- Postdoctoral position in software agents for model based diagnosis, London (U.K.)
- Call for Tutorials: EASSS 2012, 28 May-1 June 2012, Valencia, Spain
- 2nd CfP: DGL 2012, 28-30 June 2012, Munich, Germany
- JELTA 2012: Logics in Artificial Intelligence, 26-28 Sep 2012, Toulouse, France
Received: 2012-01-13:
- COIN: Coalgebra in the Netherlands, 23 Jan 2012, Nijmegen, The Netherlands
- Symposium on Computational Philosophy, 2-6 Jul 2012, Birmingham, U.K.
- PhD student positions in programming methodology, Zuerich (Switzerland)
- Final CfP: CiE 2012, 18-23 Jun 2012, Cambridge, U.K.
- 2nd CfP: IJCAR 2012, 26 Jun - 1 Jul 2012, Manchester, U.K.
- "IBM Watson from Jeopardy! to Healthcare", 17 Feb 2012, Cambridge, U.K.
Received: 2012-01-09:
- 2nd CfP: Trends in Logic XII, 3-5 June 2012, Bochum, Germany
- RTA 2012: deadline extension, 28 May - 2 June 2012, Nagoya, Japan
- Call for Tutorial Proposals: KI 2012, 24-27 Sep 2012, Saarbruecken, Germany
- First Amsterdam Workshop on Decomposing and Regenerating Syntactic Trees, 12 January 2012, Amsterdam, The Netherlands
- Postdoctoral position in Theoretical Computer Science, Stockholm (Sweden), Deadline: 31 Jan 2012
- PhD student position in multi-agent organisations, Delft (The Netherlands), Deadline: 31 Jan 2012
Received: 2012-01-06:
- UTP 2012: Unifying Theories of Programming, 27-28 Aug 2012, Paris, France
- 2nd CfP: Logical Approaches to Barriers in Complexity II, 26-30 Mar 2012, Cambridge, U.K.
- LAMAS 2012: Logical Aspects of Multi-Agent Systems, Valencia (Spain), 4/5 June 2012
- Postdoctoral fellowship in history and philosophy of science, Pittsburgh PA (U.S.A.), Deadline: 15 Feb 2012
- Final CfP: LICS 2012, 25-28 June 2012, Dubrovnik, Croatia
- Call for Workshop Proposals: KI 2012, 24-27 Sep 2012, Saarbruecken, Germany
Received: 2012-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