[LOGIC] List Mailing Archive 2009

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: 2009-12-21:

• Call for Graduate Papers (Essay contest), Rudolf Carnap Lectures 2010, Bochum (Germany), Deadline: 5 Feb 2010
• HyLo 2010: Hybrid Logic, 10 July 2010, Edinburgh, Scotland
• Postdoctoral fellowships in "Relativism and pluralism regarding truth and knowledge, norms and values", Tartu (Estonia), Deadline: 15 Jan 2010
• Tenured assistant professor position in Computer Science, Rome (Italy), Deadline: 3 Jan 2010
• Combinatorics, Groups, Algorithms, Complexity (60th Birthday of Laci Babai), 21-25 Mar 2010, Columbus OH, U.S.A.
• 19th Boise Extravaganza in Set Theory (BEST 2010), 27-29 Mar 2010, Boise ID, U.S.A.

Received: 2009-12-20:

• Postdoctoral Associate Positions in Approximation Algorithms, Morgantown WV (U.S.A.)
• LPAR-16: Logic for Programming, Artificial Intelligence and Reasoning, 25 April - 1 May 2010, Dakar, Senegal
• Lectureship in Mathematics at LSE, London (U.K.), Deadline: 18 Jan 2010
• NeSy2010: 6th Workshop on Neural-Symbolic Learning and Reasoning, Atlanta GA (U.S.A.), Jul 2010
• Ray Solomonoff (1926-2009)
• W3 professorship in Theoretical Computer Science, Erlangen-Nuernberg (Germany), Deadline: 1 Feb 2010

Received: 2009-12-15:

• LfSA10: Logics for System Analysis, 15 July 2010, Edinburgh, Scotland
• 15th Estonian Winter School in Computer Science, 28 Feb - 4 Mar 2010, Palmse, Estonia
• 2nd World Congress on the Square of Oppositions, Corte (Corsica, France), 17-20 June 2010
• PhD position in Algorithmic Game Theory, Saarbruecken (Germany), Deadline: 31 Jan 2010
• DEON 2010: Deontic Logic in Computer Science, 7-9 July 2010, Florence, Italy
• Simons Foundation Postdoctoral Fellowship in Theoretical Computer Science, Ithaca NY (U.S.A.)

Received: 2009-12-13:

• ECAI2010: 19th European Conference on Artificial Intelligence, 16-20 Aug 2010, Lisbon, Portugal
• 11th Szklarska Poreba Workshop on the Roots of Pragmasemantics, 11-15 March 2010, Szklarska Poreba, Poland
• Postdoctoral fellowship in Algorithms, Randomness and Complexity, Atlanta GA (U.S.A.), Deadline: 10 Jan 2010
• "Formal Models of Norm Change 2", 18-19 Jan 2010, Amsterdam, The Netherlands
• Associate Professorship in Algorithms and Data Structures, Aarhus (Denmark)
• Simons Postdoctoral Fellowship in Theory of Computation, Cambridge MA (U.S.A.), Deadline: 1 Jan 2010

Received: 2009-12-11:

• GLoRiClass Farewell Event, 14-15 January 2010, Amsterdam, The Netherlands
• LICS 2010: Logic in Computer Science, 11-14 Jul 2010, Edinburgh, Scotland
• "The End of Infinity", Symposium, 15 December 2009, Amsterdam, The Netherlands
• Postdoctoral position in theoretical computer science (2y), Pittsburgh PA (U.S.A.), Deadline: 28 Feb 2010
• Dialogues and Games: Historical Roots and Contemporary Models, 8-9 Feb 2010, Lille, France
• ICLP 2010: International Conference on Logic Programming, 16-19 Jul 2010, Edinburgh, Scotland

Received: 2009-12-08:

• "New Directions in Preference Representation", 11 Dec 2009, Amsterdam, The Netherlands
• Postdoctoral positions in Algorithmics, Saarbruecken (Germany), Deadline: 31 Jan 2010
• "Philosophy and Model Theory", 2-5 June 2010, Paris, France
• Two postdoctoral positions in "The parameterized complexity of reasoning problems", Vienna (Austria), Deadline: 19 Dec 2009
• BLAST 2010: Boolean Algebras, Lattices, Algebra, Set Theory, Topology, 2-6 June 2010, Boulder CO, U.S.A.
• W1 Junior Professorship in Mathematical Logic and Theoretical Computer Science, Muenster (Germany), Deadline: 31 Dec 2009

Received: 2009-12-02:

• Final Call for Workshop Proposals: ECAI-2010, Lisbon (Portugal), August 2010
• CfP Special Issue on "Computability and Complexity in Analysis", JUCS, Deadline: 14 Dec 2009
• 2nd CfP: Symposium on Mathematical Practice and Cognition, 29-30 Mar 2010, Leicester, U.K.
• FLoC'10: Federated Logic Conference, 9-21 July 2010, Edinburgh, Scotland
• UC10: Unconventional Computation, 21-25 Jun 2010, Tokyo, Japan

Received: 2009-11-30:

• Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue, 16-20 August 2010, Copenhagen, Denmark
• New book: Festschrift Sundholm (edited by Primiero and Rahman)
• Reviews of Vol 12 of "Logical Analysis and History of Philosophy" are freely available online
• NMR 2010 Special Session on Argument, Dialogue, Decision, 14-16 May 2010, Toronto ON, Canada
• 2nd CfP: CiE 2010, 30 June - 4 July 2010, Ponta Delgada, Portugal
• MPC 2010: Mathematics of Program Construction, 21-23 June 2010, Quebec City QC, Canada

Received: 2009-11-27:

• IJCAR 2010: 5th International Joint Conference on Automated Reasoning, 16-19 Jul 2010, Edinburgh, U.K.
• Diagrams 2010: 6th International Conference on the Theory and Application of Diagrams, 9-11 Aug 2010, Portland OR, U.S.A.
• CIAC 2010: 7th International Conference on Algorithms and Complexity, 26-28 May 2010, Rome, Italy
• 3rd Formal Epistemology Festival: Learning from experience & defeasible reasoning, 11-13 May 2010, Toronto ON, Canada
• Workshop on Dependence and Independence in Logic, 16-20 August 2010, Copenhagen, Denmark
• Postdoctoral position in philosophy (epistemology; 6 years), Klagenfurt (Austria)

Received: 2009-11-25:

• PhD's in Logic II, 18-19 Feb 2010, Tilburg, The Netherlands
• Professorship in Theory of Algorithms (only for Greek citizens), Thessaloniki (Greece)
• Workshop on Matching and Meaning, 31 Mar 2010, Leicester, U.K.
• Rudolf Carnap Lecure & International Graduate Workshop, 8-10 March 2010, Bochum, Germany
• Young Set Theory Workshop 2010, 15-19 Feb 2010, Raach, Austria
• PhD studentships in Computing, Oxford (U.K.), Deadline: 22 Jan 2010

Received: 2009-11-23:

• "What is the name of this conference", 90th Birthday of Raymond Smullyan, 17-18 December 2009, New York NY, U.S.A.
• TCIT: Towards a Comprehensive Intelligence Test, Reconsidering the Turing Test for the 21st Century, Leicester (U.K.), 29 Mar - 1 Apr, 2010
• Logic, Algebra and Truth Degrees 2010, 7-11 Sep 2010, Prague, Czech Republic
• LaCATODA 2010: Linguistic and Cognitive Approaches to Dialog Agents, 29 Mar - 1 Apr 2010, Leicester, U.K.
• ITP 2010: Interactive Theorem Proving, Edinburgh (Scotland, U.K.), 11-14 July 2010
• COST-ADT Doctoral School on Computational Social Choice, 9-14 April 2010, Estoril, Portugal

Received: 2009-11-12:

• IFAAMAS-09 Victor Lesser Distinguished Dissertation Award, Deadline: 5 Feb 2010
• TQC 2010 (Theory of Quantum Computation, Communication and Cryptography), 13-15 April 2010, Leeds, U.K.
• Faculty position (Assistant Professor, Associate Professor, Professor) in Computer Science (Algorithms), San Antonio TX (U.S.A.)
• W3 Professorship in Artificial Intelligence (teaching of logic), Neubiberg (Germany), Deadline: 11 Dec 2009
• New journal: European Journal for Philosophy of Science (EJPS)
• Chair in Economics and Computation, 8 Jan 2010, Liverpool, U.K.

Received: 2009-11-11:

• Final CfP: LATA 2010 (Language and Automata Theory and Applications), 24-28 May 2010, Trier, Germany
• Nomos Meeting on "Self-Knowledge and Agency", 26-27 Nov 2009, Madrid, Spain
• Workshop on Structural Aspects of Rationality, 13-14 Dec 2009, Kanpur, India
• Winterschool in Abstract Analysis, Section Topology, 30 Jan - 6 Feb 2010, Hejnice, Czech Republic
• Gentzen Centenary Symposium, 24 Nov 2009, St Andrews, Scotland
• CCA 2010: Computability and Complexity in Analysis, 21-25 June 2010, Zhenjiang, China

Received: 2009-11-10:

• PhD student position and postdoctoral position in coalgebraic logic, London (U.K.)
• "Commonsense and Non-Monotonic Reasoning for Ontologies", 14-16 May 2010, Toronto, Canada
• ICALP 2010, 5-12 July 2010, Bordeaux, France
• Professorship in Philosophy, Umea (Sweden), Deadline: 18 Dec 2009
• Physics and Computation 2010 (P&C 2010), 30 Aug - 3 Sep 2010, Nile River, Egypt
• The Google Anita Borg Memorial Scholarship for female students in computer science, Deadline: 1 Feb 2010

Received: 2009-11-07:

• PhD position in mathematical logic, Prague (Czech Republic)
• "Lattice-valued logic and its Applications", 9-13 Feb 2010, Linz, Austria
• 3rd Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2010), 17-19 April 2010, Pohang, Korea
• Temporary Lectureship in Philosophy, Oxford (U.K.), Deadline: 7 Dec 2009
• PhD and postdoc positions in formal methods for grid computing,(logic, model checking, category theory, multi-agent systems), Bergen (Norway), Deadline: 28 Nov 2009
• Associate Professorship in Computational Complexity, Aarhus (Denmark), Deadline: 20 Nov 2009

Received: 2009-10-31:

• Third World Congress and School on Universal Logic, 18-25 April 2010, Lisbon, Portugal
• Rosemarie Rheinwald (1948-2009)
• book on Abductive Cognition by L Magnani

Received: 2009-10-30:

• Alfried Krupp Senior Fellowships and Alfried Krupp Junior Fellowships in all areas of science (2011/2012), Greifswald (Germany), Deadline: 1 Mar 2010
• AI Journal: Funding Opportunities for promoting AI research
• 2nd announcement: Midwest Model Theory Meeting, Urbana-Champaign IL (U.S.A.), 7-8 Nov 2009
• New open access journal on scientific philosophy: LOGOS
• MAMLS meeting in honour of Richard Laver, 5-7 Feb 2010, Boulder CO, U.S.A.
• Associate Professorship in Analytic Philosophy, Stockholm (Sweden), Deadline: 30 Nov 2009

Received: 2009-10-29:

• CfP special issue of "Journal of Visual Languages and Computing" on Visual Languages and Logic
• CfPart: Indian School on Logic and Applications (ISLA 2010), 18-29 Jan 2010, Hyderabad, India
• Call for Tutorials: 10th Colloquium on Grammatical Inference (ICGI 2010), 13-16 Sep 2010, Valencia, Spain
• Symposium "Meaning, Modality and Apriority", 17-20 May 2010, Cologne, Germany
• Tenure or tenure-track position in Mathematical Logic and Foundations, State College PA (U.S.A.)
• ESSLLI 2010 programme available

Received: 2009-10-28:

• Postdoctoral position (3y) in History and Theory of Science, Darmstadt (Germany), Deadline: 16 Nov 2009
• 2nd CfP: WoLLIC 2010, 6-9 July 2010, Brasilia, Brazil
• Special Session on Universal Algebra, 10-11 April 2010, St. Paul MI, U.S.A.
• The 2010 Synthese Conference (focus on epistemology and economics), 15-16 April 2010, New York NY, U.S.A.
• CfP two special issues ("Journal of Universal Computer Science" and "Journal of Spatial Cognition and Computation") on Spatial and Temporal Reasoning, Deadline: 30 Nov 2009
• MIDiSoVa: Modelling Interaction, Dialogue, Social Choice, and Vagueness, 26-28 Mar 2010, Amsterdam, The Netherlands

Received: 2009-10-27:

• Final CfP: FLOPS 2010, Sendai (Japan), 19-21 Apr 2010 [Abstract submission deadline today!]
• Tinbergen Workshop on Cooperative Game Theory and Economics / 4th Dutch-Russian Symposium, 14-16 December 2009, Amsterdam, The Netherlands
• PhD's in Logic II, 18-19 Feb 2010, Tilburg, The Netherlands
• Third Young Set Theory Workshop, 15-19 Feb 2010, Raach, Austria
• CMI Postdoctoral Fellowships (Center for the Mathematics of Information), Pasadena CA (U.S.A.), Deadline: 18 Dec 2009
• IBM Herman Goldstine Memorial Postdocatoral Fellowship in mathematics and computer science, Yorktown Heights NY (U.S.A.)

Received: 2009-10-22:

• Research fellowship (postdoctoral) in diagrammatic reasoning and formal languages, Brighton (U.K.), Deadline: 10 Nov 2009
• European Post-Doctoral Institute for the Mathematical Sciences, Call for Applications, Barcelona (Catalonia), Deadline: 29 Nov 2009

Received: 2009-10-20:

• "Scientific Philosophy: Past and Future", 13 April 2010, Tilburg, The Netherlands
• CfP special issues of JUCS "Computability and Complexity in Analysis", Deadline: 14 Dec 2009
• SOCREAL 2010: Philosophy and Ethics of Social Reality, 27-28 Mar 2010, Sapporo, Japan
• Journal "Logical Methods in Computer Science"

Received: 2009-10-19:

• 2nd CfP: 4th Conference on Language and Automata Theory and Applications (LATA2010), 24-28 May 2010, Trier, Germany
• 4th Workshop on Modular Ontologies (WoMO), 11 May 2010, Toronto ON, Canada
• CfPart: M4M-6, Copenhagen, 12-14 Nov 2009 [early registration deadline today!]
• Symposium on Mathematical Practice and Cognition, 29-30 March 2010, Leicester, U.K.
• MCU 2010: Machines et Calculs Universels, 21-25 Sep 2010, Pittsburgh PA, U.S.A.
• Workshop on Complexity, Evolution and Emergent Intelligence, 12 Dec 2009, Reggio Emilia, Italy

Received: 2009-10-18:

• Seminar on the Philosophy of Mathematics, 3 Nov 2009, Utrecht, The Netherlands
• Indian School on Logic and Applications (ISLA 2010), 18-29 Jan 2010, Hyderabad, India
• PhD position "spatial contents of self-representation", Tuebingen (Germany)
• Colloquium History of Computing: "Programming, languages, linguistics and computability", 16-17 Nov 2009, Amsterdam, The Netherlands
• "Combinatorial set theory and forcing theory", 16-19 Nov 2009, Kyoto, Japan
• Postdoctoral research positions in quantum information, Pasadena CA (U.S.A.)

Received: 2009-10-16:

• Postdoctoral research fellowships in theory and algorithms, Newcastle (Australia)
• Symposium on Constructive Geometric Reasoning, 24 Oct 2009, Stanford CA, U.S.A.
• Final CfP: "Logical Approaches to Barriers in Computing and Complexity", 17-20 Feb 2010, Greifswald, Germany
• CfP special issue on "Theoretical Foundations of Evolutionary Computation", Deadline: 30 Oct 2009
• Logicomix: a graphic novel about the foundations of mathematics (#1 on the New York Times bestseller list for graphic novels)
• Symposium "Fads and Fallacies in the name of Cognitive Science", 2 Nov 2009, Utrecht, The Netherlands

Received: 2009-10-11:

• Call for Workshop Proposals: ICALP 2010, Bordeaux (France)
• Special session on Negation, 18-25 April 2010, Lisbon, Portugal
• PhD scholarships in Algorithms and Logic, Technical University of Denmark, Deadline: 14 Oct 2009
• AiML-2010: Advances in Modal Logic, 25-29 Aug 2010, Moscow, Russia
• "Judgment and Truth in Early Analytic Philosophy", 23-24 Oct 2009, Zuerich, Switzerland
• PhDs in Logic II, 18-19 Feb 2010, Tilburg, The Netherlands
• Five postdoctoral positions (E14) in all areas at the Zukunftskolleg, Konstanz (Germany), Deadline: 30 Nov 2009

Received: 2009-10-08:

• 6m or 9m postdoctoral fellowship in Computability Theory, Manoa HI (U.S.A.)
• CfPart: M4M-6, 12-14 Nov 2009, Copenhagen, Denmark
• Universal Machines and Computations (MCU 2010), 21-25 Sep 2010, Pittsburgh PA, U.S.A.
• ICFCA 2010: Deadline extended to 15 October
• Call for Nominations: Ackermann Award 2010
• Assistant or Associate Professorship in Formal Epistemology / Philosophical Logic, College Park MD (U.S.A.), Deadline: 23 Nov 2009

Received: 2009-10-05:

• 6th Conference on Prestigious Applications of Intelligent Systems (PAIS 2010), 16-20 Aug 2010, Lisbon, Portugal
• W2 Professorship in Philosophy of Science (teaching experience in formal logic required), Mainz (Germany), Deadline: 31 Oct 2009
• PhD Autumn School on Modal Logic, 10-11 Nov 2009, Copenhagen, Denmark
• 7th Formal Epistemology Workshop (FEW 2010), 2-4 Sep 2010, Konstanz, Germany
• CMCS 2010: Coalgebraic Methods in Computer Science, 26-28 Mar 2010, Paphos, Cyprus

Received: 2009-09-30:

• "Epistemology and Philosophy of Mind at the Crossroads", 4th Conference of the Dutch-Flemish Association for Analytic Philosophy, Leuven (Belgium), January 2010
• ECAI 2010: 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal
• CRM Postdoctoral Grants in Mathematics, Barcelona (Catalonia, Spain), Deadline: 31 Oct 2009
• New software: Deductions 1.0 for Mac OS X
• Visiting Fellowships in Logic and Philosophy of Science, Tilburg (The Netherlands), Deadline: 15 Dec 2009
• LOFT 2010: 5-7 July 2010

Received: 2009-09-27:

• Junior Professorship (W1) in Logic and Deduction, Kaiserslautern (Germany), Deadline: 8 November 2009
• Special Session on "Multimodal Logics", Lisbon (Portugal), April 2010
• Midwest PhilMath Workshop 10, 9-11 Oct 2009, Notre Dame, U.S.A.

Received: 2009-09-25:

• Midwest Model Theory Meeting, 7-8 Nov 2009, Urbana IL, U.S.A.

Received: 2009-09-24:

• Sigurur Nordal Institute Fellowships in Humanities, Iceland, Deadline: 31 October 2009
• New journal "Cognitive Computation"
• 1st CfP: CiE 2010, Ponta Delgada (Azores, Portugal), 30 Jun to 5 Jul 2010

Received: 2009-09-22:

• 3rd World Congress and School on Universal Logic, 18-25 April 2010, Lisbon, Portugal
• TFM 2009, 2-6 November 2009, Teaching Formal Methods. Eindhoven, The Netherlands
• 5th International Computer Science Symposium in Russia (CSR 2010), 16-20 June 2010, Kazan, Russia
• AISB 2010: Artificial Intelligence and Simulation of Behaviour, 29 March - 1 April 2010, Leicester, U.K.
• Imperial College London Junior Research Fellowships, London (U.K.), Deadline: 30 October 2009
• 3rd Conference on Artificial General Intelligence, 5-8 March 2010, Lugano, Switzerland

Received: 2009-09-21:

• FLOPS 2010: Functional and Logic Programming, 19-21 April 2010, Sendai, Japan
• Lectureship / Senior Lectureship in Computing Science (Knowledge Technologies, Natural Language Generation), Aberdeen (Scotland)
• 2nd CfP: ICFCA 2010, International Conference on Formal Concept Analysis, 15-18 March 2010, Agadir, Morocco
• Research assistant position in "Interactions on the Move", London (U.K.), Deadline: 1 October 2009
• AAAI Spring Symposium on Time and Interactive Behaviour, 22-24 March 2010, Stanford CA, U.S.A.
• Amsterdam Graduate Philosophy Conference, 1-3 Oct 2009, Amsterdam, The Netherlands

Received: 2009-09-16:

• ICCC-X: Computational Creativity, 7-9 Jan 2010, Lisbon, Portugal
• NICSO 2010: Nature Inspired Cooperative Strategies for Optimization, 12-14 May 2010, Granada, Spain
• ERC Starting Grants for researchers in "frontier research"
• Call for Nominations: Sacks Prize 2009, Deadline: 30 September 2009
• two 18-month postdoctoral positions on automated verification of probabilstic programmes, Oxford (UK), Deadline: 20 Sep 2009
• 2nd CfP: ICFCA 2010, Agadir (Morocco)

Received: 2009-09-14:

• 2012: The Alan Turing Year; Mailing List
• 2nd CfP: AAMAS 2010, 8-14 May 2010, Toronto ON, Canada
• PhD position in computer science, Utrecht (The Netherlands), Deadline: 30 Sep 2009
• Professorship in Philosophy (Epistemology, Philosophy of Technology, Philosophy of Science), Roskilde (Denmark), Deadline: 9 November 2009
• Fall 2009 MAMLS Conference, 23-25 Oct 2009, Rutgers, U.S.A.
• British PM Gordon Brown apologizes to Alan Turing

Received: 2009-09-07:

• Call for Proposals: Research Group at the ZiF in Bielefeld (Germany), Deadline: 31 Oct 2009
• KogWis 2010: German Society for Cognitive Science, 3-6 Oct 2010, Potsdam, Germany
• Petition for the British Prime Minister to apologize to Alan Turing
• Interdisciplinary Workshop "Knowledge and Performance in the Perception of Objects and Living Beings", 29-31 Oct 2009, Bielefeld, Germany

Received: 2009-09-06:

• Full Professorship in Algorithms in Data Structures, Vienna (Austria), Deadline: 20 Nov 2009
• Workshop on Set Theory (part of ISLA 2010), 25-29 Jan 2010, Hyderabad, India
• Postdoctoral position in Logic / Theoretical Computer Science (2y), Bern (Switzerland)
• "Reverse Mathematics: Foundations and Applications", 6-8 Nov 2009, Chicago IL, U.S.A.
• Plenary and Sectional speakers of ICM 2010 in Hyderabad are announced

Received: 2009-09-02:

• Logic software for the iPhone and iPod Touch
• CiE 2010, Ponta Delgada (Azores, Portugal), 30 Jun - 5 Jul 2010
• Marian Pour-El (1928-2009)

Received: 2009-08-31:

• Conference on Eastern and Western Philosophical Themes, 4-5 Dec 2009, New York NY, U.S.A.
• International conference on "Meaning", 3-5 Sep 2009, Erfurt, Germany
• Two 18 month postdoctoral positions on Automated Verification of Probabilistic Programmes, Oxford (U.K.)
• 5th Australasian Ontology Workshop, 1 Dec 2009, Melbourne, Australia

Received: 2009-08-23:

• "Reductionism, Explanation and Metaphors in the Philosophy of Mind", 17-18 Sep 2009, Bremen, Germany
• M4M-6 deadline extended to 1 Sep 2009

Received: 2009-08-20:

• "Frege Lectures in Theoretical Philosophy 2009": Simon Blackburn, 21-23 Sep 2009, Tartu, Estonia
• Workshop on Distance Automata and Generalisations, 16-18 Nov 2009, Paris, France
• 13th Annual Oxford Graduate Philosophy Conference, 21-22 Nov 2009, Oxford, U.K.
• website ESSLLI 2010
• PhD student position in Logic and Metaphysics (4y), Bonn (Germany), Deadline: 5 Sep 2009

Received: 2009-08-16:

• 17th Amsterdam Colloquium, 16-18 Dec 2009, Amsterdam, The Netherlands
• Workshop and AMS special session on "Constructive Mathematics", 28 Oct - 1 Nov 2009, Boca Raton FL, U.S.A.
• new textbook "Foundations of Semantic Web Technologies"
• M4M-6: "Methods for Modalities", 12-14 Nov 2009, Copenhagen, Denmark
• "Logical Approache to Barriers in Computing and Complexity", 17-20 Feb 2010, Greifswald, Germany

Received: 2009-08-13:

• Conference on Mathematical Logic and Set Theory (ICM 2010 Satellite), 15-17 August 2010, Chennai, India
• W3 Professorship in Theoretical Computer Science (Algorithms and Complexity), Dortmund (Germany), Deadline: 28 August 2009
• Sydney-Tilburg Conference on "The Future of Philosophy of Science", 14-16 April 2010, Tilburg, The Netherlands

Received: 2009-08-12:

• SOCREAL 2010: 2nd Workshop on Philosophy and Ethics of Social Reality, 27-28 March 2010, Sapporo, Japan
• 2nd workshop on Nature inspired Reasoning for the Semantic Web (NatuResS09), 26 Oct 2009, Washington DC, U.S.A.
• 4th International Conference on Language and Automata Theory and Applications (LATA 2010), 24-28 May 2010, Trier, Germany
• research assistant position (PhD student?) on "anthropological universals", Aachen (Germany), Deadline: 15 Sep 2009
• FLoC 2010: extension of deadline for workshop proposals (now 1 Sep 2009)

Received: 2009-08-03:

• Postdoctoral position (1 1/2 y) in philosophy of mind, Bochum (Germany), Deadline: 31 Aug 2009
• 1y fixed-term stipendiary lectureship in philosophy, Oxford (U.K.), Deadline: 14 Aug 2009

Received: 2009-07-31:

• ECAI-2010: European Conference on Artificial Intelligence, 16-20 Aug 2010, Lisbon, Portugal
• W2 Professorship for Theoretical Computer Science, Bonn (Germany), Deadline: 30 Sep 2009
• Practice-Based Philosophy of Logic and Mathematics, 31 Aug - 2 Sep 2009, Amsterdam, The Netherlands
• NASSLLI 2010: North American Summer School in Logic, Language and Information, 21-25 Jun 2010, Bloomington IN, U.S.A.
• AOW 2009: Australasian Ontology Workshop, 1 Dec 2009, Melbourne, Australia
• W2 Professorship "Cultures of Science", Hamburg (Germany), Deadline: 15 Sep 2009

Received: 2009-07-30:

• W2 Professorship Logic and Epistemology, Bochum (Germany), Deadline: 19 Sep 2009
• ICCC-X: 1st International Conference on Computational Creativity, 7-9 Jan 2010, Lisbon, Portugal
• WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation, 6-9 July 2010, Brasilia, Brazil
• LOFT 2010: Ninth Conference on Logic and the Foundations of Game and Decision Theory, 21-23 July 2010, Toulouse, France
• student grants available: BLC 2009, 3-5 Sep 2009, Swansea, Wales
• Diagrams 2010, 9-11 August 2010, Portland OR, U.S.A.

Received: 2009-07-26:

• International conference on "Meaning", 3-5 Sep 2009, Erfurt, Germany
• 10th Midwest PhilMath Workshop (MWPMW10), 9-11 October 2009, Notre Dame, U.S.A.
• PhD student or postdoctoral positions on vagueness, Aachen (Germany), Deadline: 20 August 2009
• 14th Congress of Logic, Methodology and Philosophy of Science, 19-26 July 2011, Nancy, France
• 2 postdoctoral positions in philosophy of physics (3 years), Wuppertal (Germany), Deadline: 1 Sep 2009

Received: 2009-07-24:

• CfPart: ICTAC09, Malaysia, Aug 2009
• PhD student position in "Formal Analysis of Social Procedures", Tilburg (The Netherlands), Deadline: 15 October 2009
• New journal: "Cognitive Computation"
• Professorship in ICT, Media and Learning, Umea (Sweden), Deadline: 15 Sep 2009

Received: 2009-07-17:

• PhD student position in geometrical models of computation, Orleans (France), Deadline: immediately! (15 Jul 2009)
• MOCA09. Deadline extension: 22 July 2009
• Two PhD student positions in computation and learning in networks of spiking neurons, Graz (Austria)
• EUMAS 2009: European Workshop on Multi-Agent Systems, 17-18 Dec 2009, Ayia Napa, Cyprus
• CfP special issue of "Journal of Philosophical Logic" on "Logic in India", Deadline: 1 Jan 2010
• Phloxshop II: Modality, 9-11 Sep 2009, Berlin, Germany

Received: 2009-07-11:

• 5th Conference on Logic, Computability and Randomness, Notre Dame (U.S.A0, 24-28 May 2010
• CfPart: LORI-II, 8-11 Oct 2009, Chongqing, China
• PhD student workshop in theoretical philosophy "Geist-Wissen-Sprache", 20-22 Nov 2009, Erlangen, Germany
• 11th Tagung "Allgemeine Mathematik" on "Mathematik verstehen", 3-5 December 2009, Siegen, Germany
• Research Grants in Philosophy, Santiago de Chile (Chile), Deadline: 31 July 2009
• LAFT: Logical Aspects of Fault Tolerance, 15 Aug 2009, Los Angeles CA (U.S.A.)

Received: 2009-07-07:

• Last call for contributions: GAMES 2009, 14-17 Sep 2009, Udine, Italy
• W3 Professorship Theoretical Philosophy, Tuebingen (Germany), Deadline: 7 Aug 2009
• ESSLLI 2010: Copenhagen (Denmark), Call for Course and Workshop proposals, 9-20 August 2010
• "The Berlin Group: Knowledge Probability, Interdisciplinarity", 3-5 Sep 2009, Paderborn, Germany
• LCC09, Logic and Computational Complexity, 10 August 2009, Los Angeles CA, U.S.A.
• W2 Professorship in Foundations of Informatics (Fachhochschule), Kiel (Germany), Deadline: 23 July 2009

Received: 2009-07-03:

• Untenured lectureship (3y) in theoretical philosophy, Erlangen (Germany), Deadline: 30 Jul 2009
• 7th Italian-Spanish Conference on General Topology and its Applications (ItEs2010), 7-10 Sep 2010, Badajoz, Spain
• ICAART 2010 (International Conference on Agents and Artificial Intelligence), 22-24 Jan 2010, Valencia, Spain
• "Judgment and Truth in Early Analytic Philosophy and Phenomenology", 23-25 Oct 2009, Zuerich, Switzerland
• two PhD student positions in "Cognitive Interaction Technology", Bielefeld (Germany), Deadline: 24 July 2009
• PhD student scholarship on "Natural Kinds", Grenoble (France), Deadline: 5 July 2009

Received: 2009-07-02:

• Two research assistant positions, one PhD student position on "Computational Models of Argument", Dundee (Scotland), Deadline: 31 July 2009
• W3-Professorship in Theoretical Computer Science (Algorithms), Dortmund (Germany), Deadline: 31 July 2009
• Postdoctoral position (3y) in Machine Learning, Hildesheim (Germany)
• 6th Workshop on Fixed Points in CS, FICS 2009, 12-13 Sep 2009, Coimbra, Portugal
• PhD student position on "Homogeneous structures", Leeds (U.K.)
• Colloquium "Unconventional Models of Computation" in honor of Giancarlo Mauri, 28 Sep 2009, Cremona, Italy

Received: 2009-06-30:

• Final CfPart: ESSLLI 2009, 20-31 July 2009, Bordeaux, France
• MOCA 2009, Modelling of Objects, Components and Agents, 11 September 2009, Hamburg, Germany
• CSL 2009, Call for Participation and Informal Presentations, 7-11 September 2009, Coimbra, Portugal
• Final Call for Participation: TACL 2009, 7-11 July 2009
• Symposium on Connectionist Natural Language Processing, 1 July 2009, Amsterdam, The Netherlands
• "Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics", 27-29 August 2009, Ghent, Belgium

Received: 2009-06-22:

• Final CfP: RR 2009, "Web Reasoning and Rule Systems", 25-26 Oct 2009, Chantilly VA, U.S.A.
• CfPart: CCA 2009, 18-22 Aug 2009, Ljubljana, Slovenia

Received: 2009-06-19:

• PhD student position in computer science / economics, Toulouse (France)
• CfP special issue of APAL: "Advanced in Constructive Topology and Logical Foundations"
• W3 Professorship for Philosophy of Science, Konstanz (Germany), Deadline: 10 July 2009
• 8th Conference on Formal Concept Analysis (ICFCA 2010), 15-18 March 2010, Agadir, Morocco
• 2nd conference of the European Philosophy of Science Association, 21-24 October 2009, Amsterdam, The Netherlands
• PhD student position on "Security by Logic for Multithreated applications", Enschede (The Netherlands), Deadline: 15 July 2009

Received: 2009-06-18:

• MSc in "Computer Science and Sanskrit Language Technology", Tirupati (India)
• W3 Professorship in Theory of Humanities, Philosophy of Language, Philosophy of Mind, Konstanz (Germany), Deadline: 8 July 2009
• Workshop on Proof Theory, 26 June 2009, Gent, Belgium
• Two PhD student positions in Algorithms and Complexity, Oxford (UK)
• Postdoctoral position in Epistemology / Philosophy of Science / Logic (3 year + 3 years extension), Hamburg (Germany), Deadline: 30 June 2009
• Progic 2009: Combining Probability and Logic, 17-19 Sep 2009, Groningen, The Netherlands

Received: 2009-06-12:

• BLC 2009: British Logic Colloquium, 3-5 Sep 2009, Swansea, Wales
• postdoctoral position in analytic philosophy, Aachen (Germany), Deadline: 15 June 2009
• temporary professorship in philosophy of science (W3), Bielefeld (Germany), Deadline: 19 June 2009
• EMU 2009: Effective Mathematics of the Uncountable, New York NY, 17-21 Aug 2009
• PhD fellowship on modal logic for social software, Bergen (Norway), Deadline: 20 June 2009
• "Two Streams in the Philosophy of Mathematics", 1-3 July 2009, Hatfield, U.K.

Received: 2009-06-10:

• Midwest PhilMath Workshop (MWPMW 10), 10-11 Oct 2009, Notre Dame, U.S.A.
• Leibniz International Proceedings In Informatics: LIPIcs
• JOUAL 09: Just One Universal Algorithm, 10 July 2009, Pisa, Italy
• Final CfP: FAMAS09, Formal Approaches to Multi-Agent Systems, Torino, 7-11 Sep 2009

Received: 2009-06-07:

• Final CfP, Amsterdam Graduate Philosophy Conference 2009
• CSL09 -- today is the deadline for applying for ASL Travel Grants
• Six PhD student positions in Computer Science, Swansea (Wales), Deadline: 15 June 2009
• PhD student position on logic and formal verification, Liverpool (U.K.)

Received: 2009-05-30:

• Junior Professorship (W1) in Computer Science, Darmstadt (Germany), Deadline 11 June 2009
• 3rd ISLA, Hyderabad (India): Call for Workshop proposals, deadline extended
• TFM09: Teaching Formal Methods, 6 Nov 2009, Eindhoven, The Netherlands

Received: 2009-05-29:

• CfPart: ESSLLI 2009

Received: 2009-05-27:

• PhD student position in Computer Science, Heriot-Watt University, Deadline: 19 June 2009
• 6th Workshop on Fixed Points in Computer Science (FICS 2009), 12-13 Sep 2009, Coimbra, Portugal

Received: 2009-05-25:

• PhD student position "Argumentative Networks", Brussels (Belgium), Deadline: 15 June 2009
• CfP special issue on "Intuitionistic Modal Logics and Applications" (deadline extension)
• 8th Proof, Computation, Complexity (PCC09), 2-3 July 2009, Nancy, France
• Workshop "Combinatorial Set Theory and Forcing Theory", 16-19 November 2009, Kyoto, Japan

Received: 2009-05-24:

• Associate Professorship in History and Philosophy of Mathematics and Computer Science, Aarhus (Denmark), Deadline: 1 July 2009
• 2nd CfP: Workshop and AMS Special Session on Constructive Mathematics, 28 Oct - 1 Nov 2009, Boca Raton FL, U.S.A.
• CfPart: TABLEUX 2009, 6-10 July 2009, Oslo, Norway
• 2nd CfP: "Logic, Language, Mathematics", 17-19 September 2009, Budapest, Hungary

Received: 2009-05-21:

• Sofja Kovalevskaja Prize for excellent junior researchers, all subjects (five year research fellowship)
• Two 2-y research fellowships at the Centre for Reasoning, Canterbury (U.K.)
• Junior Professorship (W1) "History of Life Sciences and Philosophical Anthropology", Bochum (Germany)

Received: 2009-05-19:

• Postdoctoral research fellowship in philosophy ("online personal identities"), 18 months, Hatfield (U.K.)
• Postdoctoral position "Dynamics of Argumentation", Luxembourg, Deadline: 15 June 2009
• PhD student position in Type Theory, Nottingham (U.K.), Deadline: 20 June 2009

Received: 2009-05-15:

• 10th Workshop on Membrane Computing, 24-27 Aug 2009, Curtea de Arges, Romania
• Special session on Logic at the meeting of the Australian Mathematical Society, Adelaide (Australia), Sep 2009
• PhD position in theoretical computer science, Paris (France)
• W1 Junior Professorship Machine Learning, Frankfurt a.M. (Germany), Deadline: 15 June 2009
• M4M-6: Methods for Modalities, 12-14 Nov 2009, Copenhagen, Denmark

Received: 2009-05-14:

• 24th Summer Conference on Topology and its Applications (SumTopo), 14-17 July 2009, Brno, Czech Republic
• 3rd Conference on Web Reasoning and Rule Systems (RR 2009), 25-26 Oct 2009, Chantilly VA, U.S.A.

Received: 2009-05-13:

• 2nd CfP: LORI-II, Chongqing (China)
• Call for Early Registration: LSIR-2 at IJCAI-09
• Call for Workshops: Third Indian School on Logic and its Applications, 18-29 Jan 2010, Hyderabad, India
• PhD student position "Topos theory, noncommutative geometry, quantum logic", Nijmegen (The Netherlands), Deadline: 15 May 2009 (!)
• IMAGINE 2009: Mobility, Algorithms, Graph Theory in Dynamic Networks, 28 May 2009, Piran, Slovenia

Received: 2009-05-12:

• First Workshop on Logics and Strategies, 26 June 2009, Groningen, The Netherlands
• Call for proposals: Hosting LATA 2010
• International Congress of Mathematicians 2010, 19-27 August 2010, Hyderabad, India
• CLA09: Computational Linguistics -- Applications Workshop, 12-14 Oct 2009, Mragowo, Poland
• FOPARA 2009: Foundational and Practical Aspects of Resource Analysis, 3 November 2009, Eindhoven, The Netherlands
• Automated Reasoning about Context and Ontology Evolution (ARCOE09), 11-12 July 2009, Pasadena CA, U.S.A.

Received: 2009-05-11:

• Professorship in Theoretical Philosophy, Vienna (Austria), Deadline: 12 June 2009
• CFPart: TACL09 ("Topology, Algebra and Categories in Logic"), 7-11 July 2009, Amsterdam, The Netherlands
• new MA programme "Philosophy of Science", Muenster (Germany)
• Launch of new open access publication venue: "Electronic Proceedings in Theoretical Computer Science" (EPTCS)
• reminder early registration deadline CiE 2009
• Arche Graduate Conference 2009, 7-8 November 2009, St Andrews, Scotland

Received: 2009-05-08:

• P-NPMW: Paris-Nancy PhilMath Workshop, 21-22 Oct 2009, Nancy, France
• AITC09: Advances in the Theory of Computing, 26-29 Sep 2009, Timisoara, Romania
• FAMAS09: Formal Approaches to Multi-Agent Systems, 7-11 Sep 2009, Torino, Italy
• Lectureship ("Akademischer Rat") A13 in Mathematics, Darmstadt (Germany), Deadline: 4 June 2009
• EUMAS-09, European Workshop on Multi-Agent Systems, 17-18 Dec 2009, Ayia Napa, Cyprus

Received: 2009-05-07:

• Call for Workshop Proposals: FLoC 2010, 9-21 July 2010, Edinburgh, Scotland
• Professorship in Theory and Application of Algorithms, Vienna (Austria), Deadline: 29 May 2009
• Logic-related researchers elected as members of the National Academy of Sciences (U.S.A.) and the AAAS
• 2 PhD student positions, Philosophy of Mind / Cognitive Science, Tuebingen (Germany), Deadline 7 June 2009
• BLAST 2009, 10-14 Aug 2009, Las Cruces NM, U.S.A.
• Robert K. Meyer passed away

Received: 2009-05-06:

• W2 Professorship in Theoretical Computer Science, Muenchen (Germany), Deadline: 30 May 2009
• Progic 2009: 4th Workshop on Combining Probability and Logic, 17-19 September 2009, Groningen, The Netherlands
• W3 Professorship Cognitive Science, Potsdam (Germany)
• 2nd CfP: Amsterdam Graduate Philosophy Conference 2009, 1-3 Oct 2009
• W3 Professorship 'Logic and Semantics' (Computer Science), Berlin (Germany)
• LCC09: Logic and Computational Complexity, 10 August 2009, Los Angeles CA, U.S.A.

Received: 2009-05-05:

• 3rd CfP & Deadline Extension: 8th Tbilisi Symposium on Language, Logic and Computation, 21-25 Sep 2009, Bakuriani, Georgia
• BRICKS Workshop on Game Theory and Multiagent Systems, 30 June 2009, Amsterdam, The Netherlands
• MALOA network in Mathematical Logic: 18 PhD student positions (Leeds, Manchester, Oxford, Lyon, Paris, Muenster, Muenchen, Prague)
• Meeting of the Australasian Association for Logic, 11-12 July 2009, Melbourne, Australia
• PhD student positions, postdoctoral positions, fellowships in "Formal Methods and Theoretical Computer Science", Macao
• PhD student positions in "Theory and Applications of Induction Recursion", Nottingham & Swansea (U.K.), Deadline: 15 May 2009

Received: 2009-04-28:

• Postdoctoral fellowship on causation & probability, Paris (France), Deadline: 14 May 2009
• PhD student position (9+9 months) on philosophy of science/technology, Stuttgart (Germany)
• Special Issue on "Computational Modeling of Human-Oriented Knowledge within Ambient Intelligence"

Received: 2009-04-27:

• 3rd CfP: LAM'09, 9-10 Aug 2009, Los Angeles CA, U.S.A.

Received: 2009-04-26:

• Trends in Logic VII: Trends in the Philosophy of Mathematics, Frankfurt (Germany), 1-4 Sep 2009 [Deadline: today!]
• W2 Professorship in Artificial Intelligence / Theoretical Computer Science, HTW Dresden, Dresden (Germany)
• Workshop "Conditional Logic", 11 May 2009, Duesseldorf, Germany
• Antonio Montalban wins the 2009-10 AMS Centennial Fellowship
• Seven PhD student grants ("Lichtenberg grants") in Cognitive Science, Osnabrueck (Germany), Deadline: 15 Jun 2009
• HAI09: Workshop on Human Aspects in Ambient Intelligence: Milan (Italy), 15 Sep 2009

Received: 2009-04-23:

• PASR: Philosophical Aspects of Symbolic Reasoning in Early Modern Science and Mathematics, 27-29 August 2009, Ghent, Belgium
• PhD student & Postdoc positions in "Foundations of XML", Dortmund/Paris (Germany/France)
• LENLS6: Logic and Engineering of Natural Language Semantics, 19-20 Nov 2009, Tokyo, Japan
• ESSLLI 2009, early registration deadline approaching
• Call for Symposium Proposals: AISB 10, Convention of the AISB, Leicester (U.K.), April 2010
• Final extension of deadline: MATES 2009, Hamburg (Germany)

Received: 2009-04-19:

• MAMLS (Mid Atlantic Mathematical Logic Seminar) at Harvard, 9-10 May 2009, Cambridge MA, U.S.A.
• "Metaphysics and Modality", 12-14 June 2009, Regensburg, Germany
• 17th Amsterdam Colloquium, 16-18 December 2009, Amsterdam, The Netherlands
• CfPart: WoLLIC 2009, 21-24 June 2009, Tokyo, Japan

Received: 2009-04-17:

• DCM09: Developments in Computational Models, 11 July 2009, Rhodes, Greece
• Junior research position in Cognitive Architecture, Marina del Rey CA (U.S.A.)
• BRICKS Workshop on Game Theory and Multiagent Systems, 30 June 2009, Amsterdam, The Netherlands
• PC09: Physics and Computation, Ponta Delgada, 7-11 Sep 2009, Acores, Portugal
• Nona Summer School on Complexity Theory, 12-16 August 2009, St Petersburg, Russia
• 2nd Symposium on Algorithmic Game Theory, 18-20 October 2009, Paphos, Cyprus

Received: 2009-04-15:

• "Logic and 17th century Scientific Thought", 23-24 April 2009, Amsterdam, The Netherlands
• Workshop on "Automata and Algorithmic Logic", 28-29 June 2009, Stuttgart, Germany
• Workshop and Special Session on Constructive Mathematics, 28 Oct - 1 Nov 2009, Boca Raton FL, U.S.A.
• Workshop on "Logical Approaches to Barriers in Computing and Complexity", 17-20 February 2010, Greifswald, Germany
• 2009-10 ASL Winter Meeting, 13-16 Jan 2010, San Francisco CA, U.S.A.
• Postdoctoral position in cognitive modelling, RPI, Troy NY (U.S.A.)

Received: 2009-04-14:

• LOPSTR 09: 19th Symposium on Logic-Based Program Synthesis and Transformation, 7-11 Sep 2009, Coimbra, Portugal
• MFCS: extension of deadline, Bratislava (Slovakia), Aug 2009
• Last CfP: UC09, Ponta Delgada, 7-11 Sep 2009, Acores, Portugal
• "Models, Logics and Higher-Dimensional Categories", A tribute to Makkai, 19-20 June 2009, Montreal, Canada
• The "LORI" newsletter: "Logic and Rational Interaction"
• ESF Research Conference in Model Theory, 9-14 August 2009, Bedlewo, Poland

Received: 2009-04-13:

• "Groups and Models". Cherlin's 60th Birthday. Istanbul (Turkey). 8-12 June 2009
• 4th Conference on Logic, Computability and Randomness, 29 Jun-3 Jul 2009, Marseille, France
• new book series by "a major publisher": "Mathematics, Computing, Language, and the Life"
• 11th Asian Logic Conference, 22-27 Jun 2009, Singapore, Singapore
• 2nd CfP: LAM09, 9-10 Aug 2009, Los Angeles CA, U.S.A.
• 2009 ASL North American Meeding, 20-23 May 2009, Notre Dame IN, U.S.A.

Received: 2009-04-12:

• PhD student position in Formal Methods for distributed systems, Bergen (Norway), Deadline: 18 April 2009
• Calls for Proposals: 2011 AMS-ASL Joint Session, 2012 ASL North American Annuel Meeting
• Final CfP: FM 2009, Eindhoven (Netherlands), 30 Oct - 7 Nov, 2009
• Call for Nominations: 2009 Sacks Prize
• HAI09: Human Aspects in Ambient Intelligence, 15 Sep 2009, Milan, Italy
• Professorship in Computer Science (Intelligent Systems), Innsbruck (Austria), Deadline: 30 April 2009

Received: 2009-04-09:

• AITAmI 09: Artificial Intelligence Techniques for Ambient Intelligence, 19 July 2009, Barcelona, Spain
• Final CfP. FCT 2009, Wroclaw (Poland). Deadline TODAY.
• LORI-II. "Logic, Rationality, and Interaction". Chongqing (China), 8-11 October 2009
• Workshop on Spatial Cognition, 14-16 May 2009, Scottsdale AZ, U.S.A.
• Graduate Student Teaching Assistantship (4 years) in Computer Science, Leicester (U.K.), Deadline: 22 May 2009
• CfPart: CiE 2009, Heidelberg (Germany)

Received: 2009-04-08:

• ICTAC09, extension of deadline to 12 April 2009: Malaysia, 16-20 Aug 2009
• Postdoctoral position in Philosophy of Science, Stuttgart (Germany), Deadline: 30 April 2009
• The Philosophy of Computer Games, 13-15 August 2009, Oslo, Norway
• "Logic, Language, Mathematics", conference in memory of Imre Rusza, 17-19 Sep 2009, Budapest, Hungary
• Amsterdam Graduate Philosophy Conference 2009, 1-3 October 2009, Amsterdam, The Netherlands
• 3rd Workshop on Reachability Problems, 23-25 Sep 2009, Palaiseau, France

Received: 2009-04-06:

• ESA: 17th European Symposium on Algorithms, 7-9 Sep 2009, Copenhagen, Denmark
• Final CfP: TIME 2009: Temporal Representation and Reasoning, Brixen (Italy), 23-25 July 2009 [deadline for abstracts today]
• Deadline extension: MATES 2009, Hamburg (Germany)
• Lecturer in Computer Science ("Formal Foundations"), Leicester (U.K.), Deadline: 1 May 2009
• CfP special issue of Studia Logic: "The contributions of logic to the foundations of physics"
• EMU 2009: Effective Mathematics of the Uncountable, 17-21 August 2009, New York NY, U.S.A.

Received: 2009-04-02:

• 2nd CfP: 8th Tbilisi Symposium on Language, Logic and Computation, 21-25 Sep 2009, Bakuriani, Georgia
• CfP special issue of Logica Universalis on "Is logic universal?", Deadline: 31 August 2009
• FORMATS 2009: 7th Conference on Formal Modelling and Analysis of Timed Systems, 13-16 Sep 2009, Budapest, Hungary
• Final CfP: 5th Workshop on Neural-Symbolic Learning and Reasoning, Pasadena CA (U.S.A.), July 2009
• Apologies for mail server malfunction

Received: 2009-03-31:

• CfP special issue Synthese: Logic and Social Interaction, Deadline: 1 Sep 2009
• SIROCCO 2009: Structural Information and Communication Complexity, 25-27 May 2009, Piran, Slovenia
• AMS Graduate Student Blog by and for mathematics graduate students
• 2nd CfPart: ESSLLI 2009, 20-31 July 2009, Bordeaux, France
• SOPHA 2009, Congress of the Societe de Philosophie Analytique, 2-5 Sep 2009, Geneva, Switzerland
• APPROX & RANDOM 2009, 21-23 August 2009, Berkeley CA, U.S.A.

Received: 2009-03-30:

• History and Philosophical Foundations of AI, 15-18 Sep 2009, Paderborn, Germany
• W1 Juniorprofessorship in Theoretical Computer Science, Karlsruhe (Germany), Deadline: 20 April 2009
• PRNCL 2009: Proofs and Refutations in Non-Classical Logics, 6 July 2009, Oslo, Norway

Received: 2009-03-27:

• WLPE 2009: Workshop on Logic-based methods in Programming Environments, 14-17 July 2009, Pasadena CA, U.S.A.
• 2y postdoctoral position in Algorithms, Bristol (U.K.)
• Deadline extension: PLS7 (Patras, Greece)
• Lectureship (Universitair Docent) in Algebra and Logic, Nijmegen (The Netherlands)
• 2nd Call: "European Set Theory Meeting" in Honour of Ronald Jensen, 5-10 July 2009

Received: 2009-03-22:

• UCLA Summer School in Logic for Undergraduates, Los Angeles CA (U.S.A.), July 2009
• LORI-II: Logic, Rationality and Interaction, 8-11 October 2009, Chongqing, China
• Computational Linguistics, Applications Workshop (CLA09), 12-14 Oct 2009, Mragowo, Poland
• extended deadline for the E W Beth Dissertation Prize

Received: 2009-03-21:

• W2/3 Professorship in Philosophy of Science, Jena (Germany), Deadline: 1 May 2009
• FORMATS 2009: 7th conference on Formal Modelling and Analysis of Times Systems, 13-16 Sep 2009, Budapest, Hungary
• GASICS 09: Games for Design, Verification and Synthesis, 28 June 2009, Grenoble, France
• W3 Professorship in Philosophy (Logic), Jena (Germany), Deadline: 1 May 2009

Received: 2009-03-20:

• Workshop on Logic in Databases, 29-30 October 2009, Roskilde, Denmark
• 3rd Workshop on Formal Methods for Interactive Systems, 2 Nov 2009, Eindhoven, The Netherlands
• travel grants for attending "Foundational Adventures" in Columbus OH, 14-17 May

Received: 2009-03-17:

• Biannual Konstanz-Leuven Series in Formal Epistemology, 6 April 2009, Konstanz, Germany
• 2nd CfP: CCA 2009: Computability and Complexity in Analysis, 18-22 August 2009, Ljubljana, Slovenia
• Workshop "Preference Change", 28-30 May 2009, London, U.K.
• BLAST 2009: Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, 10-14 August 2009, Las Cruces NM, U.S.A.
• Research Master programme in Philosophy (including logic), Groningen (The Netherlands)
• Gerard Huet wins 2009 EATCS Award

Received: 2009-03-12:

• (Associate) Professorship in Discrete Mathematics or Algorithms, Warwick (U.K.), Deadline: 30 March 2009
• PNSE09: Petri Nets and Software Engineering, 22-23 June 2009, Paris, France
• AIAI09: Abductive and Inductive Knowledge Development, 12 July 2009, Pasadena CA, U.S.A.
• 12th European Workshop on Natural Language Generation (ENLG09), 30-31 March 2009, Athens, Greece
• Thirteen PhD scholarships in discrete mathematics and theoretical computer science, Warwick (U.K.)

Received: 2009-03-11:

• ARCOE09: Automated Reasoning about Context and Ontology Evolution, extended deadline, 11-12 July 2009, Pasadena CA, U.S.A.
• Deadline extension: Topology, Algebra and Categories in Logic (TACL 2009), 7-11 July 2009, Amsterdam, The Netherlands
• CSL09: Computer Science Logic, 7-11 September 2009, Coimbra, Portugal
• 3rd CfP & Extension of Deadline: LSIR-2 "Logic and the Simulation of Interaction and Reasoning", 12 July 2009, Pasadena CA, U.S.A.
• Postdoctoral and PhD position in the MathWiki project, Nijmegen (The Netherlands), Deadline: 1 May 2009
• HAI09: 3rd Workshop on Human Aspects in Ambient Intelligence, 15 Sep 2009, Milan, Italy

Received: 2009-03-10:

• "Foundational Adventures": Harvey Friedman's 60th Birthday, 14-17 May 2009, Columbus OH, U.S.A.
• "Algebra and Probability in Many-Valued Reasoning", special issue of Studia Logica, Deadline: 15 March 2009
• BEST 18: Boise Extravaganza in Set Theory, 27-29 March 2009, Boise ID, U.S.A.
• 4th Workshop on Logical and Semantic Frameworks, 28 June 2009, Brasilia, Brazil
• Postdoctoral and PhD student position in philosophy of science and technology, Stuttgart (Germany), Deadline: 1 April 2009
• "Commonsense Reasoning for the Semantic Web", special issue of Annals of Mathematics and Artificial Intelligence

Received: 2009-03-09:

• Student Travel Awards for STOC 2009
• ALT 2009: Algorithmic Learning Theory, 3-5 October 2009, Porto, Portugal
• ESSLLI 2009, 20-31 July 2009, Bordeaux, France
• 6th Internationcal Colloquium on Theoretical Aspects of Computing (ICTAC 09), 16-20 August 2009, Kuala Lumpur, Malaysia
• Junior Professorship (W1) in Theoretical Philosophy, Duesseldorf (Germany)
• E W Beth Dissertation Prize: Call for Nominations

Received: 2009-03-08:

• Lectureship in Mathematics, London School of Economics, London (U.K.), Deadline: 31 March 2009
• Call for Nominations: Editor-in-Chief ACM Transactions on Computational Logic (ToCL)
• DCM 2009: Developments in Computational Models, 11 July 2009, Rhodes, Greece

Received: 2009-03-02:

• Call for Bids to Host EUMAS-2010, Deadline: 26 April 2009
• CfPart: ARCOE-09, Automated Reasoning about Context and Ontology Evolution, 11-12 July 2009, Pasadena CA, U.S.A.
• HyLo 2009: Hybrid Logic 2009, 15-17 July 2009, Nancy, France
• Special issue published on "Mathematical Argumentation" (Foundations of Science)

Received: 2009-02-25:

• "Days of Judgement", 25-27 September 2009, Leiden, The Netherlands
• PhD student position in "The Mind and the Self", Lausanne (Switzerland), Deadline: 15 April 2009
• Trends in Logic VII: Trends in the Philosophy of Mathematics, 1-4 September 2009, Frankfurt, Germany
• FOCS 2009: Foundations of Computer Science, 24-27 October 2009, Atlanta GA, U.S.A.
• PLS7: 7th Panhellenic Logic Symposium, 15-19 July 2009, Patras, Greece
• Research Fellowship / Tutorship in Logic (4y), Oxford (U.K.), Deadline: 20 March 2009

Received: 2009-02-23:

• Extension of Deadline for Nominations of the Ontos Prize for analytical ontology and metaphysics (31 March 2009)
• FCT 2009: Fundamentals of Computer Theory, 2-4 September 2009, Wroclaw, Poland
• Professorships at all levels and in all areas of Philosophy, Legon (Ghana)
• 16th Workshop on Logic, Language, Information and Computation, WoLLIC 2009, 21-24 June 2009, Tokyo, Japan
• Assistant Professorship in Philosophy (Metaphysics / Logic), Oberlin OH (U.S.A.), Deadline: 15 March 2009

Received: 2009-02-20:

• Extended deadline for nomination for Ontos Prize in Analytical Ontology and Metaphysics (31 March 2009)
• "Mathematical Logic in the Netherlands", 25-26 May 2009, Nijmegen, The Netherlands
• 2nd Formal Epistemology Festival, 29-31 May 2009, Ann Arbor MI, U.S.A.
• 2nf CfP: LSIR-2 "Logic and the Simulation of Interaction and Reasoning", 12 July 2009, Pasadena CA, U.S.A.
• Conference in Honour of Harvey Friedman, Ohio, 14-17 May 2009
• Leeds Symposium on Proof Theory and Constructivism, 3-16 July 2009, Leeds, U.K.

Received: 2009-02-19:

• LAFT: Logical Aspects of Fault Tolerance, 15 August 2009, Los Angeles CA, U.S.A.
• ESSLLI 2009 -- Call for Participation, 20-31 July 2009, Bordeaux, France
• 8th Conference on Unconventional Computation (UC 2009), 7-11 September 2009, Ponta Delgada, Portugal
• Journal "Conceptus" has new editors and a new publisher
• 2nd European Set Theory Meeting, 5-10 July 2009, Bedlewo, Poland
• PhD student position in Logic (AI/Philosophy), Groningen (The Netherlands), Deadline: 1 May 2009

Received: 2009-02-17:

• Non-Classical Mathematics 2009, 18-22 June 2009, Hejnice, Czech Republic
• 3-6 Senior Fellowships and 6-12 Junior Fellowships in all areas, Alfried Krupp Wissenschaftskolleg, Greifswald (Germany), Deadline: 28 Feb 2009
• PhD student position in epistemology or philosophy of science, Tilburg (The Netherlands), Deadline: 1 April 2009
• W1 Junior Professorship in Theoretical Computer Science (tenure track to W3), Karlsruhe (Germany), Deadline: 20 April 2009
• E-CAP 2009: European Conference on Computing and Philosophy, 2-4 July 2009, Barcelona, Spain
• CAMELEON (Cambridge, Leeds or Norwich), Logic Meeting, Cambridge (U.K.), End of March 2009

Received: 2009-02-16:

• CfP special issue of TCS on "Theoretical Foundations of Evolutionary Computation"
• 4th Conference on Logic, Computability and Randomness, 29 June - 3 July 2009, Marseille, France
• Call for Tutorial Proposal: Formal Methods 2009, 4-6 November 2009, Eindhoven, The Netherlands
• CSL 2009: 18th Conference on Computer Science Logic, 7-11 Sep 2009, Coimbra, Portugal
• 25th Conference on Logic Programming (ICLP 2009), 14-17 July 2009, Pasadena CA, U.S.A.
• MATES 2009: 7th German Conference on Multi-Agent Technologies, 9-11 September 2009, Hamburg, Germany

Received: 2009-02-15:

• 11th Asian Logic Conference, 22-27 June 2009, Singapore, Singapore
• Kant's Philosophy of Mathematics, 16-19 March 2009, Jerusalem, Israel
• CfP special issue of Journal of Algorithms in Cognition, Informatics and Logic on "Unification"
• Groups and Models: G. Cherlin's 60th birthday, 8-12 June 2009, Istanbul, Turkey
• ARCOE-09: Automated Reasoning about Context and Ontology Evolution, 11-12 July 2009, Pasadena CA, U.S.A.
• 2008 Sacks Prize awarded to Epstein and Raghavan

Received: 2009-02-13:

• ICM 2010 (International Congress of Mathematicians) in Hyderabad (India)
• 3rd CfP: special issue of "Annals of Mathematics and Artificial Intelligence" on Commonsense Reasoning for the Semantic Web, Deadline 28 Feb 2009
• Postdoctoral positions in Theoretical Computer Science at UT Austin, Austin TX (U.S.A.)
• Luciano Floridi receives APA Barwise Prize in Philosophy and Computing
• GLLC16: Generalized Quantifiers, 5-6 March 2009, Amsterdam, The Netherlands
• 8th Colloquiumfest (algebraic geometry and model theory), 6-7 March 2009, New York NY, U.S.A.

Received: 2009-02-12:

• 7th Workshop on Satisfiability modulo theories, 2-3 August 2009, Montreal, Canada
• Postdoctoral positions in Computational Logic, Madrid (Spain), Deadline: tomorrow!
• Research grants for PhD students and postdoctoral researchers in Cognitive Science, Bielefeld (Germany)
• PhD student positions in Foundations of Computer Science, Edinburgh (Scotland), Deadline: 20 Feb 2009 (non-EU)
• Doctoral / Postdoctoral position in Logic and Philosophy of Language, Berlin (Germany)
• PhD's in Logic, 19-20 Feb 2009, Gent, Belgium

Received: 2009-02-11:

• PhD student scholarship in "Language and Cognition", Bielefeld (Germany), Deadline: 28 Feb 2009
• Summer School in Cognitive Science 2009, 6-23 July 2009, Sofia, Bulgaria
• ICNC09 and FSKD09: Natural Computation / Fuzzy Systems and Knowledge Discovery, 14-16 August 2009, Tianjin, China
• 3rd ACM workshop on Context-awareness for self-managing systems (casemans 2009), 11-14 May 2009, Nara, Japan
• Postdoctoral researcher position in Natural Language Processsing, York (U.K.)
• CfP: "The Games of Logic", book on philosophical consequences of the interaction between games and logic, Deadline: 15 March 2009

Received: 2009-02-10:

• TACL 2009: Topology, Algebra and Categories in Logic, 7-11 July 2009, Amsterdam, The Netherlands
• "Algorithmic Challenges in Optimization, Game Theory and Computer Science", 9-10 March 2009, Rutgers University, U.S.A.
• W3 Professorship for General Linguistics, Bielefeld (Germany), Deadline: 10 March 2009
• LAM 09: Logics for Agents and Mobility, 9-10 August 2009, Los Angeles CA, U.S.A.
• RaAM 2009: Researching and Applying Metaphor, 4-5 June 2009, Amsterdam, The Netherlands
• WFLP 2009: 18th Workshop on Functional and Logic Programming, 28 June 2009, Brasilia, Brazil

Received: 2009-02-08:

• Carnegie Mellon Summer School in Logic and Formal Epistemology, 8-26 June 2009, Pittsburgh PA, U.S.A.
• PhD student position in algorithms engineering, Munich (Germany), Deadline: 5 March 2009
• W2 Professorship in Computational Linguistics, Bielefeld (Germany), Deadline: 10 March 2009
• APPROX and RANDOM 2009: Approximation Algorithms / Randomization and Computation, 21-23 August 2009, Berkeley CA, U.S.A.
• Symposium on Games, Argumentation and Logic Programming, Luxembourg, 23-24 April 2009
• 8th Tbilisi Symposium on Language, Logic and Computation, 21-25 Sep 2009, Bakuriani, Georgia

Received: 2009-02-06:

• DGL09: 3rd Workshop in Decisions, Games and Logic, 15-17 June 2009, Lausanne, Switzerland
• MBR09: Model-Based Reasoning in Science and Technology, 17-19 Dec 2009, Campinas, Brazil
• CfP special issue of Journal of Ambient Intelligence and Smart Environments: thematic issues on "Computational Modelling of Human-Oriented Knowledge"
• Postdoctoral fellowship in "Computational Logic and Combinatorial Optimization", West Virginia (U.S.A.)
• Postdoctoral positions in "Computational Logic, Implementation and Parallelism", Madrid (Spain)
• Progic 2009: 4th Workshop on Combining Probability and Logic, 17-18 Sep 2009, Groningen, The Netherlands

Received: 2009-02-04:

• 25th BCTCS: British Colloquium for Theoretical Computer Science, 6-9 April 2009, Warwick, U.K.
• Final CfP: ViC 2009 (Vagueness in Communication), 20-24 July 2009, Bordeaux, France
• Logic Colloquium 2009, 31 July - 5 August 2009, Sofia, Bulgaria
• SING5: 5th Spain-Italy-Netherlands meeting on Game Theory, 1-3 July 2009, Amsterdam, The Netherlands
• SPUC09: The Science and Philosophy of Unconventional Computing, 23-25 March 2009, Cambridge, U.K.
• Lectureships in Economics and Computation, Liverpool (U.K.), Deadline: 27 Feb 2009

Received: 2009-01-28:

• ICANN 09: Artificial Neural Networts, 14-17 Sep 2009, Limassol, Cyprus
• PhD student position in computer science, Liverpool (England)
• PhiLang 2009: Philosophy of Language and Linguistics, 14-15 May 2009, Lodz, Poland
• Fall School of Logic and Complexity, 21-25 Sep 2009, Prague, Czech Republic

Received: 2009-01-26:

• PhD student scholarship in "Language and Cognition", Bielefeld (Germany)

Received: 2009-01-25:

• Polonsky Postdoctoral Fellowship in any field of the humanities or social sciences, Jerusalem (Israel), Deadline: 20 April 2009
• Postdoctoral and PhD student position in "Security and Games", Luxembourg (Luxembourg), Deadline: 20 Feb 2009
• W3 Professorship for Philosophy of Technology and Science, Braunschweig (Germany), Deadline: 28 Feb 2009
• 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), 6-10 Sep 2009, Udine, Italy
• W3 Professorship in Computer Linguistics, Heidelberg (Germany)
• Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 11-12 July 2009, Pasadena CA, U.S.A.

Received: 2009-01-23:

• Call for Proposals to Organize CLA 2010
• NVTI Theory Day, 20 March 2009, Utrecht, The Netherlands
• 2nd Annual Meeting of the Asian Association for Algorithms and Computation, 26-27 April 2009, Hangzhou, China
• Boise Extravaganza in Set Theory (BEST), 27-29 March 2009, Boise ID, U.S.A.
• "Automata and Algorithmic Logic", 28-29 June 2009, Stuttgart, Germany
• Postdoctoral position in Semantic Web, Karlsruhe (Germany), Deadline: 21 Feb 2009

Received: 2009-01-22:

• DALT 2009: Declarative Agent Languages and Technologies, 11-12 May 2009, Budapest, Hungary
• "Logic and Mathematics", 3-7 August 2009, York, U.K.
• Call for Nominations: 2009 Goedel Prize, Deadline: 31 Jan 2009
• QPL: 6th workshop on quantum physics and logic, 8-9 April 2009, Oxford, U.K.
• "Logic and 17th Century Scientific Thought", 23-24 April 2009, Amsterdam, The Netherlands
• CfP special issue of Studia Logica: "The contributions of logic to the foundations of physics"

Received: 2009-01-21:

• Postdoctoral position on "Dialogical Foundations of Semantics", Lisbon (Portugal), Deadline: yesterday!
• Concept Types and Frames in Languages, Cognition and Science, 24-26 August 2009, Duesseldorf, Germany
• FroCoS09: Frontiers of Combining Systems, 16-18 Sep 2009, Trento, Italy
• Final CfP: ESSLLI 2009 Student Session, 20-31 July 2009, Bordeaux, France
• Foundations of Uncertainty, 1-4 September 2009, Prague, Czech Republic
• Young Set Theory Workshop, 14-18 April 2009, Bellaterra, Spain

Received: 2009-01-18:

• Three PhD student positions on "Understanding and the A Priori", Cologne (Germany), Deadline: 31 Jan 2009
• LICS 2009: 24th Symposium on Logic in Computer Science, 11-14 August 2009, Los Angeles CA, U.S.A.
• 2nd CfP: WoLLIC 2009, 21-24 June 2009, Tokyo, Japan
• 9th Workshop on Computational Models of Natural Argument (CMNA IX), 13 July 2009, Pasadena CA, U.S.A.
• "Perspektiven axiomatischen Denkens", 10-11 Feb 2009, Erlangen, Germany
• IVA09: Intelligent Virtual Agents, 14-16 September 2009, Amsterdam, The Netherlands

Received: 2009-01-17:

• PhD student position and postdoctoral position on "Causality and Probability", Konstanz (Germany)
• New anthology: "Logicism, Intuitionism, Formalism"
• Call for Nominations: Influential Papers in Agents and Multiagent Systems, Deadline: 4 Feb 2009
• XVIIIth European Symposium on Medieval Logic and Semantics, Bologna (Italy), June 2010
• The Shortest Universal Turing Machine Implementation Contest
• Final CfP: CiE 2009, 19-24 July 2009, Heidelberg, Germany

Received: 2009-01-14:

• Paid research internships for underrepresented students (US students and US mentors), Deadline: 15 Feb 2009
• Temporary W2 Professorships in Mathematics / Mathematical Economics ("Bonn Junior Fellows"), Bonn (Germany), Deadline: 31 Jan 2009
• Israel CS theory day, 2 March 2009, Raanana, Israel
• European Master's Programme in Computational Logic
• Study and Research grants for German scientists to go to Japan: 2010/2011
• HyLo 2009: Hybrid Logic, 15-17 July 2009, Nancy, France

Received: 2009-01-13:

• Postdoctoral position in Algorithms, Hanover NH (U.S.A.), Deadline: 31 Jan 2009
• 4th CfP: TAMC 2009, 18-22 May 2009, ChangSha, China
• SAT 2009: Satisfiability Testing, 30 June - 3 July 2009, Swansea, Wales
• NeSy09, 5th Workshop on Neural-Symbolic Learning and Reasoning, Pasadena CA (U.S.A.), July 2009
• CSL09: Computer Science Logic, 7-11 Sep 2009, Coimbra, Portugal
• Lectureship in Computer Science, Bristol (U.K.), Deadline: 30 Jan 2009

Received: 2009-01-11:

• Very Informal Gathering of Logicians (VIG) honouring John Steel's 60th birthday, 30 Jan - 1 Feb 2009, Los Angeles CA, U.S.A.
• CCA 2009: Computability and Complexity in Analysis 2009, 18-22 August 2009, Ljubljana, Slovenia
• Logic, game theory and social choice 6, 26-29 August 2009, Tsukuba, Japan
• Several postdoctoral positions in Algorithms and Complexity, Saarbruecken (Germany), Deadline: 31 Jan 2009
• Workshop and Special Session on Constructive Mathematics, Boca Raton FL (U.S.A.), Oct 30 - Nov 1, 2009

Received: 2009-01-10:

• Three open Full Professor positions in Computer Science, Brasilia (Brazil), Deadline: 1 Feb 2009
• PhD student positions on ontology reasoning, Aberdeen (Scotland), Deadline: 27 Jan 2009
• 2nd CfP: ICCS 2009, 26-31 July 2009, Moscow, Russia
• LSIR-2: Logic and the Simulation of Interaction and Reasoning, 12 July 2009, Pasadena CA, U.S.A.
• 2nd CfP: CiE 2009, 19-24 July 2009, Heidelberg, Germany
• 6th Workshop on "Methods for Modalities" (M4M-6), 12-14 Nov 2009, Copenhagen, Denmark

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