[LOGIC] List Mailing Archive 2004

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: 2004-12-23:

• WissMit-Stellen in "Machine Learning and Information Retrieval" (TU Darmstadt)
• 10th Estonian Winter School in Computer Science (Feb-Mar 2005)

Received: 2004-12-21:

• Constraints in Discourse (Dortmund, Germany, June 2005)
• Assistant/Associate Professorship in Philosophy (AoC: Logic among others) at environmentally oriented Green Mountain College (Vermont)
• Assistant Professorship Washington and Lee University: Philosophy of Science (Logic teaching needs)
• Postdoctoral and PhD student position in Computational Neuroscience (TU Berlin, Germany)
• W2-Visiting Professorship (5 years) in Neutral Networks and Mathematical Cognition Theory (Leipzig, Germany)
• PhD student positions (3+3 years) in Algorithmic Discrete Mathematics, Darmstadt (Germany)
• WissMit-Stelle: Institut fuer Wissensmedien, Tuebingen
• Tableaux 2005 (Koblenz, Germany, Sep 2005)
• Algebraic and Topological Methods in Non-classical Logics II (Barcelona, June 2005)

Received: 2004-12-15:

• CALCO 2005: 1st Conference on Algebra and Coalgebra in Computer Science (Swansea, Wales, September 2005)
• LACL05: Logical Aspects of Computational Linguistics 2005 (Bordeaux, France)
• Call for Nominations: 2005 Goedel Prize in Theoretical Computer Science
• Call for Nominations: 2005 IBC Prize ('Information-Based Complexity'; Deadline March 31, 2005)
• 5th Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics, and Algorithms (May 2005, Haifa, Israel)
• Lectureship in Logic/TCS (3 years), Bath (England)
• 17th School for Computer Science "Formal Methods" (Lipari Island, Italy, July 2005)

Received: 2004-12-12:

• SEALS 10: SouthEast Logic Symposium (Gainesville FL, April 2005)

Received: 2004-12-11:

• Boise Extravaganza in Set Theory (BEST 14; Boise ID, March 2005)
• Young Philosophers Essay Competition: Philosophy of Language, deadline: 2005-03-01

Received: 2004-12-10:

• Research Associate, Canterbury, deadline: 2005-02-07
• Cologne/Twente Workshop on Graphs and Combinatorial Optimization (May 2005, Koeln)
• Positions as a Test Analyst for the LSAC (Pennsylvania); background in formal or informal logic desirable [Deadline: Jan 15, 2005]
• Spring School on Infinite Games and their Applications (Bonn, March 2005)
• Workshop on Belief Revision and Dynamic Logic (at ESSLLI 2005, Edinburgh, August 2005)

Received: 2004-12-09:

• LICS 2005 (June 2005, Chicago IL)

Received: 2004-12-07:

• PhD Student position in the project "The Economics of Language" (ILLC, Amsterdam, Deadline: Jan 20, 2005)
• "The Dynamics of Reason" (Amsterdam, Dec 11, 2004)
• CfP Special Issue of the journal "Theoretical Informatics and Applications" on Real Numbers (deadline June 1, 2005)
• ECSQARU 2005 (Barcelona, July 2005)
• COCOON 2005 (Kunming, China, Aug 2005)

Received: 2004-12-06:

• BAT IIa-O Position Algorithms (Halle, Germany)
• Interdisciplinary Lectureship Bristol (Mathematics/Philosophy)

Received: 2004-12-03:

• W3-Professur Algebra/Diskrete Mathematik (Ulm)
• 9th Workshop on Algorithms and Data Structures (WADS), August 2005 (Waterloo, Canada)
• IBM Herman Goldstine Memorial Postdoctoral Fellowship 2005-06

Received: 2004-11-30:

• Logical Methods Workshop in Bristol (Jan 2005)
• GLLC 9: Games in Logic, Language and Computation (Amsterdam; 6.12.2004)
• XX. Deutscher Kongress f?hilosophie
• Assistant Professorship Epistemology/Logic, CUNY (Medgar Evers College)
• ICTCS 05 (Siena, October 2005)
• CfP "Philosophiegeschichte und logische Analyse" Band 9 (2006)
• BAT IIa-Stelle Philosophie der Naturwissenschaft (2 Jahre; U Dortmund)
• Unbefristete BAT IIa-Stelle Theoretische Philosophie (Dortmund)
• CCA 2005 (Computability and Complexity in Analysis (Kyoto, Aug 2005)
• New Horizons in Computing (Feb/Mar 2005, Kyoto)

Received: 2004-11-23:

• Assistant Professor in Analytic Studies and Information Technology (Philosophy); Tenure Stream; York University (Toronto)

Received: 2004-11-19:

• PIYRA Award (Ireland) for Young Researchers in Computer Science
• Assistenzprofessur fuer Wissenschaftstheorie und Wissenschaftsgeschichte der Exakten Wissenschaften (Bern, Schweiz)
• VIG 2005: Very Informal Gathering (Los Angeles, February 2005)
• ASL Spring Meeting in San Francisco (March 2005)

Received: 2004-11-18:

• Project Leader position Theoretical Computer Science (Karlsruhe, Germany)
• Workshop "Diagrams and Images Criticism in Mathematical Textual Traditions" (November 2004, Pisa, Italy)
• Postdoctoral Research Associate in Complexity and Algorithms (Warwick UK)

Received: 2004-11-13:

• International General Topolgy Symposium (Zhangzhou, China, May 2005)
• 1st SQU Workshop on Topology and its Applications (Oman, Dec 2004 / Jan 2005)
• 2nd International Conference on Computability and Complexity in Analysis (Kyoto, Japan, August 2005)
• 22nd International Conference on Machine Learning (Bonn, August 2005)
• European Agent Systems Summer School 2005 (Utrecht, July 2005)

Received: 2004-11-12:

• 18th Conference On Learning Theory, Bertinoro (Italy), June 2005 [COLT]
• LPAR-11, Logic for Programming Artificial Intelligence and Reasoning, Montevideo (Uruguay), March 2005
• FCT 2005: Fundamentals of Computation Theory (Luebeck, August 2005)

Received: 2004-11-05:

• Assistant Professorship Philosophy of Mind/Science with logic teaching skills, University of Rochester
• Assistant Professorship in Philosophy (with logic expertise) at Nacogdoches TX.

Received: 2004-11-04:

• BAT IIa-Stelle Theoretische Philosophie Konstanz
• W2-Professorship Theoretical Computer Science, Luebeck

Received: 2004-11-03:

• CfP: ESSLLI 2005 Student Session

Received: 2004-11-02:

• Workshop on Vaught's Conjecture, Notre Dame, May 2005

Received: 2004-11-01:

• CiE 2005, Amsterdam: "New Computational Paradigms" (June 2005, Deadline: Dec 17, 2004)

Received: 2004-10-31:

• ISMVL-2005 (International Symposium on Multiple-Valued Logic; Calgary; May 2005; DEADLINE TOMORROW)

Received: 2004-10-30:

• Mathematical Logic Problem Forum at UC Berkeley
• Tenure-track position in Set Theory, Boise State University

Received: 2004-10-29:

• Special Issue on non-conceptual content (European Review of Philosophy: Deadline May 1, 2005)
• European Congress for Analytic Philosophy, ECAP 5, Lisbon (August 2005)
• ADMW 2004: Logic and Law

Received: 2004-10-28:

• DIALOR'05, Nancy (June 2005)

Received: 2004-10-21:

• Lorenz-Kr?ger-Postdoc-Stipendium: Philosophie & Wissenschaftsgeschichte
• Assistant Professorship in Logic (Philosophy), Stanford University
• PhD student position Formal Systems at CWI (Amsterdam)

Received: 2004-10-19:

• Assistant Professorship Logic/PhilLang; Ithaca College
• Assistant Professorship in History of Analytic Philosophy, Loyola University New Orleans
• Workshop on Pictorial and Linguistic Representation (Oxford, Nov 2004)

Received: 2004-10-14:

• New Journal: Logical Methods in Computer Science
• TARK X (Singapore, June 2005)
• Changing Minds, Workshop on Belief Revision (Amsterdam, Oct 29, 2004)
• Symposium "AI in the Wild" (Groningen, Oct 20, 2004)
• UCLA Interdisciplinary Conference "Concepts of Cause" (Nov 2004, Los Angeles)

Received: 2004-10-05:

• Keetje Hodshon Award: Call for nominations
• IWCS 6, Tilburg, Jan 2005
• FSTTCS 2004: Chennai, India, Dec 2004
• "Extensions of Hilbert's Tenth Problem", Workshop at the AIMath (Palo Alto CA, March 2005)
• Jamex III (Oaxaca, Mexico, Dec 2004)
• Possible Full Professorship in Mathematical Logic (Paris)
• LC2005, Athens (Greece, Jul/Aug 2005)
• Workshop in History/Philosophy of Science, Paris (Dec 2004)
• AGC2 Arche Graduate Conference on the Philosophy of Logic, Language, Mathematics ... (Feb 2005, St.Andrews, Scotland)

Received: 2004-09-30:

• Postdoctoral math positions at CalTech

Received: 2004-09-29:

• Lectureship in Complexity Theory and Algorithmics (Liverpool UK)
• 4-year postdoctoral research position in Computational Logic (Innsbruck, Austria)

Received: 2004-09-27:

• Call for Workshop Proposals at LICS 2005 (Chicago, Jun 2005)
• Summer School on Topos Theory (Haute-Bodeux, Belgium, May/Jun 2005)
• The Continuum in Mathematics and Philosophy (Nov 2004, Copenhagen)

Received: 2004-09-25:

• W3-Professorship in computational neuroscience (Goettingen, Deadline: Oct 27, 2004)

Received: 2004-09-23:

• Two research-months "Computational Aspects of Infinity" (Singapore, June to August 2005)
• Conference on "Model Theory of Arithmetic Structures" (October 2004, Freiburg)

Received: 2004-09-20:

• Tenure-eligible Assistant Professorship in Philosophy (AoS: Logic; Ithaca College)
• Postdoctoral position at CLC, Lisbon (Portugal)

Received: 2004-09-17:

• The 9th Asian Logic Conference, Novosibirsk (Aug 2005)

Received: 2004-09-16:

• LACL 2005 ("Logical Aspects of Computational Linguistics"; Bordeaux Apr 2005)
• W2-Professur Theoretische Informatik (Automaten, Formale Sprachen, Berechenbarkeit, Komplexitaet); FH Wiesbaden
• NY Grad Student Logic Conference (Nov 2004)
• W1-Juniorprofessur Theoretische Informatik (Theorie der kuenstlichen Intelligenz), Bremen

Received: 2004-09-14:

• Lecturer Position Computational Logic, Amsterdam (ILLC)
• Master Class "Cognitive Foundations of Interpretation", Amsterdam (October 2004)
• Postdoctoral Fellowship Logic and Computation (Lisbon, Deadline Sep 30, 2004)
• Professorial Silver Jubilee Symposium Rozenberg (Leiden, Sep 2004)

Received: 2004-09-10:

• Fifth Annual Midwest PhilMath Workshop (Notre Dame, Nov 2004)

Received: 2004-09-09:

• AIM Workshop: Extensions of Hilbert's Tenth Problem (Palo Alto, March 2005)

Received: 2004-09-08:

• MSPRF: NSF Fellowships in Mathematics, deadline: 2004-10-15
• Wissenschaftliche Mitarbeiterstellen am transdisziplinaeren Zustiftungslehrstuhl fuer VWL und Philosophie (Witten/Herdecke)

Received: 2004-09-07:

• CfP: Special M4M issue of the JAL

Received: 2004-09-04:

• Professorship in Philosophy (Philosophy of Cognitive Science), Bloomington IN
• Tony Martin is elected Fellow of the AAAS

Received: 2004-09-03:

• Logic in Hungary 2005, Budapest August 2005
• Reminder: Colloquium Logicum 2004, Sep 17-19, Heidelberg
• W3-Professur TU Dresden: Algebraische und logische Grundlagen der Informatik
• W3-Professur Theoretische Computerlinguistik, Potsdam

Received: 2004-09-02:

• Professur Theoretische Philosophie, Universitaet Zuerich
• Special Session on History of Mathematics at AMS Eastern Sectional Meeting, Nov 2004, Pittsburgh PA

Received: 2004-08-30:

• CfP: Special Issue in JoLLI on "Guarded Logics and Decidable Fragments of First Order Logic"

Received: 2004-08-27:

• Lectureship in Philosophy (ability to teach logic is an advantage; Wellington NZ)
• The 20th Summer Conference on Topology and its Applications (Granville OH, July 2005)

Received: 2004-08-26:

• Obituaries Kees Vermeulen
• Lauener Symposium on Analytic Philosophy (P. Suppes wins Lauener Prize; Sep 9-10, 2004, Bern, Switzerland)

Received: 2004-08-24:

• One week history of mathematics graduate course (Leiden, The Netherlands, Sep 2004)
• Full Professor (C4) for Intelligent Systems

Received: 2004-08-20:

• CiE 2005: New Computational Paradigms; June 2005 (Amsterdam)

Received: 2004-08-19:

• W3-Professur f?r Philosophie (Schwerpunkt: Logik und Wissenschaftstheorie; Nachfolge Thiel): FAU Erlangen-N?rnberg

Received: 2004-08-17:

• Research Professorship for a 'General Logician' in the COLD project (Pocatello ID)
• John Hale wins the E.W.Beth Dissertation Prize 2004

Received: 2004-08-07:

• COLLOQUIUM LOGICUM 2004 at Heidelberg

Received: 2004-07-25:

• First Indian Conference on Logic and its Relationship with other disciplines, January 2005 (Bombay, India)

Received: 2004-07-22:

• Conference: Philosophical Perspectives on Scientific Understanding (VU Amsterdam, August 2005)

Received: 2004-07-21:

• WASL 2004: Workshop on Automata, Structures and Logic (Auckland, New Zealand, December 2004)

Received: 2004-07-20:

• North Texas Logic Conference (October 2004, Denton TX)

Received: 2004-07-19:

• Website on "Algebraic Set Theory"
• [FOM] EUMAS 2004 (2nd European Workshop on Multi-Agent Systems); Barcelona December 2004
• A13-Stelle Mathematik Mainz

Received: 2004-07-13:

• European Masters Programmes in Computational Logic / Language and Communication Technology -- Bolzano (Bozen)

Received: 2004-07-08:

• Helmut Pfeiffer (1933-2004)
• Assistant Professorship (tenure-track) in Philosophical Logic, Lincoln NE
• C1-Assistentur Theoretische Philosophie (Bielefeld)

Received: 2004-07-07:

• Dutch Proof Tools Day (July 9th, 2004; Nijmegen)

Received: 2004-07-06:

• ICCS 2005 (International Conference on Computational Science), Atlanta GA, May 2005
• Conference on Logic, Computability and Randomness, Cordoba (Argentina), September 2004

Received: 2004-07-05:

• New journal "Logical Methods in Computer Science"

Received: 2004-07-01:

• University of Missouri -- Tenure-track assistant professorship; philosophy of science (with competence in mathematical logic)

Received: 2004-06-23:

• Special Issues of the "Monist" on Truth and Consciousness (Deadlines in 2005 and 2007)
• Postdoc-Stelle (BAT IIa) in Erkenntnistheorie / Wissenschaftstheorie (Logik-Ausbildung eingeschlossen) Hamburg

Received: 2004-06-17:

• Junior Professorship (W1) in Computational Linguistics at the Institute of Cognitive Science (Osnabrueck, Deadline: July 31, 2004)
• PhD Programme in Computer Science (including Artificial Intelligence) in Kaiserslautern (Grants, Deadline 1st July)
• Position for a Mathematician in the Leibniz-Edition (Goettingen)
• CfP: Journal of Logic and Algebraic Programming, Special Issue on Process Theory for Hybrid Systems
• Workshop: Extensions of Hilbert's 10th Problem, Stanford CA: March 2005

Received: 2004-06-13:

• 8th Galway Topology Colloquium: Polish Groups, Polish Actions and Applications (June 2004)

Received: 2004-06-10:

• Silver Professorial Jubilee G.Rozenberg (Leiden, September 2004)
• Conference "Bayesian Epistemology" (LSE, London, June 28, 2004)
• British Logic Colloquium 2004 (Leeds, September 2004)
• New OUP Monograph: Reductive Logic and Proof-search

Received: 2004-06-04:

• CfP: Special Issue of Studia Logic on Possible Worlds
• Assistant Professor / Lecturer Positions at the University of Cyprus (Theoretical Computer Science)

Received: 2004-06-03:

• World Congress on Universal Logic, Montreux (Switzerland; March-April 2005)
• Colloquium in Honour of Sabine Koppelberg (FU Berlin, June 25)

Received: 2004-05-27:

• PhD Studentship in Logic and Computation; Manchester, deadline: 2004-06-18
• C3-Professorships in Computer Science (Complexity Theory mentioned; Saarbruecken)
• C3-Professorship Artificial Intelligence (TU Berlin)
• W2-Research Group Leader in Theoretical Informatik (MPI Informatik in Saarbruecken)
• W3 Professorship Theoretical Computer Science (TU Muenchen)

Received: 2004-05-25:

• Dutch Proof Tools Day, July 2004 (Nijmegen, NL)

Received: 2004-05-24:

• ILLC-Day 2 "Language": June 7th, 2004
• International Masters Program Dresden: Computational Logic

Received: 2004-05-22:

• FotFS V: Infinite Games (Bonn, November 2004)
• 1st NY Grad Student Logic Conference (November 2004)
• 6th European Agent Systems Summer School (Liverpool, July 2004)
• CATALOG 04 (8th Workshop on the Semantics and Pragmatics of Dialogue), Universitat Pompeu Fabra (July 2004)

Received: 2004-05-17:

• DIMACS Workshop on Security Analysis of Protocols (Rutgers, June 2004)

Received: 2004-05-16:

• Permanent logic positions at all academic levels in Swansea (UK); Deadline: 25.6.2004

Received: 2004-05-14:

• OzSL Event on Intuitionistic Propositional Logic (Utrecht, The Netherlands, June 4-5, 2004)
• Postdoctoral Fellowship at Arche (St Andrews): The Metaphysics and Epistemology of Modality, deadline: 2004-05-20
• IUPUI Lecturer in Philosophy (excellence in logic teaching required), Deadline: June 1, 2004
• C4/W3-Professur "Theorie der Programmiersprachen und Programmierung" Rostock (Germany)
• Postdoc Position at TU Wien (Semantic Web Reasoning)
• Automath symposium; Eindhoven (May 2004)

Received: 2004-05-11:

• Assistant position in Theoretical Computer Science (Limburg, Belgium)

Received: 2004-05-06:

• "Concepts and the a priori", Conference Konstanz June 2004

Received: 2004-05-04:

• DMV-Jahrestagung 2004 (Heidelberg, September 2004): Logik-Sektion
• ICCL Summer School 2004: Proof Theory and Automated Theorem Proving (Dresden, June 2004)

Received: 2004-05-03:

• PhD Student Positions in Semantic Learning and Ontology-based Retrieval (Delft & Amsterdam, NL)

Received: 2004-04-29:

• ESSLLI 05, Edinburgh (August 2005)

Received: 2004-04-28:

• ARCC Workshop "Recent Advances in Core Model Theory" (Palo Alto CA, Dec 2004)

Received: 2004-04-27:

• Teaching appointment "History and Philosophy of Neuroscience" (Pitzer College, California, Deadline: May 7, 2004)
• Workshop "Holistic Epistemology and Action Theory" (Leipzig, June 2004)

Received: 2004-04-23:

• Postdoctoral position in theoretical philosophy (logic teaching involved) in Goettingen

Received: 2004-04-22:

• Proceedingsband "Foundations of the Formal Sciences II" (Konferenz in Bonn 2000)
• Two PhD student positions in Philosophy/Sociology of Science (Basel, Switzerland)
• C3/W2-Professorship Theoretical Computer Science (Erlangen)

Received: 2004-04-21:

• Two Days of Truth (Colloquium at the University of Leiden, Netherlands, May 2004)

Received: 2004-04-20:

• CfP: Special Issue of Studia Logica on Reasoning about Action and Change
• CfP: Special Issue of Studia Logica on Negation in Constructive Logic
• Position as AMS Associate Executive Director (Providence RI)

Received: 2004-04-19:

• MAMLS at American University, April 2004

Received: 2004-04-17:

• Visiting Instructorship in Philosophy with Logic teaching need, Luther College (Iowa)

Received: 2004-04-15:

• Research Coordinator Position for Agent Systems, TU Berlin

Received: 2004-04-14:

• "Quantum Information Processing" (Leiden, The Netherlands, May 2004)
• "Linguistic Perspectives on Numerical Expressions", Utrecht (The Netherlands; June 2004)
• Knowledge & Games (KAG 2004), Liverpool July 2004

Received: 2004-04-13:

• ICCL Summer School 2004: Proof Theory and Automated Theorem Proving (Dresden, June 2004)
• British Logic Colloquium 2004 (September 2004, Leeds)
• Nonstandard Models of Arithmetic and Analysis (Pisa, Italy, June 2004)
• 8th Symposium on Logic and Language (Hungary, August 2004)
• NASSLLI 2004 in Los Angeles CA (June 2004)
• ASL Spring and Annual Meeting 2004 (Chicago and Pittsburgh)

Received: 2004-04-10:

• Logic, Games and Philosophy, Prague (Sep/Oct 2004)
• ACRI 2004 - International Conference on Cellular Automata, Amsterdam, Oct 2004

Received: 2004-04-08:

• Two research assistantships for people in South India on history of mathematics

Received: 2004-04-07:

• April 2004: AMS-Mathematics Awareness Month with the theme: "The mathematics of networks"
• PhD positions in formal methods for e-commerce (CWI, Amsterdam)

Received: 2004-04-02:

• One-year visiting instructorship in philosophy (logic teaching need), College of Charleston SD (deadline: May 7, 2004)
• C3-Professur Linguistische Pragmatik, Universitaet Duisburg-Essen, Campus Duisburg
• Akademischer Direktor PH Weingarten: Leitung der Hochschuleinrichtungen fuer Informationstechnologie und Medien (ab 1.10.2004)

Received: 2004-03-31:

• Logic Colloquium 2004, Torino (Italy)

Received: 2004-03-30:

• ILLC Meeting on Intuitionism, Amsterdam (2.4.2004)

Received: 2004-03-29:

• International Conference on Evaluation of Scientific Theories, Nancy (France, June 2004)
• MAMLS in Washington, D.C. April 24, 2004

Received: 2004-03-26:

• epiSTEME 1, Goa (India), December 2004

Received: 2004-03-25:

• C3-Professur fuer Theoretische Informatik, TU Muenchen

Received: 2004-03-24:

• IJCAR 2004 Workshop on Empirically Successful First Order Reasoning (ESFOR); Cork (Ireland, July 2004)
• History of Mathematics and Teaching of Mathematics, May 2004 (Hungary)

Received: 2004-03-23:

• PhD Program in Logic and Foundations of Mathematics, Barcelona (Spain)
• AAL 2005, University of Western Australia, September 2005

Received: 2004-03-15:

• JELIA'04, Logics in Artificial Intelligence, Lisbon (Portugal, September 2004)
• CombLog'04 (Lisbon, Portugal, July 2004)
• Professorship in CS (Algorithms) at Free University Brussels

Received: 2004-03-14:

• Visiting Assistant Professorship with a potential tenure-track option in Philosophy, Union College, NY
• 1-year Philosophy Lectureship at Wesleyan, particular teaching need in logic (deadline April 2, 2004)

Received: 2004-03-12:

• 3rd International Summer School (Causality, Uncertainty and Ignorance), Konstanz (Germany), August 2004
• Keldysh-100, Geometric Topology, Discrete Geometry and Set Theory (Moscow, August 2004)
• Logic, Algebra and Geometry (St.Petersburg, June 2004)
• Eighth Galway (general) Topology Symposium, April 2004 (Belfast)
• Workshop 'Logic and Multiagent Systems' (LAMAS 2; Auckland NZ; August 2004)

Received: 2004-03-11:

• Projektleiterstelle (BAT Ib) fuer Logik/Reasoning (Karlsruhe, Deadline: 31.3.2004)
• PhD Student / PostDoc Positions in "Logic in Programming" (Saarbruecken; Deadline 31.3.2004)

Received: 2004-03-10:

• Internship for Automatic Speech Recognition in Japan (Atsugi City, Deadline March 12, 2004 !)
• PhD Student Position at the ILLC, Amsterdam, Deadline: April 1st, 2004

Received: 2004-03-08:

• Spring Topology and Dynamics Conference 2004, Birmingham AL, March 2004

Received: 2004-02-27:

• Student Conference at the British Math Colloquium (Belfast, April 2004)

Received: 2004-02-23:

• M.Sc. Programme in Logic, Amsterdam, The Netherlands, deadline: 2004-03-15

Received: 2004-02-20:

• Two-year Assistant Professorship in Universal Algebra/Algebraic Logic, Vanderbilt University (Tennessee)

Received: 2004-02-18:

• RelMiCS8, St.Catharines ON (Canada), Feb 2005

Received: 2004-02-17:

• Mathematical Knowledge, Cambridge June/July 2004
• CATALOG 2004 and ACL 2004 in Barcelona, July 2004
• CCC 2004, Amherst MA, June 2004
• Logic, Algebra and Geometry, St.Petersburg (Russia), June 2004
• HSCC 2004, Philadelphia PA, March 2004
• Social Software. Copenhagen DK, May 2004
• Ben Yaacov receives 2003 Sacks Prize

Received: 2004-02-16:

• MAMLS at Hofstra University, March 6, 2004
• PNC04 (Petri Nets), Bologna Italy June 2004

Received: 2004-02-15:

• Graduate Conference in Logic, Math and Physics (May 2004, London, Ontario)

Received: 2004-02-14:

• MATHLOGAPS: Leeds/Manchester/Munich/Lyon
• Job Announcement "Researcher Level B" at National ICT Australia Limited, deadline: 2004-03-14
• "Quantum Information Processing" (Leiden, The Netherlands, May 2004)
• Workshop "The State of the Art in Modal Logic" (Amsterdam, April 2004)

Received: 2004-02-12:

• Zwei Didaktik der Mathematik-Doktorandenstellen, eine mit Bezug zu Grundlagen der Mathematik (Flensburg)
• C4-Professur in Theoretischer Informatik, Jena

Received: 2004-02-11:

• 5th Annual Graduate Student Conference in Logic, University of Notre Dame (May 2004)

Received: 2004-02-09:

• Conference "Selbstwissen, privilegierter Zugang und die Autoritaet der ersten Person" (Tuebingen, Maerz 2004)
• CfP Workshop of guarded logics ESSLLI'04
• Symposia in Tel-Aviv University (March 2004)

Received: 2004-02-06:

• Spring Topology and Dynamical Systems Conference 2004, Birmingham Alabama (March 2004)

Received: 2004-02-05:

• 5th Colloquiumfest on valuation theory in model theory (Paris, France, April 2004)

Received: 2004-02-04:

• Spring School Philosophy of Physics (Bonn/Koeln, March/April 2004; Deadline Feb 15)

Received: 2004-02-03:

• DFG Aktionsplan Informatik (u.a.Mensch-Maschine-Schnittstellen)
• BEST 2004, Boise ID, March 2004

Received: 2004-01-26:

• Assistant Professorship in Epistemology, Southern Connecticut State University, New Haven, deadline: 2004-02-09
• Logic Books recently published by World Scientific

Received: 2004-01-22:

• ASSC William James Prize: Call for nominations
• W2/C3-Professur Theoretische Informatik (Algorithmik) Kaiserslautern
• C1-Assistentur in Theoretischer Philosophie (Duisburg-Essen)

Received: 2004-01-21:

• "Negation in Constructive Logic"; July 2004, Dresden (Germany)

Received: 2004-01-20:

• Midrasha Mathematicae: "Cardinal Arithmetic at Work" (March 2004, Jerusalem)

Received: 2004-01-16:

• Juniorprofessur Theoretische Informatik (TU Darmstadt)
• C4-Professur fuer Algorithmen und Komplexitaet (RWTH Aachen)
• W2-Professur fuer "wissenschaftliche, mathematische Information" (Osnabrueck)

Received: 2004-01-14:

• WOLFASI, subworkshop at LICS '04 (Turku, Finland, July 2004)
• More Workshop Announcements for ESSLLI 2004 (August 2004, Nancy, France)

Received: 2004-01-09:

• Conference on Logic, Computability, and Randomness, Cordoba (Argentina), September 2004

Received: 2004-01-04:

• Workshop "Provability Logic: New Frontiers" (Jan 15, 2004, Utrecht)
• CATALOG '04 (Barcelona, June 2004)

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