[LOGIC] List Mailing Archive 2005

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: 2005-12-22:

• Workshop on Hybrid Logic 2006 (HyLo 2006), Seattle WA (Aug 2006)
• 14th European Symposium on Algorithms: ESA 2006 (ETH Zurich, Switzerland, September 2006)
• COMBSTRU School on Computational Complexity: Bertinoro (Italy), May 2006
• 11th Estonian Winter School in Computer Science (EWSCS'06), Palmse, Estonia, Mar 2006
• ESSLLI 2006: Malaga (Spain), Jul-Aug 2006

Received: 2005-12-21:

• PhD Programme in Symbolic Computation, University in Linz (Austria)
• 40 PhD student positions in Computer Science: Edinburgh
• 31st International Symposium on Mathematical Foundations of Computer Science (Aug/Sep 2006, Slovakia)
• Research Staff and postdoctoral positions at Computer Science Principles Department, IBM Almaden Research Center (San Jose)

Received: 2005-12-13:

• Postdoctoral position or two PhD positions in philosophy of cognition (Tuebingen, Germany)
• ESSLLI 2006: Student Session (Malaga, Spain)
• Goedel Prize 2006: Call for Nominations
• 2006-07 Herman Goldstine Memorial Postdoctoral Fellowship (IBM Research Centre)
• Student Grants and grants for researchers from the former Soviet Union for CiE 2006: Swansea, Jun/Jul 2006
• Postdoctoral job in philosophy of science: Bonn, Germany (DEADLINE: December 15, 2005)
• 3rd International Workshop on Philosophy and Informatics (May 2006, Saarbruecken)

Received: 2005-12-09:

• MAMLS Meeting in Memory of Stan Tennenbaum, April 2006, New York NY
• Conference in Honour of Magidor's 60th Birthday, Irvine CA, Feb 2006
• UF Special Logic Year 2006/07

Received: 2005-12-08:

• PhD Programme "Sprachtheorie und Angewandte Sprachwissenschaft", LMU Muenchen

Received: 2005-12-03:

• Montalban receives 2005 Sacks Prize
• MODNET-Workshop, "o-minimality", Leeds, March 2006
• Dartmouth College: John Wesley Young Research Instructorship
• Assistant Adjunct Professorships in PIC, UCLA, Los Angeles CA
• Visiting Assistant Professorships in Mathematics, Irvine CA
• Postdoctoral positions in mathematics at CalTech (Harry Bateman, Scott Russell Johnson, Olga Taussky and John Todd)
• "Computing and Philosophy" E-CAP06, Trondheim, Norway, June 2006

Received: 2005-12-01:

• Logic Workshop HU Berlin: Dec 5, 2005
• 29th International Wittgenstein Symposium, August 2006, Kirchberg am Wechsel
• New Master's Programme in Mind, Language and Embodied Cognition, Edinburgh, Scotland
• Conference on Collective Intentionality V, Helsinki Aug/Sep 2006
• University Lectureship Oxford in Philosophy
• University of Chicago: 1 year research postdoctoral fellowship for German philosophy (philosophical logic explicitly mentioned)
• 12th Southeastern Logic Symposium (SEALS), Gainesville FL, March 2006
• Postgraduate Logic Conference in Australia, April 2006 (Melbourne)
• 14th International Conference on Conceptual Structures, Aalborg, Denmark, July 2006
• Boise Extravaganza in Set Theory 2006: Boise ID, Mar/Apr 2006

Received: 2005-11-30:

• Assistant Professorship (part-time) in theoretical philosophy, Basel, Switzerland
• W3 Professorship in Computer Science (Cognitive Technologies), Saarbruecken, Germany
• CIAC06, 6th International Conference on Algorithms and Complexity, Rome, May 2006
• Launch of a new journal: TALG, the ACM Transactions on Algorithms
• 2006/07 Master Class in Mathematical Logic, Utrecht & Nijmegen, Netherlands
• Several postdoctoral positions in algorithms and complexity: Saarbruecken, Germany (deadline: Jan 31, 2006)
• UC06, 5th International Conference on Unconventional Computation, York, UK, September 2006

Received: 2005-11-25:

• PhD student and postdoctoral positions in Automated Reasoning, Karlsruhe, Germany
• Symposium "Processes, terms and cycles", December 2005, Amsterdam (NL)
• CLIMA VII: 7th workshop on computational logic in multi-agent-systems, Hakodate, Japan, May 2006
• Coordinator position (postdoctoral) at the "Centre for Metacomputation" in Oxford (4 year position)
• Visiting and postdoctoral positions in "Logic in Quantum Computation", Lisbon, Portugal

Received: 2005-11-22:

• Days in Logic 2006: Coimbra, Portugal, January 2006
• BCTCS 2006, 22nd British Colloquium for Theoretical Computer Science, Swansea, Wales, April 2006
• CoLT 2006: 19th Conference on Learning Theory, CMU, Pittsburgh PA, June 2006

Received: 2005-11-16:

• Postdoc position on "Development of Automatic Techniques for Software Verification", France
• ICLP'06: 22nd International Conference on Logic Programming, Seattle WA Aug 2006
• ICCS 2006: 14th International Conference on Conceptual Structures, July 2006 (Aalborg, Denmark)

Received: 2005-11-14:

• Dispositiv-Tagung "Ordnungen des Denkens" (Oldenburg, Germany, Nov 2005)
• Junior Research Positions in Mathematical Linguistics, Tarragona (Spain)
• CiE 2006: Logical Approaches to Computational Barriers, Jun/Jul 2006, Swansea (Wales)

Received: 2005-11-11:

• 7th Conference on Real Numbers and Computers (RNC7), Nancy, July 2006
• Job Advertisement -- Referent der DFG: Internationale Zusammenarbeit
• PhD student positions / postdoc positions in Cognition and Decision Making, Berlin
• Researcher Position (equivalent to Associate Professor) in Cognition & Decision Making, Berlin
• Heinz Hopf Lectureships, Zuerich, Switzerland
• Carl Friedrich von Weizsaecker Lectures: Nov/Dec 2005, Hamburg (Germany)
• SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, July 2006, Latvia

Received: 2005-11-10:

• JELIA'06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, Sep 2006
• PhD student grants of the Barbara-Wengeler Foundation: projects connecting neurosciences and philosophy

Received: 2005-11-09:

• Tenure-Track Assistant Professorship in Mathematics (Set Theory and Topology), Miami University (Ohio)
• Tenure-Track Assistant Professorship in Foundations of Computing: York University, Toronto (Canada)
• Szegoe Assistant Professorship, Stanford University
• Visiting Assistant Professor positions, University of California at Irvine
• Ackermann Award 2006: Call for Nominations
• Positions: Postdoc, Research Scientist, Research Professor in Computational Semantics, UW, Seattle
• RTA'06: Rewriting Techniques and Applications, August 2006, Seattle WA

Received: 2005-11-08:

• CSR 2006: Computer Science Symposium in Russia, St.Petersburg, June 2006
• CfP: Special Issue fo TCS on "Applied Semantics"

Received: 2005-11-02:

• Amsterdam Colloquium 2005: Amsterdam Dec 19-21

Received: 2005-11-01:

• 2005-06 Winter Meeting of the ASL, San Antonio TX, January 2006
• WoLLIC'2006: Workshop on Logic, Language, Information and Computation, Stanford CA, July 2006
• CTW 2006, Cologne-Twente Workshop on Graphs and Combinatorial Optimization 2006: Lambrecht, Germany, June 2006

Received: 2005-10-31:

• PhD student position (BAT IIa) Computer Science: automated proof systems, TU Berlin, Germany
• DEON 2006: Deontic Logic in Computer Science, Utrecht, The Netherlands, July 2006
• Postdoctoral Fellowships at the Center for the Mathematics of Information (CalTech)
• Report on the open-access journal "Logical Methods in Computer Science"
• Lectureship, Postdoctoral fellowship and PhD positions in Computational Musical Analysis / Computational Linguistics

Received: 2005-10-30:

• Methodology 2006: Santiniketan, India (Jan 2006)
• Theory and Applications of Models of Computation (TAMC06), Beijing, China, May 2006
• Symposium "Proofs and Problems", Utrecht Nov 25, 2005
• Maitre de Conferences -- Logic and Discrete Mathematics, University of Savoie, France

Received: 2005-10-21:

• Call for Participation: 7th Augustus de Morgan Workshop (London, Nov 2005)
• Postdoctoral research positions at the Institute for Quantum Information, CalTech, Pasadena CA
• PhD student positions in computer science, Kyoto University

Received: 2005-10-20:

• W3 Professorship Philosophy (Analytical Philosophy, Epistemology, Philosophy of Science, Logic or History of Science), Oldenburg, Germany
• Kripke receives honorary doctorate at the University of Pennsylvania

Received: 2005-10-19:

• Assistant Professorship Philosophy of Science, Middlebury College
• Assistant Professorship (tenure-track) in Philosophy of Science, Virginia Tech
• AiML 2006: Advanced in Modal Logic, Noosa (Australia), September 2006
• STOC 2006: Symposium on Theory of Computing, Seattle, May 2006
• WLP 2006: 20th Workshop on Logic Programming, Vienna, Austria (Feb 2006)

Received: 2005-10-18:

• Newton Institute Workshop: Logic and Databases (Feb/Mar 2006)

Received: 2005-10-17:

• 14th International Conference on Conceptual Structures, July 2006, Aalborg, Denmark
• Oxford Conference on Topology and Computer Science, August 2006

Received: 2005-10-15:

• EACSL Outstanding Dissertation Award for Logic in Computer Science (Ackermann Award) 2006: Call for Nominations
• CSL 2006 (Szeged, Hungary, Sep 2006): Call for Workshop Proposals
• CfP "(ANTI-)REALISMS: LOGIC AND METAPHYSICS", Nancy, June/July 2006
• CfP Special Issue of Studia Logica "Psychologism in Logic?"
• Professorship in Pure Mathematics, Queen's University Belfast, Deadline: November 25
• PhD student positions at the "ILLC Centre for Logic and Games", Amsterdam, The Netherlands
• W3 Professorship "Kommunikationswissenschaft", Duisburg-Essen, Germany
• Professorship in "Foundations of Science, Technology and Society", U Twente, Netherlands

Received: 2005-10-10:

• "Understanding the Dynamics of Knowledge", Siena, November 2005
• FOSSACS 2006 "Foundations of Software Science and Computation Structures", Vienna, March 2006

Received: 2005-10-06:

• W3 Professorship for Discrete Mathematics (relationship to logic), Frankfurt am Main, Germany
• W3 Professorship Theoretical Computer Science, Darmstadt (Germany)
• ETH Zuerich: PhD student position in Automata-Based Verification of Hybrid Systems
• DAAD 1-year postdoc grants for a stay at the ICSI in Berkeley
• Workshop "New Directions in Proof Complexity", Newton Institute, Cambridge (April 2006)
• Call for Nominations: EATCS Distinguished Achievements Award
• Methods for Modalities, Berlin (Dec 2005)

Received: 2005-09-28:

• Academic Position (any rank) History of Science, University of Aberdeen, Centre for Modern Thought
• Tenure-track position in theoretical computer science, Hong Kong University
• Third European Workshop on Multi-Agent Systems (Brussels, Belgium, December 2005)
• ICALP 2006, "International Colloquium on Automata, Languages and Programming", Venice, Italy, July 2006
• PhD student position in Approximation Algorithms: Lugano, Switzerland
• "Algebra, Logic and Graph Theory" (Workshop, Oxford, March 2006)

Received: 2005-09-27:

• SIROCCO 20066: 13th Colloquium on Structural Information and Communication Complexity (Chester UK, July 2006)
• Doctoral Symposium at the 5th International Conference on Integrated Formal Methods (Nov 2005)
• Special Issue of the journal "Studia Logica": Formal Epistemology
• 6th International Ershov Memorial Conference, Novosibirsk, Russia (June 2006)

Received: 2005-09-20:

• Logic Summer School, Canberra (Australia; Dec 2005)
• CLIN 2005 "16th Meeting of Computational Linguistics in the Netherlands", Amsterdam NL

Received: 2005-09-16:

• Call for Proposals: special issue 2009 of the journal Osiris
• Associate Editor Position (fulltime), Mathematical Reviews (Ann Arbor, MI)
• GLLC 11 ("Games in Logic, Language and Computation"), Amsterdam (NL)
• PhD student position in "Semantics of multi-threaded flow of control", Amsterdam (NL)

Received: 2005-09-15:

• W3 Professorship Computer Linguistics, Tuebingen (Germany)
• Professorship Discrete Mathematics, TU Wien (Austria)
• W2 Professorship Theoretical Computer Science, Fachhochschule Regensburg
• 7th Augustus de Morgan Workshop "Interactive Logic" (London, November 2005)
• 2006-2007 IBM Herman Goldstine Memorial Postdoctoral Fellowship
• Position as Associate Director of DIMACS (Rutgers University)
• 6th International Conference on Algorithms and Complexity (CIAC 2006), May 2006, Rome (Italy)
• Professorship in Algorithms and Computing, Paris

Received: 2005-09-07:

• WLP 2006, 20th Workshop on Logic Programming, Feb 2006 (Vienna)
• CiE 2006 "Logical Approaches to Computational Barriers", Swansea, Wales, June-July 2006
• ASL Winter Meeting in New York (joint with APA), Dec 2005

Received: 2005-09-03:

• FOCS 2005 ('Foundations of Computer Science'), Pittsburgh PA (Oct 2005)
• Gauss Lecture in Dresden (October 2006): Penelope Maddy
• CfP, Special Issue on "Rewriting Calculi and Higher-Order Reductions" in MSCS
• MSc Research Positions in Computer Science: Lennoxville (Canada)

Received: 2005-08-31:

• Workshop "Logic, Models and Computer Science", Camerino (Italy), April 2006
• "Logic and Algorithms" Programme at the Isaac Newton Institute: Jan-Jul 2006
• M4M-4 "Methods for Modalities", Berlin-Adlershof (Germany), December 2005

Received: 2005-08-29:

• Lectureship in CS, University of Durham
• AvH-Forscherteams (Germany-North America) in the Humanities (deadline: October 31, 2005)
• PhD position in Monadic Computational Logics, Bremen (Germany),
• 17th Nordic Workshop on Programming Theory, Copenhagen, October 2005
• Latin American Theoretical INformatics (LATIN 2006), Valdivia (Chile), March 2006
• 9th Italian Conference on TCS (ICTCS), Siena, Oct 2005

Received: 2005-08-18:

• MPI fuer Wissenschaftsgeschichte; 5-year W2 group leader position in History of Science
• Postdoc project at the German Historical Institute in Washington DC (project in History of Science possible)
• W3 Professorship "Theorie der Grammatikforschung" (Muenster, Germany)
• W2 Professorship for 'Historische Wissenschaftsforschung'; Bielefeld
• Mini-conference "Scientific Images" (Portland OR, March 2006)
• MAMLS 2005, Rutgers, 60th birthday of Saharon Shelah (October 2005)
• Professorship of Computing, Bath, England

Received: 2005-08-17:

• WLPE 2005 (Workshop on Logic-based methods in Programming Environments), Sitges, Spain (October 2005)

Received: 2005-07-29:

• W2 Professorship in Theoretical CS (Darmstadt, Germany)
• W2 Professorship "Algebraic and logical foundations of CS" Leipzig, Germany
• CCA 2005 (Computability and Complexity in Analysis). Kyoto, Japan, August 2005.
• 2006 SIGACT Distinguished Service Prize (Call for Nominations)

Received: 2005-07-15:

• DEON 2006 (8th international workshop on Deontic Logic in Computer Science), July 2006, Utrecht
• "Mental Causation, Externalism and Self-Knowledge" (Conference in Tuebingen, October 2005)

Received: 2005-07-07:

• Workshop "Ordnungen des Denkens", Oldenburg, November 2005
• 2006/07 Master Class in Mathematical Logic: Utrecht/Nijmegen, NL
• Workshop "Constructive analysis, types and exact real numbers" (Nijmegen, NL, Oct 2005)
• Three positions (postdoc or lecturer) in research project on "Infinite Objects, computation, Modeling and reasoning" (Amsterdam/Utrecht, NL)
• Postdoc and lecturer position in "Advancing the real use of proof assistants" (Nijmegen, NL)

Received: 2005-07-05:

• E W Beth Dissertation Prize 2005: Ash Asudeh (Stanford)

Received: 2005-07-01:

• 15th Amsterdam Colloquium, December 2005 (Amsterdam, The Netherlands)

Received: 2005-06-30:

• W3-Professorship 'Cognitive Systems' (Karlsruhe, Germany)
• PhD student positions on 'Decision Procedures for Formal Verification' (Trento, Italy)

Received: 2005-06-28:

• PhD Position on "Thread Algebra for Strategic Interleaving": Amsterdam (the Netherlands)

Received: 2005-06-23:

• Three postdocs in Twente / CWI / Eindhoven: Distributed Model Checking
• Logic Events at the University of Western Australia: September 2005

Received: 2005-06-22:

• International Conference "Philosophical Knowledge: Its Possibility and Scope": Erfurt, Germany
• Postdoctoral BAT IIa position (2 years) in Theoretical Philosophy (Aachen, Germany)

Received: 2005-06-21:

• One postdoctoral and two PhD positions in "Mathematical Logic and its Applications" (Freiburg, Germany)
• CALCO-jnr 2005: "Conference on Algebra and Coalgebra in Computer Science Young Researchers Workshop" (Swansea, Wales, September 2005)
• Permanent teaching position (BAT IIa) in mathematics (Duesseldorf, Germany)
• ICGT'05 (International Colloquium on Graph Theory): Hyeres, Var, France (September 2005)
• Reminder: PALMYR-1, Amsterdam (June 25, 2005)
• Permanent Positions (Lecturer, Senior Lecturer, Associate Professor) at the University of Cape Town (among others: 'Mathematics of Computer Science')
• M4M-4 (Methods for Modalities 2005): Berlin, December 2005

Received: 2005-06-16:

• Calculemus 2005 (Newcastle, July 2005)
• W3 Professorship Computerlinguistik (Heidelberg)
• 1-year teaching position in Set Theory: Bristol, UK
• NeSy'05 (Neural-Symbolic Learning and Reasoning), Edinburgh July 31, 2005

Received: 2005-06-15:

• 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12): Jamaica, December 2005
• 16th Australasian Workshop on Combinatorial Algorithms: Ballarat (Australia), September 2005

Received: 2005-06-14:

• Model Theory in Bogota (August 2005)
• Resources for Postdocs
• CSL 2005: Computer Science Logic. Oxford, August 2005
• Workshop on Algorithms and Data Structures: Waterloo, Canada, August 2005
• ISAAC 2005 ("International Symposium on Algorithms and Computation"; Sanya, China): December 2005
• Full Professorship Philosophy of Mind/Language/Science, Universitaet Luzern
• Sabbatical Positions Tarragona: Language and Speech Technology, Language Acquisition etc.
• "Science, Reason and Society" (Basel, July 2005)
• Professorship in "History and Philosophy of Sciences" (Geneva)
• Lectureship "Theory and History of Sciences": Leipzig

Received: 2005-06-06:

• 17th Nordic Workshop on Programming Theory, Copenhagen, October 2005
• Latin American Theoretical Informatics (LATIN 2006), Valdivia, Chile, March 2006
• Principles of Programming Languages, Charleston SC, January 2006
• W2-Professorship Fachhochschule Oldenburg: Mathematics & Computer Science
• CfP: Special Issue on "Real Numbers" of the journal Theoretical Informatics and Applications

Received: 2005-05-26:

• "On denoting, 100 years" (Utrecht, June 24)
• 1st PALMYR: Paris-Amsterdam Logic Meeting of Young Researchers (Amsterdam, June 25)
• New Master's Programme in Logic, History and Philosophy of Science: Geneva, Lausanne and Neuchatel
• PhD Position in Mathematical Logic (Amsterdam, ILLC)

Received: 2005-05-23:

• Research studentship (3 years) in foundations of computing (Swansea, Wales)

Received: 2005-05-22:

• Workshop "Branching Space-Times": Krakow, Poland (October 2005)
• Workshop "On denoting, 100 years": Utrecht, June 2005

Received: 2005-05-19:

• W3 Professorship in Artificial Intelligence and Cognitive Science (Osnabrueck)
• FCT 2005: Fundamentals of Computation Theory (Luebeck, Germany, August 2005)
• Two PhD student positions and one postdoctoral position "Applications of Mathematical Logic in Computer Science and Algebra" (Freiburg, Germany)
• A13 Lectureship "Mathematics for Computer Scientists" (Bochum, Germany)

Received: 2005-05-18:

• W3 Professorship for Theoretical Philosophy (Logic and Philosophy of Science)
• LOPSTR'05: Logic-based Program Synthesis and Transformation, London (September 2005)
• Postdoctoral Fellow Positions: Quantum Algorithms, Complexity, Information Theory (Calgary)
• Workshop on Phase Transitions in Logic and Ramsey Theory (Utrecht, May 2005)
• Call for Nominations: 2005 Information-Based Complexity Young Researcher Award
• BAT IIa-O position: Theory and History of Science (Leipzig, Germany)
• ERATO Conference on Quantum Information Science, Tokyo (August 2005)
• Workshop on "What's Quantum in Quantum Computing" (Konstanz; starting TOMORROW)
• Workshop on Programming Logics in memory of Harald Ganzinger (Saarbruecken, June 2005)

Received: 2005-05-13:

• British Logic Colloquium 2005: September 2005 (Bristol)

Received: 2005-05-11:

• Neurophilosophy: The State of the Art (Workshop at CalTech, June 2005)
• Norms, Reasoning and Knowledge in Technology (Boxmeer, NL, June 2005)
• Visiting Assistant Professorship: Philosophy of Mind/Epistemology/Philosophy of Science, George Washington University
• Tenured Position in Cognitive Science / Philosophy (Yale University)
• FOnt 2005: Foundational Aspects of Ontologies (Koblenz, Germany, September 2005)
• 2nd Meeting on Selection Principles in Mathematics (SPM05), Lecce, Italy, December 2005

Received: 2005-05-10:

• 20th Summer Conference on Topology and its Applications (July 2005; Granville OH)
• 6th Iberoamerican Conference in Topology and its Applications (Puebla, Mexico, July 2005)
• Special Session: Logical Consequence and its combinations (Pune, India, December 2005)
• Logic Colloquium 2006: Nijmegen (The Netherlands)
• Call for Nominations for Editor-in-Chief of the ACM Transactions on Computational Logic
• ESSLLI 2006 (Malaga, Spain): Call for Course and Workshop Proposals

Received: 2005-05-06:

• W2-Professorship "Informatik und ihre Vermittlung" (Grundlagen der Informatik), Dortmund, Germany
• Trends in Logic III (Warsaw, Poland, September 2005)

Received: 2005-05-05:

• 7th Augustus de Morgan Workshop: Interactive Logic (London, November 2005)
• 1st Algorithms and Complexity in Durham Workshop (ACiD 2005): July 2005 (Durham)

Received: 2005-05-03:

• 1-year postdoc theoretical philosophy (phil of mind, language, epistemology): Bielefeld, Germany

Received: 2005-05-02:

• Training Workshop "Mathematical Logic and Applications" (September 2005, Fischbachau, Germany)

Received: 2005-05-01:

• PhD student positions in computational neuroscience, Imperial College, London

Received: 2005-04-29:

• International Workshop in "Computations on the continuum" (Lisbon, Portugal; June 2005)
• International Wittgenstein Conference (September 2005, Toledo (Spain))

Received: 2005-04-28:

• New York City Logic Conference 2005 (May 2005)
• Postdoc in CS in connection with natural language, Caen (France)
• Doctoral Consortium (for PhD students in logic programming) at ICLP 2005 (Barcelona)

Received: 2005-04-27:

• Assistant Professor in Philosophy (Phil Mind/Science/ Epistemology), Central European University, Budapest (Hungary)
• "Empirically Successful Classical Automated Reasoning" (Tallinn, Estonia; deadline: May 1)

Received: 2005-04-24:

• Methods of Logic in Mathematics II (St.Petersburg, Russia, July 2005)
• Fall School of Logic (Pec pod Snezkou, Czech Republic, September 2005)
• FORTE 2005: Formal Techniques for Networked and Distributive Systems (Taiwan, October 2005)

Received: 2005-04-20:

• 33rd Theoretical Computer Science Spring School: Computational Complexity, Montagnac-les-truffes, France (May/June 2005; deadline: this Friday)
• Lecturer in theoretical philosophy: Uppsala University, Sweden (deadline: May 23rd, 2005)
• Bielefeld Pentecoste Lectures in Philosophy: Nancy Cartwright, "Causality, Metaphysics and Methods"
• Two senior research fellowships in computational algebra with tenure-track; St.Andrews (advance announcement)
• Postdoctoral Position in Logic: Greece (deadline: May 13, 2005)
• CfP Special Issue: Journal of Applied non-classical logics, Deadline: July 1st, 2005
• ICTAC05 (International Colloquium on Theoretical Aspects of Computing), Hanoi, Vietnam, October 2005
• Saunders Mac Lane (1909-2005)

Received: 2005-04-15:

• Lectureship in Philosophy of Mind / Epistemology (Leeds, UK)
• PostDoc (BAT IIa) / PhD student positions "Wissen und Koennen", Universitaet Tuebingen, deadline: 2005-05-09

Received: 2005-04-14:

• W3-Professur Theoretische Informatik / Theoretische Bioinformatik (Duesseldorf, Germany)
• W2-Professur fuer Mathematische Methoden der Informatik (Duesseldorf, Germany)

Received: 2005-04-13:

• New Journal: LMCS (Logical Methods in Computer Science)
• M4M-4 (Methods for Modalities 2005): Berlin-Adlershof, Germany (September 2005)
• Isaac Newton Institute Workshop "Model Theory, Algebraic and Analytic Geometry" (Cambridge UK, July 2005)
• 20th IEEE Conference on Computational Complexity (San Jose CA, June 2005)
• Workshop "Norms, Reasoning and Knowledge in Technology" (Boxmeer, The Netherlands, June 2005)
• 33rd Annual Meeting of the Society for Exact Philosophy: Philosophy, Logic and Linguistics (Toronto, May 2005)
• 4-year PostDoc position (forskarassistent) in Logic, Gothenburg, Sweden

Received: 2005-04-12:

• Senior research positions in Mathematical Linguistics (Tarragona, Spain)
• Postdoctoral Fellowship in Graph Theory (including infinite graph theory): Universitaet Hamburg (Germany)

Received: 2005-04-11:

• CiE 2005: Call for Participation (Amsterdam, June 2005)

Received: 2005-04-07:

• PhD position Vrije Universiteit Amsterdam: Theoretical Computer Science (deadline May 1, 2005)
• PCC'05: Proof Theory, Computation, Complexity: July 2005 (Lisbon, Portugal)
• FOnt 2005 (Foundational Aspects of Ontologies), Koblenz (Germany), September 2005

Received: 2005-04-05:

• Workshop on Coverings, Selections and Games in Topology 2005 (Lecce, Italy; December 2005)
• FLoC'06: Federated Logic Conference 2006, Seattle WA: August 2006
• Assistant Professorship in Philosophy (AoC: Symbolic Logic), Indiana University Southeast

Received: 2005-04-03:

• Two PhD student positions in theoretical philosophy: Uppsala (Sweden)

Received: 2005-04-01:

• Logic for Programming Artificial Intelligence and Reasoning LPAR-12 (Jamaica, December 2005)
• 6th International Tbilisi Symposium on Language, Logic and Computation (Batumi, Georgia, September 2005)

Received: 2005-03-31:

• Call for nominations: Edsger W. Dijkstra Prize in Distributed Computing (deadlin: May 1, 2005)
• PhD student position in formal mathematics at RU Nijmegen (Netherlands; deadline July 1, 2005)
• Postdoctoral Fellowships in Computational Logic (International University Bremen)
• PhD student position in Philosophy of Language / Philosophical Logic: Amsterdam (ILLC; deadline: April 18, 2005)
• Positions in CS at the International University Bremen (particular interest in Mathematical and Symbolic Modelling/Semantic Language Processing)
• Stellvertretende/r Direktor/in des "Zentrum fuer Informationsdienste und Hochleistungsrechnen" (TU Dresden; BAT Ia-O)
• 17th Annual Alfred Tarski Lectures: Zlil Sela (April 2005, Berkeley CA)
• 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'05), Edinburgh July 2005

Received: 2005-03-30:

• PhD student position in Logic (broadly conceived): Tilburg (NL)

Received: 2005-03-29:

• APPROX-RANDOM (8th workshop on Approximation Algorithms + 9th Workshop on Randomization); Berkeley August 2005

Received: 2005-03-23:

• CSL'05: Oxford (UK), August 2005
• Workshop on Programming Logics in memory of Harald Ganzinger (Saarbruecken, June 2005)
• PhD student position in "Contingency and Dissent in Science": LSE (London)
• 2nd Workshop on the Rewriting Calculus (Palaiseau, France; May 2005)
• WCFLP 2005 "Workshop on Curry and Functional Logic Programming" (Tallinn, Estonia; September 29, 2005)

Received: 2005-03-22:

• Maitre de Conference "Mathematiques Fondamentales" (La Reunion, France)

Received: 2005-03-20:

• "Small TYPES workshop" (October 2005, Nijmegen, The Netherlands)
• FG-MOL (10th conference on Formal Grammar / 9th Meeting on Mathematics of Language), Edinburgh (Scotland, August 2005)

Received: 2005-03-18:

• Prize for Achievement in Information-Based Complexity

Received: 2005-03-16:

• ICFP 2005: International Conference on Functional Programming (Tallinn, Estonia)
• PhD student position (1/2 BAT IIa) in Philosophy of Mind (Saarbruecken, Germany)
• Postdoc in Algorithms and Complexity (Bergen, Norway)
• Lectureship (in particular logic) in Philosophy (Akademischer Rat, A13) in Heidelberg (Germany)
• PhD student position (BAT IIa) in Quantum Computing (Frankfurt/M, Germany)
• Trends in Logic III (Warsaw, Poland, September 2005)
• BAT IIa research position (2 years) in Information Retrieval (Marburg)

Received: 2005-03-14:

• W3-Professur Algebra, insbesondere Algebraische Gruppen und Modelltheorie (Darmstadt, Germany)
• W3-Professur Theoretische Informatik (Duisburg-Essen, Germany)
• 1/2 BAT IIa-PhD student position on causality and cognition (Heidelberg, Germany)
• "Agency and Causation in the Human Sciences" (Trento, Italy, June 2005)
• "Computations on the continuum", June 2005, Lisbon (Portugal)

Received: 2005-03-09:

• AWOCA 2005: 16th Australasian Workshop on Combinatorial Algorithms (Ballarat, Victoria, Australia, September 2005)
• SAGA 2005: Stochastic Algorithms, Foundations and Applications (Moscow, October 2005)

Received: 2005-03-08:

• "Waarheid in Taal" (Symposium, Amsterdam, March 15, 2005)
• "Philosophy of Information" (Amsterdam, March 11, 2005)
• Universitaetsprofessur Algorithmen und Datenstrukturen (TU Wien)
• 46th IEEE Symposium on Foundations of Computer Science (FoCS 2005; Pittsburgh October 2005)
• Special Issue CfP "Inductive Logic Programming"
• PhD student position in Web Information Retrieval (Amsterdam)
• Rewriting Techniques and Applications (Nara, Japan, April 2005)

Received: 2005-03-02:

• PostDoc (project leader) position at AIFB University of Karlsruhe on Semantic Web
• "Algebraic and Topological Methods in non-classical logics II" (Barcelona, Spain, June 2005)
• Workshop on DISPROVING (Tallinn, Estonia, July 2005)
• 2005 Josef Raviv Memorial Postdoctoral Fellowship (in Computer Science and Computer Engineering)

Received: 2005-02-26:

• 7th International Symposium on Logical Formalizations of Commonsense Reasoning (Corfu, Greece, May 2005)
• Student Logic Symposium "Waarheid in Taal" (Amsterdam, March 15, 2005)

Received: 2005-02-25:

• Workshop on Neural-Symbolic Learning and Reasoning (NeSy; Edinburgh August 2005)

Received: 2005-02-24:

• GLLC X: "Games in Logic, Language and Computation" (Tilburg, NL; March 2005)

Received: 2005-02-22:

• 21st International Conference on Logic Programming ICLP 05 (Barcelona, October 2005)
• LLL 05 (Learning Language in Logic), Bonn (August 2005)
• CfP: Special Issue on "Theory and Foundations of Programming Language Interference and Dependence" (JLAP)
• Two visiting assistant professorships in philosophy (logic teaching need); Skidmore College (Saratoga Springs NY)
• Summer School on Applied Semantics (September 2005, Frauenchiemsee)
• Lecturer / Senior Lecturer in Philosophy (Phil of Mind, Phil of Language, Logic; Otago, New Zealand)
• Postdoc position (BAT IIa) in "Programming Language Aspects of sublinear space complexity classes" (Munich, Germany)
• PhD student position in "Combinatorial Search Algorithms in Bioinformatics" (Bielefeld, Germany)
• Third International Symposium on Automated Technology for Verification and Analysis (Taipei, October 2005)
• Algorithms Postdoc position (Aarhus, Denmark)

Received: 2005-02-21:

• BAT II-Stelle (befristet) in Semantic Web (Karlsruhe, Deutschland)
• PhD Student positions in the Network MATHLOGAPS
• Sabbatical Positions at the Research Group on Mathematical Linguistics (Tarragona, Spain)

Received: 2005-02-16:

• 20th International Conference on Automated Deduction, Tallinn (Estonia, July 2005)
• 33rd TCS Spring School: Montagnac-les-truffes (France, May/June 2005)
• Tutorial Fellowship: Philosophy, Logic and Scientific Method at LSE (London)
• Approximation Algorithms / Ramdomization (Berkeley CA, August 2005)

Received: 2005-02-15:

• MSc in Logic: interdisciplinary and international programme, Amsterdam
• Summer School on "Logic-Based Knowledge Representation" (Dresden, July 2005)
• 9th Italian Conference on TCS (Siena, October 2005)
• Professorship of Computer Science: Computing Lab, Oxford UK
• Eighth International Conference on Theory and Applications of Satisfiabilitty Testing (SAT 05; St.Andrews, Scotland, June 2005)

Received: 2005-02-08:

• 60th Birthday of Volker Weispfenning: "Algorithmic Algebra and Logic" (Passau, April 2005)
• "An Introduction to Recent Applications of Model Theory (Cambridge, England, March/April 2005)
• Back-to-back logic meetings in the San Francisco Bay Area: ASL Annual Meeting (Stanford) and ASL Spring Meeting (San Francisco)
• 2004 Sacks Prize awarded (Mileti & Segerlind)
• Vopenka wins Havel Foundation Prize 2004
• 4th International Conference on Mathematical Knowledge Management (July 2005, Bremen)
• 14th Annual Symposium on Algorithms (ESA 2005), Ibiza (Spain, October 2005)
• International M.Sc. Program in COMPUTATIONAL LOGIC
• Summer Course in Proof Theory (Notre Dame, June 6-17, 2005)
• Calculemus 2005 (12th Symposium on the Integration of Symbolic COmputation and Mechanized Reasoning; Newcastle upon Tyne, July 2005)
• [FOM] "Proof in mathematics" (Lille, France, May 2005)
• 12 PhD scholarships in algorithmics, automata theory, semantics, mathematical logic or distributed systems (Copenhagen, Denmark)
• Predoc position in Algorithms (Pisa, Italy)

Received: 2005-02-01:

• "Logic in Hungary", Budapest (August 2005)
• CfP: New Book Series "Advanced Studies in Mathematics and Logic"
• 15th International Symposium on Fundamentals of Computation Theory (Luebeck, Germany, August 2005)
• PhD student position Philosophy of Physics or Logic (Erfurt, Germany)
• University CUF Lectureship in Philosophy of Mathematics/Science Oxford (England)
• PhD position in Algorithms (Bergen, Norway)

Received: 2005-01-25:

• 22nd International Conference on Machine Learning (Bonn, Germany, August 2005)

Received: 2005-01-24:

• Call for Submissions: ACKERMANN AWARD for Logic in Computer Science, deadline: 2005-03-31
• Research Positions at Tarragona (Spain): Mathematical Linguistics
• 7th French International Colloquium on Graph Theory (Hyeres, Var, France, September 2005)
• Postdocs in Algorithmics (Saarbruecken, Germany)

Received: 2005-01-21:

• "Neurophilosophy: The State of the Art"; Meeting at CalTech (Pasadena CA, June 2005)
• 1st Graduate Conference on Philosophy of Natural Science (May 2005, London)
• Beth Dissertation Prize (Deadline for submissions: Mar 15, 2005)
• Workshop: "Die neuere Debatte um das Apriori" (Frankfurt/M, Germany, February 2005)
• International Summer School: Philosophy, Probability and Physics (Konstanz, Germany, August 2005)
• Isaac Newton Institute: Special Programme on Logic and Algorithms (2006)

Received: 2005-01-20:

• 31st International Workshop on Graph-Theoretic Concepts in Computer Science (Metz, June 2005)
• DIALOR'05 (9th Workshop on the Semantics and Pragmatics of Dialogue; Nancy June 2005)
• European Model Theory Network: MODNET (PhD student and PostDoc positions)

Received: 2005-01-19:

• IBM Watson summer internships in algorithms and theory (Yorktown Heights NJ)
• Colloquium "Dutch Book Arguments" (Prague, August 2005)
• Workshop 'Prospects for Dualism' (Amsterdam, Feb 2005)
• ICLP'05: 21st International Conference on Logic Programming (Sitges, Spain, October 2005)
• LPNMR'05: 8th International Conference on Logic Programming and Nonmonotonic Reasonin (Cosenza, September 2005)
• CIAA 2005: Conference on Implementation and Application of Automata (Sophia Antipolis, France, June 2005)

Received: 2005-01-15:

• Lektorenstelle Mathematik; Walter de Gruyter Verlag

Received: 2005-01-14:

• Workshop "The Semantics/Pragmatics Distinction" (Paris, July 2005)
• FG-MOL 2005 (Edinburgh, August 2005)
• Structures and Deduction Workshop CfP - ICALP '05 Satellite (Lisbon, July 2005)
• NVTI Theoriedag (Utrecht, March 2005)
• IJCAI-05 Workshop on Neural-symbolic learning and reasoning (Edinburgh, July 2005)
• 9th Asian Logic Conference (August 2005, Novosibirsk)

Received: 2005-01-10:

• Wilde Professorship of Mental Philosophy (Oxford, UK, DEADLINE: 17.1.2005)

Received: 2005-01-07:

• W2-Professorship Theoretical Computer Science (Dortmund, Germany)
• Workshop "Structures and Deduction" (Lisbon, July 2005)

Received: 2005-01-06:

• 3rd International Workshop on Logic and Communication in MultiAgent Systems (LCMAS; Edinburgh Jul/Aug 2005)
• Spring Topology and Dynamical Systems Conference 2005 (Rome GA, U.S.A., March 2005)

Received: 2005-01-04:

• Workshop on "Logical Methods in Epistemology, Semantics, and Philosophy of Mathematics" (Bristol, Jan 6-8, 2005)
• Directeur de Recherche: Philosophy of Social Sciences, epistemic conditions of coordination (Paris, France)
• 40 PhD positions in Computer Science (Edinburgh, UK)
• UNIF 2005 (Nara, Japan, April 2005)

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