[LOGIC] List Mailing Archive 2011
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: 2011-12-30:
Received: 2011-12-29:
- CfP book in memory of William McCune: "Automated Reasoning and Mathematics", Deadline: 1 Mar 2012
- Two postdoctoral fellowships (1y each) in history and philosophy of mathematics, Berlin (Germany), Deadline: 15 Feb 2012
- World Congress on the Square of Opposition III, 26-29 June 2012, Beirut, Lebanon
- SSFLA 2012: Spring School in Formal Languages and Applications, 2-6 April 2012, Tarragona, Spain
- Temporary part-time professorship (1y, .5 fte) in theoretical computer science, Darmstadt (Germany), Deadline: 19 Jan 2012
- Sir Michael Dummett (1925-2011)
Received: 2011-12-28:
Received: 2011-12-24:
- What are Foundations of Mathematics and what are they for?, 10-12 July 2012, Cambridge, U.K.
- Master programme (MA) in IT and Cognition, Copenhagen (Denmark)
- "Perspectives on Wittgenstein's Philosophy of Mathematics, 24-25 Aug 2012, Zuerich, Switzerland
- Call for Nominations: IFAAMAS Award for Influential Papers, Deadline: 3 Feb 2012
- CTF 2012: Concept Types and Frames in Language, 22-24 Aug 2012, Duesseldorf, Germany
- CfP special issue of JLAP on Domains, deadline: 29 Feb 2012
Received: 2011-12-23:
- 2nd CfP: PhDs in Logic IV, 12-13 April 2012, Gent, Belgium
- Postdoctoral fellowship: Foundations and future of AI, Oxford (U.K.), Deadline: 23 Jan 2012
- BCTCS: British Colloquium for Theoretical Computer Science, 2-5 April 2012, Manchester, U.K.
- Postdoctoral position (3y) in "Explanatory reasoning", Tilburg (The Netherlands), Deadline: 5 January 2012
- IJCAR 2012: International Joint Conference on Automated Reasoning, 26 June-1 July 2012, Manchester, U.K.
- new book: Halbeisen, Combinatorial Set Theory
Received: 2011-12-22:
- ISSAC 2012: Symbolic and Algebraic Computation, 22-25 July 2012, Grenoble, France
- AISS: Algorithmics of Infinite State Systems, 29 June 2012, Dubrovnik, Croatia
- 2nd Conference on the Foundations of Logical Consequence, 8-10 June 2012, St. Andrews, Scotland
- DEON 2012: Deontic Logic in Computer Science, 16-18 July 2012, Bergen, Norway
- RTA 2012: Rewriting Techniques and Applications, 28 May - 2 Jun 2012, Nagoya, Japan
- TSD 2012: Text, Speech and Dialogue, 3-7 Sep 2012, Brno, Czech Republic
Received: 2011-12-20:
- Postdoctoral position in philosophy of science (3y), Muenster (Germany), Deadline: 15 Jan 2012
- CMN 2012: Computational Models of Narrative, 26-27 May 2012, Istanbul, Turkey
- CfP special issue of History and Philosophy of Logic on "Logical Issues in the History and Philosophy of Computing"
- Postdoctoral position on networks, computing and economics, Ithaca NY (U.S.A.), Deadline: 30 Jan 2012
- "Natural/Unconventional Computing and its philosophical significance", 2-3 July 2012, Birmingham, U.K.
- Logic, Algebra and Truth Degrees 2012, 10-14 September 2012, Kanazawa, Japan
Received: 2011-12-18:
Received: 2011-12-17:
- Special session on modelling and support of cognitive and affective human processes, 9-12 June 2012, Dalian, China
- PhD student positions in computer science, Liverpool (U.K.), Deadline: 15 Feb 2012
- CfP special issue of "Philosophy and Technology" on History and Philosophy of Computing, Deadline: 15 Apr 2012
- NASSLLI 2012: North-American Summer School in Logic, Language and Information, 18-22 June 2012, Austin TX, U.S.A.
- Postdoctoral position in mathematical logic (2y), Stockholm (Sweden), Deadline: 23 Jan 2012
- Readership / Professorship in Philosophy of Mind / Psychology / Language, London (U.K.), Deadline: 4 Jan 2012
Received: 2011-12-15:
- CCR 2012: Computability, Complexity and Randomness, 2-6 July 2012, Cambridge, U.K.
- PhD or Postdoctoral position in theoretical computer science, Bayreuth (Germany), Deadline: 16 Jan 2012
- Ernst Specker (1920-2011)
- MBR 2012: Model-based reasoning in Science and Technology, 21-23 July 2012, Sestri Levante, Italy
- Opening "Genial & Geheim", special 12-month exhibition on Alan Turing, 10 Jan 2012, Paderborn, Germany
- Postdoctoral position in theoretical computer science, Ann Arbor MI (U.S.A.), non-strict deadline: today (!)
Received: 2011-12-08:
- PhD student position on Forensic Bayesian networks, Groningen & Utrecht (The Netherlands), Deadline: 15 Jan 2012
- Postdoctoral position in mathematical logic, Utrecht (The Netherlands), Deadline: 15 Jan 2012
- Symposium on the History and Philosophy of Programming, Birmingham (U.K.), July 2012
- LICS 2012: Logic in Computer Science, 25-28 June 2012, Dubrovnik, Croatia
- Full professorship in Communication and Cognition, Tilburg (The Netherlands), Deadline: 1 Feb 2012
- "The Concept of Eternity and its development in the History of Philosophy", 19-20 Dec 2011, Bochum, Germany
Received: 2011-12-06:
- Call for Demonstations: AAMAS 2012, 4-8 June 2012, Valencia, Spain
- MFPS XXVIII: Mathematical Foundations of Programming Semantics, 6-9 June 2012, Bath, U.K.
- "The Mathematical Legacy of Alan Turing" (Spitalfields Day), 9 January 2012, Cambridge, U.K.
- IWIL-2012: "Implementation of Logics" & APS-6: "Analytic Proof Systems", 10 Mar 2012, Merida, Venezuela
- "Strategies for Learning, Belief Revision and Preference Change", 13-17 Aug 2012, Opolo, Poland
- "Mathematical Practice and Cognition II", 2-4 July 2012, Birmingham, U.K.
Received: 2011-11-30:
- MSc programme in Logic, Amsterdam (The Netherlands)
- CCA 2012: Computability and Complexity in Analysis, 24-27 June 2012, Cambridge, U.K.
- Symposium on Social Computing, Social Cognition, Social Networks and Multiagent Systems, 2-3 July 2012, Birmingham, U.K.
- SIROCCO 2012: Structural Information and Communication Complexity, 30 June - 2 July 2012, Reykjavik, Iceland
- 2nd CfP: CiE 2012, 18-23 June 2012, Cambridge, U.K.
- GLLC22: Questions, Games, Logic, 1 December 2011, Amsterdam, The Netherlands
Received: 2011-11-27:
- SAT 2012: Theory and Applications of Satisfiability Testing, 17-20 June 2012, Trento, Italy
- CCA 2012: Computability and Complexity in Analysis, 24-27 June 2012, Cambridge, U.K.
- Cultures of Mathematics and Logic, 9-12 Nov 2012, Guangzhou, China
- Call for Workshop Proposals: LICS 2012, 25-28 June 2012, Dubrovnik, Croatia
- "Logic & Cognition", 13-17 Aug 2012, Opole, Poland
- ESWC12: 9th Extended Semantic Web Conference, 27-31 May 2012, Heraklion, Greece
Received: 2011-11-22:
- Master in Pure and Applied Logic, Barcelona (Spain)
- WST 2012: Workshop on Termination, 19-23 Feb 2012, Obergurgl, Austria
- 2nd CfP: Pattern Formation: The inspiration of Alan Turing, 14-16 Mar 2012, Oxford, U.K.
- Computation Tools 2012, 22-27 July 2012, Nice, France
- W2 Professorship in Theoretical Philosophy, Duesseldorf (Germany), Deadline: 15 Dec 2011
- Symposium on the History and Philosophy of Programming, Birmingham (U.K.), July 2012
Received: 2011-11-19:
- Symposium on Computational Philosophy, Birmingham (U.K.), July 2012
- Postdoctoral Fellowship in Theory of Computing, Cambridge MA (U.S.A.), Deadline: 6 January 2012
- CSR 2012: Computer Science Symposium in Russia, Nizhni Novgorod, 3-7 July 2012
- Call for Workshop Proposals: ICALP 2012, 9-13 July 2012, Warwick, U.K.
- ISLA 2012: Indian School on Logic and Applications, 9-20 January 2012, Manipal, India
- WG 2012: Workshop on Graph-Theoretic Concepts in Computer Science, 26-28 June 2012, Jerusalem, Israel
Received: 2011-11-16:
- Diagrams 2012 Graduate Student Symposium, 2-6 July 2012, Canterbury, U.K.
- Colloquium Logicum 2012, 13-15 Sep 2012, Paderborn, Germany
- 2nd CfP: CMCS 2012, 31 March - 1 April 2012, Tallinn, Estonia
- DL 2012: Workshop on Description Logics, 7-10 June 2012, Rome, Italy
- DGL 12: Sixth Workshop in Decisions, Games and Logic, 28-30 June 2012, Muenchen, Germany
- MSc scholarships in philosophy, logic and scientific method, London (U.K.)
Received: 2011-11-15:
- European Master's Program in Computational Logic: Bolzano, Dresden, Lisbon, Vienna
- Research Assistant position in applications of automated theorem proving to economics, Birmingham (U.K.), Deadline: 30 Nov 2011
- Postdoctoral positions in stochastic model checking, Rennes (France)
- COIN: Coalgebra in the Netherlands, 21 Nov 2011, Nijmegen, The Netherlands
- "The Epistemology of Modality", 23-24 Feb 2012, Cologne, Germany
- Special Year on "Univalent Foundations of Mathematics", Princeton NJ (U.S.A.), Deadline: 1 Dec 2011
Received: 2011-11-14:
- Call for Workshop Proposals: ICFP 2012, 9-15 Sep 2012, Copenhagen, Denmark
- COMMA 2012: Computational Models of Argument, 10-12 Sep 2012, Vienna, Austria
- Goldstine Memorial Postdoctoral Fellowship in mathematical and computer sciences, Yorktown Heights NY (U.S.A.)
- Winter School Section Set Theory and Set-Theoretic Topology, 28 Jan - 4 Feb 2012, Hejnice, Czech Republic
- PhD student position in "Understanding the hardness of theorem proving", Stockholm (Sweden)
- PhD scholarships in "Methods for Discrete Structures", Berlin (Germany)
Received: 2011-11-13:
- NSF grants for attending the MAMLS in memory of Alan Turing, 13-15 Jan 2012, Deerfield Beach FL, U.S.A.
- 4th Copenhagen-Lund Workshop on Social Epistemology, 9-10 Dec 2011, Lund, Sweden
- 4WPI: Fourth Workshop on the Philosophy of Information, 10-11 May 2012, Hatfield, U.K.
- postdoc positions in theoretical computer science, London (U.K.), Deadline: 14 Nov 2011 (tomorrow!)
- FICS 2012: Fixed Points in Computer Science, 24 March 2012, Tallinn, Estonia
- Call for Tutorials: AAMAS 2012, 4-8 June 2012, Valencia, Spain
Received: 2011-11-12:
Received: 2011-11-10:
- PhDs in Logic IV, 12-13 April 2012, Ghent, Belgium
- LAM 2012: Logics, Agents and Mobility, 25-26 June 2012, Hamburg, Germany
- GTORA 2012: Game Theory, Operations Research and their Applications, 3-7 Jan 2012, Chennai, India
- NMR 2012: Non-Monotonic Reasoning, 8-10 June 2012, Rome, Italy
- Presburger Award for Young Scientists in theoretical computer science, Deadline: 31 December 2011
- Scandinavian Logic Society
Received: 2011-11-02:
- "What makes modern mathematics different from classical mathematics?", 12-13 Dec 2011, Paris, France
- "Vagueness in Language, Reasoning and Cognition", 27-28 Jan 2012, Amsterdam, The Netherlands
- W3 Professorship in Theoretical Philosophy, Konstanz (Germany), Deadline: 30 Nov 2011
- Two PhD student positions (including formal epistemology or logic), Groningen (The Netherlands)
- Scientific Junior Researchers positions related to logic, formal methods and ontologies, Bremen (Germany)
- University Lectureship in Formal and Philosophical Logic, Oxford (U.K.), Deadline: 24 November 2011
Received: 2011-10-26:
- Call for Workshop Proposals: AAMAS 2012, 4-8 June 2012, Valencia, Spain
- New England Recursion Theory and Definability Seminar, 30 October 2011, Worcester MA, U.S.A.
- Beyond AI: Interdisciplinary Aspects of Artificial Intelligence, 8-9 Dec 2011, Pilsen, Czech Republic
- John McCarthy (1927-2011)
- 4WPI: Fourth Workshop on the Philosophy of Information, 10-11 May 2012, Hatfield, U.K.
- Postdoctoral position in Ontology Evolution, Durban (South Africa)
Received: 2011-10-25:
- EASLLC 2012: East-Asian School on Logic, Language, and Computation, 27-31 August 2012, Chongqing, China
- "Nothing but the Truth": 1st WFAP Graduate Conference, 9-11 March 2012, Vienna, Austria
- PhD student position in Language and Computation, Amsterdam (The Netherlands), Deadline: 1 Feb 2012
- PhD student position in mathematical logic, Stockholm (Sweden), Deadline: 20 Nov 2011
- WoLLIC 2012: Workshop on Logic, Language, Information and Computation, 3-6 Sep 2012, Buenos Aires, Argentina
- PhD student position in reachability problems, Bordeaux (France)
Received: 2011-10-24:
- Eight open postdoctoral independent research grants, Hamburg (Germany)
- Two postdoctoral grants (2y) in History of Science, Berlin (Germany), Deadline: 15 Feb 2012
- Postdoctoral and PhD student position in Bayesian epistemology, Canterbury (U.K.), Deadline: 15 December 2011
- W2 professorship in Cognitive Systems, Erlangen (Germany), Deadline: 15 Nov 2011
- "Logical Approaches to Barriers in Complexity II", 26-30 March 2011, Cambridge, U.K.
- 16th Szklarska Poreba conference: "Part-whole theory", 7-11 May 2012, Szklarska Poreba, Poland
Received: 2011-10-21:
- LOGICA 2012, 18-22 June 2012, Hejnice, Czech Republic
- CfP special issue of JLC on "Intuitionistic Modal Logics", Deadline: 31 Jan 2012
- FEW 2012: Formal Epistemology Workshop, 29 May - 1 Jun 2012, Munich, Germany
- PhD student positions in "foundations of cyber-physical systems", Aalborg (Denmark), Deadline: 15 Nov 2011
- Two PhD student positions in philosophy, Groningen (The Netherlands), Deadline: 16 Nov 2011
- Joint FWF-JSPS Seminar "Forcing in Set Theory", 23-28 Jan 2012, Kobe, Japan
Received: 2011-10-20:
- PhD student position in verification, Enschede (The Netherlands)
- Postdoctoral position in algorithms, randomness and complexity, Atlanta GA (U.S.A.), Deadline: 10 Dec 2011
- Postdoctoral position (1-2 years) in game theory and logic of games, Toulouse (France)
- PhD student position in "probabilistic models of coherence and positive relevance", Oldenburg (Germany), Deadline: 1 November 2011
- Faculty positions in theoretical computer science, San Antonio TX (U.S.A.)
- PhD scholarship in "Methods for Discrete Structures", Berlin (Germany), Deadline: 15 November 2011
Received: 2011-10-19:
- Postdoctoral research positions in artificial intelligence, Durban (South Africa)
- Science Communications Office ICSU (International Council for Science), Paris (France), Deadline: 4 November 2011
- Tenure-track assistant professorship in formal or empirical methods in social philosophy, Manhattan KS (U.S.A.), Deadline: 30 Nov 2011
- COCONAT: Computing Natural Reasoning, 15-16 December 2011, Tilburg, The Netherlands
- 5th Young Set Theory Workshop, 30 April - 5 May 2012, Luminy, France
- LOFT10 2012: Logic and the Foundations of Game and Decision Theory, 18-20 June 2012, Sevilla, Spain
Received: 2011-10-11:
- RTA 2012: Rewriting techniques and Applications, 28 May - 2 Jun 2012, Nagoya, Japan
- Square of Oppositions III, 26-29 June 2012, Beirut, Lebanon
- deadline extension, special issue of JLC on "20 years of argument-based inference"
- Postdoctoral position in complexity theory, Budapest (Hungary)
- Assistant professorship (tenure-track) in epistemology, Philadelphia PA (U.S.A.)
- Postdoctoral position in mathematical logic, Los Angeles CA (U.S.A.), Deadline: 8 Dec 2011
Received: 2011-10-06:
- Pattern Formation: The inspiration of Alan Turing, 14-16 March 2012, Oxford, U.K.
- "Norms, Logic and Dependence", 18 October 2011, Utrecht, The Netherlands
- Full Professorship of Logic, Gothenburg (Sweden), Deadline: 1 December 2011
- Frege in Leiden, 21 October 2011, Leiden, The Netherlands
- DCM 2012: Developments in Computational Models, 17 June 2012, Cambridge, U.K.
Received: 2011-10-03:
- WSLST 2012: Winter School in Language and Speech Technologies, 23-27 Jan 2012, Tarragona, Spain
- Final CfP: AAMAS 2012, 4-8 June 2012, Valencia, Spain
- MWPMW 12: Midwest PhilMath Workshop, 5-6 Nov 2011, Notre Dame IN, U.S.A.
- Postdoctoral and PhD student position in Computational Linguistics / Humanities, Amsterdam (The Netherlands), Deadline: 10 Oct 2011
- 4th Workshop on Philosophy of Mathematical Practices, 7-8 November 2011, Sevilla, Spain
- PhD student positions in computational logic, knowledge representation, artificial intelligence, Bolzano (Italy), Deadline: 14 Oct 2011
Received: 2011-09-30:
- Workshop "Ceteris Paribus Laws and Reasoning", 4-5 Nov 2011, Lund, Sweden
- IJCAR 2012: International Joint Conference on Automated Reasoning, 26 June - 1 July 2012, Manchester, U.K.
- CATaC 2012: Cultural Attitudes towards Technology and Communication, Aarhus (Denmark), dates not yet announced
- Postdoctoral position in cognitive and computational musicology, Amsterdam (The Netherlands), Deadline: 16 Oct 2011
- COMPUTING 2011: 75 years of Turing machine and lambda calculus, 20-21 Oct 2011, Karlsruhe, Germany
- 2nd CfP special issue of "Logica Universalis", Jan Van Heijenoort Centenary
Received: 2011-09-29:
- "Trends in Set Theory", 8-11 July 2012, Warsaw, Poland
- TAMC 2012: Theory and Applications of Models of Computation, 16-21 May 2012, Beijing, China
- Postdoctoral research fellowship in philosophy of information, Hatfield (U.K.), Deadline: 13 October 2011
- Postdoctoral position in approximation algorithms, Kiel (Germany), Deadline: tomorrow (30 Sep 2011)
- Postdoctoral position in structural proof theory, Vienna (Austria), Deadline: 1 Dec 2011
- Postdoctoral position in games, automata and logics, Paris (France), Deadline: tomorrow (30 Sep 2011)
Received: 2011-09-24:
- CfPart: CLA 2011, 17-20 Oct 2011, Nancy, France
- Call for Workshop Proposals: LICS 2012, 25-28 June 2012, Dubrovnik, Croatia
- Final CfP: LATA 2012, 5-9 March 2012, A Coruna, Spain
- Semantics and Philosophy in Europe 4, 26 Sep - 1 Oct 2011, Bochum, Germany
- Call for Tutorials: AAMAS 2012, 4-8 June 2012, Valencia, Spain
Received: 2011-09-23:
- Trends in Logic XI, 3-5 June 2012, Bochum, Germany
- CfPart: HAPOC-11, 7-10 Nov 2011, Gent, Belgium
- Telis Menas (1946-2011)
- Sheaf Logic & Philosophical Synthesis, 29 Sep 2011, Maastricht, The Netherlands
- CMI Postdoctoral Fellowship Programme, Pasadena CA (U.S.A.), Deadline: 16 Dec 2011
- Jaina Logic in Context, 21-22 March 2013, London, UK
Received: 2011-09-20:
- CMCS 2012: Coalgebraic Methods in Computer Science, 31 Mar - 1 Apr 2012, Tallinn, Estonia
- NFM 2012: NASA Formal Methods Symposium, 3-5 April 2012, Norfolk VA, U.S.A.
- Call for Workshop Proposals, AAMAS 2012, 4-8 June 2012, Valencia, Spain
- Conference on Information and Econometrics of Networks, 30-31 March 2012, Washington DC, U.S.A.
- Postdoctoral position in dialogue processing, Bielefeld (Germany), Deadline: 17 Oct 2011
- Registration for M4M open
Received: 2011-09-19:
- PhD student position in Explanatory Reasoning, Tilburg (The Netherlands)
- PhD student position in multi-agent systems, Marseille (France), Deadline: 5 Oct 2011
- Postdoctoral position in classical and quantum computing, Paris (France), Deadline: 1 Nov 2011
- 1st CfP. CiE 2012: How the world computes, 18-23 June 2012, Cambridge, UK
- Junior Research Fellowship at Imperial College, London (UK), Deadline: 31 Oct 2011
Received: 2011-09-13:
- DICE 2012: Developments in Implicit Complexity, 31 Mar - 1 Apr 2012, Tallinn, Estonia
- CfP: Essays in Memory of William McCune: "Automated Reasoning and Mathematics", Deadline: 1 Mar 2012
- Deadline extension: LENLS8, 1-3 Dec 2011, Takamatsu, Japan
- AAMAS 2012: Autonomous Agents and Multiagent Systems, 4-8 June 2012, Valencia, Spain
- LPAR-18: Logic for Programming, Artificial Intelligence and Reasoning, 11-15 March 2012, Merida, Venezuela
- FOCS 2011: Foundations of Computer Science, 22-25 October 2011, Palm Springs CA, U.S.A.
Received: 2011-09-08:
- new book: "Set Theory, Arithmetic, and Foundations of Mathematics" (LNL 36)
- VaNiM 2012: Values and Norms in Modeling, 25-27 June 2012, Eindhoven, The Netherlands
- Philosophical Modal Logic, 7 October 2011, Geneva, Switzerland
- Decisions and the Process of Reasoning, 13-15 Oct 2011, Regensburg, Germany
- W2 professorship in Theoretical Foundations of Computer Science, Clausthal-Zellerfeld (Germany), Deadline: 1 November 2011
- GIPSy 2011: Games, Logics and Security, 25-27 Oct 2011, Rennes, France
Received: 2011-09-07:
- Fundamental Properties, 30 Sep - 2 Oct 2011, Walferdange, Luxembourg
- "Exploring the Frontiers of Incompleteness", Cambridge MA (U.S.A.): 12 workshops over a period of two semesters at Harvard
- Funding available for MAMLS Meeting, 13-15 Jan 2012, Deerfield Beach FL, U.S.A.
- W1 Junior Professorship in Methodology of Economics, Bayreuth (Germany), Deadline: 30 September 2011
- Madrid-Tilburg Workshop: Statistics and Scientific Method I, 15-16 Dec 2011, Madrid, Spain
- Degrees and Randomness (60th birthday of Klaus Ambos-Spies), 3-4 Feb 2012, Heidelberg, Germany
Received: 2011-08-31:
Received: 2011-08-25:
Received: 2011-08-23:
- AGPC 2011: Amsterdam Graduate Philosophy Conference, "Internalism vs Externalism", 16-17 December 2011, Amsterdam, The Netherlands
- CfPart: TIME 2011, 12-14 Sep 2011, Luebeck, Germany
- CiE 2012: How the World Computes, 18-23 June 2012, Cambridge, U.K.
- FORMATS 2011: Formal Modeling and Analysis of Times Systems, 21-23 Sep 2011, Aalborg, Denmark
- Postdoctoral position in computational logic (6y), Innsbruck (Austria), Deadline: 24 August 2011 (tomorrow)
Received: 2011-08-19:
- CfP: "Choice and Inference", submission deadline: 1 Feb 2012
- FSFLA 2011: Fall School in Formal Languages and Applications, 31 Oct - 4 Nov 2011, Tarragona, Spain
- 2nd CfP: MWPMW 12, 4-6 Nov 2011, Notre Dame IN, U.S.A.
- ETAPS 2012: Theory and Practice of Software, 24 Mar - 1 Apr 2012, Tallinn, Estonia
- CfPart: FroCoS 2011, 5-7 Oct 2011, Saarbruecken, Germany
- Horacio Arlo-Costa (1956-2011)
Received: 2011-08-18:
- Non-Classical Modal and Predicate Logic, 5-9 Dec 2011, Guangzhou, China
- "Proper Names: Philosophical and Linguistic Perspectives", 3-4 Sep 2011, Goettingen, Germany
- FOIS 2012: Formal Ontologies in Information Systems, 24-27 Aug 2012, Graz, Austria
- Human Complexity 2012: Modeling Complexity in the Humanities and Social Sciences, 30 May - 1 Jun 2012, Charlotte NC, U.S.A.
- Postdoctoral position in mathematical logic, Ishikawa (Japan), Deadline: 17 Sep 2011
- W2 Professorship for Digital Humanities, Trier (Germany), Deadline: 16 September 2011
Received: 2011-08-16:
- 3rd CfP: Inquisitiveness, 19-21 Dec 2011, Amsterdam, The Netherlands
- PhD student / postdoc position in theoretical philosophy / logic, Mainz (Germany), Deadline: 7 Sep 2011
- Best PhD thesis project in computational game theory, deadline: 15 October 2011
- "Philosophy of Information", One-day workshop, 3 Oct 2011, Washington DC, U.S.A.
- Modern Constructive Algebra, 15-16 Oct 2011, Besancon, France
- Temporary lectureship (5 years) in theoretical philosophy, Frankfurt (Germany), Deadline: 17 August 2011 (tomorrow)
Received: 2011-08-08:
- PhD position in intelligent robotics, Tarragona (Spain)
- "The Semantics and Epistemology of Mental State Ascriptions", 30 Sep - 1 Oct 2011, Bochum, Germany
- Call for Workshops: ISLA 2012 (Indian School on Logic and its Applications), 9-20 Jan 2012, Manipal, India
- Two PhD student positions in logic, Tilburg (The Netherlands), Deadline: 15 October 2011
- PhD student position and student research assistant position in philosophy / psychology / cognitive science, Munich (Germany)
- Postdoctoral positions in stochastic model checking, Rennes (France)
Received: 2011-07-30:
- CfPart: CSL 2011 & TYPES 2011, 8-15 Sep 2011, Bergen, Norway
- CfP: special issue of Studia Logica on "Logic and Games", deadline: 15 August 2011
- PhD student position in logic and graph theory, Berlin (Germany), Deadline: 28 August 2011
- Call for Posters "Understanding Other Minds", 20-21 Sep 2011, Bochum, Germany
- PhD student position in formal epistemology, Konstanz (Germany), Deadline: 31 July 2011 (tomorrow!)
- Junior Professorship (W1) in theoretical philosophy, Stuttgart (Germany), Deadline: 9 Sep 2011
Received: 2011-07-28:
- Algorithmic Intelligence, 4 Oct 2011, Berlin, Germany
- Aspects of Descriptive Set Theory, 19-21 Oct 2011, Kyoto, Japan
- 2nd CfProposals: NASSLLI 2012, 18-22 June 2012, Austin TX, U.S.A.
- LATA 2012: Language and Automata Theory and Applications, 5-9 March 2012, A Coruna, Spain
- COPCOM 2011: Coping with Complexity, Cluj-Napoca (Romania), 19-20 October 2011
- PhD student position in deontic logic, Luxembourg (Luxembourg), Deadline: 15 Sep 2011
Received: 2011-07-15:
Received: 2011-07-13:
- 2nd CfP: Inquisitiveness, 19-21 Dec 2011, Amsterdam, The Netherlands
- CfPart: Domain X, 5-7 Sep 2011, Swansea, Wales
- LAMAS 2011, Osuna (Spain), 10 Nov 2011; extended submission deadline
- Computational Models of Narrative, 20-22 May 2012, Istanbul, Turkey
- LENLS8: Logic and Engineering of Natural Language Semantics, 1-2 Dec 2011, Takamatsu, Japan
Received: 2011-07-12:
Received: 2011-07-10:
Received: 2011-07-09:
- Last CfP (and deadline extension) M4M-7, 9-12 Nov 2011, Osuna, Spain
- Call for Symposia Proposals: AISB/IACAP World Congress 2012 (in honour of Alan Turing), 2-6 July 2012, Birmingham, U.K.
- Logic and Mathematics 2011, Urbana-Champaign IL (U.S.A.), 3-4 Sep 2011 (student grants)
- Large Cardinal Methods in Homotopy, 1-8 September 2011, Barcelona, Spain
- CfP special issue of Logica Universalis: "Jean van Heijenoort Centenary", Deadline: 31 Jan 2012
Received: 2011-07-06:
- Master's programme in Logic and Theory of Science, Budapest (Hungary), Deadline: 22 August 2011
- 1st Workshop for Algorithmic Intelligence, 4 October 2011, Berlin, Germany
- CfP special issue of JLC: "60 years of Deontic Logic", Deadline: 1 Sep 2011
- Opening Center for Mind, Brain and Cognitive Evolution, 14 July 2011, Bochum, Germany
- Postdoctoral position in "Understanding Information Quality Standards", Hatfield (U.K.)
- CSLP 2011: Constraints and Language Processing, 27 Sep 2011, Karlsruhe, Germany
Received: 2011-07-04:
- Summer School on Program Synthesis, 8-12 Aug 2011, Dagstuhl, Germany
- CLA 2011: Concept Lattices and Their Applications, Nancy (France), 17-21 Oct 2011 (deadline extension)
- Copenhagen/Lund Workshops in Social Epistemology, Copenhagen (Denmark) & Lund (Sweden), 27 Sep 2011 & 9 Dec 2011
- W1 Junior Professorship for Ancient History of Science, Berlin (Germany)
- CfPart: MoL 2011: Mathematics of Language, 6-8 Sep 2011, Nara, Japan
- LAMAS 2011: Logical Aspects of Multi-Agent Systems, 10 Nov 2011, Osuna, Spain
Received: 2011-07-02:
- AiML-2012: Advanced in Modal Logic, 22-25 Aug 2012, Copenhagen, Denmark
- Questions in Discourse, 7-9 March 2012, Frankfurt, Germany
- PhD student position in history and philosophy of science, Duesseldorf (Germany), Deadline: 10 July 2011
- 18th Amsterdam Colloquium, 19-21 Dec 2011, Amsterdam, The Netherlands
- PhD student or Postdoc position on vagueness in philosophy of law, Freiburg (Germany), Deadline: 15 July 2011
- PhD scholarship "Modal Logic, Foundations of Equilibrium Logic and Answer Set Programming", Toulouse (France), Deadline: 10 July 2011
Received: 2011-06-28:
- 2nd CfP: MRC 2011, 26-27 Sep 2011, Karlsruhe, Germany
- PT-AI 2011: Philosophy and Theory of Artificial Intelligence, 3-4 Oct 2011, Thessaloniki, Greece
- Postdoctoral position in computational logic (2y), Innsbruck (Austria), Deadline: 20 Aug 2011
- ADFOCS 2011: Advanced Course on the Foundations of Computer Science, 29 Aug - 2 Sep 2011, Saarbruecken, Germany
- Microsoft Research Fellowship (PhD student) in computer science, Leicester (U.K.)
- Non-classical modal and predicate logics, 5-9 December 2011, Guangzhou, China
Received: 2011-06-26:
- "Inquisitiveness", 19-21 Dec 2011, Amsterdam, The Netherlands
- CfP special issue of "Logica Universalis": "Scope of Logic Theorems", Deadline: 24 Dec 2011
- PhD student position in philosophy and history of science (6 months), Duesseldorf (Germany)
- Postdoctoral fellowships in theoretical computer science, Singapore (Singapore)
- Postdoctoral position on lambda-calculus / higher-order languages, Bordeaux (France), Deadline: 17 July 2011
- "Beyond the possible", conference in memory of Richard Sylvan, 27-29 July 2011, Melbourne, Australia
Received: 2011-06-19:
- CfPart: Mathematics of Language 2011, 6-8 Sep 2011, Nara, Japan
- MLQA 2011: Models and Logics for Quantitative Analysis, 5 Sep 2011, Aachen, Germany
- Professorship in Algorithms, Oxford (U.K.), deadline tomorrow
- ICCSW 2011: Imperial College Computing Student Workshop, 29-30 Sep 2011, London, U.K.
- Final Call for Course and Workshop Proposals, ESSLLI 2012, Opole (Poland), Deadline today!
- Two postdoctoral positions in algorithm design, Rome (Italy), Deadline: 15 July 2011
Received: 2011-06-13:
- 2nd CfP: AAL meeting, 14-15 Dec 2011, Wellington, New Zealand
- MWPMW 12: Midwest PhilMath Workshop, 5-6 Nov 2011, Notre Dame IN, U.S.A.
- CoSLI 2011: Computational Models for Spatial Languages, 20 July 2011, Boston MA, U.S.A.
- NASSLLI 2012, Call for Course and Workshop Proposals, 18-22 June 2012, Austin TX, U.S.A.
- FSFLA 2011: Fall School in Formal Languages and Applications, Tarragona (Spain), 3 Oct to 4 Nov 2011
- Final CfP: Semantics and Philosophy in Europe 4, 26 Sep - 1 Oct 2011, Bochum, Germany
Received: 2011-06-10:
- PhD student position in theoretical philosophy (formal epistemology), Konstanz (Germany), Deadline: 31 July 2011
- CfPart: GandALF 2011, 15-17 June 2011, Minori, Italy
- CADE-23: Conference on Automated Deduction, 31 Jul - 5 Aug 2011, Wroclaw, Poland
- 50% position (3y) as PhD student or postdoc in theoretical philosophy, Oldenburg (Germany), Deadline: 1 July 2011
- PhD student position (2y) in computational models over the real numbers, Cottbus (Germany), Deadline: 6 July 2011
- CONTEXT'11, 26-30 Sep 2011, Karlsruhe, Germany
Received: 2011-06-09:
- PhD scholarships in Semantics, Analysis, Verification, Lyngby (Denmark)
- 2nd CfP: M4M-7, 9-12 Nov 2011, Osuna, Spain
- W3 Professorship in Logic and Philosophy of Language, Jena (Germany), Deadline: 30 June 2011
- SHAPES 1.0, 26-27 Sep 2011, Karlsruhe, Germany
- PhD student position in formal methods, Enschede (The Netherlands), Deadline: 1 July 2011
- CfPart: Infinity Conference, 18-22 Jul 2011, Barcelona, Spain
Received: 2011-06-06:
- CAV 2011: Computer Aided Verification, 16-20 Jul 2011, Snowbird UT, U.S.A.
- CSLP 2011: Constraints and Language Processing, 27 Sep 2011, Karlsruhe, Germany
- GAMES 2011, 31 Aug - 3 Sep 2011, Paris, France
- Logic & Mathematics 2011, 3-4 Sep 2011, Urbana IL, U.S.A.
- P-NPMW 3: Third Paris-Nancy Philosophy of Mathematics Workshop, 26-28 Sep 2011, Nancy, France
- Fall 2011 MAMLS Meeting in memory of Greg Hjorth, 22-23 Oct 2011, Piscataway NJ, U.S.A.
Received: 2011-06-04:
- TYPES 2011, 8-11 Sep 2011, Bergen, Norway
- CALCO 2011: Conference on Algebra and Coalgebra in Computer Science, 29 Aug - 2 Sep 2011, Winchester, U.K.
- Accommodation and Travel Information, Turing MAMLS, 13-15 Jan 2012, Deerfield Beach FL, U.S.A.
- WADS 2011: Algorithms and Data Structures Symposium, 15-17 Aug 2011, Brooklyn NY, U.S.A.
- Gottlob Frege Lectures in Theoretical Philosophy 2011, Tartu (Estonia)
- Professional position in knowledge representation at Evalueserve, Gurgaon (India)
Received: 2011-06-03:
- PLS 2011: deadline extension (to 15 June), 4-8 July 2011, Ioannina, Greece
- MACIS 2011: Mathematical Aspects of Computer and Information Sciences, 19-21 Oct 2011, Beijing, China
- deadline extension for registration ESSLLI 2011, 1-12 Aug 2011, Ljubljana, Slovenia
- Lectureship (permanent position as Akademischer Rat) in Mathematics, Regensburg (Germany), Deadline: 1 July 2011
- Call for Course and Workshop Proposals: ESSLLI 2012, 6-17 August 2012, Opole, Poland
- Two postdoctoral positions in philosophy (2y, philosophy of science and logic), Salzburg (Austria)
Received: 2011-05-29:
- Deadline extension: SBMF 2011, 26-30 Sep 2011, Sao Paulo, Brazil
- CAIA 2011: Context Aware Intelligent Assistance, 4 Oct 2011, Berlin, Germany
- Senior Fellowship in Neurophilosophy, Bochum (Germany), Deadline: 10 Jul 2011
- "The Collective Dimension of Science", 8-10 Dec 2011, Nancy, France
Received: 2011-05-27:
- Final CfP: "Social and Cultural Cognition", 15-26 July 2011, Cologne, Germany
- PhD student position in "Algorithms for Manipulation Planning with Imperfect Parts and Inaccurate Manipulators", Utrecht (The Netherlands), Deadline: 31 May 2011
- CfPart: LICS 2011, 21-24 June 2011, Toronto ON, Canada
- CfPart: CLMPS XIV, 19-26 July 2011, Nancy, France
Received: 2011-05-26:
Received: 2011-05-20:
- CfPart: ARCOE-11, 18 Jul 2011, Barcelona, Spain
- CfPart: TARK XIII, 11-15 July 2011, Groningen, The Netherlands
- Two research assistantships in Programming Language Components and Specifications, Swansea (Wales), Deadline: 9 June 2011
- 2nd CfP: "Semantics and Philosophy in Europe 4", 26 Sep - 1 Oct 2011, Bochum, Germany
- Conference: "Understanding Other Minds: Embodied Interaction and Higher-Order Reasoning", 20-21 Sep 2011, Bochum, Germany
- Infinity Conference, 18-22 July 2011, Bellaterra, Spain
Received: 2011-05-19:
- Two PhD student positions on "Programming Language Components and Specifications", London / Swansea (U.K.), Deadline: 31 May 2011
- Master programme in Analytic Philosophy, Barcelona (Spain)
- FSTTCS 2011: Foundations of Software Technology and Theoretical Computer Science, 12-14 Dec 2011, Mumbai, India
- Dutch Model Checking Day 2011, 17 June 2011, Delft, The Netherlands
- Postdoctoral position in theoretical philosophy / philosophy of language (3+3y), Hamburg (Germany), Deadline: 30 May 2011
- "Algebra and Mathematical Logic" (100th anniversary of Morozov), 25-30 Sep 2011, Kazan, Russian Federation
Received: 2011-05-18:
- European Master's Program in Computational Logic: Bolzano, Dresden, Lisboa, Wien
- Young Researchers Forum (Theoretical Computer Science), 22-24 Aug 2011, Warsaw, Poland
- GAMES 2011, 31 Aug - 3 Sep 2011, Paris, France
- 2nd CfPart: ESSLLI 2011, 1-12 Aug 2011, Ljubljana, Slovenia
- PhD student position in agents exchanging information, Aix-Marseille (France), Deadline: 10 June 2011
Received: 2011-05-13:
- CoSLI-2: Computational Models for Spatial Language Interpretation and Generation, 20-23 July 2011, Boston MA, U.S.A.
- Workshop on Theoretical Computer Science (Calude's 60th Birthday), 21-24 Feb 2012, Auckland, New Zealand
- PCC 2011: Proof, Computation and Complexity, 6-7 June 2011, Ghent, Belgium
- Postdoctoral position (2y) in theoretical philosophy, Oldenburg (Germany), Deadline: 1 Jun 2011
- Seven fellowships (senior and junior) at the Center for Main, Brain and Cognitive Evolution, Bochum (Germany), Deadline: 10 July 2011
- special issue JLC: 20 years of argument-based inference
Received: 2011-05-10:
- Seven postdoctoral fellowship for self-designed research projects, Bremen (Germany), Deadline: 1 June 2011
- PhilMath Intersem 2011: Simplicity / Complexity of Proof, Paris & Nancy (France), 2-30 June 2011
- ISAAC 2011: Algorithms and Computation, 5-8 Dec 2011, Yokohama, Japan
- Four PhD studentships in Computer Science, Swansea (Wales), Deadline: 31 May 2011
- 2nd CfP: "Social and Cultural Cognition", 16-26 July 2011, Cologne, Germany
- Professorship for Algorithms and Data Structures, Salzburg (Austria)
Received: 2011-05-09:
- Final CfP: HAPOC, 7-10 Nov 2011, Ghent, Belgium
- W3 Professorship in Theoretical Philosophy, Tuebingen (Germany), Deadline: 20 May 2011
- MCM 2011: Mathematics and Computation in Music, 15-17 June 2011, Paris, France
- SSLST 2011: Summer School in Language and Speech Technologies, Tarragona (Spain), 29 Aug to 2 Sep 2011
- W2 Professorship in Theoretical Computer Science, Kaiserslautern (Germany), Deadline: 31 May 2011
- Postdoctoral position in "Logics for intelligent interaction", Groningen (The Netherlands), Deadline: 1 June 2011
Received: 2011-05-03:
- Groups and Model Theory, 30 May - 2 June 2011, Muelheim an der Ruhr, Germany
- Doctoral Symposium at FCT, 26 Aug 2011, Oslo, Norway
- CfP special issue of JWS on "Reasoning with context in the semantic web", Deadline: 15 June 2011
- Seven PhD student positions in Computer Science, Leicester (U.K.)
- 3rd CfP. TbiLLC 2011, 26-30 Sep 2011, Kutaisi, Georgia
- 2nd CfP: Quantum Physics meets TARK, 15 July 2011, Groningen, The Netherlands
Received: 2011-05-01:
- 2nd CfP: LORI-III, 10-13 Oct 2011, Guangzhou, China
- AST 2011: Applications of Semantic Technologies, 6 Oct 2011, Berlin, Germany
- Mathematical Logic in the Netherlands 2011, 19-20 May 2011, Groningen, The Netherlands
- special issue of LMCS on "Computability and Complexity in Analysis", Deadline: 16 May 2011
- "Logic in Question", 2-3 May 2011, Paris, France
- Workshop on Logic, Information and Agency, 26-30 Sep 2011, Kutaisi, Georgia
Received: 2011-04-25:
- SBMF 2011: Brazilian Symposium on Formal Methods, 26-30 Sep 2011, Sao Paolo, Brazil
- 2nd CfP: LORI-III, 10-13 Oct 2011, Guangzhou, China
- SAGT: Symposium on Algorithmic Game Theory, 17-19 Oct 2011, Salerno, Italy
- "Reasoning about other minds", 11 July 2011, Groningen, The Netherlands
- BLAST 2011, 1-5 June 2011, Lawrence KS, U.S.A.
- "Recent Developments in Model Theory" (60th Birthday of Anand Pillay), 5-11 June 2011, Oleron, France
Received: 2011-04-22:
- publication of special issue on Hugh MacColl by Moktefi and Read
- FEMEP: Formal Epistemology Meets Experimental Philosophy, 29-30 September 2011, Tilburg, The Netherlands
- CoSLI-2: Computational Models for Spatial Language Interpretation, 20-23 July 2011, Boston MA, U.S.A.
- Postdoctoral position, and PhD student positions in "Nominalisations", Hamburg (Germany), Deadline: 2 May 2011
- Final CfP: KI 2011: German Conference on Artificial Intelligence, 4-7 October 2011, Berlin, Germany
- DL 2011: Description Logics, 13-16 July 2011, Barcelona, Spain
Received: 2011-04-21:
- 18th Amsterdam Colloquium, 19-21 Dec 2011, Amsterdam, The Netherlands
- GAI@EPIA: track on General Artificial Intelligence at EPIA, 10-13 Oct 2011, Lisbon, Portugal
- Workshop on Reverse Mathematics, 16-18 Sep 2011, Chicago IL, U.S.A.
- Two tutorials by Villaceves and Kossak, 14-17 June 2011, Helsinki, Finland
- Deadline extension: TIME 2011 (now: 23 April), 12-14 Sep 2011, Luebeck, Germany
- Assistant professorship in mathematical logic, Ishikawa (Japan)
Received: 2011-04-16:
- Solomonoff 85th Memorial Conference, 30 Nov - 2 Dec 2011, Melbourne, Australia
- 2FC'11: Two Faces of Complexity, 29 May 2011, Novi Sad, Serbia
- 2nd Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 25-30 Sep 2011, Rome, Italy
- Decisions, Games and Logic 2011 (DGL), Maastricht (The Netherlands), 7-9 Jul 2011 (deadline extended)
- Call for Course and Workshop Proposals: ESSLLI 2012, 6-17 Aug 2012, Opole, Poland
- Extended deadline (30 April): 30emes Journees sur les Arithmetiques Faibles, 20-22 June 2011, Paris, France
Received: 2011-04-15:
- 2nd CfP: History and Philosophy of Computing, 7-10 Nov 2011, Gent, Belgium
- Postdoctoral position (AR a.Z., 3+3 years) in theoretical philosophy, Regensburg (Germany), Deadline: 30 April 2011
- 11th Prague Topological Symposium, 7-13 Aug 2011, Prague, Czech Republic
- European PhD Program in Computational Logic, Bozen (Italy), Dresden (Germany), Wien (Austria), Lisbon (Portugal)
- W1 Junior Professorship in Philosophy of Physics, Wuppertal (Germany), Deadline: 11 May 2011
- Assistant Professorship (tenure-track) and Instructorship in Metaphysics and Epistemology, Manhattan KS (U.S.A.)
Received: 2011-04-08:
- Assistant professorship (tenure-track) in medieval philosophy (AOC: logic), Buffalo NY (U.S.A.).
- Final CfP: TSD 2011 (Text, Speech, Dialogue), 1-5 Sep 2011, Plzen, Czech Republic
- CfP special issue of Applied Ontology on "Ontologies and Terminologies", Deadline: 15 May 2011
- CLA 2011: Concept Lattices and Their Applications, 17-21 Oct 2011, Nancy, France
- Visiting Assistant Professorship (1y) in philosophy, New Orleans LA (U.S.A.), Deadline: 29 April 2011
- Final CfP: TACL 2011, 26-30 Jul 2011, Marseille, France
Received: 2011-04-06:
- Annual Conference of the Australasian Association of Logic, 14-15 Dec 2011, Wellington, New Zealand
- Last CfP: NRAC 2011, 17-18 July 2011, Barcelona, Spain
- Call for Nominations: E W Beth Dissertation Award 2011
- SPA 2011: SAT for Practical Applications, 23 Jun 2011, Ann Arbor MI, U.S.A.
- "Social Choice and Artificial Intelligence", 16 July 2011, Barcelona, Spain
- PhD student position in algorithmic aspects of phylogenetic networks, Maastricht (The Netherlands)
Received: 2011-04-04:
- Turing MAMLS, 13-15 Jan 2012, Boca Raton FL, U.S.A.
- CLA 2011: Computational Linguistics Applications, 17-19 Oct 2011, Jachranka, Poland
- The Turing Centenary Research Project, Deadline: 16 Dec 2011
- "Philosophy in an Age of Science": Putnam's 85th Birthday, 31 May - 3 Jun 2011, Cambridge MA, U.S.A.
- PhD student position in modal logic, Amsterdam (The Netherlands), Deadline: 15 May 2011
- Special issue on "Reasoning with context" in the Journal of Web Semantics
Received: 2011-03-31:
- Semantics and Philosophy in Europe 4, 26 Sep - 1 Oct 2011, Bochum, Germany
- Last CfPart: GAMES-EPIT Spring School, Carcans-Maubuisson (France), 23-27 May 2011
- CONTEXT'11, 26-30 Sep 2011, Karlsruhe, Germany
- Final CfP (and deadline extension): Modern Set Theory, 1-5 Aug 2011, Ljubljana, Slovenia
- Final CfP: ARCOE-11, 17-18 July 2011, Barcelona, Spain
- COLA@EPIA 2011: Computational Logic with Applications, 10-13 Oct 2011, Lisbon, Portugal
Received: 2011-03-30:
- 2nd CfP: Logic for Games and Social Choice, 17-18 Jul 2011, Barcelona, Spain
- Two postdoctoral positions on Dialogue Systems, Edinburgh (Scotland), Deadline: 3 May 2011
- KI 2011: German Conference on Artificial Intelligence, 4-7 October 2011, Berlin, Germany
- Logic & Culture, 8 April 2011, Utrecht, The Netherlands
- PhD student or postdoctoral researcher in cognitive/computer science, Bielefeld (Germany), Deadline: 30 Apr 2011
- Extended Deadline: PLS8, 4-8 Jul 2011, Ioannina, Greece
Received: 2011-03-29:
- Two PhD studentships in computational logic, Kassel (Germany), Deadline: 15 Apr 2011
- Assistant Professorships and Professorships in Foundations of Computer Science, Windhoek (Namibia)
- "What is really possible?", 8-9 Apr 2011, Utrecht, The Netherlands
- Call for Nominations: E W Beth Dissertation Prize 2010
- W3 Professorship in Logic and Theory of Discrete Systems, Aachen (Germany), Deadline: 20 May 2011
- Four PhD student positions in linguistics, Utrecht (The Netherlands), Deadline: 18 Apr 2011
Received: 2011-03-26:
- Last CfP: LOPSTR 2011, 18-20 July 2011, Odense, Denmark
- new book: Computation and Logic in the Real Worlds
- Contexts, Perspectives, and Relative Truth, 9-11 June 2011, Bonn, Germany
- 2nd CfP: TbiLLC 2011, 26-30 Sep 2011, Kutaisi, Georgia
- LOFT 2012, 18-20 June 2012, Sevilla, Spain
- MoL 2011: Venue and Date Change; Nara (Japan), 6-8 Sep 2011, new deadline: 2 April 2011
Received: 2011-03-22:
- 6th Cologne Summer School in Philosophy: "Relying on Others. New Perspectives in Social Epistemology", 7-10 Sep 2011, Cologne, Germany
- JAF 30: Journees sur les Arithmetiques Faibles, 20-22 Jun 2011, Paris, France
- COIN@WI-IAT'11: Coordination, Organizations, Institutions and Norms in Agent Systems, 22 Aug 2011, Lyon, France
- Cf Tutorial and Workshop proposals, ICTAC 2011, 29-30 Aug 2011, Johannesburg, South Africa
- PSX2: Philosophy of Scientific Experimentation, 21-22 October 2011, Konstanz, Germany
- RR 2011: Web Reasoning and Rule Systems, 29-30 Aug 2011, Galway, Ireland
Received: 2011-03-18:
- "Social and Cultural Cognition", Workshop and Summer School, 15-26 July 2011, Cologne, Germany
- CONTEXT'11: Modeling and Using Context, 26-30 Sep 2011, Karlsruhe, Germany
- FCT 2011: Fundamentals of Computation Theory, 22-25 Aug 2011, Oslo, Norway
- Agnotology: Ways of Producing, Preserving and Dealing with Ignorance, 30 May - 1 June 2011, Bielefeld, Germany
- NRAC 2011: Nonmonotonic Reasoning, Action and Change, 17-18 July 2011, Barcelona, Spain
- 'Conceptual Analysis and 2-D Semantics', 18-19 June 2011, Cologne, Germany
Received: 2011-03-17:
- "Rethinking Reason", 28-31 March 2011, Saarbruecken, Germany
- Cf Workshop Proposals: TIME 2011, Luebeck (Germany), 11 or 15 September 2011
- 2nd CfP: "Modern Set Theory", 1-5 Aug 2011, Ljubljana, Slovenia
- Postdoctoral position or PhD student position (2y) in Mathematical Logic, Greifswald (Germany), Deadline: 15 May 2011
- "The Classical Model of Science II", 2-5 August 2011, Amsterdam, The Netherlands
- LCC'11: Logic and Computational Complexity, 25 June 2011, Toronto ON, Canada
Received: 2011-03-16:
- PhD student position in history of science and technology, Karlsruhe (Germany), Deadline: 18 March 2011
- Third European Set Theory Meeting, 4-7 July 2011, Edinburgh, Scotland
- PhD student position in applying description logic to semantic patent informatics, Berlin (Germany), Deadline: 28 March 2011
- Last CfP: MoL 12 (Mathematics of Language), 5-7 Sep 2011, Tokyo, Japan
- W2 Professorship in Corpus Linguistics, Erlangen (Germany)
- PhD studentship in "Foundations for Heterogeneous Computation", Birmingham (U.K.)
Received: 2011-03-11:
- ALT 2011: Algorithmic Learning Theory, 5-7 Oct 2011, Espoo, Finland
- History and Philosophy of Computing, 7-10 Nov 2011, Ghent, Belgium
- Final CfP: MoL 2011, 5-7 Sep 2011, Tokyo, Japan
- DL 2011: Description Logics, 13-16 July 2011, Barcelona, Spain
- CfP special issue of JLC on "60 years of deontic logic", Deadline: 1 Sep 2011
- Call for Short Presentations: WoLLIC 2011, 18-20 May 2011, Philadelphia PA, U.S.A.
Received: 2011-03-10:
- Final CfP: 8th PLS, 4-8 July 2011, Ioannina, Greece
- Call for Short Presentations: LICS 2011, 21-24 June 2011, Toronto ON, Canada
- On the Posteriority of Buechi, Lausanne (Switzerland), 31 March to 1 April 2011
- Logic Colloquium 2011, 11-16 July 2011, Barcelona, Spain
- Final meeting of Choco project on linear logic, 4-7 April 2011, Lyon, France
- W1 Junior Professorship Computational Linguistics, Stuttgart (Germany), Deadline: 15 April 2011
Received: 2011-03-09:
- Postdoctoral position in lexical semantics, London (U.K.), Deadline: 31 March 2011
- TARK 2011: deadline extension, 11-15 July 2011, Groningen, The Netherlands
- PhD student position in computational linguistics, Bielefeld (Germany), Deadline: 20 March 2011
- Third European Set Theory Conference, 3-8 July 2011, Edinburgh, Scotland
- PhD student position on collective action, Amsterdam (The Netherlands), Deadline: 15 May 2011
- Two PhD student positions and one postdoctoral position in Natural and Computational Logic, Tilburg (The Netherlands), Deadline: 15 April 2011
Received: 2011-03-06:
- ICTAC 2011: Theoretical Aspects of Computing, Johannesburg (South Africa), 31 Aug to 2 Sep 2011
- CSL 2011: Computer Science Logic, 12-15 Sep 2011, Bergen, Norway
- Research Fellowship (1y) in Combinatorial Optimization, Warwick (U.K.), Deadline: 25 Mar 2011
- Lectureship in Computational Linguistics, Groningen (The Netherlands), Deadline: 15 April 2011
- "Quantum Physics meets TARK", 15 July 2011, Groningen, The Netherlands
- PhD student position in Logic-based models of trust, Toulouse (France)
Received: 2011-03-02:
- Postdoctoral position in game dynamics, Jerusalem (Israel), Deadline: 31 Mar 2011
- 'Asian Workshop on Philosophical Logic', 17-18 March 2011, Nomi, Japan
- Four PhD studentships in mathematical philosophy, Munich (Germany), Deadline: 20 March 2011
- "Social and Cultural Cognition" (Workshop & Summer School), 15-26 July 2011, Cologne, Germany
- "The Incomputable", 12-15 Jun 2012, Newport Pagnell, U.K.
- ARCOE-11: Automated Reasoning about Context and Ontology Evolution, 17-18 Jul 2011, Barcelona, Spain
Received: 2011-02-27:
- 2nd CfP: TACL 2011, 26-30 July 2011, Marseille, France
- GKR 2011: "Graph Structures for Knowledge Representation and Reasoning", 16 July 2011, Barcelona, Spain
- ESSLLI 2011: Registration open
- Two lectureships in Mathematics, London (U.K.)
- 1st Pittsburgh-Tilburg workshop on "Formal Epistemology meets Experimental Philosophy", 29-30 Sep 2011, Tilburg, The Netherlands
- Two schools: DALT School and ALP/GULP School on Computational Logic, 10-15 April 2011, Bertinoro, Italy
Received: 2011-02-26:
Received: 2011-02-25:
- Symposium on experimental philosophy and the origins of empiricism, 18-19 April 2011, Dunedin, New Zealand
- 5y position as lecturer / PhD student in philosophy, Amsterdam (The Netherlands), Deadline: 11 March 2011
- Postdoctoral position in algorithms, Berlin (Germany), Deadline: 1 April 2011
- LOPSTR 2011: Logic-based Program Synthesis and Transformation, 18-20 July 2011, Odense, Denmark
- CfP special issue of TopiCS on "mathematical practice and cognition"
- W3 Professorship in Computational Linguistics, Munich (Germany), Deadline: 31 March 2011
Received: 2011-02-20:
- LAMAS 2011: Logical Aspects of Multi-Agent Systems, 10 Nov 2011, Osuna, Spain
- RP'11: Reachability Problems, 28-30 Sep 2011, Genova, Italy
- CfP special issue of Journal of Web Semantics on "Reasoning with context", Deadline: 15 Jun 2011
- PhD student position / postdoctoral position, Freiburg (Germany), Deadline: 1 Mar 2011
- Workshop on Universal Models, 24 Feb 2011, Amsterdam, The Netherlands
Received: 2011-02-18:
Received: 2011-02-17:
- SIROCCO 2011: Structural Information and Communication Complexity, 26-29 Jun 2011, Gdansk, Poland
- 3rd CfP: "Order Algebra and Logic", 6-10 June 2011, Krakow, Poland
- Student Session 2011 @ ESSLLI 2011, 1-12 Jul 2011, Ljubljana, Slovenia
- ICLP-DC 2011: Doctoral Student Consortium of the International Conference on Logic Programming, 6-10 Jul 2011, Lexington KY, U.S.A.
- PLS8: 8th Panhellenic Logic Symposium, 4-8 July 2011, Ioannina, Greece
- KI 2011: German Conference on Artificial Intelligence, 4-7 October 2011, Berlin, Germany
Received: 2011-02-13:
- PSSV 2011: Program Semantics, Specification and Verification, 12-13 June 2011, St. Petersburg, Russia
- 2nd CfP: NeSy.11, 17 July 2011, Barcelona, Spain
- CfP "Logics for Games and Social Choice", 17-18 July 2011, Barcelona, Spain
- SMT 2011: Satisfiability Modulo Theories, 14-15 July 2011, Snowbird UT, U.S.A.
- "Numerical Cognition and Mathematical Ontology", Workshop at ECAP 7, 4 September 2011, Milan, Italy
- Postdoctoral position on approximability of NP-hard problems, Stockholm (Sweden)
Received: 2011-02-11:
- Social Choice and Artificial Intelligence, 16 July 2011, Barcelona, Spain
- SAGT 2011: Symposium on Algorithmic Game Theory, 17-19 Oct 2011, Salerno, Italy
- TIME 2011: Temporal Representation and Reasoning, 12-14 September 2011, Luebeck, Germany
- IACAP 2011: First International Meeting, 4-6 Jul 2011, Aarhus, Denmark
- BLAST 2011: Boolean algebras, Lattices, Algebraic Logic, Set Theory, and Topology, 1-5 June 2011, Lawrence KS, U.S.A.
- PhD studentship in DNA Computing, Oxford (U.K.), Deadline: 28 Feb 2011
Received: 2011-02-08:
Received: 2011-02-07:
- FQAS-2011: Flexible Query Answering Systems, 26-28 Oct 2011, Gent, Belgium
- CfP special issue of LMCS on "Types for Proofs and Programs", Deadline: 2 May 2011
- RR 2011: Web Reasoning and Rule Systems, 29-30 Aug 2011, Galway, Ireland
- M4M-7: Methods for Modalities, 9-12 Nov 2011, Osuna, Spain
- "Groups and Model Theory", Muelheim a.d. Ruhr (Germany), 30 May -- 3 June 2011
- PhD student position on "Logics for Privacy", Bern (Switzerland)
Received: 2011-02-04:
- 2nd CfP: Mathematics of Language, 5-7 Sep 2011, Tokyo, Japan
- MGS: Midlansa Graduate School in the Foundations of Computing Science, 11-15 April 2011, Nottingham, U.K.
- GAMES-EPIT Spring School 2011, Carcans-Maubuisson (France), 23-27 May 2011
- New journal: Journal of Humanistic Mathematics
- Workshop "Domains X", 5-7 Sep 2011, Swansea, Wales
- BCTCS 2011: British Colloquium for Theoretical Computer Science, 18-21 April 2011, Birmingham, U.K.
Received: 2011-02-02:
- Final CfP: LACL 2011, Montpellier (France), 29 June to 1 July 2011
- CONTEXT '11, 26-30 September 2011, Karlsruhe, Germany
- TbiLLC 2011: Ninth Tbilisi Symposium on Language, Logic and Computation, 26-30 Sep 2011, Kutaisi, Georgia
- Junior Professorship (W1) in Applied Computational Linguistics, Frankfurt (Germany)
- WoMO 5: Modular Ontologies, 8-12 August 2011, Ljubljana, Slovenia
Received: 2011-02-01:
- ICAC 2011: 8th Conference on Autonomic Computing, 14-18 June 2011, Karlsruhe, Germany
- CADE-23: Automated Deduction, 31 Jul - 5 Aug 2011, Wroclaw, Poland
- HAI'11: Human Aspects in Ambient Intelligence, 22 Aug 2011, Lyon, France
- Special Session on "Logic and its Applications" at PReMI'11, Moscow (Russia), 27 June to 1 July 2011
- Teaching position (4 1/2 years) in theoretical philosophy (formal logic), Greifswald (Germany), Deadline: 7 Feb 2011
- PhD student position in Model Theory, Freiburg (Germany)
Received: 2011-01-28:
- DiversiWeb 2011: Knowledge Diversity on the Web, Hyderabad (India), 28/29 Mar 2011
- 2nd Copenhagen-Lund Workshop in Social Epistemology, 25 Feb 2011, Lund, Sweden
- "Another world is possible": conference on David Lewis, 16-18 June 2011, Urbino, Italy
- PhD student positions and postdoc positions in Rigorous Systems Engineering, various places (Austria), Deadline: 1 Mar 2011
- special issue on multimodal logics of "Logica Universalis", deadline: 30 Apr 2011
- LORI-III: Logic, Rationality and Interaction, 10-13 October 2011, Guangzhou, China
Received: 2011-01-26:
- "Infinite and Finite Sets": Conference celebrating Hajnal's 80th birthday, 13-17 June 2011, Budapest, Hungary
- CMCL: Cognitive Modeling and Computational Linguistics, 23 June 2011, Portland OR, U.S.A.
- FCT 2011: Fundamentals of Computer Theory, 22-25 August 2011, Oslo, Norway
- ETAPS 2011: European Joint Conference on Theory and Practice of Software, Saarbruecken (Germany), 26 Mar to 3 Apr 2011
- "The Problem of Relativism in the Sociology of (Scientific) Knowledge", 22-23 Mar 2011, Siegen, Germany
- Logicism Today, Besse-en-Chandesse (France), 14-17 June 2011
Received: 2011-01-24:
- OSEMA 2011: Ontology and Semantic web for Manufacturing, Hersonissos, Crete (Greece), 29/30 May 2011
- "Logical Constants", 8-12 August 2011, Ljubljana, Slovenia
- Final CfP: CLMPS XIV, 19-26 July 2011, Nancy, France
- 15th Conference on Developments in Language Theory, 19-22 July 2011, Milano, Italy
- ARCOE-11: Automated Reasoning about Context and Ontology Evolution, 17-18 July 2011, Barcelona, Spain
Received: 2011-01-21:
- 3rd Symposium for AI and Games, 6 April 2011, York, U.K.
- TLCA 2011: Typed Lambda Calculi and Applications, 1-3 June 2011, Novi Sad, Serbia
- 34th International Wittgenstein Symposium, 7-13 August 2011, Kirchberg am Wechsel, Austia
- "Norms and Normative Multi-Agent Systems", 17-18 July 2011, Barcelona, Spain
- Higher-order logic versus set theory, 29-30 March 2011, London, U.K.
- ESMLS XIX: Formal approaches and Natural Language in Medieval Logic, 12-16 June 2012, Geneva, Switzerland
Received: 2011-01-20:
- Workshop in Computability Theory, 22-23 March 2011, San Francisco CA, U.S.A.
- Hypernet 2011, UC 2011, and Physics & Computation 2011, 6-10 June 2011, Turku, Finland
- Greg Hjorth (1963-2011)
- survey study on basic arithmetical language
- Bonn Graduate Conference in Philosophy, 11 June 2011, Bonn, Germany
- NRAC 2011: Nonmonotonic Reasoning, Action and Change, 17-18 July 2011, Barcelona, Spain
Received: 2011-01-19:
- Final CfP: Szklarska Poreba Workshop on the Roots of Pragmasemantics, 11-15 Mar 2011, Szklarska Poreba, Poland
- JAF 30: 30th Weak Arithmetic Days, 20-22 June 2011, Paris, France
- STAMI 2011: Space, Time and Ambient Intelligence, 16 July 2011, Barcelona, Spain
- Third European Set Theory Meeting, 4-7 July 2011, Edinburgh, Scotland
- SSFLA 2011: Spring School in Formal Languages and Applications, 18-22 April 2011, Tarragona, Spain
- DGL 2011: Decisions, Games and Logic, 7-9 July 2011, Maastricht, The Netherlands
Received: 2011-01-18:
- "Inner Model Theory and Large Cardinals. A 50 Year Celebration", 18-20 Feb 2011, Cambridge MA, U.S.A.
- TAMC 2011: Theory and Applications of Models of Computation, 23-25 May 2011, Tokyo, Japan
- new book: "Lectures in Game Theory for Computer Scientists"
- WoMO 2011: 5th Workshop on Modular Ontologies, 8-12 Aug 2011, Ljubljana, Slovenia
- Workshop on Social Choice and Artificial Intelligence, 16 Jul 2011, Barcelona, Spain
- PhD student position in the History of Modality, Wellington (New Zealand), Deadline: 4 April 2011
Received: 2011-01-17:
- Carnap Lecture & Workshop "Thinking about Animal Cognition", 14-18 March 2011, Bochum, Germany
- CiE 2011: final Call for Papers and deadline extension (28 Jan 2011)
- FEW 2011: Formal Epistemology Workshop, 19-21 May 2011, Los Angeles CA, U.S.A.
- IJCAI-11: International Joint Conference in Artificial Intelligence, 19-22 July 2011, Barcelona, Spain
- Tutorial Fellowship in Philosophy, Oxford (U.K.), Deadline: 20 January 2011
- "Logical Constants", 8-12 August 2011, Ljubljana, Slovenia
Received: 2011-01-14:
- Call for Tutorial Proposals: EASSS-2011 (European Agent Systems Summer School), 11-15 Jul 2011, Girona, Spain
- Progic 2011: Probability and Logic, 10-11 Sep 2011, New York NY, U.S.A.
- "Logics for Games and Social Choice", 17-18 July 2011, Barcelona, Spain
- Assistant/Associate Professorship in Foundations of CS / Machine Learning, Nijmegen (The Netherlands), Deadline 15 March 2011
- Lectureship in Philosophy of Mind, York (U.K.)
Received: 2011-01-13:
- ICCS 2011: Conceptual Structures for Discovering Knowledge, 25-29 Jul 2011, Derby, U.K.
- 2nd CfP: History and Philosophy of Computing, 7-10 November 2011, Gent, Belgium
- LACL 2011: Logical Aspects of Computational Linguistics, Montpellier (France), 29 June to 1 July 2011
- Lectureship in Theoretical Reasoning, Canterbury (U.K.), Deadline: 24 Jan 2011
- CSL 2011: Computer Science Logic, 12-15 September 2011, Bergen, Norway
- TACL 2011: Topology, Algebra and Categories in Logic, 26-30 July 2011, Marseille, France
Received: 2011-01-05:
- AMPLE 2011: Agent-based Modeling for Policy Engineering, 2 May 2011, Taipeh, Taiwan
- Trends in Logic IX: Church's Thesis, Logic, Mind and Nature, 3-5 June 2011, Krakow, Poland
- CLIMA XII: Computational Logic in Multi-Agent Systems, 17-18 July 2011, Barcelona, Spain
- Deadline Extension: WoLLIC 2011, 18-21 May 2011, Philadelphia PA, U.S.A.
- LOGICA 2011, 20-24 Jun 2011, Hejnice, Czech Republic
- RuleML 2011: 5th Symposium on Rules: Research Based, Industry Oriented, 19-21 July 2011, Barcelona, Spain
Received: 2011-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