[LOGIC] List Mailing Archive 2003

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: 2003-12-25:

• [FOM] LOFT 6 ("Logic and the Foundations of the Theory of Games and Decisions"), Leipzig July 2004
• Several Workshop Announcements for ESSLLI 2004 (August 2004, Nancy, France)

Received: 2003-12-22:

• Hawaii International Conference on Statistics, Mathematics and Related Fields (June 2004; Deadline Jan 2004)

Received: 2003-12-19:

• Workshop 'Implicature & Conversational Meaning', Nancy (France) August 2004
• Jahrestagung der DMV 2004, Heidelberg (September 2004)

Received: 2003-12-18:

• PostDoc position in Logic in CS at UC Cork (Ireland)

Received: 2003-12-15:

• Workshop 'Negation in Constructive Logic', Dresden, July 2004

Received: 2003-12-04:

• Assistant Professor of Early and Modern Analytic Philosophy (possibly Logic), University of Tennessee at Chattanooga
• Funding for Visitors: Logic and Philosophy of Science (Irvine); Deadline: Dec 15, 2003
• Lecturer/Senior Lecturer in Philosophy of Physics, Leeds UK (Deadline Dec 19, 2003)
• Vienna International Summer University: "The Quest for Objectivity" July 2004
• Conference "Degrees of Belief", Konstanz (Germany), July 2004

Received: 2003-12-02:

• Preregistration for ICM 2006 (Madrid, Spain) opened
• ESSLLI 2004, August 2004 (Nancy)

Received: 2003-11-26:

• Visiting Assistant Professorship (Philosophy of Science/Language with Logic teaching credentials), Santa Cruz CA

Received: 2003-11-25:

• Boise Extravaganza in Set Theory, March 2004 (Boise ID)

Received: 2003-11-18:

• Visiting Assistant Professorships (3 years), UC Irvine, Math Dept
• Conference "Ramsey and the Vienna Circle", November 2003, Vienna
• Donald H. Davidson (1917-2003)
• Postdoctoral Position in Philosophy of Science, Berlin (Deadline Nov 21, 2003)
• Call for Papers: Volume 8 and 9 of the journal "Philosophiegeschichte und logische Analyse"

Received: 2003-11-13:

• Tenure-Track Position in Logic, University of Ottawa, deadline: 2003-11-17

Received: 2003-11-12:

• Hans Hermes
• Temporary Lectureship in Philosophy, Reading UK (Theory of Knowledge, Wittgenstein, Philosophy of Language)

Received: 2003-11-11:

• Assistant Professorship in Philosophy (AoC: Formal Logic), Virginia Tech
• CfP: ESSLLI'04 Student Session

Received: 2003-11-05:

• Jose Fernandez-Prida
• Symposium in honor of Solomon Feferman, January 2004 (Stanford CA)

Received: 2003-10-31:

• Doubts about the Okamoto-Kashima claim of the unprovability of P neq NP in PA

Received: 2003-10-30:

• Position as Designated Director of the Teaching Institute of Exact Sciences, Amsterdam (Netherlands)

Received: 2003-10-29:

• Special Year in Model Theory and Applications to Algebra and Analysis at the Isaac Newton Institute (January to July 2005); including three workshops

Received: 2003-10-27:

• Call for Tutorials: EASSS'04 (Liverpool, UK)

Received: 2003-10-17:

• PhD Student Position in Nijmegen: Intuitionistic Reverse Mathematics, deadline: 2003-11-17

Received: 2003-10-14:

• Extension of Deadline for two PhD positions in Philosophy of Cognition (Bonn, Germany)

Received: 2003-10-09:

• New Section of the Journal "Synthese": Knowledge, Rationality and Action

Received: 2003-10-08:

• BATMULT -- short-term fellowships in theoretical linguistics

Received: 2003-10-07:

• CombLog 04: Combination of Logics, Lisbon (Portugal), July 2004

Received: 2003-10-02:

• Essay writing contest for students (high school and undergraduate): "Biographies of contemporary women in mathematics"; Deadline: October 31st, 2003
• Reminder: Workshop on Proof Theory and Pohlers-Festkolloquium in Muenster (October 2003)
• Extension of Deadline for the XIIth SLALM (Costa Rica, Jan 2004)

Received: 2003-10-01:

• 27th International Wittgenstein Symposium, Kirchberg (Austria), August 2004
• Compositionality, Concepts and Cognition, Duesseldorf, Feb/Mar 2004
• PostDoc position "Generating experimental knowledge"; Haifa (Israel)
• Research Grants for German scholars with projects in Poland

Received: 2003-09-30:

• Conference on Field Theory and Related Model Theory, Freiburg (Germany), October 2003
• Nonstandard Analysis Session at AMS meeting in Phoenix AZ, DEADLINE Oct 1, 2003

Received: 2003-09-29:

• FLOPS 2004, The Seventh International Symposium on Functional and Logic Programming, Nara (Japan), April 2004
• ETAPS 2004, Barcelona, Spain, March/April 2004
• Victoria International Conference 2004, Wellington NZ, February 2004
• LPNMR-7, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, Ft Lauderdale FL, Jan 2004
• Logic and Computation Workshop, Tahuna Beach, Nelson NZ, January 2004
• ILLC-Day in Bonn, November 30, 2003
• Assistant Professorship Loyola University New Orleans, Philosophy of Science/Logic
• MAMLS at Dartmouth --- Baumgartner Celebration, October 2003
• New bimonthly e-mail newsletter of the International Mathematical Union: IMU-Net
• Workshop and Conference on Logic, Algebra and Arithmetic, Tehran Iran, October 2003

Received: 2003-09-19:

• Associate Professorship in Philosophy, OSU

Received: 2003-09-18:

• C1-Stelle Erkenntnistheorie, Logik, Philosophie des Geistes, Sprachphilosophie, Wissenschaftstheorie in Regensburg
• Festkolloquium 60.Geburtstag Wolfram Pohlers; Muenster 17.10.2003

Received: 2003-09-17:

• Takeuti Symposium, Kobe Dec 2003

Received: 2003-09-16:

• Extension of Deadline AAL 2004: November 1st, 2003

Received: 2003-09-15:

• SPR 03 - Donostia-San Sebastian, Nov 2003

Received: 2003-09-08:

• Zwei Promotionsstellen in Philosophie (BAT IIa/2), Bonn

Received: 2003-09-07:

• 2004 ASL Spring Meeting Chicago IL (together with Central Division APA meeting), April 2004

Received: 2003-09-04:

• Press Release 04 September 2003

Received: 2003-09-02:

• C3-Professur Algorithmische Diskrete Mathematik (TU Darmstadt)
• Unbefristete BAT-Stelle (evtl. Verbeamtung):Geschaeftsstellenleiter des Mathematischen Instituts der LMU Muenchen

Received: 2003-08-29:

• EuroCogSci 2003 (Osnabrueck, 10.-13.9.2003)

Received: 2003-08-28:

• (Unpaid) online internship for Mathematics students at "Central European Science Journals" (Publishing House)
• Adjunct Assistant Professorships and Lectureships in the "Program in Computing" 2004-05, Los Angeles CA
• Call for nominations: Information-Based Complexity Young Researcher Award, deadline: 2003-09-30
• Donald Knuth elected Foreign Member of the Royal Society of London
• Michael John Downes (1958-2003), Principal Author of the AMS-LaTeX packages
• PhD Student Position "Theory of Interpretation/Philosophical Foundations" ILLC Amsterdam (DEADLINE: August 31st, 2003)

Received: 2003-08-25:

• Angus MacIntyre wins Polya Prize of the LMS

Received: 2003-08-20:

• Senior Research Fellowship at CalTech (3+3 years)
• Taussky-Todd Instructorships at CalTech
• Positions in Stanford (logic among the mentioned mathematical areas)
• PhD scholarships in multilingual tools and resources (Bergen, Norway)
• Marco Aiello receives AIxIA Dissertation Award
• AI*IA 2003, Pisa (Italy), September 2003

Received: 2003-08-19:

• Stelle (Wissenschaftlicher Mitarbeiter) am Lehrstuhl fuer mathematische Logik und Grundlagen der Mathematik in Greifswald (Bewerbungsschluss 15.10.2003)
• 8th Annual Meeting of the Association for the Scientific Study of Consciousness, Antwerp (Belgium), June 2004
• ECAI 2004 (European Conference on AI), Valencia (Spain), August 2004

Received: 2003-08-15:

• Professorship in the Foundations of Computer Science; Nijmegen

Received: 2003-08-08:

• RANLP03 "Recent Advances in Natural Language Processing" (September 2003), Borovets (Bulgaria)
• MAD03 "Multidisciplinary Approaches to Discourse" (Driebergen NL, October 2003)

Received: 2003-08-07:

• AI+MATH 04 (January 2004, Fort Lauderdale FL)

Received: 2003-08-04:

• Workshop on Proof Theory, Muenster, October 2003

Received: 2003-08-02:

• GLLC 8: Groningen, 5.9.2003

Received: 2003-07-29:

• AAL 2004, Dunedin (New Zealand), January 2004

Received: 2003-07-28:

• ESSLLI 2004: Deadline for Proposals (Course and Workshop) - July 16th, 2003
• MAMLS Meeting at Dartmouth (October 2003) to Celebrate the 60th Birthday of James Baumgartner

Received: 2003-07-24:

• Call for Proposals: AMS-ASL Joint Special Session Atlanta GA 2005
• 2003 Carol Karp Prize for Symbolic Logic Awarded to Hjorth and Kechris

Received: 2003-07-17:

• PhD Studentships and PostDoc positions in Nijmegen

Received: 2003-07-15:

• Three Events concerning Philosophy and Probability: Bielefeld (September 2003), Konstanz (July/August 2003), Kirchberg (August 2003)

Received: 2003-07-14:

• Chair of Mathematics, University College Cork (Ireland); Deadline: July 18th, 2003
• ECAI 2004: European Conference on Artificial Intelligence, Valencia (Spain), August 2004
• Logic & Automated Reasoning Summer School 2003, December 2003, Australian National University
• LPAR 2003 "Logic for Programming Artificial Intelligence and Reasoning" Kazakhstan September 2003
• C3-Professur "Geschichte und Theorie der Wissenschaften" (Philosophie) Wuppertal

Received: 2003-07-10:

• Special Symposium at LMPS Congress in Oviedo

Received: 2003-07-09:

• Research Assistant Position Exeter (2003-2005)

Received: 2003-07-02:

• 14th Novembertagung on History of Mathematics, Oct/Nov 2003, Vienna

Received: 2003-06-17:

• (no subject)
• Logic and Computation Workshop, Tahuna Beach (New Zealand), January 2004
• XIIth Latin American Symposium on Mathematical Logic, January 2004

Received: 2003-06-16:

• Rescher/Poser: Jan Brauers-Lectures Baden-Baden 10.7.2003

Received: 2003-06-12:

• "Logic and Argumentation", Groningen, June 2003

Received: 2003-06-05:

• Conference on Science and Values, Bielefeld July 2003

Received: 2003-06-02:

• Research assistant, Deadline June 13th, Swansea (Wales)

Received: 2003-05-30:

• Bonn: Neubau der Forschungs-Stiftung Caesar er?et (Pressemitteilung des BMBF)
• Shelah announces solution to the minimal tower problem
• Carl Friedrich von Weizsaecker Lectures (Hamburg, June 2003): Bas van Fraassen
• Konferenz in Mailand 'Analytical Philosophy without Naturalism' (June 2003)

Received: 2003-05-26:

• Rolf Schock Prize 2003 in "Logic and Philosophy" for Solomon Feferman

Received: 2003-05-23:

• Visiting Assistant Professorships in Logic/Set Theory at the University of North Texas

Received: 2003-05-22:

• Stipendiary Lectureship in Pure Mathematics at Worcester College (Oxford) [Deadline: 13.6.2003]
• Doktorandenstipendium im Graduiertenkolleg "Ars und Scientia" (Tuebingen; 23.6.2003)

Received: 2003-05-15:

• Research Assistant Position History of Mathematics at the University of Exeter (2 years; 1/4 time)

Received: 2003-05-14:

• Summer School and Workshop on Proof Theory, Computation and Complexity, Dresden (Germany), June-July 2003

Received: 2003-05-13:

• Job Offers at the Intelligent Agents Lab Munich

Received: 2003-05-06:

• "Contextualist Approaches to Epistemology" September 2003, Mainz (Germany)
• Stegmueller-Symposium "Probleme, Resultate und Perspektiven der Wissenschaftstheorie und Analytischen Philosophie" 29.5.-31.5. in Muenchen
• WOTS 7 (Seventh Workshop on Optimality Theory Syntax) Nijmegen October 2003

Received: 2003-04-30:

• JSPS Postdoctoral Fellowship Program fuer Besuche junger Wissenschaftler in Japan

Received: 2003-04-25:

• Summer Workshop 'Philosophy and Cognitive Science' (Wilfrid Hodges; Jul/Aug 2003; Duesseldorf)
• Summer School "Philosophy, Probability, and the Special Sciences" (Jul/Aug 2003; Konstanz)

Received: 2003-04-23:

• SWIFT 2003 "Summer Workshop in Finestructure Theory", July 2003, Bonn

Received: 2003-04-16:

• JSL and BSL online at Project Euclid
• Sixtieth Birthday of Istvan Juhasz, "Topology 2003", August 2003, Budapest
• Fields Institute Summer School "Logic and Foundations of Computation", Ottawa (June 2003)
• Greater Boston Logic Meeting, MIT, May 2003
• "Logic, Game Theory and Social Choice 3", Siena Sep 2003
• James Baumgartner's Sixtieth Birthday: MAMLS Meeting at Dartmouth College NH, Oct 2003
• "The Decidable and the Undecidable in Mathematics Education", Conference in Brno Sep 2003
• ICALP 2003 Colloquium on Automata, Languages and Programming, Eindhoven June/July 2003

Received: 2003-04-14:

• Textbooks "Lectures in Logic and Set Theory" by George Tourlakis
• Book by P.T.Johnstone, "A Topos Theory Compendium Vol.1"
• Volumes IV and V of Goedel's Collected Works appeared in print
• Interdisciplinary Logic Conference LOGICA 2003 in Kravsko, Czech Republic, June 2003

Received: 2003-04-11:

• ICLP 03 "International Conference on Logic Programming" Mumbai, India, Dec 2003

Received: 2003-04-10:

• Postdoc Position SPIRIT Project (Computer Science), Utrecht Universiteit
• Workshop in Heidelberg "Computability and Logic" June 2003

Received: 2003-04-09:

• Summer School on Proof Theory, Computation and Complexity in Dresden (June/July 2003)
• Conference "75 Years of Predicate Logic"; deadline extended to June 15, 2003

Received: 2003-04-04:

• Neuauflage des Buches 'Ebbinghaus, Einfuehrung in die Mengenlehre'
• 'Conference in Model Theory', Paris June 2003

Received: 2003-04-01:

• ACL-SIGSEM Workshop on Prepositions, September 2003, Toulouse

Received: 2003-03-31:

• DFG-"Aktionsplan Informatik"
• 15th Annual Tarski Lectures: McKenzie

Received: 2003-03-26:

• Professur fuer Philosophie mit Schwerpunkt in der Geschichte der Philosophie und in systematischen Fragen der theoretischen Philosophie (Universitaet Zuerich)
• M4M-3 (Methods for Modalities), Nancy September 2003
• ICoS-4 (Inference in Computational Semantics), Nancy Sep 2003
• PHINEWS, Volume 3 - 2003 - The Free Newsletter for Philosophical Logic and Its Applications
• Update [Re: First information on LC 2004 in Torino (Italy)]
• TIME-ICTL 2003, Cairns (Australia), July 2003
• IJCAI-03, Eighteenth International Joint Conference on Artificial Intelligence, Acapulco (Mexico), August 2003
• AiML (Advances in Modal Logic) 2004, Manchester UK, September 2004
• TARK IX (Theoretical Aspects of Rationality and Knowledge), Bloomington IN, June 20-22, 2003
• 2003 FCRC, San Diego CA, June 7-14

Received: 2003-03-21:

• Second Announcement of LC2003, August 2003, Helsinki

Received: 2003-03-20:

• LiB-Day in Amsterdam, 30.6.2003
• Conference Commemorating Markov Centennial, New York City, May 9-10, 2003

Received: 2003-03-18:

• SLI-2003 (Seminarie: Logica & Informatica), Brussels, 31.3.2003
• INTAS call for proposals for research projects with the New Independent States

Received: 2003-03-17:

• ESS2003: Language and Speech Technology for Language Learning
• C4-Professur fuer Philosophie und Wissenschaftstheorie, Konstanz
• Projektleiterstelle BAT Ib, Karlsruhe, Wissensrepraesentation

Received: 2003-03-14:

• One year interdisciplinary logic studies in Amsterdam: the "Logic Year Certificate"
• International Master's Program in Logic; Universiteit van Amsterdam
• III World Congress on Paraconsistency, Toulouse, France, July 2003
• Conference on "Algebra and Discrete Mathematics", Hattingen, Germany, July 2003
• 4th Panhellenic Logic Symposium, Thessaloniki, Greece, July 2003

Received: 2003-03-13:

• Series of Events in Athens & Columbus, Ohio; May 2003

Received: 2003-03-10:

• Conference "The Logic of Time and Modality", Roskilde, Oct/Nov 2003

Received: 2003-03-09:

• Full Professorship at the Department of Logic and Philosophy of Science at UC Irvine
• Assistant Professorship in Analytic Philosophy (Metaphysics/Epistemology/Logic) at Cal State Bakersfield
• XIIth Latin American Symposium on Mathematical Logic, San Jose (Costa Rica), January 2004
• Assistant Professorship in Philosophy of Science at St.John's University, Queens NY
• 1-year Visiting Positions Philosophy of Science/Logic at Dartmouth College

Received: 2003-03-06:

• BCTCS 19: Leicester, April 2003

Received: 2003-03-04:

• PhD Program and Postdoctoral Fellowships in Set Theory in Kobe (Japan)

Received: 2003-03-03:

• C4-Professur in Theoretischer Philosophie, RWTH Aachen
• Conference (Philosophy and Psychology) Torino (Italy) July 2003
• Conference in St Andrews (Scotland), Sept 2003: Arche Graduate Conference
• Doktorandenstelle in Bonn: Epistemische Logik
• Konferenz Koblenz Juni 2003: Wissenschaftstheorie in Oekonomie und Wirtschaftsinformatik
• New Book: Martin Krieger, "Doing Mathematics"
• Japan Prize fuer Benoit Mandelbrot

Received: 2003-02-26:

• CfP: ACL2003 Resources Infrastucture Workshop

Received: 2003-02-24:

• 7.3.2003; Utrecht: Theoriedag 2003 van de NVTI (Fortnow, Stevenhagen, Vardi, de Rijke)

Received: 2003-02-22:

• BEST 2003, Boise ID, March 2003

Received: 2003-02-20:

• Jean E. Rubin Obituary

Received: 2003-02-11:

• ALAF'03: Workshop in Vienna, August 2003

Received: 2003-02-09:

• Conference on "Language, Consciousness and Culture" in Calcutta, January 2004 (Section on "Alternative Logics")
• Special Session on "History of Mathematics" at the AMS Sectional Meeting in New York, April 2003

Received: 2003-02-07:

• British Logic Colloquium 2003 at St Andrews (Scotland), 3.9.-6.9.2003
• First information on LC 2004 in Torino (Italy)
• EU Grants for LC 2003 in Helsinki
• Isaac Newton Institute Program "Model Theory and Applications to Algebra and Analysis"; January to July 2005
• Tenth Workshop on Logic, Language, Information and Computation (WoLLIC'2003), Brazil, July 2003
• James H.Simons Conference on Quantum and Reversible Computation, Stony Brook May 2003
• Conference on Lattices, Universal Algebra and Applications in Lisbon May 2003
• Workshop on Proof Theory, Edinburgh, March 2003
• OOPSLA 2003, Anaheim CA, October 2003

Received: 2003-02-06:

• Book Announcement: Cooper, Goncharov (eds), Computability and Models
• New Research Oriented M.A. Program in Linguistics (with the possibility of specializing in Logic) at UvA
• 14th Amsterdam Colloquium, December 2003
• Workshop "DiaBruck" (Sept 2003), Saarbruecken
• Conference in Tbilisi (July 2003); "Algebraic and Topological Methods in Non-Classical Logics"

Received: 2003-02-03:

• Fellowship + Titular University Lectureship at Oriel College (Oxford); Philosophical Logic
• Workshop on Reasoning about Space, Bloomington IN June 2003
• INS4 Theory Day, Amsterdam 20.2.2003
• EUROLAN-2003 Summer School (Bucharest)

Received: 2003-02-01:

• Professorship in Logic and Set Theory at the University of Zimbabwe
• CSL 03-KGC August 2003 Vienna
• ICC'03 Ottawa June 2003

Received: 2003-01-31:

• Conference in Honor of Arhangelskii: Brooklyn NY July 2003
• BEST 12 (Boise Extravaganza in Set Theory), March 2003
• Bill Gates and David Hilbert

Received: 2003-01-28:

• Set Theorist Ronald Jensen wins 2003 Steele Prize

Received: 2003-01-24:

• September 2003: Barcelona Conference on Set Theory
• Conference "Internation History and Philosophy of Mathematics Meeting" (Seville)
• Conference History of Modern Mathematics

Received: 2003-01-22:

• 5th International Tbilisi Symposium on Language, Logic and Computation (Oct 2003)

Received: 2003-01-15:

• Research & Teaching Positions in Dresden: Knowledge Representation, Logic in Computer Science, Automata Theory
• Conference "Models, Simulation, and the Application of Mathematics"

Received: 2003-01-13:

• Wissenschaftstheorie in Oekonomie und Wirtschaftsinformatik, Juni 2003

Received: 2003-01-09:

• Conference in Pecs, May 2003 "The Philosophy of Hilary Putnam"

Received: 2003-01-08:

• Workshop CONTRAST IN DISCOURSE

Received: 2003-01-06:

• New MAA Special Interest Group: Philosophy of Mathematics
• NASSLLI-2003 Bloomington IN (June 2003)
• AVIS 03

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