[LOGIC] List Mailing Archive 2007

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: 2007-12-30:

• Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh PA, U.S.A.
• 6th European Congress of Analytic Philosophy, 21-26 August 2008, Krakow, Poland

Received: 2007-12-25:

• Cooperative Information Agents (CIA) 2008, Prague (Czech Republic), 10-12 Sep 2008
• CfP Special Issue on "Automated Deduction" in the Journal of Symbolic Computation, Deadline: 6 April 2008
• 7th Iberoamerican Conference on Topology and its Applications (CITA 2008), 25-28 June 2008, Valencia, Spain

Received: 2007-12-24:

• CCA 2008: Computability and Complexity in Analysis, 21-24 August 2008, Hagen, Germany
• CiE 2008, Final Call for Papers, 15-20 June 2008, Athens, Greece
• Text, Speech, and Dialogue (TSD 2008), 8-12 September 2008, Brno, Czech Republic
• "Logic and the Simulation of Interaction and Reasoning", 3-4 April 2008, Aberdeen, Scotland
• Two junior and one senior faculty positions in computer science, University of New Mexico
• Colloquium for Wilfried Buchholz's 60th Birthday, 4-5 April 2008, Munich, Germany

Received: 2007-12-21:

• Postdoctoral Position (3y) in philosophy and neuroscience, Berlin (Germany)
• Workshop "Logic and Intelligent Interaction", 11-15 August 2008, Hamburg, Germany
• Postdoctoral position (3y) in philosophy (systematic), Bielefeld (Germany), Deadline: 14 Jan 2008
• Three logic events in Brazil: 30th anniversary of the "Centre for Logic", Brazilian Logic Conference, XIVth Latin-American Symposium on Mathematical Logic, Brazil, 11-17 May 2008
• 13th Estonian Winter School in Computer Science, 2-7 March 2008, Palmse, Estonia

Received: 2007-12-19:

• "Dynamics in Logic", 4-8 August 2008, Hamburg, Germany
• Postdoctoral position (Computability Theory / Complexity Theory; 3y), Greifswald (Germany), Deadline: 31 Jan 2008
• ESSLLI 2008 Newsletter

Received: 2007-12-17:

• ISAAC 2008: Symposium on Algorithms and Computation, 15-17 December 2008, Gold Coast, Australia
• COLT 2008: Conference on Learning Theory, 9-12 July 2008, Helsinki, Finland
• Workshop on "Classical Logic and Computation", 13 July 2008, Reykjavik, Iceland
• ManyVal 2008: Applications of Topological Dualities to Measure Theory in Algebraic Many-Valued Logic, 19-21 May 2008, Milan, Italy
• CSLP 2008: Workshop on Constraints and Language Processing, 11-15 August 2008, Hamburg, Germany

Received: 2007-12-16:

• FAW 2008: Frontiers of Algorithmics, 19-21 June 2008, Changsha, China
• ISSAC 2008: Symposium on Symbolic and Algebraic Computation, Hagenberg (Austria), 20-23 Jul 2008
• AUTOMATA 2008, 12-14 June 2008, Bristol, U.K.
• ISMVL 2008: "Symposium on Multiple Valued-Logic", 22-24 May 2008, Dallas TX, U.S.A.
• ICALP 2008: International Colloquium on Automata, Languages and Programming, 6-13 July 2008, Reykjavik, Iceland

Received: 2007-12-14:

• "Formen der Irrationalit? (Forms of Irrationality), 23-24 May 2008, Berne, Switzerland
• IJCAR 2008: 4th International Joint Conference on Automated Reasoning, 10-15 August 2008, Sydney, Australia
• Winter School on "Foundations and Trends in Computer Science", 31 January - 10 February 2008, Tehran, Iran
• FLOPS 2008: 9th International Symposium on Functional and Logic Programming, Ise (Japan), 14-16 Apr 2008
• "Formal and experimental approaches to discourse particles and modal adverbs", 4-8 August 2008, Hamburg, Germany

Received: 2007-12-13:

• Postdoctoral position (Research Scientist) in Cognition and Decision Making (6 years), Berlin (Germany), Deadline: 10 Jan 2008
• W3 Professorship for General Linguistics (Phonology, with connections to computational linguistics), Konstanz (Germany), Deadline: 12 Jan 2008
• PhD student position in "Automatisation of Logic", Saarbr?n (Germany), Deadline: 15 Jan 2008
• RelMiCS10 & AKA5: Relational Methods in Computer Science / Applications of Kleene Algebra, Frauenw? (Germany), 7-11 April 2008
• "Applications of universal algebra and logic to the constraint satisfaction problem", Palo Alto CA (U.S.A.), 31 Mar - 4 Apr 2008
• ICFCA'08: International Conference on Formal Concept Analysis, Montreal QC (Canada), 25-28 Feb 2008

Received: 2007-12-12:

• Postdoctoral and/or PhD student position in analytic philosophy, Utrecht (The Netherlands), Deadline: 18 December 2007
• One or two postdoctoral positions in mathematical logic, UCLA Logic Center, Los Angeles CA (U.S.A.)
• Special Issue of "Erkenntnis": Conditionals and Ranking Functions, Deadline: 31 May 2008
• NVTI Theory Day on Theoretical Computer Science, 14 March 2008, Utrecht, The Netherlands

Received: 2007-12-11:

• Diagrams 2008, Herrsching (Germany), 19-21 Sep 2008
• Professorship in Mathematics (Information Technology), Bruchsal (Germany)
• Workshop on Truth Values, Dresden (Germany), 29 May - 1 Jun 2008
• PhD scholarships, Berlin School of Mind and Brain, Berlin (Germany), Deadline: 15 Jan 2008
• Workshop on "Modal Fixpoint Logics", 25-27 March 2008, Amsterdam, The Netherlands

Received: 2007-12-10:

• Lecturer position in Multi-Agent Systems, Liverpool (U.K.), Deadline: 9 Jan 2008
• Student support information for CiE 2008 (Athens, June 2008)
• Very Informal Gathering of logicians (VIG) 2008, 1-3 February 2008, Los Angeles CA, U.S.A.
• Faculty positions at the University of Hong Kong, China, Deadline: end of December 2007
• 7th Workshop on Rewriting Logic and its Applications (WRLA 2008), 29-30 March 2008, Budapest, Hungary
• Call for Applications: KR 2008 Doctoral Consortium ("Knowledge Representation and Reasoning"), Deadline: 1 May 2008
• 9th Conference on Deontic Logic in Computer Science (DEON 2008), Luxembourg, 15-18 July 2008
• ESSLLI 2008 Student Session, 4-15 August 2008, Hamburg, Germany
• Graduate students invited to new TCS group at Northwestern University, U.S.A.
• Graduate Conference in Philosophy (Focus: Philosophy of Mind and Epistemology) and Rudolf Carnap Lectures, deadline: 2008-01-06, 13-15 February 2008

Received: 2007-11-29:

• TAMC 2008: deadline extension (5 December 2007)
• Assistant Professorship in Computer Science (Algorithms), University of Arizona (U.S.A.), Deadline: 8 Jan 2008
• 23rd IEEE Conference on Computational Complexity, 23-26 June 2008, College Park MD, U.S.A.
• "Is Mathematics Special?" (PhiMSAMP-3), 16-18 May 2008, Vienna, Austria

Received: 2007-11-28:

• "Automata and Logic", 60th birthday of Wolfgang Thomas, 14-15 December 2007, Aachen, Germany

Received: 2007-11-26:

• W3 Professorship Semantic Databases, Bielefeld (Germany), Deadline 15 Jan 2008
• Two junior fellowships (postdoctoral positions, 3+2 years) in Linguistics, Freiburg (Germany), Deadline: 20 Dec 2007
• W1 Professorship (3+3 years) in Discrete Mathematics, Hannover (Germany), Deadline: 31 Dec 2007
• 3rd International Computer Science Symposium in Russia, 7-12 June 2008, Moscow, Russia

Received: 2007-11-21:

• CfP special issue Fundamenta Informaticae on "Machines, Computations and Universality", Deadline: 1 April 2008
• 8th Conference on Real Numbers and Computers (RNC8), 7-9 July 2008, Santiago de Compostela, Spain
• 9th Szklarska Poreba Workshop on the Roots of Pragmasemantics, Szklarska Poreba (Poland), 21-25 Feb 2008

Received: 2007-11-19:

• Position as Director's Assistant, Research Institute for Philosophy, Hannover (Germany), Deadline: 15 Feb 2008
• 2nd CfP: CiE 2008 (Computability in Europe), deadline: 2008-01-04, 15-20 June 2008, Athens, Greece
• One or two postdoctoral positions in mathematical logic, UCLA, Los Angeles CA (U.S.A.), Deadline: 12 December 2007
• "Interpretation of Texts as Logical Reconstruction", 22-24 November 2007, Greifswald, Germany
• Symposium "Humanities and Quality Standards", Berlin (Germany), 21-22 Nov 2007
• "Set Theory and Its Neighbours 16", London (U.K.), 5 Dec 2007
• PhD student scholarships ("Wuerzburg-Stipendien") in the Humanities, Wuerzburg (Germany), Deadline: 7 January 2008
• Visitinng Fellowships, Logic and Philosophy of Science, Tilburg (The Netherlands), Deadline: 15 December 2007

Received: 2007-11-15:

• 17th European Symposium for Medieval Logic and Semantics (ESMLS 2008): "Rise and Development of Supposition Theory", 3-7 June 2008, Leiden, The Netherlands
• 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008), 1-4 July 2008, Edinburgh, Scotland
• W3 Professorship for Philosophy of Technology, Karlsruhe (Germany), Deadline 6 January 2008
• 1+1 year postdoctoral fellowship in algorithms, Georgia Tech (U.S.A.)

Received: 2007-11-14:

• Ninth Conference on Deontic Logic in Computer Science (DEON'08), Luxembourg, 15-18 July 2008
• Tenure-track / temporary positions in Mathematics, Berkeley CA (U.S.A.), Deadline: 1 December 2007
• LATA 2008, Tarragona (Spain), 13-19 March 2008: Deadline extended: 23 November 2007
• 13th Conference on Implementation and Application of Automata (CIAA), 21-24 July 2008, San Francisco CA, U.S.A.
• Postdoctoral position in mathematical logic, Notre Dame IN (U.S.A.), Deadline: 1 December 2007

Received: 2007-11-13:

• Postdoctoral research fellowships "Contextualism and Relativism", St Andrews (Scotland), Deadline: 29 November 2007
• 21st International Workshop on Description Logics (DL'08), 13-16 May 2008, Dresden, Germany
• PhD student position on "Graphs for Abstract Interpretation of Language" (GrAIL), Twente (The Netherlands), Deadline: 30 November 2007
• CfP: Special issue of JoLLI on Hybrid Logic, deadline: 2008-03-01
• Postdoctoral fellowship in Algorithms and Complexity Theory, Vancouver BC (Canada), Deadline: 1 Dec 2007
• Eight PhD student positions in theoretical computer science, Kyoto (Japan), Deadline: 10 Jan 2008

Received: 2007-11-11:

• "Logic and the Simulation of Interaction and Reasoning" (Symposium at AISB 2008), 3-4 April 2008, Aberdeen, Scotland
• PhD student position in theoretical computer science, Kyoto (Japan), Deadline: 10 Jan 2008
• Tenure-track positions in (theoretical) computer science, USC, Los Angeles CA (U.S.A.)
• Professor Position in Mathematics, Bruchsal (Germany), Deadline: 15 January 2008
• W3 Professorship in Computer Science (Algorithms), W?urg (Germany), Deadline: 31 Dec 2007
• 40th ACM Symposium on Theory of Computing (STOC 2008), 17-20 May 2008, Victoria BC, Canada
• CfP "Coalgebra & Logic", special issue of the "Journal of Logic and Computation", Deadline: 1 December 2007
• Computer Science Symposium in Russia (CSR 2008), 7-12 June 2008, Moscow, Russia
• Various postdoctoral positions in mathematics, CalTech, Pasadena CA (U.S.A.)

Received: 2007-11-03:

• 9th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), 4-6 April 2008, Budapest, Hungary
• 11th Workshop on Quantum Information Processing (QIP 2008), New Delhi (India), 17-21 Dec 2007
• Alex Smith wins "Wolfram 2,3 Turing Machine Research Prize"
• 7th Iberoamerican Conference on Topology and its Applications (CITA 2008), 25-28 June 2008, Valencia, Spain

Received: 2007-11-01:

• Frontiers of Algorithmics Workshop (FAW 2008), 19-21 June 2008, Changsha, China
• PhD students / postdoctoral position in distributed algorithms, M?en (Germany), Deadline: 26 Nov 2007
• Postdoctoral positions in "Computationism as a Foundation", Tokyo (Japan), Deadline: 17 December 2007
• Tenure Track position in Set Theory, Boise ID (U.S.A.), Deadline: 15 Jan 2008
• Six PhD student grants, Philosophy/Sociology of Science, Bielefeld (Germany), Deadline: 7 Dec 2007
• Tutorial Fellowship in Philosophy (logic need), Cambridge (U.K.), Deadline: 9 Nov 2007
• Boise Extravaganza in Set Theory (BEST 2008), 28-30 March 2008, Boise ID, U.S.A.
• TAMC 2008 (Theory and Applications of Models of Computation), Xi'an (China), 25-29 April 2008
• Tenure-track professorships ("free-floater") without subject specification, G?ngen (Germany), Deadline: 3 Dec 2007

Received: 2007-10-24:

• W2 Professorship for Computational Psycholinguistics, Bochum (Germany), Deadline: 9 November 2007
• W2 Teaching Professorship (12 SWS teaching duties) in Mathematics, Passau (Germany), Deadline: 30 November 2007
• W3 Professorship in "Musikinformatik", Karlsruhe (Germany), Deadline: 30 November 2007
• 5th Workshop for Methods for Modalities (M4M-5), Cachan (France), 29-30 Nov 2007
• Tenure-track position in computer science & economics, California Institute of Technology, Pasadena CA (U.S.A.), Deadline: 7 November 2007
• "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, 5-7 December 2007, Paris, France
• PhD student positions and postdoctoral positions, MADALGO (Center for MAssive Data ALGOrithmics), Aarhus (Denmark), Deadline: 1 Nov 2007

Received: 2007-10-22:

• 5th IFIP International Conference on Theoretical Computer Science (TCS-2008), 7-10 September 2008, Milan, Italy
• "Reflections on Type Theory, Lambda Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday, 17 December 2007, Nijmegen, The Netherlands
• Assistant Professorship for Metaphysics, Philosophy of Mind, or Philosophy of Language, Irvine CA (U.S.A.), Deadline: 1 December 2007

Received: 2007-10-17:

• 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2-4 July 2008, Gothenburg, Sweden
• "Formal Ontologies Meet Industry" (FOMI 2008), 5-6 June 2008, Torino, Italy
• SIAM Conference on Discrete Mathematics (DM08), 16-19 June 2008, Burlington VT, U.S.A.
• Assistant Professorship (tenure-track) in philosophy (logic), Baltimore MD (U.S.A.), Deadline: 15 Nov 2007
• Assistant Professorship (tenure-track) in Philosophy (Logic), Ithaca NY (U.S.A.)
• Assistant Professorship (tenure-track) in Philosophy (particular need in logic), Atlanta GA (U.S.A.), Deadline: 1 Dec 2007
• Replacement Assistant Professor in Philosophy (Logic), Wooster OH (U.S.A.), Deadline: 30 Nov 2007

Received: 2007-10-12:

• W3 Professorship Theoretical Philosophy, Erlangen (Germany), Deadline: 30 Nov 2007
• Two postdoctoral grants in History of Science ("History of Scientific Objects"), Berlin (Germany), Deadline: 1 Jan 2008
• "Data-Phenomena-Theories", Heidelberg (Germany), 11-13 Sep 2008
• Preliminary Announcement: Algorithmic Randomness, Notre Dame (U.S.A.), 23-28 May 2010 [!]
• Theoretical and Mathematical Foundations of Computer Science (TMFCS 08), 7-10 July 2008, Orlando FL, U.S.A.
• International Joint Conference on Automated Reasoning (IJCAR 2008), 10-15 August 2008, Sydney, Australia
• Theory and Applications of Models of Computation (TAMS 2008), Xi'an (China), 25-29 April 2008
• APA Session "Josiah Royce and the Origins of Modern Logic", 28 December 2007, Baltimore MD, U.S.A.

Received: 2007-10-11:

• Logic and the Foundations of Game and Decision Theory (LOFT 2008), 3-5 July 2008, Amsterdam, The Netherlands
• ESSLLI 2008 (European Summer School in Logic, Language and Information), 4-15 August 2008, Hamburg, Germany
• CfP: special issue of Fundamenta Informaticae "Machines, Computations and Universality"

Received: 2007-10-08:

• Juliana Cuyler Matthews Junior Research Fellowship in Philosophy at New College, Oxford (U.K.), Deadline: 26 October 2007
• 9th International Symposium on Functional and Logic Programming (FLOPS 2008), 14-16 April 2008, Ise, Japan
• CfP: Special Issue of JoLLI on Hybrid Logic; Deadline: 1 March 2008
• W3 Professorship in Language Technology / Computer Linguistics, Hildesheim (Germany), Deadline: 28 November 2007
• W3 Professorship in Computer Science (Algorithms), Freiburg (Germany), Deadline: 31 October 2007
• W2 Professorship for Theoretical Computer Science, Mainz (Germany), Deadline: 15 November 2007
• 9th International Conference on Mathematics of Program Construction (MPC'08), 15-18 July 2008, Marseille, France
• CfP: Two post-conference publications of CCA 2007 (MLQ and JUCS), Deadline: 31 October 2007
• International Conference on Infinity in Logic & Computation, 3-5 November 2007, Cape Town, South Africa

Received: 2007-09-29:

• Days in Logic, 16-18 January 2008, Lisbon, Portugal

Received: 2007-09-26:

• Symposium "Kunst und Wissenschaft" zum 65. Geburtstag von R. Stuhlmann-Laeisz, 29 October 2007, Bonn, Germany
• PhD student position in logical foundations of quantum mechanics, Brussels (Belgium), Deadline: 1 December 2007
• Language and Automata Theory and Applications (LATA 2008), 13-19 March 2008, Tarragona, Spain

Received: 2007-09-25:

• Workshop on "Truth" during the Estonian-German academic week, 1-3 October 2007, Tartu, Estonia
• MAMLS Meeting "Set Theory of the Continuum", 6-7 October 2007, Rutgers University, U.S.A.
• Lecturer position (Universitair Docent) in Philosophy of Science / Formal Epistemology, Tilburg (The Netherlands), Deadline: 3 November 2007
• Yearbook in philosophical logic: PHIBOOK
• Synthese Annual Conference: 'Between Logic and Intuition', 3-5 October 2007, Copenhagen, Denmark
• New journal: Journal of Formalized Reasoning
• Postdoctoral position in logic and philosophy of science, Salzburg (Austria), Deadline: 26 September 2007 (!)
• 1st Witten Lectures in Economics and Philosophy: Kenneth Arrow; Witten (Germany), 23-24 October 2007

Received: 2007-09-24:

• W1 Professorship (Juniorprofessur) in Computerlinguistics, Stuttgart (Germany), Deadline: 31 October 2007
• Postdoctoral Research Positions in Quantum Information, Pasadena CA (U.S.A.), Deadline: 17 December 2007
• Call for Nominations: Ackermann Award 2008
• GLLC 14.5 (Games in Logic, Language and Computation), 29 September 2007, Amsterdam, The Netherlands
• Book announcement: "Perspectives on Neural-Symbolic Integration"
• Annual Conference of the Australasian Association for Logic, 12-13 April 2008, Auckland, New Zealand
• Announcement of the 2007 Ackermann Award
• Postdoctoral Fellowship Programme: Mathematics of Information; CalTech (Pasadena, CA; U.S.A.), Deadline: 14 December 2007
• 10th Asian Logic Conference, 1-6 September 2008, Kobe, Japan
• Research cooperation grants between Germany and the USA/Canada: Alexander von Humboldt-Stiftung

Received: 2007-09-18:

• FMCAD 2007 (Formal Methods in Computer-Aided Design), 11-14 November 2007, Austin TX, U.S.A.
• CAV 2008 (Computer Aided Verification), 7-13 July 2008, Princeton, U.S.A.
• Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, 19-20 January 2008, Cambridge, U.K.
• "Because" (Conference), 15-17 February 2008, Geneva, Switzerland
• Biological Explanations of Behaviour: Philosophical Perspectives, 12-15 June 2008, Hannover, Germany

Received: 2007-09-16:

• FLOPS (Functional and Logic Programing), 2008, 14-16 April 2008, Ise, Japan
• PhD student position in philosophy of economics or social choice theory, Tilburg (The Netherlands), Deadline: 25 October 2007
• "Normative Concepts", Z?h (Switzerland), 21-22 September 2007
• Conference on Computability, Complexity and Randomness, 19-23 May 2008, Nanjing, China
• Reminder: Assistant / Associate Professorship in Quantum Information Processing, Montreal QC (Canada)

Received: 2007-09-15:

• Science in the Context of Application, 27-29 September 2007, Bielefeld, Germany
• "Normative Concepts", Z?h (Switzerland), 21-22 Septeber 2007
• W3 Professorship in Theoretical Computer Science (focus: algorithms), Mainz (Germany), Deadline: 15 November 2007

Received: 2007-09-14:

• PhiMSAMP-2: a day of methodological tutorials for philosophy of mathematics, 19-21 October 2007, Utrecht, The Netherlands
• "Idealizations in Science", "Models and Simulations 2": two events, 10-13 October 2007, Tilburg, The Netherlands

Received: 2007-09-13:

• 3rd Workshop on Theory of Quantum Computation, Communication, and Cryptography (TQC 2008), Tokyo (Japan), 30 Jan - 1 Feb 2008
• 2nd Call for Workshops: ICALP 2008, 6-13 July 2008, Reykjavik, Iceland
• W2 Professorship in Linguistics / Computerlinguistics, Bonn (Germany), Deadline: 12 October 2007
• Manfred Lahnstein-PhD grant for spending one year in Haifa (Israel), Deadline: 15 October 2007

Received: 2007-09-11:

• Track on Constraint Solving and Programming (23rd ACM Symposium on Applied Comnputing), 16-20 March 2008, Fortaleza, Brazil
• Two PhD student positions in philosophy (including logic), Groningen (The Netherlands), Deadline: 1 November 2007
• CiE 2008 (Computability in Europe), 15-20 June 2008, Athens, Greece

Received: 2007-09-08:

• "A Day of Mathematical Logic", 8 November 2007, Amsterdam, The Netherlands
• Aesthetics and Mathematics, 9-10 November 2007, Utrecht, The Netherlands
• 5th Workshop on Methods for Modalities (M4M-5), 29-30 November 2007, Cachan, France
• Workshop on Automata and Logic, History and Perspectives, 14-15 December 2007, Aachen, Germany
• Diagrams 2008, 19-21 September 2008, Herrsching, Germany

Received: 2007-09-04:

• Position (Junior Lecturer, Lecturer, Senior Lecturer, Associate Professor, Professor) in Computer Science, Pretoria (South Africa), Deadline: 7 Sep 2007
• Postdoctoral Position in Computational Intelligence, Pretoria (South Africa), Deadline: 17 September 2007
• CfP: Proceedings 3WFTop in APAL, Deadline: 13 January 2008
• Postdoctoral position in emotional computing, Geneva (Switzerland)
• Tenure-track position in philosophy (area of specialization: logic), Edmonton (Alberta), Deadline: 10 November 2007

Received: 2007-08-30:

• WCP4, The Fourth World Congress of Paraconsistency, 13-18 July 2008, Melbourne, Australia
• Franklin Research Grants (up to $ 6000) of the American Philosophical Society, Deadline: October 1, 2007 / December 1, 2007
• Postdoctoral positions (fixed-term assistant professorships) in Mathematics, Ann Arbor MI (U.S.A.), Deadline: 14 December 2007
• Michigan Society of Fellows, Postdoctoral Fellowships, Deadline: 1 October 2007
• American Association of University Women (AAUW), International Fellowship, Deadline: 1 December 2007

Received: 2007-08-28:

• CfP: special issue of TCS on Probabilistic and Quantum Automata, Deadline: 31 Nov 2007 [sic!]
• "Artificial Normative Systems", 18 September 2007, Utrecht, The Netherlands
• FOCS 2007, Foundations of Computer Science, Providence RI, U.S.A., 20-23 October 2007

Received: 2007-08-23:

• 7th Iberoamerican Conference on Topology and its Applications (CITA 2008), 25-28 June 2008, Valencia, Spain
• W2 Professorship in Theoretical Computer Science, Hochschule Darmstadt (Germany), Deadline: 19 September 2007
• Postdoctoral position (E13, 3y) in Philosophy / Cognitive Science, Chemnitz (Germany), Deadline: 15 September 2007

Received: 2007-08-22:

• Methods for Modalities (M4M-5), Cachan (France), 29-30 Nov 2007

Received: 2007-08-17:

• 7th Congress of the International Society for the History of Philosophy of Science, 18-21 June 2008, Vancouver BC, Canada
• Postdoctoral (or two PhD student) positions, Philosophy of Mind and Cognition, Osnabr?(Germany), Deadline: 15 Sep 2007
• Special Issue of Studia Logic: 'Many valued Logic and Cognition', Deadline: 31 Dec 2007
• Assistant or Associate Professor position, Philosophy (Metaphysics and/or Epistemology), Simon Fraser University, Burnaby BC (Canada)
• "Understanding Cognitive Abilities: Logical and Representational Aspects", 30-31 August 2007, Bonn, Germany

Received: 2007-08-16:

• Leonard Nelson Symposion, G?ngen (Germany), 26-27 October 2007
• Research Assistant Professorship Position in Computer Science / Algorithms, Purdue University (U.S.A.), Deadline: until filled
• CfPart: Infinity 2007, 8 September 2007, Lisbon, Portugal

Received: 2007-08-09:

• 2nd International Conference on Language and Automata Theory and Applications (LATA 2008), 13-19 March 2008, Tarragona, Spain
• 11th Workshop on Quantum Information Processing (QIP 2008), 17-21 December 2007, New Delhi, India
• Tenure-track lectureship (E13 TV-L; 2y contract) in Mathematics, Heidelberg (Germany), Deadline: 7 September 2007
• First-Order Theorem Proving (FTP07), 12-13 September 2007, Liverpool, U.K.
• Lectureship Mathematical Foundations of Computer Science (E14 TV-L; 1y, extension possible), Konstanz (Germany), Deadline: 7 September 2007
• 8th Latin American Theoretical Informatics (LATIN 2008), 7-11 April 2008, Rio de Janeiro, Brazil

Received: 2007-08-08:

• Second Indian Winter School in Logic, 14-26 January 2008, Kanpur, India

Received: 2007-08-07:

• E13 position in theoretical philosophy, Oldenburg (Germany)
• Call for Short Papers: LPAR 2007, Yerevan (Armenia), Deadline: 10 August 2007
• PhD student position Philosophy of Science / Logic, Erfurt (Germany), Deadline: 20 August 2007
• 2007 Australasian Association for Logic Conference, 9-11 November 2007, Melbourne, Australia
• Master Programme in Logic, Leipzig (Germany); Deadline: 20 August 2007
• Master Programme "History, Philosophy and Sociology of Science, Bielefeld (Germany)
• 7th International Tbilisi Symposium on Language, Logic and Computation, 1-5 October 2007, Tbilisi, Georgia
• PhD student position in Description Logics, London (UK); Deadline: ASAP
• ALGO 2007, 8-12 October 2007, Eilat, Israel

Received: 2007-08-03:

• Department Chair in Computer Science, Victoria BC (Canada)
• Assistant / Associate Professor position in Quantum Information Processing, Montreal QC (Canada), Deadline: 28 September 2007
• Group leader position (E15): Verification / Algorithm Engineering, Karlsruhe (Germany), Deadline: 25 August 2007
• Postdoctoral position on "Control and Verification of Nonlinear and Hybrid Systems", Amsterdam (The Netherlands), Deadline: 31 August 2007
• W3 Professorship Theoretical Philosophy, Halle-Wittenberg (Germany), Deadline: 30 August 2007
• Tenured Lectureship (A13/14) in Computer Science, Passau (Germany), Deadline: 31 August 2007
• Two logic events in Tbilisi: 3rd Vienna-Tbilisi Summer School in Logic and Languages (24-28 September 2007) and 7th International Tbilisi Symposium on Language, Logic and Computation (1-5 October 2007)
• Announcement of "The Reasoner", a monthly digest on reasoning
• PhD student position (3y) in Complexity Theory, Berlin (Germany), Deadline: 9 August 2007

Received: 2007-07-14:

• Infinite in Logic and Computation, Cape Town (South Africa), 3-5 November 2007 [Deadline: 6 August 2007]

Received: 2007-07-13:

• Call for Applications: Winter/Summer School 2007/08 at the "Center for Junior Research Fellows" in Konstanz (Germany), Deadline: 15 September 2007
• Special issue on "Truth" in the Studia Philosophica Estonica, Deadline: 1 October 2007
• Workshop "Idealizations in Science", deadline: 2007-08-15, 10 October 2007, Tilburg, The Netherlands
• 18th Novembertagug on History, Philosophy and Didactics of Mathematics, 1-4 November 2007, Bonn, Germany
• Postdoctoral position in philosophy (philosophy of science, epistemology, logic; 3y, extension by 3y), Hamburg (Germany), Deadline: 30 September 2007

Received: 2007-07-12:

• 9th International Symposium on Functional and Logic Programming (FLOPS 2008), 14-16 April 2008, Ise, Japan
• Research group leader (postdoctoral position, E 15) in "Algorithms and Verification", Karlsruhe (Germany), Deadline: 25 August 2007
• PhD student position in computer science, Twente (The Netherlands), Deadline: 30 August 2007

Received: 2007-07-11:

• PhD student position in Logic and Automated Reasoning, Manchester (U.K.), Deadline: 3 August 2007
• PhD student position in Computer Science, Luxembourg (Luxembourg), Deadline: July 15, 2007
• Workshop "Causality and Quantum Physics" (Philosophy of Physics), 9-10 November 2007, Dortmund, Germany

Received: 2007-07-09:

• 18th International Workshop on Combinatorial Algorithms (IWOCA 2007), Newcastle (Australia), 5-9 Nov 2007
• PhD student positions and postdoctoral positions in logic and philosophy of science, Ghent (Belgium)

Received: 2007-07-05:

• 10th Italian Conference on Theoretical Computer Science (ICTCS'07), 3-5 October 2007, Rome, Italy
• Computing: The Australasian Theory Symposium (CATS 2008), 22-25 January 2008, Wollongong, Australia
• W3 Professorship Logic and Metaphysics, Bonn (Germany), Deadline: 1 Oct 2007
• W3 Professorship Epistemology, Theoretical Philosophy, Bonn (Germany), Deadline: 1 Oct 2007
• Formal Epistemology Festival, 28-30 July 2008, Konstanz, Germany
• 5th Workshop on Methods for Modalities (M4M-5), Cachan (France), 29-30 Nov 2007
• Two PhD student positions in Theoretical Computer Science, M?en (Germany), Deadline: 22 July 2007
• 12th International Conference on Implementation and Application of Automata (CIAA 2007), 16-18 July 2007, Prague, Czech Republic
• 35th International Colloquium on Automata, Languages and Programming (ICALP'08), 6-13 July 2008, Reykjavik, Iceland

Received: 2007-07-01:

• W3 Professorship for Theoretical Philosophy, Giessen (Germany), Deadline: 28 Jul 2007
• PhD student position Cell Behaviour Analysis with formal verification techniques, Computer Science, Amsterdam (The Netherlands)

Received: 2007-06-23:

• W2 Professorship in Organic Computing, L?k (Germany), Deadline: 2 August 2007
• International Workshop on Combination of Logics, 4 July 2007, Neuchatel, Switzerland
• 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), 20-24 August 2007, Bergen, Norway
• First-Order Theorem Proving (FTP 07), 12-13 September 2007, Liverpool, U.K.

Received: 2007-06-22:

• ICALP 2008: Call for Affiliated Workshops; Reykjavik (Iceland), 6-13 July 2008
• Postdoctoral position in Theoretical Computer Science, M?en (Germany)
• Postdoctoral position in "Study of Mind in Nature", Oslo (Norway)
• PhD student positions (3y) in "Study of Mind in Nature", Oslo (Norway)
• ESSLLI 2008, Hamburg (Germany), August 2008: Second Call for Course Proposals
• Postdoctoral position (1y) in Algorithmic Game Theory, Liverpool (U.K.)
• Sydney-Tilburg Conference on "Reduction and the Special Sciences", Tilburg, 10-12 April 2008

Received: 2007-06-19:

• Logic-based methods in Programming Environments (WLPE 07), Porto (Portugal), 13 Sep 2007
• Formal Methods (FM08), 26-30 May 2008, Turku, Finland
• Postdoctoral position in logic and semantics, Tallinn (Estonia), Deadline: 15 Jul 2007

Received: 2007-06-18:

• Teaching positions in philosophy (50% TVL13 without PhD, 100% TVL13 with PhD), Aachen (Germany)

Received: 2007-06-14:

• Eurolecture Guest Lectureship Programme, Deadline: 1 October 2007

Received: 2007-06-13:

• 23rd International Conference on Logic Programming (ICLP 07), 8-13 September 2007, Porto, Portugal
• 2nd International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 07), 15 July 2007, Bremen, Germany
• Colloquium on Implementation of Constraint Logic Programming Systems (CICLOPS 2007), Porto (Portugal), 8 Sep 2007

Received: 2007-06-12:

• Postdoctoral position in computational logic (4y; possibility of tenure-track), Innsbruck (Austria), Deadline: 27 June 2007
• Postdoctoral position in complexity theory, Berlin (Germany), Deadline: 6 Jul 2007
• Midwest Philosophy of Mathematics Workshop (MWPMW 8), 27-28 October 2007, Notre Dame, U.S.A.
• Summer School "Formal Methods in Philosophy and Linguistics", 19-31 August 2007, Tartu, Estonia
• Festschrift Girard (60th Birthday), Call for Papers
• "Automated Deduction: Decidability, Complexity, Tractability" (ADDCT'07), 15 July 2007, Bremen, Germany

Received: 2007-06-10:

• "Generating Experimental Knowledge", 14-16 June 2007, Wuppertal, Germany
• "Logik als Grundlage der Wissenschaften", 22-23 June 2007, Kaiserslautern, Germany
• "Emergence in Science in Philosophy", 19-21 June 2007, Milano, Italy
• German-Italian Meeting on analytic philosophy, 15-16 June 2007, Parma, Italy

Received: 2007-06-07:

• 12th Conference on Implementation and Applications of Automata (CIAA 2007), 16-18 July 2007, Prague, Czech Republic
• 8th Latin American Theoretical Informatics (LATIN 2008), 7-11 April 2008, Rio de Janeiro, Brazil
• 5th Workshop on "Methods for Modalities" (M4M-5), 29-30 November 2007, Cachan, France
• PhD student position (27 months, 50% TV?3) in Formal Epistemology, Konstanz (Germany), Deadline: 15 July 2007)
• Asian Conference on Quantum Information Science (AQIS 2007), 3-6 September 2007, Kyoto, Japan

Received: 2007-06-06:

• Postdoctoral position (3+3 y; A13) in Philosophy (of Language/Mind), Konstanz (Germany), Deadline: 2 July 2007)
• Call for Papers: Special Issue of "Journal of Applied Logic" on "Combining Probability and Logic", deadline: 2007-07-01
• Foundations of Artificial Intelligence 2007 (FAInt-07), Osnabr?(Germany), 10 Sep 2007 [Deadline extended]
• Machines, Computations, and Universality (MCU 2007), Orleans (France), 10-14 Sep 2007
• Razborov and Rudich receive 2007 G? Prize
• Fall School on Algorithmic Graph Structure Theory, 4-10 October 2007, Schloss Blankensee, Germany
• PhD student grants in Information Science, Coimbra (Portugal)
• 3rd Workshop on Combining Probability and Logic, 5-7 September 2007, Canterbury, U.K.

Received: 2007-06-05:

• 18th International Symposium on Algorithms and Computation (ISAAC 2007), 17-19 December 2007, Sendai, Japan
• Kurt Goedel Centenarz Research Prize Fellowships, deadline: 2007-06-30
• Memorial Colloquium Gert H. Mueller, 29-30 June 2007, Heidelberg, Germany
• 6th International Conference on Machine Learning and Applications (IMCLA 2007), 13-15 December 2007, Cincinnati OH, U.S.A.

Received: 2007-06-04:

• 20th ESSLLI (European Summer School in Logic, Language and Information), Hamburg (Germany), 4-15 Aug 2007: Call for Course and Workshop proposals
• PhD student position (2y; 'wissenschaftliche Hilfskraft'), Osnabr?(Germany), Deadline: 15 July 2007
• W3 Professor Position, Theoretical Computer Science, Paderborn (Germany), Deadline: 28 June 2007
• Postdoctoral position in Natural language processing (computer science; 2y+), Stony Brook NY (U.S.A.)
• PhD Student Positions, "ULTRA: Iseful Logics, Types, Rewriting, and their Automation", Edinburgh (Scotland)
• Assistant / Associate Professor Positions, Theoretical Computer Science, Odense (Denmark), Deadline: 2 July 2007
• LPAR 2007 (Logic for Programming, Artificial Intelligence and Reasoning), Yerevan (Armenia), 15-19 Oct 2007
• GAP Essay Prize for students: Determinism
• Six PhD student scholarships: "Methods for discrete structures", Berlin (Germany), Deadline: 15 June 2007

Received: 2007-05-28:

• Postdoctoral position (3 y) in philosophy (philosophy of language), Hildesheim (Germany), deadline: 22 June 2007
• 15 Years of Duration Calculus, Macau (China), 22-23 Sep 2007

Received: 2007-05-24:

• W3 Professorship Theoretical Computer Science, Paderborn (Germany), Deadline: 28 June 2007
• Mind & Society 14 "Philosophical and Sociological Approaches to Mathematics", Manchester (U.K.), 7-8 Sep 2007

Received: 2007-05-23:

• 7th Tbilisi Symposium on Language, Logic and Computation, Extension of Submission Deadline: 1 June 2007
• Workshop on "The empirical and the formal", Wuppertal (Germany), May 30-June 1, 2007
• Lecturer Position in Philosophy, University of East Anglia, Norwich (U.K.), Deadline: 21 June 2007
• Appalachian Set Theory Workshop, Lecture Series Maat Foreman, 2 June 2007, Harrisonburg VA, U.S.A.

Received: 2007-05-21:

• International Conference on Quotation and Meaning (ICQM), 19-21 October 2007, Mainz, Germany
• 7th Iberoamerican Conference on Topology and Its Applications (CITA 2008), 25-28 June 2008, Valencia, Spain
• 14th Workshop on Logic, Language, Information and Computation (WoLLIC'07), 2-5 July 2007, Rio de Janeiro, Brazil
• PhD student position in Philosophy of Science, Erfurt (Germany), Deadline: 15 June 2007
• "1907-2007: One Hundred Years of Intuitionism", 5-12 June 2007, Cerisy, France
• Symposium on Logical Foundations of Computer Science (LFCS'07), 4-7 June 2007, New York NY, U.S.A.

Received: 2007-05-18:

• PhD Scholarships in the "Berlin School of Mind of Brain", Berlin (Germany), Deadline: 31 May 2007
• Student Travel Grants for RDP'07 ("Rewriting, Deduction and Programming"), Paris, 25-29 June 2007 [Deadline: 20 May 2007]
• Research Fellowship in Theoretical Foundations of Scientific Modelling, Swansea (Wales)
• Wittgenstein Lectures 2007, 21-25 May 2007, Bayreuth, Germany
• PhD Programme "Sprachtheorie und Angewandte Sprachwissenschaft", M?en (Germany), Deadline: 15 June 2007
• Position as Scientific Director of the Centre for Research Support, Greifswald (Germany), Deadline: 14 June 2007
• PhD student positions in the graduate school "Galileo Galilei", Pisa (Italy), Deadline: 15 June 2007
• Symposium "Logic and Cognition", 1 June 2007, Groningen, The Netherlands

Received: 2007-05-17:

• Tenured position as Assistant / Associate Professor in Algorithms, Delft (The Netherlands)
• Position as Department Head of CS and Engineering, Hong Kong University
• Festkolloquium 65th Birthday of Helmut Schwichtenberg (+ Workshop), 22-23 June 2007, Munich, Germany
• CiE 2007, Computability in Europe, 18-23 June 2007, Siena, Italy
• PhD student position, Theoretical Philosophy, Oldenburg (Germany)
• Postdoctoral position: Logic for Automated Mechanism Design, Liverpool (U.K.)
• GAMES 2007, Annual Meeting of the Games Network, Lausanne (Switzerland), 10-13 Sep 2007
• "Phenomenology and Logic", Paris, 2 June 2007
• GPMR Workshop on Logic and Semantics, "Medieval Logic and Modern Applied Logic", June 28-30, 2007, Bonn (Germany)

Received: 2007-05-15:

• 2nd CfP: 7th International Tbilisi Symposium, Tbilisi (Georgia), 1-5 Oct 2007
• Two PhD student positions in model theory, Freiburg (Germany), Deadline: June 15, 2007
• IMST 2007: Informal Meeting of Set Theorists, 17 May 2007, Bonn, Germany

Received: 2007-05-04:

• "Interpolations", A conference in Honour of Bill Craig, 13 May 2007, Berkeley CA, U.S.A.
• "Current Problems of Philosophy of Perception", Siegen (Germany), May 31 and June 1, 2007
• Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), 15-19 October 2007, Yerevan, Armenia

Received: 2007-05-02:

• CfP Special Issue of Studia Logica: "Truth Values", deadline: 2008-10-31
• Questionnaire on university teaching of "Introduction to Logic"
• 16th Amsterdam Colloquium, Amsterdam (The Netherlands), Dec 17-19, 2007
• Call for Nominations: Dobrushin Prize (Information Theory, Mathematical & Computer Linguistics), Deadline: May 10, 2007
• Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'08), Malaga (Spain), Jun 22-27, 2008
• Trends in Logic V: Many-Valued Logic and Cognition, 7-9 July 2007, Guangzhou, China
• Foundations of Artificial Intelligence (FAInt-07), Osnabrueck (Germany), Sep 10, 2007

Received: 2007-04-25:

• Infinity in Logic and Computation (ILC07), 3-5 November 2007, Cape Town, South Africa

Received: 2007-04-24:

• Dynamic Logic Montreal, 19-22 June 2007, Montreal QC, Canada
• Stipendiary Lecturer Position, Somerville College, Oxford (United Kingdom), Deadline: May 10, 2007
• Lecturer position in logic, Auckland (New Zealand), Deadline: May 18, 2007
• LOGICA 2007, 18-22 June 2007, Hejnice Monastery, Czech Republic
• Arche Vagueness Conference, 8-9 June 2007, St Andrews, Scotland

Received: 2007-04-22:

• CfP: Logical Analysis and History of Philosophy, Volume 11 on "Knowledge, Logic, and Argumentation", deadline: 2007-08-30
• Special session in "Set Theory" at the 4th Japan-Mexico Joint Meeting in Topology and Its Applications (JAMEX), Kyoto (Japan), 3-7 Dec 2007
• Kurt G? Centenary Research Prize Fellowships, Deadline: June 30, 2007
• Wittgenstein-Lectures Bayreuth: Michael Smith; Bayreuth (Germany), 21-25 May 2007
• Logic and Computational Complexity, extended deadline (Apr 30), 15 July 2007, Wroclaw, Poland

Received: 2007-04-20:

• Postdoctoral position (3 years) in Automated Mechanism Design, Liverpool (England)
• Domains VIII / Computability Over Continuous Data Types, Novosibirsk (Russia), 11-15 Sep 2007
• FTP'07 (First-Order Theorem Proving), Liverpool (England), 12-13 Sep 2007
• ADDCT'07 (Automated Deduction: Decidability, Complexity, Tractibility), 15 July 2007, Bremen, Germany
• CfP special issue "Foundations of Science", Mathematics and Argumentation, deadline: 2007-11-01
• Teaching position (possibility of getting a PhD) in philosophy, Rostock (Germany)
• New issue of PHINEWS online
• Summerschool "Knowledge and Its Place in Nature", Cologne (Germany), 6-10 Aug 2007

Received: 2007-04-18:

• Call for submissions: E W Beth Dissertation Prize, deadline: 2007-05-06
• CATS08: Computing: The Australasian Theory Symposium, Wollongong (Australia), 22-25 Jan 2008
• Logic and Computational Complexity (LCC07), 15 July 2007, Wroclaw, Poland
• PhD student position in Formal Verification, Saarbruecken, Germany, deadline: 2007-05-02
• 3rd Language and Technology Conference: Human Language Technology as a Challenge for Computer Science and Linguistics, Poznan (Poland), 5-7 Oct 2007
• 4th International Workshop on Constraints and Language Processing, Roskilde (Denmark), 20-21 Aug 2007
• PhD Scholarship in Trustworthy Software Systems (interdisciplinary graduate school between Law and CS), Oldenburg (Germany)

Received: 2007-04-09:

• Instructor position philosophy of mind / logic, Louisiana State University (U.S.A.)
• Book: "The Magic Garden of George B. And Other Logic Puzzles"

Received: 2007-04-07:

• 1st international workshop on Game theory in Communication networks (GAMECOMM'07), Nantes (France), 22 Oct 2007
• New mathematics journal: Tbilisi Mathematical Journal

Received: 2007-04-04:

• Computer Science Logic 2007 (CSL07), 11-15 September 2007, Lausanne, Switzerland
• Postgraduate scholarships, Bochum (Germany)
• Computing: Australasian Theory Symposium (CATS 2008), Wollongong (Australia), 22-25 Jan 2008
• Temporary postdoctoral position in philosophy/cognitive science, York University, Toronto (Canada)
• 2nd International Workshop on Probabilistic Automata and Logics (PAuL), 9 July 2007, Wroclaw, Poland
• 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao (China), 26-28 Sep 2007
• Foundations of Artificial Intelligence 2007 (FAInt-07), Osnabr?(Germany), 10 Sep 2007
• Workshop "Humean Supervenience, Spacetime, and physical properties", Regensburg, 8-10 June 2007
• W1-Junior Professorship, Computerlinguistics, Bochum (Germany)
• 10th Italian Conference on Theoretical Computer Science (ICTCS'07), Rome (Italy), 3-5 Oct 2007
• 3rd Indian International Conference on Artificial Intelligence (IICAI-07), 17-19 December 2007, Pune, India

Received: 2007-04-03:

• Call for Participation: CiE 2007, 18-23 June 2007, Siena, Italy
• 4th Symposium on Stochastic Algorithms, Foundations, and Applications (SAGA 2007), 13-15 September 2007, Zuerich, Switzerland
• Postdoctoral position (80% for 3 years) in Philosophy of Technology, Eindhoven (The Netherlands); Deadline: 13 April 2007

Received: 2007-03-30:

• International Workshop on First-Order Theorem Proving (FTP'07), Liverpool (United Kingdom), 12-13 Sep 2007
• Arithmetic Days, 4-5 April 2007, Utrecht, The Netherlands
• 12th International Conference on Implementation and Application of Automata (CIAA 2007), 16-18 July 2007, Prague, Czech Republic
• Lectureship in Theoretical Computer Science, Athens (Greece); Deadline: May 28, 2007
• 2nd Workshop on Logical and Semantic Frameworks (LSFA'07), Ouro Preto (Brazil), 28 Aug 2007

Received: 2007-03-29:

• CALCO-jnr: Conference on Algebra and Coalgebra in Computer Science Young Researchers Workshop, Bergen (Norway), 20 Aug 2007
• 7th Tbilisi Symposium on Language, Logic and Computation, 1-5 October 2007, Tbilisi, Georgia
• Workshop on Reachability Problems, 7-8 July 2007, Turku, Finland
• Journees Jean-Yes Girard, 10-11 September 2007, Paris, France
• 2nd World Congress on Universal Logic, Xi'an (China), 16-22 Aug 2007 (extended deadline)

Received: 2007-03-25:

• Call for Proposals for Organizing ICLP 2008 (International Conference on Logic Programming)
• Paul Cohen (1934-2007)
• 21st International Workshop on Unification (UNIF07), 29 June 2007, Paris, France
• Call for Paper: Special issue of JAL "Combining Probability and Logic"
• Mathematical Foundation of Computer Science (MFCS) 2007, 27-31 August 2007, Cesky Krumlov, Czech Republic
• One-year visiting position at University of Missouri, Rolla, Mathematics
• Set theory and its neighbours 15: "Analysis and set theory II", 20 April 2007, London, U.K.

Received: 2007-03-24:

• Logic, Rationality and Interaction, 5-9 August 2007, Beijing, China
• Methodological Problems of the Social Sciences (MPSS), 7 May 2007, Tilburg, The Netherlands
• PROGIC 2007 (Combining Probability and Logic), 5-7 September 2007, Canterbury, U.K.
• 2006 Sacks Prize: Dr Matteo Viale
• Workshop on Logics for Coalgebras, 10-11 May 2007, Amsterdam, The Netherlands
• Masterclass "Experiments on Language Evolution", 11 June 2007, Nijmegen, The Netherlands

Received: 2007-03-23:

• APPROX 2007 and RANDOM 2007, Princeton NJ (U.S.A.), 20-22 August, 2007
• PhD student position in "Logical Models for the Dynamics of Motivational Attitudes", Utrecht (The Netherlands)
• Two PhD student positions in Logic and Philosophy of Science, Tilburg (The Netherlands)
• Fifth International Workshop on Bounded Model Checking (BMC 07), 8 July 2007, Berlin, Germany
• Tenured Lectureship (Studienrat i.H., A13) in Pure Mathematics, Universit?Siegen (Germany)
• Postdoctoral position in Computational Linguistics, Nancy (France); Deadline: 31 Mar 2007
• 13th International Congress of Logic, Methodology and Philosophy of Science (LMPS), 9-15 August 2007, Beijing, China
• Two PhD student positions in Formal Methods (Computer Science), Oslo (Norway)

Received: 2007-03-18:

• PhD student workshop "Theory of Action", 10-12 October 2007, Aachen, Germany
• CiE 2007, Siena (Italy): Call for Informal Presentations
• 2nd World Congress on Universal Logic, Xi'an (China), 16-22 Aug 2007
• Four Lectureships in Complexity Science, Bristol (U.K.)
• Call for Proposals: EuroCoRes Programme "LogICCC", deadline: 2007-05-11
• "Methodological Problems of the Social Sciences, Tilburg (The Netherlands), May 7, 2007

Received: 2007-03-13:

• CADE-21 Workshop on Empirically Successful Automated Reasoning, 15-20 July 2007, Bremen, Germany
• 6th Panhellenic Logic Symposium (PLS), 5-8 July 2007, Volos, Greece
• Scholarships for MSc in Natural Computation, Birmingham (U.K.)
• Formal Approaches to Multi-agent Systems (FAMAS 07), Durham (U.K.), 6-7 Sep 2007
• One-year visiting assistant professorship in philosophy of science / logic, Arlington TX (U.S.A.)
• One-year teaching position (competence in logic), Westmont College, Santa Barbara CA (U.S.A.)

Received: 2007-03-09:

• Scientific Staff position at Schloss Dagstuhl
• W2 Professorship Theoretical Computer Science, Dortmund (Germany)

Received: 2007-03-08:

• 2nd Workshop on Probabilistic Automata and Logics (PAuL), 9 Jul 2007 (Wroclaw, Poland)
• Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras, Siena (Italy), May 17-20, 2007
• Foundations of Artificial Intelligence 2007 (FAInt-07), Osnabr?(Germany), 10 Sep 2007
• Announcement of a new biography of Ernst Zermelo
• Master programmes in philosophy, Groningen (The Netherlands)
• TPR 2007 (Type theory, Proof theory, Rewriting), 29 June 2007, Paris, France

Received: 2007-02-28:

• International Conference on Text, Speech, and Dialogue (TSD), Plzen (Czech Republic), 3-7 Sep 2007
• Online-Questionnaire (German language) on application processes in academia
• LaTeX for Logicians
• International Conference on Quotation and Meaning (ICQM), Mainz (Germany), 19-21 Oct 2007
• Special issue of "Zapiski Nauchnykh Seminarov POMI" in honour of Yuri Matiyasevich's 60th birthday

Received: 2007-02-23:

• 1st Conference of the European Philosophy of Science Assocation (EPSA07), Madrid (Spain), 15-17 Nov 2007
• Formation of the "Association for Logic in India" (ALI)

Received: 2007-02-21:

• W3 Professorship "Philosophy of Mind", Humboldt-Universit?t zu Berlin (Germany)
• Postdoctoral instructorship (2 years) in history of philosophy (science background preferred), Braunschweig (Germany); Deadline: Feb 28, 2007
• Three PhD studentships in Coalgebra, Leicester (United Kingdom); Deadline: Feb 23, 2007
• 12th International Conference on Implementation and Application of Automata (CIAA 2007), 16-18 July 2007, Prague, Czech Republic
• Effective Methods in Algebraic Geometry (MEGA 2007), 24-30 June 2007, Strobl, Austria

Received: 2007-02-20:

• Natural Computation, Fuzzy Systems, Knowledge Discovery ICNC'07 / FSKD'07: Haikou (China), 24-27 August 2007
• 48th IEEE Symposium on Foundations of Computer Science (FOCS 2007), Providence RI (U.S.A.), 21-23 Oct 2007
• 10th Italian Conference on Theoretical Computer Science (ICTCS'07), Roma (Italy), 3-6 Oct 2007
• PhD student positions in Computing Science (automated theorem proving), Chalmers University of Technology, Sweden
• Sixth International Workshop on Proof Theory, Computation, Complexity (PCC'07), 13-14 April 2007, Swansea, Wales
• CiE 2007: Call for informal presentations, deadline: 2007-04-27, 18-23 June 2007, Siena, Italy
• CSL 2007 (Computer Science Logic), 11-15 September 2007, Lausanne, Switzerland

Received: 2007-02-15:

• 16th International Symposium on Fundamentals of Computation Theory, 27-30 August 2007, Budapest, Hungary
• Computability and Complexity in Analysis (CCA 2007), 16-18 June 2007, Siena, Italy
• W3 Professorship in "Formal Methods of Computer Science", Gie?en (Germany)

Received: 2007-02-14:

• Book series: ontos mathematical logic
• "Concept Types and Frames in Language, Cognition and Science", D?sseldorf (Germany), 20-22 Aug 2007
• Call for Papers: Brazilian Journal Abstracta
• Workshop on DISPROVING (Non-Theorems, Non-Validity, Non-Provability), 16 July 2007, Bremen, Germany
• 15th Annual Meeting of the European Society for Philosophy and Psychology, 9-12 July 2007, Geneva, Switzerland
• "Interpolations", A Conference in honour of Bill Craig, 13 May 2007, Berkeley CA, U.S.A.
• 1-year visiting assistant professor position in philosophy, Davidson College, Davidson NC (U.S.A.)
• Call for Postdoctoral Proposals: Caesarea Edmon Benjamin de Rothschild Foundation Institute for Interdisciplinary Applications of Computer Science
• PhD student position and 2-month internship in "Programming Tools Group" Oxford (Applications from Logic particularly welcome)
• Special Issue of the Journal "Mathematics in Computer Science" on Combinatorial Algorithms (deadline: 22 March 2007)
• 17th European Symposium for Medieval Logic and Semantics (XVII ESMLS), 3-7 June 2008, Leiden, The Netherlands

Received: 2007-02-08:

• International Conference on Order, Algebra, and Logics, Vanderbilt University (U.S.A.), 12-16 Jun 2007
• 26eme Journees sur les Arithmetiques Faibles (JAF26), Seville (Spain), 11-13 Jun 2007
• BEST 2007: Boise Extravaganza in Set Theory, changed dates: 25-26 Mar 2007
• Special Issue of Studia Logica on "Applied Logic in the Philosophy of Science", Deadline: Jun 30, 2007
• Postdoctoral positions in Computer Science, Haifa (Israel)
• Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), Oxford (U.K.), 5-9 Aug 2007
• Tenured Instructorship in Pure Mathematics (E13, possibility of Verbeamtung), Heidelberg (Germany)
• W3 Professorship in General Linguistics, Tuebingen (Germany)

Received: 2007-02-06:

• IEEE International Conference on Semantic Computing (ICSC 2007), Irvine CA (U.S.A.), 17-19 Sep 2007
• Tenure-track and tenured faculty positions in computer sciences (algorithms), University of Texas at Arlington
• Visiting Professorships in Computer Science, Cyprus
• Five year research grant in Luxembourg for outstanding young researchers; Deadline: March 15, 2007

Received: 2007-02-04:

• Algebraic and Topological Methods in Non-Classical Logics III (TANCL'07), 5-9 August 2007, Oxford, England
• Several postdoctoral positions in computer science (including algorithms and complexity), Aarhus (Denmark)
• Workshop on Algorithms and Data Structures (WADS), Halifax (Canada), 15-17 Aug 2007
• One or more tenure-track positions in quantum computing, University of Waterloo, Canada

Received: 2007-01-30:

• 1st GPMR Workshop on Logic & Semantics, Medieval Logic and Modern Applied Logic, 28-30 June 2007, Bonn, Germany

Received: 2007-01-28:

• PhD student position (3 years; Algorithmic Game Theory), University of Aarhus, Deadline: 30 Mar 2007
• Two postdoctoral positions (Algorithmic Game Theory), Aarhus (Denmark), Deadline: 1 Mar 2007
• 14th Workshop on Logic, Language, Information and Computation (WoLLIC'07), 2-5 July 2007, Rio de Janeiro, Brazil
• Visiting assistant professorship in philosophy (logic), Wabash College (Indiana, U.S.A.)
• Tenure-track position in philosophy (logic included), California State University, Bakersfield
• Unconventional Computation 2007, Kingston ON (Canada), 13-17 Aug 2007
• Conference: Natural Computation / Fuzzy Systems and Knowledge Discovery, Haikou (China), 24-27 Aug 2007

Received: 2007-01-26:

• Machines, Computations and Universality (MCU 2007), Orleans (France), 10-14 Sep 2007
• Doctoral Consortium, International Conference on Logic Programming, Porto (Portugal), 8-13 Aug 2007
• Workshop on Universal Algebra and the Constraint Satisfaction Problem, 17-20 June 2007, Nashville TN, U.S.A.
• Postdoctoral position in theoretical computer sciences (complexity theory), Kiel (Germany)
• W2-Professor Position Theoretical Computer Science, Bremen (Germany)
• Postdoctoral position in Computational Logic, Simon Fraser University, Vancouver (Canada)
• CfP Special Issue (IEEE-JSAC) on "Game Theory in Communication Systems", deadline: 2007-08-26
• Call for "Expressions of Interest": LogICCC, EuroCoRes programme

Received: 2007-01-23:

• Postdoctoral Fellowship in Mathematical Logic (Computability Theory), Greifswald (Germany)
• Postdoctoral position in Theoretical Computer Science, Edmonton, Alberta (Canada)
• Lectureship and Readership in Algorithms & Complexity, University of Edinburgh (Scotland)
• International Workshop on Algorithmic Topics in Constraint Programming, 8 July 2007, Wroclaw, Poland
• International Conference on Logic Programming (ICLP 2007): Call for Workshop Proposals, deadline: 2007-02-14

Received: 2007-01-22:

• Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2007), Roskilde (Denmark), 20-24 Aug 2007
• "Models and Simulations 2", Tilburg (The Netherlands), 11-13 Oct 2007
• "Conference on Principles and Practice of Constraint Programming" (CP 2007), Providence RI (U.S.A.), 23-27 Sep 2007
• APPROX+RANDOM 2007, Princeton (U.S.A.), 20-22 Aug 2007
• Book announcement: 'Self-reference'

Received: 2007-01-20:

• 16th Boise Extravaganza in Set Theory (BEST), Boise ID (U.S.A.), 25-27 Mar 2007
• 70th Anniversary of NF ('New Foundations'), 25-27 May 2007, Cambridge, UK
• Spring Course in Ontology "Zeit und Existenz", 20-23 February 2007, Rostock, Germany
• Mathematical Foundations of Computer Science (MFCS 2007), Cesky Krumlov (Czech Republic), 27-31 Aug 2007
• Hybrid Logics (HyLo 2007), Dublin (Ireland), 6-10 Aug 2007
• Workshop "Handlungsschemata und ihre mereologische Darstellung in verteilten kooperativen Wissensraeumen", 19 April 2007, Paderborn, Germany
• W2 Professorship Analytical Philosophy, Saarbruecken (Germany)
• 21st International Conference on Automated Deduction (CADE-21), 17-20 July 2007, Bremen, Germany

Received: 2007-01-18:

• Two PhD student positions in Philosophy of Consciousness and Knowledge, Bochum (Germany), Deadline: 26 Jan 2007
• Postdoctoral researcher position in epistemology, University of Cambridge (U.K.), Deadline: Jan 26, 2007 (!)
• Domains VIII and Computability Over Continuous Data Types, Novosibirsk, 11-15 Sep 2007
• 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007), 2-5 July 2007, Rio de Janeiro, Brazil
• Workshop on Experimental Algorithms, 6-9 June 2007, Rome, Italy
• Order, Algebra and Logic, 12-16 June 2007, Nashville TN, U.S.A.
• 23rd British Colloquium for Theoretical Computer Science, 2-5 April 2007, Oxford, UK

Received: 2007-01-17:

• Informal Workshop in Logic, Tuebingen (Germany), 20-21 Jan 2007
• Foundations of the Formal Sciences VI (FotFS VI), Amsterdam, 2-5 May 2007
• STOC Undergraduate Student Research Competition in Theoretical Computer Science (June 2007; deadline 23 Feb 2007)
• Logical Frameworks and Meta-Languages (LFMTP07), 16 July 2006, Bremen, Germany
• Workshop Logic, Rationality and Interaction, 5-9 August 2007, Beijing, China
• Bristol Algorithms Day (BAD 2007), 19-20 February 2007, Bristol, U.K.
• 50 PhD student positions in computer science, Edinburgh
• Logics and Collective Decision Making (LCD07), 13-14 March 2007, Lille, France

Received: 2007-01-15:

• Declarative Agent Languages and Technologies (DALT 2007), Hawai'i (U.S.A.), 14-15 May 2007
• International Colloquium on Automata, Languages and Programming (ICALP), Wroclaw (Poland), July 2007
• Argentine Symposium on Artificial Intelligence (ASAI 2007), Mar del Plata (Argentina), 27-28 Aug 2007
• STOC Undergraduate Student Research Competition, deadline: 2007-02-23, 12-13 June 2007, San Diego CA, U.S.A.

Received: 2007-01-14:

• ESSLLI 2007 Student Session, Dublin (Ireland), August 2007
• Logic and MultiAgent Systems (LAMAS), Otago (New Zealand), 15-16 Feb 2007
• NVTI Theory Day 2007, Utrecht, 9 March 2007
• W2 Professorship "Analytical Philosophy" (Ontology, Philosophy of Language, Epistemology), Saarbr?cken (Germany)
• W3 Professorship "Algebra and Model Theory", M?nster (Germany)
• 8 Professorships (Bonn Junior Fellows), Hausdorff Center for Mathematics, Bonn (Germany)
• 2 PhD student positions / 1 postdoctoral position in computerlinguistics, Stuttgart (Germany); Deadline: Jan 13, 2007 (!)
• Rewriting Techniques and Applications (RTA 07), Paris (France), June 2007

Received: 2007-01-10:

• VvL Afternoon: Logics for interacting agents; 19 Jan 2007, Utrecht
• Postdoctoral position in graph theory, University of Southern Denmark
• Computability in Europe 2007; Final Call for Papers; Siena (Italy), June 2007
• Postdoctoral position in Discrete Math or Theoretical CS, Santiago (Chile)

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