[LOGIC] List Mailing Archive 2008

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: 2008-12-20:

• "The Philosophy of Identity in the Virtual", 22-24 April 2009, Laval, France
• Midlands Graduate School in the Foundations of Computing Science, 30 March - 3 April 2009, Leicester, U.K.
• DALT 2009: 7th Workshop on Declarative Agent Languages and Technologies, 11-12 May 2009, Budapest, Hungary
• Faculty position in Computer Sciences, Lausanne (Switzerland), Deadline: 1 Jan 2009
• "Explanation, Indispensability of Mathematics, and Scientific Realism", 23 Jan 2009, Leeds, U.K.
• 2nd CfP: CiE 2009, 19-24 July 2009, Heidelberg, Germany

Received: 2008-12-16:

• MSc in Logic, Class of 2009-2011, Amsterdam (The Netherlands)
• TARK XII: "Theoretical Aspects of Rationality and Knowledge", 6-8 July 2009, Stanford CA, U.S.A.
• PhD grants in "transdisciplinary mind and brain research", Berlin (Germany), Deadline: 15 Jan 2009
• New book: Wolfram Pohlers, "Proof Theory: The first step into impredicativity"
• Phloxshop 2: Modality, 9-11 September 2009, Berlin, Germany

Received: 2008-12-14:

• "Logic and Mathematics 2009", 3-7 August 2009, York, U.K.
• "Foundational Adventures", Conference on the occasion of Harvey Friedman's 60th birthday, 14-17 May 2009
• Boise Extravaganza in Set Theory, 27-29 March 2009, Boise ID, U.S.A.
• "Philosophy and Foundations of Mathematics", 5-8 May 2009, Uppsala, Sweden

Received: 2008-12-12:

• 3rd CfP: TERMGRAPH 2009, 22 March 2009, York, U.K.
• RTA 2009: Rewriting Techniques and Applications, 29 June - 1 July 2009, Brasilia, Brazil
• ARCOE 2009: Automated Reasoning about Context and Ontology Evolution, 11-13 July 2009, Pasadena CA, U.S.A.
• TLCA 2009: Typed Lambda Calculi and Applications, 1-3 July 2009, Brasilia, Brazil
• SIROCCO 2009: Structural Information and Communication Complexity, 25-27 May 2009, Piran, Slovenia

Received: 2008-12-11:

• Five-day minicourse on Lambada Calculus and Term Rewriting Systems, 16-20 February 2009, Eindhoven, The Netherlands
• GAMES Spring School 2009, Bertinoro (Italy), 31 May to 6 June 2009
• Call for Nominations: Ackermann Award (EACSL outstanding dissertation award for logic in computer science), Deadline: 15 March 2009
• Postdoctoral fellowship in Algorithms and Randomness, Georgia Tech (U.S.A.), Deadline: 5 Jan 2009
• Director "Leibniz-Arbeitsstelle" (TV-L E15), Muenster (Germany), Deadline: 16 Jan 2009
• 11th Asian Logic Conference, Singapore, 22-27 June 2009

Received: 2008-12-10:

• PhD student position in the study of networks, Albuquerque NM (U.S.A.)
• Position as Dean of the Faculty of Humanities, Hamburg (Germany), Deadline: 8 Jan 2009
• Postdoctoral position (1 or 2 y) in algorithmic game theory, Evanston IL (U.S.A.), Deadline: 31 Dec 2008
• CfP special issue of "Annals of Mathematics and Artificial Intelligence" on Commonsense Reasoning for the Semantic Web

Received: 2008-12-06:

• Junior Professorship (W1) in Algorithm Engineering, Jena (Germany), Deadline: 25 Jan 2009
• Scholarships for PhD students in computer science, Oxford (U.K.), Deadline: 23 Jan 2009
• Assistant Professorship in Pure Mathematics (Logic), New York NY (U.S.A.), Deadline: 10 Jan 2009
• extended deadline: ICFCA 09 (now: 14 December 2008)
• TACL 2009: Topology, Algebra and Categories in Logic, 7-11 July 2009, Amsterdam, The Netherlands
• Corrected CfP: ViC 2009 (@ESSLLI 2009)

Received: 2008-11-28:

• CALCO 2009: Algebra and Coalgebra in Computer Science, 6-10 Sep 2009, Udine, Italy
• Call for Workshop Proposals: FM 2009 (Formal Methods), 2-6 November 2009, Eindhoven, The Netherlands
• HyLo 2009: Hybrid Logic, 15-17 July 2007, Nancy, France
• CfP special issue on "Classical Logic and Computation", Annals of Pure and Applied Logic
• ViC 2009: Vagueness in Communication, 20-24 July 2009, Bordeaux, France
• Commonsense 09: Logical Formalizations of Commonsense Reasoning, 1-3 June 2009, Toronto ON, Canada

Received: 2008-11-27:

• LSIR-2: Logic and the Simulation of Interaction and Reasoning, Pasadena CA (U.S.A.), July 2009

Received: 2008-11-26:

• Two postdoctoral positions in multi-agents, Southampton (U.K.), Deadline 22 Dec 2008
• TIME 2009: Temporal Representation and Reasoning, 23-25 Jul 2009, Brixen, Italy
• DIS 2009: Dynamics of Information Systems, 28-30 Jan 2009, Gainesville FL, U.S.A.
• ISSAC 2009: Symbolic and Algebraic Computation, 28-31 Jul 2009, Seoul, Korea

Received: 2008-11-24:

• 5th Workshop in Neural-Symbolic Learning and Reasoning (NeSy09; at IJCAI-09), Pasadena CA (U.S.A.), July 2009
• Discussion Track at the "Australasian Theory Symposium", 20-23 Jan 2009, Wellington, New Zealand
• Call for Proposals to organize CLA 2010 ("Concept Lattices and Their Applications"), Deadline: 20 Jan 2009
• Postdoctoral position in logic and theoretical computer science (Algebra and Co-algebra), Amsterdam (The Netherlands), Deadline: 12 December 2008
• 2nd Annual Meeting of the Asian Association for Algorithms and Computation (AAAC 2009), 11-12 April 2009, Hangzhou, China
• Faculty Position in Intelligent System, Burlington VT (U.S.A.), Deadline: 16 Jan 2009

Received: 2008-11-23:

• ISAAC 2009: Algorithms and Computation, 16-18 Dec 2009, Honolulu HI, U.S.A.
• Ontos-Preis for Analytic Philosophy, Deadline: 31 Jan 2009
• Temporary W3 Professorship (Leibniz-Stiftungsprofessor), Hannover (Germany), Deadline: 19 Dec 2008
• CMI Postdoctoral Fellowships Program (Mathematics of Information), Pasadena CA (U.S.A.), Deadline: 12 Dec 2008
• 10th Szklarska Poreba Workshop "The Roots of Pragmasemantics", 12-16 Mar 2009, Szrenica, Poland
• Wolfgang-Stegmueller-Preis, Deadline: 31 Jan 2009

Received: 2008-11-22:

• Postdoctoral position (TV-L 13, three years) in Philosophy of Science, Bielefeld (Germany), Deadline: 5 Dec 2008
• PhD student position in program and thread algebra, Amsterdam (The Netherlands), Deadline: 29 November 2008
• GAP.7 "Nachdenken und Vordenken", 14-17 Sep 2009, Bremen, Germany
• Postdoctoral research fellow in machine learning / information theory / artificial intelligence, Canberra (Australia), Deadline: 16 Jan 2009
• Moscow-Utrecht meeting in "Logical Models of Reasoning and Computation", 25-26 November 2008, Utrecht, The Netherlands
• Quantum Information Processing, QIP 2009, 12-16 Jan 2009, Santa Fe NM, U.S.A.

Received: 2008-11-20:

• ECSQARU 2009 (Symbolic and Quantitative Approaches to Reasoning with Uncertainty), 1-3 July 2009, Verona, Italy
• ICALP'09 (Automata, Languages and Programming), 5-12 July 2009, Rhodes, Greece
• Erasmus Mundus External Cooperation Window: Exchange grants to and from India to European Universities (including logic grants)
• CfP Special Issue "Information and Computation" on "Intuitionistic Modal Logics and Applications", Deadline: 31 May 2009
• PhD scholarships: Berlin School of Mind and Brain, Berlin (Germany), Deadline: 15 Jan 2009
• 14th Estonian Winter School in Computer Science (EWSCS 2009), 1-6 March 2009, Palmse, Estonia

Received: 2008-11-17:

• 7th International Conference on Formal Concept Analysis (ICFCA 2009), 21-24 May 2009, Darmstadt, Germany
• 4th International Computer Science Symposium in Russia (CSR 2009), 18-23 August 2009, Novosibirsk, Russia
• Faculty Position in Intelligent Systems, Burlington VT (U.S.A.), Deadline: 16 Jan 2009
• W3 Professorship Philosophy of Mind, Bielefeld (Germany), Deadline: 31 Dec 2008
• CfP special issue of IEEE Transactions on Systems on "Game Theory", Deadline: 15 Dec 2008
• Postdoctoral position in Semantic Web, Karlsruhe (Germany), Deadline 30 Nov 2008

Received: 2008-11-09:

• 32nd International Wittgenstein Symposium, 9-15 August 2009, Kirchberg am Wechsel, Austria
• CfP special issue on "Authoring, Digitalization and Management of Mathematical Knowledge", Deadline: 5 Jan 2009
• Visiting Professorship in Philosophy (philosophy of mind / language / logic), Baton Rouge LA (U.S.A.), Deadline 1 Dec 2008
• Tenure-stream position (rank open) in philosophy (preference logic), Pittsburgh PA (U.S.A.), Deadline: 15 Nov 2008

Received: 2008-11-07:

• Assistant Professorship in Philosophy (Logic), Edinburg TX (U.S.A.)
• ACL2 2009, ACL2 Theorem Prover and its Applications, 11-12 May 2009, Boston MA, U.S.A.
• Metaphysicians and logicians, Cycorp, Austin TX (U.S.A.)
• Japanese research grants for German researchers
• Postdoctoral fellowship in algorithms, New Brunswick (Canada), Deadline: 30 Nov 2008

Received: 2008-11-06:

• CfP special issue of IEEE Transactions on Systems on "Game Theory", Deadline: 15 December 2008
• Unconventional Computation (UC2009), Ponta Delgada (Acores, Portugal), 7-11 Sep 2009
• Call for Workshop Proposal, Formal Methods 2009, 4-6 Nov 2009, Eindhoven, The Netherlands
• Postdoctoral position in Algorithms/Complexity, Calgary AB (Canada), Deadline: 1 Dec 2008
• 17th Meeting on "Set Theory and its neighbours", 19 November 2008, Bristol, U.K.
• 7th Panhellenic Logic Symposium, 15-19 July 2009, Patras, Greece

Received: 2008-11-03:

• Visiting Fellowships at the Tilburg Center for Logic and Philosophy of Science, Deadline: 15 December 2008
• Call for Workshop Proposals, LICS 2009: Logic in Computer Science, 9-15 August 2008, Los Angeles CA, U.S.A.
• ESI Workshop on Large Cardinals and Descriptive Set Theory, 14-27 June 2009, Vienna, Austria
• 2009 ESSLLI Student Session, 20-31 July 2009, Bordeaux, France
• CfP: special issue of the Zapiski Nauchnykh Seminarov POMI in honour of the 90th birthday of N.A. Shanin

Received: 2008-10-30:

• Call for Nominations: Ackermann Award 2009; Deadline: 15 March 2009
• CfPart: 3rd Indian Conference on Logic and Its Applications, Chennai (Madras), India, 7-11 Jan 2009
• Tenure-track position in logic (philosophy), Calgary (Canada), Deadline 21 Nov 2008
• Natural Language Workshop at AI-2008, 9-11 Dec 2008, Cambridge, U.K.
• Colloquium "PhDs in Logic", 19-20 Feb 2009, Ghent, Belgium
• Tenure-track assistant professorship in Foundations of Mathematics, Boulder CO (U.S.A.)

Received: 2008-10-26:

• Federated Conference on Rewriting, Deduction, Programming (RDP09), Brasilia (Brazil), 28 Jun to 3 Jul 2009
• 2nd Conference on Artificial General Intelligence, 6-9 March 2009, Arlington VA, U.S.A.
• Junior Professorship (W1) in Discrete Mathematics, Hamburg (Germany), Deadline: 27 Nov 2008
• 3rd conference on Language and Automata Theory and Applications (LATA 2009), 2-8 April 2009, Tarragona, Spain
• Postdoctoral position (2y) in philosophy (interdisciplinary work in connection with history of science), Wuppertal (Germany), Deadline: 8 Dec 2008
• 2009-2010 IBM Herman Goldstine Memorial Postdoctoral Fellowship (among other fields: algorithms), Deadline: 5 Jan 2009

Received: 2008-10-23:

• WoLLIC 2009: Workshop on Logic, Language, Information and Computation, 21-24 Jun 2009, Tokyo, Japan
• Three types of logic positions at UIUC, Urbana-Cahmpaign IL (U.S.A.)
• ICTAC'09: Colloquium on Theoretical Aspects of Computing, 18-20 August 2009, Kuala Lumpur, Malaysia
• GAMES Spring School, Bertinoro (Italy), 31 May to 6 Jun 2009

Received: 2008-10-20:

• "Practive-based philosophy of logic and mathematics", 31 Aug - 2 Sep 2009, Amsterdam, The Netherlands
• ALICS: Applications of Logic in Computer Security, 22 Nov 2008, Doha, Qatar
• Special Session "Model Theoretic Models in Finite Combinatorics", 5-8 Jan 2009, Washington DC, U.S.A.

Received: 2008-10-19:

• AISB Student Travel Awards for student AISB members presenting a paper
• RTA09, Rewriting Techniques and Applications, 29 Jun - 1 Jul 2009, Brasilia, Brazil
• Assistant/Associate Professorship(s) in Computer Science, Hong Kong (China)
• Symposium on AI and Games, AISB 2009, 6-7 April 2009, Edinburgh, Scotland
• Special issue of Studia Logica on "Algebra and Probability in Many-Valued Reasoning", Deadline: 1 March 2009
• Faculty Positions at EPFL (tenure-track assistant professors) in computer science, Lausanne (Switzerland), Deadline: 1 Jan 2009

Received: 2008-10-16:

• 7th International Conference on Words, 14-18 Sep 2009, Salerno, Italy
• Junior Professorship (W1) in Theoretical Computer Science, Kassel (Germany), Deadline: 14 Nov 2008
• CNL09: Controlled Natural Languages, Marettimo Island, 8-10 Jun 2009, Sicily, Italy
• Five post-doctoral research positions (area open; 1.5 y + 3.5 y), Konstanz (Germany), Deadline: 30 Nov 2008
• QIP09: Quantum Information Processing, 12-16 Jan 2009, Sante Fe NM, U.S.A.

Received: 2008-10-15:

• MAMLS Meeting in honour of Greg Cherlin's 60th birthday, 24-26 October 2008, Rutgers University, U.S.A.
• CfP: Volume 12 of "Logical Analysis and History of Philosophy" on "Ancient and Medieval Philosophy", deadline: 2009-02-28
• 9th Conference on Typed Lambda Calculi and Applications (TLCA09), 1-3 Jul 2009, Brasilia, Brazil
• Call for Bids to Host ESSLLI 2010, deadline: 2008-11-15
• 4th Conference on Logic, Computability and Randomness, 30 Jun - 3 Jul 2009, Marseille, France
• Special issue of AMAI on "Commonsense Reasoning for the Semantic Web" (Deadline 28 Feb 2009)

Received: 2008-10-10:

• Very Informal Gathering of Logicians (VIG), honouring the 60th birthday of John Steel, 30 Jan - 1 Feb 2009, Los Angeles CA, U.S.A.
• Workshop on Logic and Social Interaction (Call for Papers), 7-8 January 2009, Chennai, India

Received: 2008-10-09:

• CALCO 2009: Conference on Algebra and Coalgebra in Computer Science, 6-10 September 2009, Udine, Italy
• 12th European Workshop on Natural Language Generation (ENLG 2009), 30-31 March 2009, Athens, Greece
• Nordic Conference of Computational Linguistics, 14-16 May 2009, Odense, Denmark
• PhD student position "Thought Experiment, Metaphor, Model", Bochum (Germany), Deadline: 31 October 2008
• CADE-22, 22nd International Conference on Automated Deduction, 2-7 August 2009, Montreal QC, Canada

Received: 2008-10-08:

• 7th International Conference on Formal Concept Analysis (ICFCA09), 21-24 May 2009, Darmstadt, Germany
• CiE 2009: Computability in Europe 2009, 19-24 July 2009, Heidelberg, Germany
• Three PhD student positions in "Knowledge and Data", Bolzano (Italy), Deadline 20 October 2008
• Postdoctoral position in Semantic Web, Karlsruhe (Germany), Deadline: 29 October 2008
• Maitre de Conference (tenured faculty position) in Logic (Set Theory), Paris (France), Deadline: 14 October 2008

Received: 2008-10-01:

• W1 Junior Professorship in "Foundations of Parallel Computing", Karlsruhe (Germany), Deadline: 24 Oct 2008
• Four workshops at LPAR'08 (APS-4, ALICS, IWIL, KEAPPA), 22 November 2008, Doha, Qatar
• PhD student position in linguistics / computer science, Mannheim (Germany), Deadline: 15 October 2008
• IJCAI-09 "The Interdisciplinary Reach of Artificial Intelligence", 11-17 July 2009, Pasadena CA, U.S.A.

Received: 2008-09-27:

• AAMAS-09: Autonomous Agents and Multi-Agent Systems, 10-15 May 2009, Budapest, Hungary
• Logic, Game Theory, and Social Choice 6, 26-29 August 2009, Tsukuba, Japan
• International Workshop on the Implementation of Logics, Doha (Qatar), November 2008
• 4th Indian Conference on Artificial Intelligence (IICAI-09), Tumkur, 16-18 December 2009, near Bangalore, India

Received: 2008-09-25:

• Three PhD student positions in "Philosophy and Computer Simulations", Stuttgart (Germany)
• W1 Junior Professorship in Algorithmic Game Theory, Paderborn (Germany), Deadline: 28 October 2008
• Temporary W2 Professorship (6y) in Neuro-Philosophy, Bochum (Germany), Deadline: 31 October 2008
• PhD student / postdoctoral position in "Theory of Artificial Intelligence", Bremen (Germany), Deadline: 13 October 2008

Received: 2008-09-23:

• PhD student position in "Multi-core Model Checking", Enschede (The Netherlands), Deadline: 21 October 2008
• ICCS09: Conceptual Structures: Leveraging Semantic Technologies, 26-31 July 2009, Moscow, Russia
• PhD student position in "logics for multi-agent systems", Bergen (Norway), Deadline: 1 Nov 2008

Received: 2008-09-19:

• PhD Student Position in Algorithms, Bergen (Norway), Deadline: 15 October 2008
• 2nd Witten Lectures in Economics and Philosophy, Witten (Germeny), 27/28 Oct 2008
• PhD student position in "Epistemological Aspects of Simulation Based Science", Stuttgart (Germany), Deadline: 15 October 2008
• Workshop on Algoriths and Computation (WALCOM 2009), 18-20 Feb 2009, Kolkata, India

Received: 2008-09-18:

• "Advances in Constructive Topology and Logical Foundations", 60th birthday of Giovanni Sambin, 8-11 October 2008, Padua, Italy
• Tenure-track position in computer science, Haifa (Israel)
• ISAAC 2008 (International Symposium on Algorithms and Computation), 15-17 December 2008, Surfers Paradise, Australia
• 2nd Young Set Theory Workshop, 14-18 April 2009, Bellaterra, Spain

Received: 2008-09-16:

• Mal'tsev Centenary Meeting (Conference on Algebra, Mathematical Logic and Applications), 24-28 August 2009, Novosibirsk, Russia
• KEAPPA (Knowledge Exchange: Automated Provers and Proof Assistants), 22 November 2008, Doha, Qatar
• 20th Nordic Workshop on Programming Theory (NWPT 2008), 19-21 November 2008, Tallinn, Estonia
• Call for Nominations: Sacks Prize for the most outstanding doctoral dissertation in mathematical logic, Deadline: 30 September 2008
• Semester on "Mathematical Logic: Set Theory and Model Theory" at the Mittag-Leffler Institute, Djursholm (Sweden)
• CSR 2009: 4th International Computer Science Symposium in Russia, 18-23 August 2009, Novosibirsk, Russia

Received: 2008-09-14:

• Junior Professorship (W1) in Linguistics, Aachen (Germany), Deadline: 1 October 2008
• Last CfP: Symposium on Logical Foundations of Computer Science (LFCS 2009), 3-6 January 2009, Deerfield Beach FL, U.S.A.
• Call for Symposia and Tutorial Proposals: 13th Annual Meeting for the Scientific Study of Consciousness, 5-8 June 2009, Berlin, Germany
• CfP special issue of JUCS "Computability and Complexity in Analysis", Deadline: 3 November 2008
• Workshop on Collective Epistemology, 3-5 October 2008, Basel, Switzerland
• Tenured position in mathematical logic (preference: model theory or descriptive set theory), Chicago IL (U.S.A.)

Received: 2008-09-10:

• Two postdoctoral positions in "Interdisciplinary Applications of Computer Science", Haifa (Israel)
• Book draft (Cook-Nguyen, "Logical Foundations of Proof Complexity") available for comments
• PhD Studentship in Language Technology, Monash University (Australia), Deadline: 31 Oct 2008
• CfP Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, 17-18 January 2009, Cambridge, U.K.
• Eight postdoctoral positions (2+2y) in computer science, Tallinn (Estonia), Deadline: 30 September 2008
• Special Issue MCS on "Algorithms and Complexity at the Interface of Mathematics and Computer Science", Deadline: 30 Sep 2008

Received: 2008-09-08:

• 2nd London-Paris-Tilburg Workshop in Logic and Philosophy of Science, 24 October 2008, Tilburg, The Netherlands
• 9th Midwest PhilMath Workshop (MWPMW), 8-9 Nov 2008, Notre Dame, U.S.A.
• EPSA 2009 (2nd conference of the European Philosophy of Science Association), 21-24 October 2009, Amsterdam, The Netherlands
• New association "Computability in Europe" formed
• Controlled Natural Languages (CNL 2009), 8-10 June 2009, Marettimo Island, Italy
• Theory and Applications of Models of Computation (TAMC'09), 18-22 May 2009, ChangSha, China

Received: 2008-09-04:

• Pre- or post-doctoral research position in "Learning Science", Luxembourg, Deadline: 1 October 2008

Received: 2008-09-01:

• First European Graduate School: Philosophy of Language, Mind and Science, "The Philosophy of Psychology", November 2008, Bochum (Germany) / Tilburg (The Netherlands)
• NSF Funding Opportunities for Theoretical Computer Science (United States of America)
• 7th International Conference on Logic and Cognition, 10-13 November 2008, Guangzhou, China
• Extension of submission deadline: ESSLLI 2009
• 26th Symposium on Theoretical Aspects of Computer Science (STACS 2009), 26-28 Feb 2009, Freiburg, Germany

Received: 2008-08-27:

• "Julia Robinson and Hilbert's Tenth Problem" with panel discussion, 5 September 2008, New York NY, U.S.A.
• Conference on "Foundations of Mathematics", 3-5 April 2009, New York NY, U.S.A.
• 7th Conference on Formal Concept Analysis (ICFCA 2009), 21-24 May 2009, Darmstadt, Germany
• "What is computation? (How) does nature compute?", 2008 Midwest NKS Conference, Bloomington IN (U.S.A.), 31 Oct - 2 Nov 2008

Received: 2008-08-25:

• Two PhD student positions in "Foundations of Logical Consequence", St. Andrews (Scotland), Deadline: 30 Sep 2008
• 2nd Call for Proposals: ESSLLI 2009 (Bordeaux, 20-31 July 2009)
• Two postdoctoral research fellowships in "Foundations of Logical Consequence", St. Andrews (Scotland), Deadline: 26 Sep 2008

Received: 2008-08-23:

• AISB 2008 Symposium on the Turing Test, Reading (U.K.), 12 Oct 2008
• 4th Asia-Pacific Computing and Philosophy Conference (AP-CAP 2008), 5-7 December 2008, Bangalore, India
• 20th Nordic Workshop on Programming Theory (NWPT'08), 19-21 November 2008, Tallinn, Estonia
• CfPart: Algorithmic Learning Theory (ALT'08), Budapest (Hungary), 13-16 Oct 2008
• W2 Professorship "Sprach- und Wissensverarbeitung", Hannover (Germany); Fachhochschule
• MeCBIC 2008: Membrane Computing and Biologically Inspired Process Calculi, Iasi (Romania), 3-4 Sep 2008

Received: 2008-08-21:

• Symposium: 90th Birthday of Dick de Bruin, Eindhoven (The Netherlands), 5 Sep 2008
• Workshop: Categories, Logic, and Foundations of Physics; Oxford (U.K.), 23-24 August 2008
• Autonomous Agents and Multi-Agent Systems (AAMAS-09), 11-15 May 2009, Budapest, Hungary
• E W Beth Centenary Conference, 15-17 September 2008, Amsterdam, The Netherlands
• Logic-based methods in programming environments (WLPE 2008), Udine (Italy), 9-13 Dec 2008

Received: 2008-08-20:

• Imre Ruzsa (1921-2008)
• PhD student position in Formal Epistemology, Constance (Germany), Deadline: 30 Sep 2008
• W3 Professorship for "Organic Computing", Augsburg (Germany), Deadline: 15 Sep 2008
• DAIMI Workshop on Algebraic Complexity Theory, Aarhus (Denmark), 3-5 Sep 2008
• PhD student grant / postdoctoral grant in philosophy of mind ("Das Gehirn als Beziehungsorgan"), Deadline: 31 August 2008

Received: 2008-08-17:

• W1 Junior Professorship in Linguistics, Aachen (Germany), Deadline: 31 August 2008

Received: 2008-08-15:

• W3 Professorship Philosophy of Science / Analytic Philosophy, Augsburg (Germany), Deadline: 1 Oct 2008
• CfP special issue on "Perspectives and Challenges for Recurrent Neural Networks" (Journal of Algorithms), Extended Deadline: 22 August 2008
• Tenure-track assistant professorship in mathematical logic, Bern (Switzerland), Deadline: 12 Sep 2008
• Book announcement: 100 Years of Intuitionism (van Atten, Boldini, Bourdeau, Heinzmann)
• Four workshops associated to LPAR 2008, 22 November 2008, Doha, Qatar
• 3rd Edition of Epstein-Carnielli, "Computability"

Received: 2008-08-11:

• Conference of the Dutch-Flemish Association for Analytic Philosophy, Tilburg (The Netherlands), 22-23 Jan 2009
• CICLOPS 2008 (Colloquium on Implementation of Constraint and LOgic Programming Systems), Udine (Italy), December 2008
• 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), Tarragona (Spain), 2-8 Apr 2009
• SOFSEM 2009: Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn (Czech Republic), 24-30 Jan 2009

Received: 2008-08-08:

• CfP Special Issue of "Journal of Automated Reasoning" on "Tests and Proofs", Deadline: 30 Sep 2008
• CfPart FORMATS'08: Formal Modelling and Analysis of Timed Systems, Saint-Malo (France), 15-17 September 2008
• "Logic now and then", 5-7 November 2008, Brussels, Belgium

Received: 2008-07-31:

• Full Professorship in Mathematical Computer Science, Aarhus (Denmark), Deadline: 12 August 2008
• Effective Mathematics of the Uncountable (EMU 2008), 18-22 August 2008, New York City NY, U.S.A.
• 5-year research position in mathematical logic, Lisbon (Portugal), Deadline: 10 Sep 2008
• Lectureship in Mathematical Logic, Leeds (U.K.), Deadline: 1 Sep 2008

Received: 2008-07-28:

• CfP: Logic and Heresy in the Middle Ages, 13-16 July 2009, Leeds, U.K.
• 2nd Call for Course Proposals: ESSLLI 2009, 20-31 July 2009, Bordeaux, France
• New editorial team: Journal of Philosophical Logic (Reception at ESSLLI 2008 in Hamburg, 11 August 2008)
• CfPart: CSL 2008, 15-19 September 2008, Bertinoro, Italy
• Symposium on Logical Foundations of Computer Science (LFCS 2009), 3-6 January 2008, Deerfield Beach FL, U.S.A.
• 3-year postdoc position in logic, Ghent (Belgium), Deadline: 31 July 2008

Received: 2008-07-16:

• European Master in Computational Logic, Bolzano, Dresden, Lisboa, Wien, Madrid; Deadline: 22 August 2008
• 2nd Workshop on Human Aspects in Ambient Intelligence (HAI08), 9 December 2008, Sydney, Australia
• 2nd Workshop on Reachability Problems (RP08), 15-17 September 2008, Liverpool, U.K.
• W3 Professorship Computational Linguistics (succession Kamp), Stuttgart (Germany), Deadline: 30 September 2008
• Arche/CSMN Graduate Conference (Philosophy of Language and Mind), Epistemology, Metaphysics), 14-16 November 2008, Oslo, Norway
• CfPart: KR 2008 (Principles of Knowledge Representation and Reasoning), 16-19 September 2008, Sydney, Australia

Received: 2008-07-12:

• "Data - Phenomena - Theories", 11-13 September 2008, Heidelberg, Germany
• 2nd CfP: NatuRes 2008, Karlsruhe (Germany), October 2008

Received: 2008-07-10:

• Phlox Launch Workshop: "Philosophy and Logic of Explanation", 3-5 September 2008, Berlin, Germany
• CfPart: ICTAC 2008, 1-3 September 2008, Istanbul, Turkey
• Richard Karp receives 2008 Kyoto Prize
• 2nd Conference on Artificial General Intelligence (AGI-09), 6-9 March 2009, Arlington VA, U.S.A.
• Philosophy's Relevance in Information Science, Conference, 3-4 October 2008, Paderborn, Germany
• "Armchair in Flames"?", Experimental Philosophy and Critics, Workshop, 22-24 September 2008, Cologne, Germany

Received: 2008-07-09:

• W2 Professorship Theoretical Computer Science, Ilmenau (Germany), Deadline: 1 September 2008
• W2 Professorship in Theoretical Computer Science, Muenchen (Germany), Deadline: 8 August 2008
• Final CfP: Special Issue on "Perspectives and Challenges for Recurrent Neural Networks", Deadline: 18 July 2008
• Mathematical Methods in Philosophy, 19-21 September 2008, Bristol, U.K.
• Assistant Professorship (tenure-track) in Logic / Foundations of Mathematics / Universal Algebra, Bern (Switzerland), Deadline: 12 September 2008
• Postdoctoral fellowship in MML, Monash University (Australia), Deadline: 21 July 2008

Received: 2008-07-04:

• FORMATS'08, Formal Modelling and Analysis of Timed Systems, Saint-Malo (France), 15-17 September 2008
• PhD student and postdoc position on "Cognitive Interaction Technology", Bielefeld (Germany), Deadline: 25 July 2008

Received: 2008-07-02:

• GAMES 2008, Warsaw, 8-11 Sep 2008: Deadline extended to 14 July

Received: 2008-07-01:

• ESSLLI 2008 (Hamburg, Germany): Registration closes today!
• Postdoctoral Researcher in Complexity Theory and Algorithms, Liverpool (U.K.), Deadline: 10 July 2008
• STACS 2009: Symposium on Theoretical Aspects of Computer Science, 26-28 February 2009, Freiburg, Germany

Received: 2008-06-26:

• 21st European Summer School in Logic, Language, and Information (ESSLLI 2009), Call for Course and Workshop Proposals, 20-31 July 2009, Bordeaux, France
• Functional and Constraint Logic Programming (WFLP 2008), 3-4 July 2008, Siena, Italy
• CfPart: IJCAR 2008, 10-15 August 2008, Sydney, Australia
• W2 Professorship Theoretical Computer Science, Ilmenau (Germany), Deadline: 1 September 2008
• CfPart Foundations of Computer Sciences as Logic-Related, Istanbul (Turkey), 30 Aug 2008
• LFCS 2009: Logical Foundations of Computer Science, Deerfield Beach FL (U.S.A.), 3-6 Jan 2009

Received: 2008-06-25:

• Lectureship in Pure Mathematics (Logic priority), Norwich (East Anglia), Deadline: 2 July 2008
• 7th Workshop on Proof Theory, Computation, Complexity (PCC 08), 8-9 August 2008, Oslo, Norway
• QIP 2009, Quantum Information Processing, 12-16 January 2009, Santa Fe NM, U.S.A.
• PhD student positions at the KRDB centre for Knowledge and Data, Bolzano (Italy)

Received: 2008-06-24:

• W1 Junior Professorship in "Information Retrieval", Berlin (Germany), Deadline: 17 July 2008
• WALCOM 2008: Workshop on Algorithms and Computation, Kolkata (India), 18-20 Feb 2008
• W3 Professorship in Computational Philology, Wuerzburg (Germany), Deadline: 18 July 2008
• FSTTCS (Foundations of Software Technology and Theoretical Computer Science) 2008, 9-11 December 2008, Bangalore, India
• Postdoctoral or PhD student position in philosophy (logic & cognition), Duesseldorf (Germany), Deadline: 31 July 2008
• Symposium to celebrate Alan Bundy's 60th birthday, 13-14 July 2008, Edinburgh, Scotland

Received: 2008-06-22:

• W1 Junior Professorship in "Theory of Computer Science", Frankfurt (Germany), Deadline: 10 July 2008
• PhD student position, postdoc position in "Methods for Discrete Structures", Berlin (Germany), Deadline: 30 June 2008
• Four PhD student positions in "Social Software", Tuebingen (Germany), Deadline: 31 July 2008
• Final CfP ISAAC 2008, Gold Coast (Australia), 15-17 Dec 2008
• PhD student position (50% BAT IIa) on "Diagrammatical Origins of Reason", Berlin (Germany), Deadline: 26 June 2008
• 2nd CfP: LaSh (Logic and Search), 6-7 November 2008, Leuven, Belgium

Received: 2008-06-18:

• CfPart CL&C (Classical Logic and Computation), 13 July 2008, Reykjavik, Iceland
• AiML 2008: Nancy (France), 9-12 September 2008
• 2nd meeting on Membrane Computing and Biologically Inspired Process Calculi, Iasi (Romania), 3-4 Sep 2008
• Newton International Fellowship for postdoctoral researchers to come to the UK

Received: 2008-06-16:

• CLA 2008, 21-23 October 2008, Olomouc, Czech Republic
• REMINDER: Colloquium Logicum 2008, 10-12 September 2008, Darmstadt, Germany

Received: 2008-06-04:

• MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, 27-31 October 2008, Mexico City, Mexico
• LaSh08, Workshop on Logic and Search, Leuven (Belgium), 6-7 Nov 2008

Received: 2008-06-02:

• PhD student position Theoretical Philosophy, Utrecht (The Netherlands), Deadline: 15 June 2008
• 9th Conference on Deontic Logic in Computer Science (DEON 2008), Luxembourg, 15-18 July 2008
• 2nd Workshop on Human Aspects in Ambient Intelligence (HAI 2008), 9 December 2008, Sydney, Australia

Received: 2008-05-30:

• Game Theory in Communication Networks (GameComm 2008), 20 October 2008, Athens, Greece
• 2y postdoctoral research fellowship "Foundations for Agent Systems", Canberra (Australia), Deadline: 6 June 2008
• 2nd CfP and Extension of Deadline: LPAR 2008, 23-27 November 2008, Doha, Qatar
• Lectureship in Human-Computer Interaction, London (U.K.), Deadline: 29 June 2008
• PhD scholarship "Language and Mind", Erfurt (Germany), Deadline: 12 July 2008
• 3rd CfP: CCA 2008, 21-24 August 2008, Hagen, Germany

Received: 2008-05-28:

• European Masters Programme in Computational Logic: Lisbon/Bolzano/Dresden/Wien/Madrid
• BLAST (Boolean Algebras, Lattice Theory, Algebra, Set Theory, Topology), Denver CO (U.S.A.), 6-10 August 2008; Last Call for Abstract Submission
• New book: Kohlenbach, Applied Proof Theory
• NatuReS 2008 (Nature Inspired Reasoning for the Semantic Web), Karlsruhe (Germany), October 2008
• LICS 2008 (Logic in Computer Science), 24-27 July 2008, Pittsburgh PA, U.S.A.

Received: 2008-05-25:

• Trends in Logic VI: Logic and the foundations of physics, 11-12 December 2008, Brussels, Belgium
• Formal Modeling in Social Epistemology, 9-10 October 2008, Tilburg, Netherlands
• Logic Colloquium 2008 (extended deadline for early registration), 3-8 July 2008, Bern, Switzerland
• "Knowledge, Representation, and Learning", 28-29 August 2008, Bonn, Germany

Received: 2008-05-22:

• Full Professorship in Theory/Culture of Knowledge and Science, Luzern (Switzerland), Deadline: 15 July 2008
• Knowledge Representation Ontology Workshop (KROW 2008), 16-19 September 2008, Sydney, Australia
• Logischer Empirismus, Werte und Moral, 4-5 July 2008, Salzburg, Austria
• W3 Professorship in Sociology of Science, Bielefeld (Germany), Deadline: 25 June 2008
• 3rd International Lauener Symposium on Analytical Philosophy, 30 May 2008, Bern, Switzerland
• Associate Professorship in Ethics and Technology, Eindhoven (The Netherlands), Deadline: 15 June 2008

Received: 2008-05-21:

• NICSO 2008: Nature Inspired Cooperative Strategies for Optimization, Puerto de La Cruz / Tenerife (Spain), 12-14 November 2008
• Frege Lecture in Theoretical Philosophy 2008: Paul Boghossian, 10-13 June 2008, Tartu, Estonia
• Two PhD student positions on "Infinitas Dei", Bochum (Germany), Deadline: 6 June 2008
• Ruth Barcan Marcus wins Lauener Prize for an Outstanding Oeuvre in Analytical Philosophy (29 May 2008, Bern, Switzerland)

Received: 2008-05-20:

• 3rd CfP: Tenth Asian Logic Conference ALC 10, Kobe (Japan), 1-6 Sep 2008
• Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney (Australia), 17 Sep 2008

Received: 2008-05-14:

• CIMCA (Computational Intelligence for Modelling, Control and Automation), 10-12 December 2008, Vienna, Austria
• Games 2008, Warsaw (Poland), 8-11 Sep 2008
• PhD scholarship in Multi-Agent Systems (CS), Montpellier (France), Deadline: 30 May 2008

Received: 2008-05-13:

• CATS 2009 (Computing: The Australasian Theory Symposium), Wellington (New Zealand), 20-23 Jan 2009
• "The Making of the Humanities", 23-25 October 2008, Amsterdam, The Netherlands
• Colloquium Logicum 2008, Darmstadt (Germany), 10-12 Sep 2008
• ABCDmu-Calculus (AutoMathA Brainstorming and Cooperation Days on Mu-Calculus), 28-29 May 2008, Lausanne, Switzerland
• 2nd Workshop on Reachability Problems (RP'08), Liverpool (U.K.), 15-17 Sep 2008

Received: 2008-05-12:

• Deadline extension: 4th Workshop in Neural-Symbolic Learning and Reasoning, Patras (Greece), July 2008
• Professorship for General Linguistics, Vienna (Austria), Deadline: 15 July 2008
• CfPart "Graph-Theoretic Concepts in Computer Science", Durham (U.K.), 30 Jun - 2 Jul 2008
• ISSAC 2008 "Symposium on Symbolic and Algebraic Computation", 20-23 July 2008, Hagenberg, Austria
• CfP: Special issue of "Journal of Algorithms in Cognition, Informatics and Logic" on Perspectives and Challenges for Recurrent Neural Networks, Deadline: 18 July 2008
• Interdisciplinary Professorship in "Cognitive Informatics" (Psychology / CS), Vienna (Austria), Deadline: 15 June 2008

Received: 2008-05-08:

• Visiting Assistant Professor in "American Philosophy and Logic" (1 year), Eugene OR (U.S.A.), reviewing started 5 May!
• Adjunct logic teaching (part time, fall 2008) in philosophy, Greenville PA (U.S.A.)
• 3rd Indian Conference on Logic and its Application, Chennai (India), 7-11 Jan 2009

Received: 2008-05-07:

• Workshop on Joint Attention, 15-16 August 2008, Bochum, Germany
• Logic of change, change of logic, Prague (Czech Republic), 10-14 September 2008: Deadline extension

Received: 2008-05-05:

• Early registration deadline: CiE 2008 (Athens, 15-20 June 2008)
• PhD student workshop on philosophy of language and analytical metaphysics, 25-27 September 2008, Regensburg, Germany
• IJCAR (International Joint Conference on Automated Reasoning), 10-15 August 2008, Sydney, Australia
• What (good) is historical epistemology?, 25-26 July 2008, Berlin, Germany

Received: 2008-05-02:

• Sixth Conference on Concept Lattices and their Applications, 21-23 October 2008, Olomouc, Czech Republic
• ESARM (Empirical Successful Automated Reasoning for Mathematics), 26 July - 2 August 2008, Birmingham, U.K.
• 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2-4 July 2008, Gothenburg (Sweden)
• CEDAR'08 (Complexity, Expressibility, and Decidability in Automated Reasoning), 10-15 August 2008, Sydney, Australia

Received: 2008-04-30:

• W3 Professorship in Theoretical Philosophy (Philosophy of Mind), Magdeburg (Germany), Deadline: 13 June 2008
• Set Theory, Topology, and Banach Spaces, 7-11 July 2008, Kielce, Poland
• W3 Professorship Theoretical Philosophy (Philosophy of Language), Potsdam (Germany), Deadline: 28 May 2008
• 2008-09 ASL Winter Meeting (with APA), Philadelphia PA (U.S.A.), 27-30 Dec 2008
• Bertinoro International Summer School of Natural Computation, BNC 2008, Bertinoro (Italy), 20-27 Sep 2008
• Call for Proposals: 2010 AMS-ASL Joint Session

Received: 2008-04-29:

• Summer School on Algorithmic Randomness, 9-19 June 2008, Gainesville FL, U.S.A.
• Workshop on Mathematical Practices, 16-17 June 2008, Sevilla, Spain
• WFLP 2008 (17th Workshop on Functional and Constraint Logic Programming), 3-4 July 2008, Siena, Italy
• ASL Winter Meeting 2008-09 (with JMM), Washington DC (U.S.A.), 5-8 Jan 2009
• Call for Nominations: 2008 Sacks Prize

Received: 2008-04-28:

• 15th Workshop on Logic, Languages, Information and Computation (WoLLIC 2008), 1-4 July 2008, Edinburgh, Scotland
• New book: FotFS V proceedings volume "Infinite Games"
• Graduate Philosophy Conference on Normativity, 29-30 August 2008, Amsterdam, The Netherlands
• three PhD student positions in theoretical CS, Stockholm (Sweden), Deadline: 16 May 2008

Received: 2008-04-23:

• Logic Colloquium 2008, Bern (Switzerland), 3-8 July 2008 [Deadline: 28 April 2008]
• LOGIC list mailing archive online

Received: 2008-04-22:

• PhD student position in Natural Language Generation, Nancy (France), Deadline: 15 May 2008
• 2008 AAAI Symposium on Automated Scientfic Discovery: Place & Date: unknown
• ESSLLI Early Registration Deadline: 1 May 2008
• Three PhD student positions in Computer Science, Liverpool (U.K.)
• Associate / Full Professorship ICT, Faroe Islands, Deadline: 30 April 2008

Received: 2008-04-20:

• W3 Professprship "Algorithmics", Stuttgart (Germany), Deadline: 9 June 2008
• Mathematics of Program Construction (MPC 2008), Marseille/Luminy (France), 15-18 July 2008
• Game Theory Day at CWI, 27 May 2008, Amsterdam, The Netherlands

Received: 2008-04-17:

• Visiting Assistant Professorship in Philosophy (formal logic teaching), Eugene OR (U.S.A.), Deadline: 5 May 2008
• Junior Professorship (W1) in Philosophy of Science, Karlsruhe (Germany), Deadline: 9 May 2008
• Principal Investigator of "Fondazione Lars Magnus Ericsson"; area open, but with impact on telecommunications
• Two one-year part-time positions (assistant professor), teaching logic, Wellesley MA (U.S.A.), Deadline: 21 April 2008
• 2nd CfP: CCA 2008 (Computability and Complexity in Analysis), 21-24 August 2008, Hagen, Germany

Received: 2008-04-16:

• Logical Pluralism, 27-31 August 2008, Tartu, Estonia
• Formal Ontologies Meet Industry (FOMI 2008), 5-6 June 2008, Torino, Italy
• QICS Workshop on "Foundational Structures for Quantum Information and Computation", 14-20 September 2008, Obergurgl, Austria
• Assistant Professorship (tenure track) in Philosophy of Science and Technology, Eindhoven (The Netherlands), Deadline: 26 April 2008
• 24th International Conference on Logic Programming (ICLP'08), 9-13 December 2008, Udine, Italy
• 6th International Conference on Concept Lattices and Their Applications, 21-23 October 2008, Olomouc, Czech Republic

Received: 2008-04-11:

• 5th International Conference on Computability and Complexity in Analysis (CCA 2008), 21-24 August 2008, Hagen, Germany
• Formal Modelling and Analysis of Timed Systems (FORMATS 2008), Saint-Malo (France), 15-17 September 2008
• ICLP 2008 (International Conference on Logic Programming), 9-13 December 2008, Udine, Italy
• GSSPP 2008 (Geneva Summer School in the Philosophy of Physics), 29 July - 2 August 2008, Geneva, Switzerland
• PAuL 2008 (Probabilistic Automata and Logics), 6 July 2008, Reykjavik, Iceland

Received: 2008-04-10:

• "Reliable Knowledge and Social Epistemology", 19-20 May 2008, Duesseldorf, Germany
• FotFS VII "Bringing together Philosophy and Sociology of Science", 21-24 October 2008, Brussels, Belgium
• DCFS 2008 (Descriptional Complexity of Formal Systems), 16-18 July 2008, Prince Edward Island, Canada
• CfP special issue of "dialectica" on "The Metaphysics of Vectors", deadline: 1 October 2008
• Postdoctoral position on "Continuous time models of computations", Nancy (France)
• ALT 2008 (Algorithmic Learning Theory), 13-16 October 2008, Budapest, Hungary

Received: 2008-04-08:

• Five research fellowships at the Zukunftskolleg Konstanz, Konstanz (Germany), Deadline: 31 May 2008
• Cooperative Information Agents (CIA 2008), 10-12 September 2008, Prague, Czech Republic
• Unconventional Computation (UC 2008), 25-28 August 2008, Vienna, Austria
• Inaugural Lecture Leibniz-Professorship, Leipzig (Germany), Robert Brandom: "How Analytic Philosophy has failed Cognitive Science", 23 April 2008
• NeSy08 (4th International Workshop on Neural-Symbolic Learning and Reasoning), Patras (Greece), July 2008
• JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), Dresden (Germany), 28 Sep - 1 Oct 2008

Received: 2008-04-07:

• Workshop "Worlds, Times, and Things", 8 May 2008, Frankfurt, Germany
• ICCL Summer School: Computational Logic and Cognitive Science, Dresden (Germany), 24 Aug - 6 Sep 2008
• Summer school "Emergence and Reductionism", 5-9 May 2008, Tuebingen, Germany
• BLAST 2008 (Boolean Algebra, Lattice Theory, Algebra, Set Theory, Topology), 6-10 August 2008, Denver CO, U.S.A.
• Fifth International Symposium on Neural Networks (ISNN 2008), Beijing (China), 24-28 Sep 2008
• 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), Doha (Qatar), 22-27 Nov 2008

Received: 2008-04-05:

• ALC 10 (Asian Logic Conference) and Set Theory Satellite Workshop, Kobe & Kyoto (Japan), 25 Aug - 6 Sep 2008
• Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney (Australia), 16-19 Sep 2008
• E W Beth Dissertation Prize: Call for nominations
• Professorship in Philosophy (also Phil of Language, Phil of Technology), Klagenfurt (Austria), Deadline: 23 May 2008
• Deadline Extension: Second Workshop in Decisions, Games and Logic, Amsterdam (The Netherlands), 30 Jun - 2 Jul 2008
• PCC'08: Proof Theory, Computation, Complexity, 8-9 August 2008, Oslo, Norway

Received: 2008-03-27:

• CSL 2008 (Computer Science Logic), Bertinoro / Bologna (Italy), 15-20 September 2008
• CfP: Special Issue of Fundamenta Informaticae: "Machines, Computations and Universality", Deadline: 10 April 2008
• 8th Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms, 4 May 2008, Haifa (Israel)
• Third Conceptual Structures Tool Interoperability Workshop, 7 July 2008, Toulouse, France
• Assistant/Associate Professor Position in Logic, Technical University of Denmark, Deadline: 23 April 2008
• STOC 2008: 40th Annual ACM Symposium on Theory of Computing, 17-20 May 2008, Victoria BC, Canada

Received: 2008-03-24:

• CiE 2008: Call for Grant Applications, deadline: 2008-04-15
• PhD student position in Information Systems (Logic and Complexity and other areas), Oxford (U.K.), Deadline: 30 April 2008
• Logic Colloquium 2008, 3-8 July 2008, Bern, Switzerland
• PAAR-2008: Practical Aspects of Automated Reasoning, Sydney (Australia), 10-11 Aug 2008
• ICCL Summer School 2008: Computational Logic and Cognitive Science, 24 August - 6 September 2008, Dresden, Germany
• Advances in Modal Logic, 9-12 September 2008, Nancy, France

Received: 2008-03-21:

• Brazilian Symposium on Formal Methods, Salvador, 26-29 August 2008, Bahia, Brazil
• Annual Conference of the Australasian Association for Logic, 12-13 April 2008, Auckland, New Zealand
• Doctoral, post-doctoral and other fellowship opportunities, "Ideals of Proofs", France & Notre Dame
• 3rd International Computer Science Symposium in Russia, 7-12 June 2008, Moscow, Russia
• 10th European Agent Systems Summer School, 5-9 May 2008, Lisbon, Portugal
• APPROX and RANDOM 2008, 25-27 August 2008, Cambridge MA, U.S.A.

Received: 2008-03-20:

• Journal of Symbolic Computation special issue on "Automated Deduction", deadline: 6 April 2008
• IJAACS special issue on "Algorithmic Game Theory", deadline: 31 March 2008
• Ultramath 2008 ("Applications of Ultrafilters and Ultraproducts in Mathematics"), 1-7 July 2008, Pisa, Italy
• Junior Professorship (W1) in "Philosophy of Simulation", Stuttgart (Germany)
• "Logic of change, change of logic", 10-14 September 2008, Prague, Czech Republic
• "Game Theory in Communication Networks", 20 October 2008, Athens, Greece

Received: 2008-03-18:

• PhD student position in Philosophy of Science, Epistemology or Logic, Hamburg (Germany), Deadline: 25 March 2008
• Workshop "Reduction, Emergence, and Physics", 9 April 2008, Tilburg, The Netherlands
• CiE 2008, Call for Informal Presentations, 15-20 June 2008, Athens, Greece
• David Gale (1921-2008)
• 3rd Cologne Summer School in Philosophy: "Meaning and its Place in Nature" (Ruth Garrett Millikan), 28 Jul - 1 Aug 2008
• 7th Iberoamerican Conference on Topology and its applications, 25-28 June 2008, Valencia, Spain

Received: 2008-03-15:

• 2nd CfP: Text, Speech and Dialogue, 8-12 September 2008, Brno, Czech Republic
• "Logic and Mathematics 2008", 19-20 April 2008, Urbana IL, U.S.A.
• W2-Professorship Theoretical Computer Science, Fachhochschule Bingen (Germany), Deadline: 11 April 2008
• International Conference on Natural Computing / International Conference on Fuzzy Systems and Knowledge Discovery, 25-27 August 2008, Jinan, China
• ICLP08 (International Conference on Logic Programming), 9-13 December 2008, Udine, Italy
• Advancing Reasoning on the Web: Scalability and Commensense (Area 2008), 1 June 2008, Tenerife, Spain

Received: 2008-03-13:

• Logic and Search, 6-7 November 2008, Leuven, Belgium
• CfP: Special Issue on "Perspectives and Challenges for Recurrent Neural Networks" of "Journal of Algorithms in Cognition, Informatics, and Logic"
• Workshop "Modal Fixpoint Logics", 25-27 March 2008, Amsterdam, The Netherlands
• Postdoc and programmer position, "Model-Checking Logics", Sydney (Australia)
• Classical Logic and Computation, 13 July 2008, Reykjavik, Iceland
• Assistant/Associate Professorship in Algorithms/Logic, Technical University Denmark

Received: 2008-02-29:

• 2nd CfP (extended deadline): "Classical Logic and Computation", 13 July 2008, Reykjavik, Iceland
• W3 Professorship Theoretical Philosophy, Konstanz (Germany), Deadline: 11 April 2008
• 11th Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Doctoral Symposium, Sydney (Australia), 16-19 Sep 2008
• 9th workshop on coalgebraic methods in computer science, 4-6 April 2008, Budapest, Hungary

Received: 2008-02-28:

• 49th IEEE Symposium on Foundations of Computer Science (FOCS 2008), 26-28 October 2008, Philadelphia PA, U.S.A.
• Summer Internship in Language and Speech Processing, Baltimore MD (U.S.A.), Deadline: 5 March 2008
• 15th Symposium on Formal Methods (FM'08), 26-30 May 2008, Turku, Finland
• First Formal Epistemology Festival, 28-30 July 2008, Konstanz, Germany
• 17th Workshop on Funcational and Logic Programming, 3-4 July 2008, Siena, Italy

Received: 2008-02-27:

• Professorship in Theoretical Computer Science, Tartu (Estonia), Deadline: 3 March 2008
• Postdoctoral position in philosophy (of science), 1/2 year, possibly extendible for 3 years; Bonn (Germany), Deadline: 15 March 2008
• Probabilistic Automata and Logics (PAuL 2008), 6 July 2008, Reykjavik, Iceland
• Extension of deadline: LOFT 2008 ("Logic and the Foundations of Game and Decision Theory"), 3-5 July 2008, Amsterdam, The Netherlands

Received: 2008-02-25:

• AISB Convention: "Communication, Interaction and Social Intelligence", 1-4 April 2008, Aberdeen, Scotland
• LOFT 2008 (Logic and the Foundations of Game and Decision Theory), 3-5 July 2008, Amsterdam, The Netherlands
• Russell'08, Proof Theory meets Type Theory, 15-16 March 2008, Swansea, Wales
• 2nd workshop on reachability problems (RP08), 15-17 Sep 2008, Liverpool (U.K.)

Received: 2008-02-23:

• M.A. Programme in Reasoning, Canterbury (U.K.)
• STOC (Symposium for the Theory Of Computing) 2008 Student Travel Awards; Deadline: 21 March 2008
• Logical and Semantic Frameworks, 26 August 2008, Salvador, Brazil
• CfP Special issue on "Hybrid Logic" in JoLLI, Deadline: 1 Mar 2008

Received: 2008-02-21:

• 19th Workshop on Combinatorial Algorithms (IWOCA 2008), Nagoya (Japan), 13-15 Sep 2008
• Five PhD studentships in Theoretical Computer Science, Kent (U.K.), Deadline:
• Summer School in Algorithmic Randomness, 9-20 June 2008, Gainesville FL, U.S.A.
• Logical Frameworks and Meta-Languages (LFMTP 2008), 23 June 2008, Pittsburgh PA, U.S.A.
• New book: "Modalities and Multimodalities"

Received: 2008-02-18:

• UC 2008 (7th Conference on Unconventional Computation), 25-28 August 2008, Vienna, Austria
• Graduate Conference "Philosophy of Probability", 27-28 June 2008, London, U.K.
• "An den Grenzen der Wissenschaft", 20-21 November 2008, Leipzig, Germany
• Intuitionistic Modal Logic and Applications (IMLA'08), 23 June 2008, Pittsburgh PA, U.S.A.
• Logic meeting (Cameleon) in Cambridge (U.K.), 23 April 2008
• AiML-2008 (Advances in Modal Logic), Nancy (France), 9-12 Sep 2008

Received: 2008-02-17:

• 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), 1-4 July 2008, Edinburgh, Scotland
• 13th Conference on Implementtion and Application of Automata (CIAA), 21-24 July 2008, San Francisco CA, U.S.A.
• Final CfP: 5th CSLP 2008, "Constraints and Language Processing", 11-15 August 2008, Hamburg, Germany
• Diagrams 2008, Herrsching (Germany), 19-21 Sep 2008
• AITA 2008, Architectures for Intelligent Theory-Based Agents, 26-28 March 2008, Stanford CA, U.S.A.

Received: 2008-02-15:

• NVTI Theory Day 2008, 14 March 2008, Utrecht, The Netherlands
• "Logic and Mathematics 2008", Urbana-Champaign IL (U.S.A.), 19-20 April 2008
• extended deadline: ESSLLI student session
• W3 Professorship Algorithms and Complexity, Berlin (Germany), Deadline: 13 March 2008
• W2-Professorship in Mathematical Logic, Muenster (Germany), Deadline: 31 March 2008
• Assistant Professorship in Theoretical Computer Science, ETH Zuerich (Switzerland), Deadline: 30 April 2008

Received: 2008-02-13:

• "Strategies in Argumentation", 14-15 February 2008, Groningen, Netherlands

Received: 2008-02-12:

• Logic Colloquium 2008, 3-8 July 2008, Bern, Switzerland
• "Formal and experimental approaches to discourse particles and modal adverbs", Hamburg (Germany), 4-8 Aug 2008
• GLLC 15: "The Dynamics of Preferences and Intentions", Amsterdam (The Netherlands), 26-28 Feb 2008
• 6th conference on Concept Lattices and their Applications, 21-23 October 2008, Olomouc, Czech Republic
• Workshop on Logic and Intelligent Interaction, 11-15 August 2008, Hamburg, Germany

Received: 2008-02-11:

• Special issue on "The Generosity of Formal Languages" appeared in the Journal of Indian Philosophy
• 20th Tarski Lectures: Yiannis Moschovakis, Berkeley CA (U.S.A.), 3-7 Mar 2008
• Keith Devlin wins Carl Sagan Prize for Science Popularization
• 11th Conference on Text, Speech and Dialogie (TSD 2008), 8-12 September 2008, Brno, Czech Republic

Received: 2008-02-10:

• Workshop "Dynamics in Logic", Hamburg (Germany), 4-8 Augut 2008
• Midwest Model Theory Conference, 5-6 April 2008, Chicago IL, U.S.A.
• 5th Workshop on ModelChecking and Artificial Intelligence (MoChArt-2008), 21-22 July 2008, Patras, Greece
• Associate Professorship in Formal Methods, Bologna (Italy), Deadline: 15 March 2008
• PhD student position computational logic (3y + 2y), Dresden (Germany), Deadline: 28 Feb 2008

Received: 2008-02-07:

• Annual Conference of the Australasian Association for Logic 2008, 12-13 April 2008, Auckland, New Zealand
• Visiting positions in computer science, Cyprus, Deadline: 31 Mar 2008
• Workshop on "Quantum Physics and Logic" (QPL08), 12-13 July 2008, Reykjavik, Iceland
• Call for nominations: Game theory and computer science Prize, Deadline: 15 Feb 2008
• 5th International Workshop on Constraints and Language Processing (CSLP2008), Hamburg (Germany), 11-15 Aug 2008
• PhD student position in set theory, Muenster (Germany), Deadline: 14 March 2008

Received: 2008-02-02:

• Last CfP: ESSLLI 2008 Student Session, 4-15 August 2008, Hamburg, Germany
• IJCAR 2008 (4th International Joint Conference on Automated Reasoning), 10-15 August 2008, Sydney, Australia
• Rene Descartes Lectures & Pragmatism and Naturalism Workshop, 7-9 May 2008, Tilburg, The Netherlands
• "Defining Thoughts", 5-7 June 2008, Bochum, Germany

Received: 2008-02-01:

• 10th International Conference on p-adic and non-archimedean analysis, Ann Arbor MI (U.S.A.), 30 Jun - 3 Jul 2008
• "Theoretical Frameworks and Empirical Underdetermination", 10-12 April 2008, Duesseldorf, Germany
• 6th International Summer School in Formal Languages and Applications, Tarragona (Spain), 21 Jul - 2 Aug 2008
• Workshop "Concepts and Abilities", 30-31 May 2008, Zuerich, Switzerland
• Satisfiability Modulo Theories, SMT 2008, 7-8 July 2008, Princeton NJ, U.S.A.
• Temporary professorship (W2; 5 years) in Applied Logic, Darmstadt (Germany), Deadline: 14 Feb 2008
• 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Istanbul (Turkey), 1-3 Sep 2008

Received: 2008-01-31:

• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008), 7 July 2008, Toulouse, France
• Boise Extravaganze in Set Theory, 28-30 March 2008, Boise ID, U.S.A.
• Russell 2008, Proof Theory meets Type Theory, 15-16 March 2008, Swansea, Wales
• Vagueness Workshop, Charmey (Switzerland), 13-16 June 2008 [Registration deadline TODAY!]
• 10th Asian Logic Conference (ALC10), 1-6 September 2008, Kobe, Japan
• Colloquium Logicum 2008, 10-12 September 2008, Darmstadt, Germany

Received: 2008-01-30:

• GLoRiClass Halftime Event, Amsterdam (The Netherlands), 13 Feb 2008
• NeSy 2008 (4th International Workshop on Neural-Symbolic Learning and Reasoning), Patras (Greece), July 2008
• Logic Colloquium 2008, 3-8 July 2008, Bern, Switzerland
• Fall School in Logic and Complexity, 22-26 September 2008, Prague, Czech Republic
• Epistemic Agency Conference, 26-27 April 2008, Geneva, Switzerland
• DGL08: 2nd Workshop in Decisions, Games and Logic, 30 June - 2 July 2008, Amsterdam, The Netherlands

Received: 2008-01-29:

• 5th International Workshop on Rough Sets and Hybrid Intelligent Systems, 29 March 2008, Cairo, Egypt
• Israel CS Theory Day, 17 March 2008, Raanana, Israel
• Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM), 26 July - 2 August 2008, Birmingham, U.K.
• Lectureship in Philosophy (Cognitive Science / Wittgenstein), Norwich (U.K.), Deadline: 15 Feb 2008
• Carnegie Mellon Summer School in Logic and Formal Epistemology, 9-27 June 2008, Pittsburgh PA, U.S.A.
• WissPhil 2008: "Was ist Wissenschaft?", 17-19 March 2008, Bonn, Germany

Received: 2008-01-28:

• University Lectureship in Philosophy of Science, Cambridge (U.K.), Deadline: 29 Feb 2008
• new book: "Foundation of Decision-making agents: Logic, Probability and Modality"
• Computer Science Logic 2008 (CSL 2008), Bertinoro (Bologna), Italy, 15-20 September 2008
• Ultramath 2008 ("Applications of Ultrafilters and Ultraproducts in Mathematics"), 1-7 June 2008, Pisa, Italy

Received: 2008-01-27:

• Tenure-track position in algorithmic game theory, Amsterdam (The Netherlands)
• Final CfP ICALP'08, 6-13 July 2008, Reykjavik, Iceland
• RTA 2008: Rewriting Techniques and Applications, 15-17 July 2008, Hagenberg, Austria
• W3 Professorship in Mathematical Logic, Freiburg (Germany), Deadline: 15 March 2008
• Postdoctoral position in algorithmic mechanism design (1y), Amsterdam (Netherlands), Deadline: 15 March 2008

Received: 2008-01-24:

• PohlersFest 2008, 17-18 July 2008, Muenster, Germany
• NSF Call for Proposals in Theoretical Foundation 2008, Deadline: March 19, 2008
• WoLLIC 2008, 15th Workshop on Logic, Language, Information and Computation, 1-4 July 2008, Edinburgh, Scotland
• 2nd CfP: AiML-2008, Nancy (France), 9-12 Sep 2008

Received: 2008-01-16:

• 2nd CfP AiML-2008: Advanced in Modal Logic, 9-12 September 2008, Nancy, France
• Brazilian events in logic (7-17 May 2008); Extended Deadline: 15 Feb 2008
• DALT 2008: 6th International Workshop on Declarative Agent Languages and Technologies, Estoril (Portugal), 12 or 13 May 2008
• "Women in Theory" (WIT) Workshop, 14-18 June 2008, Princeton NJ, U.S.A.
• CP 2008: 14th International Conference on Principles and Practice of Constraint Programming, 14-18 September 2008, Sydney, Australia

Received: 2008-01-15:

• Canada Research Chair in Computer Science, focus on theory, Vancouver BC (Canada), Deadline: 15 March 2008
• Deadline Extension: DEON 2008, Luxembourg, 15-18 Jul 2008
• Workshop on Boolean Functions in memory of Peter Hammer, Haifa (Israel), 28-31 Jan 2008
• Final Announcement: CMCS 2008 (Coalgebraic Methods in Computer Science), 4-6 April 2008, Budapest, Hungary
• Faculty position in "Mathematics for Computer Science" (Complexity Theory), Crete (Greece), Deadline: 4 Feb 2008

Received: 2008-01-14:

• Research Associate in Computational Intelligence, Bremen (Germany)
• Deadline Extension "Logic and the Simulation of Interaction and Reasoning", 3-4 April 2008, Aberdeen, Scotland
• Proof Theory meets Type Theory, 15-16 March 2008, Swansea, Wales
• Very informal gathering of logicians, Los Angeles CA (U.S.A.), 1-3 Feb 2008
• PhD sudent position (3y) in algorithms, Bristol (U.K.), Deadline: 8 Feb 2008

Received: 2008-01-09:

• Final Call for Papers & Deadline Extension: AISB Symposium on "Logic and the Simulation of Interaction and Reasoning"
• AISB (Society for the Study of Artificial Intelligence and the Simulation of Behaviour) Convention 2008, 1-4 April 2008, Aberdeen, Scotland
• 21st International Workshop on Description Logics (DL'08), 13-16 May 2008, Dresden, Germany

Received: 2008-01-06:

• 12th Annual meeting of the Association for the scientific study of consciousness, 19-22 June 2008, Taipei, Taiwan
• 24th International Conference on Logic Programming (ICLP'08), 9-13 December 2008, Udine, Italy

Received: 2008-01-05:

• Tenure-track assistant professorship in medieval philosophy/logic, Christopher Newport University, Newport News VA (U.S.A.), Deadline: 15 Jan 2008
• FAW 2008: Frontiers of Algorithmics, 19-21 June 2008, Changsha, China
• APA funds for projects benefitting the philosophy profession
• Extended deadline: CiE 2008 (14 Jan 2008)

Received: 2008-01-04:

• SIAAS-08: Swarm Intelligence Algorithms, 3-4 April 2008, Aberdeen, Scotland
• 50 PhD scholarships in Informatics, Edinburgh (Scotland)
• Postdoctoral position in Markov chain algorithms (2y), Liverpool (U.K.), Deadline: 1 Feb 2008
• Postdoctoral position in coalgebraic logic (3y), Imperial College, London (U.K.), Deadline: 15 Jan 2008
• 17th European Symposium for Medieval Logic and Semantics, 3-7 June 2008, Leiden, The Netherlands

Received: 2008-01-03:

• Postdoctoral position in systematic philosophy (3y), Bielefeld (Germany), Deadline: 14 Jan 2008
• Postdoctoral Positions in Algorithmics, Saarbruecken (Germany), Deadline: 31 January 2008
• PhD student positions in algorithmics, Saarbruecken (Germany)
• Five postdoctoral fellowships in the Zukunftskolleg, Konstanz (Germany), Deadline: 31 January 2008
• Rosalind Frankling Fellowships (tenure-track for female researchers), Groningen (The Netherlands), Deadline: 15 January 2008
• Logic, Algebra and Truth Degrees 2008, 8-11 September 2008, Siena, Italy
• 2nd CfP: ESSLLI 2008 Student Session, 4-15 August 2008, Hamburg, Germany

Received: 2008-01-01:

• Postdoctoral position in computational linguistics, Nancy (France), Deadline: 15 Feb 2008

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