This page provides information about former developments at ILLC . Please let us know if you have material that you would like to be added to the news page, by using the online submission form or sending an email to the ILLC Buro. English submissions strongly preferred.

Please note that links in this section to external sites are not kept updated.

  Sections

1. Past Events
2. Calls for Papers
3. Upcoming Conferences
4. MoL and PhD defenses
5. Projects and Awards
6. Funding, Grants and Competitions
7. Open Positions at ILLC
8. Open Positions, General
9. New Appointments
10. Miscellaneous
11. Regular Events

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 and 2009, and for current news of course.

   Headlines Past Events

• 21 December 2006, GLoRiClass Seminar, Michel Mandjes
• 19 December 2006, Converging Paradigms? Comparing Temporal Frameworks for Logics of Knowledge, Belief, Action, and Choice, ILLC, Amsterdam
• 18 December 2006, A Day of Books and People, VOC Building, Amsterdam
• 15 December 2006, ILPS Seminar, Jun Wang
• 15 December 2006, DIP Colloquium, Magdalena Schwager
• 15 December 2006, Colloquium on Mathematical Logic, Brian Semmes
• 14 December 2006, GLoRiClass Seminar, Ravishankar Sarma
• 13 December 2006, Logic Tea, Edward Zalta
• 12 December 2006, Uniting a Fregean Philosophy of Language with a Fregean Philosophy of Mathematics, Edward N. Zalta
• 8 December 2006, ILPS Seminar, Börkur Sigurbjörnsson
• 6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
• 4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
• 1 December 2006, DIP Colloquium, Judit Gervain
• 1 December 2006, ILPS Seminar, Canceled
• 1 December 2006, Computational Social Choice Seminar, Maurice Koster
• 30 November 2006, GLoRiClass Seminar, Marc Staudacher
• 29 November 2006, Logic Tea, Peter van Emde Boas
• 27 November 2006, ILPS Seminar, Arjen de Vries
• 24 November 2006, ILPS Seminar, Valentin Jijkoun
• 24 November 2006, Colloquium on Mathematical Logic, Valentin Shehtman
• 23 November 2006, GLoRiClass Seminar, Filip Murlak
• 22 November 2006, Logic Tea, Ioanna Dimitriou
• 17 November 2006, ILPS Seminar, Andrew Thean
• 17 November 2006, DIP Colloquium, Katja Jasinskaja
• 17 November 2006, Colloquium on Mathematical Logic, Wim Veldman
• 17 November 2006, GLoRiClass
• 16 November 2006, GLoRiClass Seminar, Canceled
• 16 November 2006, PROSE Colloquium, Aad Mathijssen
• 14 November 2006, Intervals in the Medvedev lattice, Bas Terwijn
• 9 November 2006, GLoRiClass Seminar, Olivier Roy
• 8 November 2006, Logic Tea, Stephen Read
• 5 November 2006, De Taal en haar Broekje (Language and her Tighty-whities), Tine Wilde
• 3 November 2006, ILPS Seminar, Jan Rittinger
• 3 November 2006, Colloquium on Mathematical Logic, Ramon Jansana
• 3 November 2006, DIP Colloquium, Jason Stanley
• 3 November 2006, Negation from the perspective of neighborhood semantics, Junwei Yu
• 1-2 November 2006, MScLogic Accreditation Visitation
• 30 October - 1 November 2006, ILLC Research Evaluation
• 27 October 2006, Colloquium on Mathematical Logic, Jouko Väänänen
• 27 October 2006, ILPS Seminar, Canceled
• 26 October 2006, GLoRiClass Seminar, Canceled
• 21 October 2006, Music, Mathematics and Computation, Euclides Building, Plantage Muidergracht 24, Amsterdam
• 20 October 2006, ILPS Seminar, Maarten de Rijke
• 20 October 2006, DIP Colloquium, Reinhard Muskens
• 20 October 2006, Structuralism in Science, Burcht van Berlage, Henri Polaklaan 9, Amsterdam
• 19 October 2006, GLoRiClass Seminar, Samson de Jager
• 19 October 2006, Computational Social Choice Seminar, Arantza Estévez-Fernández
• 19 October 2006, ProSe Colloquium, Bas Ploeger
• 13 October 2006, Colloquium on Mathematical Logic, Prof. dr. Yuri Gurevich
• 13 October 2006, Computational Social Choice Seminar, Ulle Endriss
• 13 October 2006, Special Lecture, Jay D. Atlas
• 12 October 2006, GLoRiClass Seminar, Canceled
• 11 October 2006, Logic Tea, Sujata Ghosh
• 6 October 2006, DIP Colloquium, Maarika Traat
• 6 October 2006, ILPS Seminar, Jiyin He
• 5 October 2006, GLoRiClass Seminar, Ramaswamy Ramanujam
• 4 October 2006, Logic Tea, Ramaswamy Ramanujam
• 3 October 2006, Games, Logic, Language and Computation
• 29 September 2006, Nieuw Amsterdams Peil, ACLC, Amsterdam
• 29 September 2006, Colloquium on Mathematical Logic, Sebastiaan Terwijn
• 27 September 2006, Logic Tea, Simon Huttegger
• 27 September 2006, Computational Linguistics Seminar, Joachim de Beule
• 24-30 September 2006, The 7th Logical Workshops "Logic & Games", Kazimierz Dolny, Poland
• 22 September 2006, ILPS Seminar, Ander de Keijzer
• 22 September 2006, Computational Social Choice Seminar, René van den Brink
• 21 September 2006, GLoRiClass Seminar, Andrea Schalk
• 21 September 2006, PROSE Colloquium, Hans Zantema
• 18 September 2006, Workshop "Formal models for real people"
• 13 September 2006, Computational Linguistics Seminar, David Ahn
• 11 September 2006, Logic Tea, Tadeusz Litak
• 8 September 2006, Computational Social Choice Seminar, Eric Pacuit
• 8 September 2006, ILPS Seminar, Martha Larson
• 6 September 2006, Logic Tea, Olivier Roy
• 2006-2007 MASTER CLASS IN MATHEMATICAL LOGIC
• 31 August 2006, Annual ILLC Boat Trip & Welcome Reception
• 31 July-11 August 2006, ESSLLI-2006: 18th European Summer School in Logic, Language and Information, Malaga, Spain
• 14 July 2006, ILPS Seminar, Maarten de Rijke
• 7 July 2006, Computational Social Choice Seminar, Joel Uckelman
• 4 July 2006, ACG Colloquium, Marcello Bonsangue
• 3 July 2006, Computational Linguistics Seminar, Reut Tsarfaty
• 30 June 2006, DIP Colloquium, Janneke Huitink
• 29 June 2006, Computational Linguistics Seminar, Peter Grunwald (CWI)
• 29 June 2006, PROSE Colloquium, Jaco van de Pol
• 27 June 2006, Logic Tea, Dick de Jongh & Krister Segerberg
• 27 June 2006, Forth and back for 40 years: three talks on p-morphisms, room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam
• 23 June 2006, ILPS Seminar, Edgar Meij
• 23 June 2006, DIP Colloquium, Graham Katz
• 23 June 2006, Medieval Logic Presentation Day
• Digitalisering van onderzoekscorpora
• 22 June 2006, GLoRiClass Seminar, Jan Tuinstra
• 21 June 2006, Computational Linguistics Seminar, Postponed
• 15 June 2006, GLoRiClass Seminar, Jacques Duparc
• 14 June 2006, GLLC 12: Games in Set Theory, Analysis and Topology, Room E150, Roetersstraat 11, University of Amsterdam
• 14 June 2006, Computational Linguistics Seminar, Canceled/Rescheduled
• 9 June 2006, ILPS Seminar, Veronique Hoste
• 9 June 2006, DIP Colloquium, Eugen Fischer
• 9 June 2006, Computational Social Choice Seminar, Fenrong Liu
• 8 June 2006, GLoRiClass Seminar, Klaus Abbink
• 8-10 June 2006, Universality and Particularity in Parts-of-Speech Systems (PoS2006), P.C. Hoofthuis, Spuistraat 134, Amsterdam
• 6 June 2006, Logic Tea, Jip Veldman
• 2 June 2006, DIP Colloquium, Krister Segerberg
• 30 May 2006, ACG Colloquium, Marcello Bonsangue
• 26 May 2006, Gödel Centenary Celebration, Jaarbeurs Utrecht
• 24 May 2006, Computational Linguistics Seminar, Canceled
• 23 May 2006, Logic Tea, Joe Salerno
• 19 May 2006, ILPS Seminar, Canceled
• 19 May 2006, DIP Colloquium, Postponed
• 18 May 2006, GLoRiClass Seminar, Yde Venema
• 18 May 2006, Computational Social Choice Seminar, Andreas Witzel
• 16 May 2006, Mini Meeting in Medieval Logic, ILLC
• 12 May 2006, DIP Colloquium, Corien Bary
• 12 May 2006, ILPS Seminar, Yoav Seginer
• 12 May 2006, Colloquium on Mathematical Logic, Marek Kwiatkowski
• 12 May 2006, Colloquium on Mathematical Logic, Joost J. Joosten
• 12 May 2006, Leve de Wiskunde!
• 11 May 2006, GLoRiClass Seminar, Theo Janssen
• 9 May 2006, ACG Colloquium, Einar Broch Johnsen
• 4 May 2006, PROSE Colloquium, Aad Mathijssen
• 4 May 2006, GLoRiClass Seminar, Peter van Emde Boas
• 2 May 2006, ACG Colloquium, Frank Atanassow
• 28 April 2006, DIP Colloquium, Christian Ebert
• 27 April 2006, GLoRiClass Seminar, Jelle Zuidema
• 27 April 2006, Krister Segerberg's 70th Birthday, Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
• 26 April 2006, General Mathematics Colloquium, Patrick Dehornoy
• 25 April 2006, Logic Tea, Andreas Witzel
• 21 April 2006, Colloquium on Mathematical Logic, Roland Hinnion
• 21 April 2006, ILPS Seminar, Canceled
• 21 April 2006, DIP Colloquium, Tony Belpaeme
• 21 April 2006, Colloquium on Mathematical Logic, Saeed Salehi
• 21 April 2006, ACLC Colloquium, Bernd Heine
• 20 April 2006, GLoRiClass Seminar, Eric Pacuit
• 18 April 2006, ACG Colloquium, Tom Chothia
• 13 April 2006, GLoRiClass Seminar, Canceled
• 7 April 2006, ILPS Seminar, Canceled
• 7 April 2006, Colloquium on Mathematical Logic, Philipp Hieronymi
• 7 April 2006, Computational Social Choice Seminar, Krzysztof Apt
• 6 April 2006, GLoRiClass Seminar, Ulle Endriss
• 31 March 2006, ACLC/ILLC Seminar on Psycholinguistics
• 31 March 2006, ILPS Seminar, Wouter Alink
• 30 March 2006, GLoRiClass Seminar, Benedikt Löwe
• 24 March 2006, ILPS Seminar, Canceled
• 24 March 2006, DIP Colloquium, Adrian Brasoveanu
• 22 March 2006, Computational Linguistics Seminar, Antal van den Bosch
• 21 March 2006, Logic Tea, Leigh M. Smith
• 16 March 2006, Amsterdam-London Workshop on Modal Logic, Room I. 401, Nieuwe Achtergracht 168-178, Amsterdam
• 16 March 2006, PROSE Colloquium, Adam Koprowski
• 15 March 2006, Computational Linguistics Seminar, Ton van der Wouden
• 14 March 2006, GLoRiClass Opening Afternoon
• 14 March 2006, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt ,
• 14 March 2006, ACG Colloquium, Stephanie Kemper
• 13 March 2006, Colloquium on Mathematical Logic, Alexey Romanov
• 13 March 2006, Maagdenhuis op Maandag, Tine Wilde
• 10 March 2006, ILPS Seminar, Valentijn Visch
• 10 March 2006, Computational Social Choice Seminar, Ulle Endriss
• 9 March 2006, GLoRiClass Seminar, Robert van Rooij
• 8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht
• 8 March 2006, Computational Linguistics Seminar, Rens Bod
• 7 March 2006, Logic Tea, Taotao Xing
• 6 March 2006, Curious Minds: scientific reasoning in early youth, KNAW-gebouw, Kloveniersburgwal 29, Amsterdam
• 3 March 2006, Colloquium on Mathematical Logic, Bob Lubarsky
• 2 March 2006, GLoRiClass Seminar, Krzysztof Apt
• 2 March 2006, PROSE Colloquium, Irek Ulidowski
• 28 February 2006, ACG Colloquium,
• 24 February 2006, ILPS Seminar, Clemens Kupke
• 24 February 2006, Colloquium on Mathematical Logic, Asger Tornquist
• 21 February 2006, Logic Tea, Sara L. Uckelman
• 16 february 2006, Collloquium Muziekwetenschap, Glenn Schellenberg
• 16 February 2006, GLoRiClass Seminar, Johan van Benthem
• 16 February 2006, OAS Colloquium, Adam Koprowski
• 15 February 2006, Computational Social Choice Seminar, Vangelis Markakis
• 12 February 12 2006, Wakker Worden Kinderlezing, Prof.dr. Johan van Benthem
• 11-12 February 2006, Bonn Student Seminar on Set Theory and Games, Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
• 10 February 2006, ILPS Seminar, Vojkan Mihajlovic
• 9 February 2006, CSCA lecture series, Prof. dr. Ap Dijksterhuis
• 8 February 2006, Computational Linguistics Seminar, Remko Scha
• 7 February 2006, Logic Tea, Eric Pacuit
• 3 February 2006, DIP Colloquium, Irene Krämer
• 2 February 2006, Computational Social Choice Seminar, Krzysztof Apt
• 2 February 2006, OAS Colloquium, Muck van Weerdenburg
• 27 January 2006, ILPS Seminar, Toine Bogers
• 27 January 2006, Topics in Ancient & Medieval Logic, P1.14, Euclides Building, Plantage Muidergracht 24, Amsterdam
• 20 January 2006, Colloquium on Mathematical Logic, Milad Niqui
• 12 January 2006, Computational Social Choice Seminar, Eric Pacuit
• 6 January 2005, Colloquium on Mathematical Logic, Bas Spitters

   Headlines Calls for Papers

• 22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, China (deadline: 18 December 2006)
• 11-14 April 2007, Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, LA USA (deadline: 15 December 2006)
• 30 May - June 1, 2007, 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh, USA (deadline: 15 December 2006)
• 4-7 June 2007, Logical Foundations of Computer Science (LFCS'07), New York, USA (deadline: 11 December 2006)
• 15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand (deadline: 1 December 2006)
• 29 March - 4 April 2007, Language and Automata Theoy and Applications (LATA 2007), Tarragona, Spain (deadline: 30 November 2006)
• 5-7 Februari 2007, KNAW Academie Colloquium "New perspectives on Games and Interaction", KNAW, Amsterdam (deadline: 29 November 2006)
• 12-13 May 2007, Linguistics and Epistemology, Aberdeen, Scotland (deadline: 27 November 2006)
• Call for papers, special issue of JSAT on 'Satisfiability Modulo Theories' (deadline: 25 November 2006)
• 11-13 June 2007, Symposium on Theory of Computing (STOC 2007), San Diego, USA (deadline: 20 November 2006)
• 8-11 July 2007, 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA (deadline: 16 November 2006)
• 23-27 May 2007, 2nd European Cognitive Science Conference (EuroCogSci '07), Delphi, Greece (deadline: 15 November 2006)
• 26-28 March 2007, Second Perspectives on Mathematical Practices conference, Brussels, Belgium (deadline: 15 November 2006)
• 17-20 February 2007, IADIS International Conference Applied Computing 2007, Salamanca, Spain (deadline: 13 November 2006)
• 14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USA (deadline: 20 October 2006)
• 4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA (deadline: 13 October 2006)
• 10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos Aires (deadline: 1 October 2006)
• 8-10 March 2007, Confirmation, Induction and Science, London (deadline: 1 October 2006)
• 12 November 2006, 2nd International Workshop on Analytic Proof Systems (Analytic Systems 2), Phnom Penh, Cambodia (deadline: 25 September 2006)
• 6-12 January 2007, 3rd international workshop in Neural-Symbolic Learning (NeSy07), Hyderabad, India (deadline: 22 September 2006)
• 8-10 November 2006, 8th Augustus de Morgan Workshop "Belief Revision, Belief Merging, Social Choice" , King's College London, UK (deadline: 22 September 2006)
• 18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland (deadline: 19 September 2006)
• 22-24 February 2007, 24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007), Aachen, Germany (deadline: 17 September 2006)
• 11-12 November 2006, 7th Midwest PhilMath Workshop (MWPMW 7), Notre Dame, Indiana, USA (deadline: 14 September 2006)
• 12 November 2006, The 6th International Workshop on the Implementation of Logics (IWIL-6), Phnom Penh, Cambodia (deadline: 4 September 2006)
• 3-6 January 2007, International Conference on Logic, Navya Nyaya and applications: a homage to Bimal Krishna Matilal, Calcutta, West Bengal, India (deadline: 31 August 2006)
• 22-24 September 2006, Colloquium Logicum 2006, Bonn, Germany (deadline: 15 August 2006)
• 11-12 November 2006, 10th Annual Oxford Philosophy Graduate Conference, Oxford, UK (deadline: 14 August 2006)
• 29 January - 2 February 2007, Computing: The Australasian Theory Symposium (CATS 2007), Ballarat, Australia (deadline: 11 August 2006)
• 14-15 December 2006, Formal Ontologies Meets Industry 2006 (FOMI 2006), University of Trento, Italy (deadline: 15 July 2006)
• 17-19 January 2007, PoPL (Principles of Programming Languages), Nice, France (deadline: 15 July 2006)
• 21-22 August 2006, International Seminar on Multimedia Adventures in Languages Learning 2006, Sunway Lagoon Resort Hotel, Petaling Jaya, Selangor , Malaysia (deadline: 15 July 2006)
• 1-5 November 2006, Computability and Complexity in Analysis (CCA 2006), Gainesville, Florida, USA (deadline: 2 July 2006)
• 4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia (deadline: 30 June 2006)
• 18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, India (deadline: 28 June 2006)
• 13-15 December 2006, 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Kolkata, India (deadline: 18 June 2006)
• 21 August 2006, Multi-Valued Logic Programming and Applications (MVLPA'2006), Seattle, Washington (deadline: 10 June 2006)
• 5-8 September 2006, Prague International Colloquium 2006: Uncertainty, Prague (deadline: 6 June 2006)
• 7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, Spain (deadline: 26 May 2006)
• 11 August 2006, HyLo 2006: International Workshop on Hybrid Logic, Seattle, USA (deadline: 26 May 2006)
• 21-27 August 2006, 14th International Symposium on Formal Methods (FM'06), McMaster University, Hamilton, Canada (deadline: 26 May 2006)
• 11 August 2006, First International Workshop on Probabilistic Automata and Logics, Seatlle, USA (deadline: 19 May 2006)
• 15-16 August 2006, Eighth International Workshop on Termination (WST 2006), Seattle, Washington, USA (deadline: 19 May 2006)
• 26-30 September 2006, Second International Congress on Tools for Teaching Logic, Salamanca, Spain (deadline: 15 May 2006)
• 25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal (deadline: 15 May 2006)
• 25-28 October 2006, International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), Mérida, Spain (deadline: 15 May 2006)
• 11 August 2006, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Sheraton Towers, Seatlle, Washington, USA (deadline: 8 May 2006)
• 13-17 November 2006, LPAR-13, Logic for Programming, Artificial Intelligence and Reasoning, Phnom Penh, Cambodia (deadline: 2 May 2006)
• 13-15 September 2006, JELIA'06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, U.K. (deadline: 1 May 2006)
• 30 August - 1 September 2006, Annual Conference on Architectures and Mechanisms for Language Processing (AMLaP), Nijmegen, the Netherlands (deadline: 1 May 2006)
• 24-27 August 2006, Annual Meeting of European Society for Philosophy and Psychology, School of Psychology, Queen's University Belfast, UK (deadline: 1 May 2006)
• 7-12 August 2006, XIII Simposio Latinoamericano de Logica Matematica (SLALM), Oaxaca, Mexico (deadline: 30 April 2006)
• 12-14 July 2006, Logic-based Program Synthesis and Transformation (LOPSTR'06), Venice, Italy (deadline: 30 April 2006)
• 24-26 July 2006, Mathematical Aspects of Computer and Information Science (MACIS 2006), Beijing, China (deadline: 26 April 2006)
• 25-29 September 2006, CP 2006 (Constraint Programming), Nantes, France (deadline: 21 April 2006)
• 24-26 August 2006, Ninth Symposium on Logic and Language, Budapest/Besenyotelek, Hungary (deadline: 20 April 2006)
• 13-15 September 2006, 2nd International Workshop on Parameterized and Exact Computation, Zürich, Switzerland (deadline: 19 April 2006)
• 28-31 August 2006, APPROX 2006 + RANDOM 2006, Barcelona, Spain (deadline: 18 April 2006)
• 27 July - 2 August 2006, Logic Colloquium '06 (2006 ASL European Summer Meeting), Nijmegen (deadline: 17 April 2006)
• 1-5 August 2006, Information-MFCSIT 06, Cork, Ireland (deadline: 17 April 2006)
• 27-28 June 2006, PALMYR-3, Paris, France (deadline: 16 April 2006)
• 19-21 May 2006, Philosophers' Rally, Opole, Poland (deadline: 16 April 2006)
• 13-15 July 2006, LOFT 2006: Logic and the Foundations of Game and Decision Theory, Liverpool, UK (deadline: 15 April 2006)
• 29 August 2006, NeSy'06 Second International Workshop on Neural-Symbolic Learning and Reasoning, Riva del Garda, Italy (deadline: 15 April 2006)
• (deadline: 15 April 2006)
• 28 August, Formal Approaches to Multi-agent Systems (FAMAS 2006), Riva del Garda, Italy (deadline: 14 April 2006)
• 11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, Scotland (deadline: 14 April 2006)
• 22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USA (deadline: 11 April 2006)
• 20-23 July 2006, 4th International Conference on Computing, Communications and Control (CCCT'06), Orlando, Florida, USA (deadline: 7 April 2006)
• 28 August - 1 September 2006, 31st International Symposium on Mathematical Foundations of Computer Science, High Tatras, Slovakia (deadline: 3 April 2006)
• 14-15 Septembe 2006, Workshop "Towards a New Epistemology of Mathematics", Berlin, Germany (deadline: 1 April 2006)
• 15 July 2006, Workshop on Classical Logic and Computation (CL&C'06) (deadline: 31 March 2006)
• 25-28 September 2006,, AiML 2006: Advances in Modal Logic, Noosa (Queensland, Australia) (deadline: 27 March 2006)
• 27-30 August 2006, CONCUR'06: 17th International Conference on Concurrency Theory, Bonn, Germany (deadline: 23 March 2006)
• 24 June - 8 July 2006, ICCL Summer School 2006: Knowledge Structures, TU Dresden, Germany (deadline: 18 March 2006)
• 1-4 September 2006, Trends in Logic IV: Studia Logica International Conference, Torun, Poland (deadline: 15 March 2006)
• 17-20 August 2006, ICLP'06: 22nd International Conference on Logic Programming, Seattle, Washington, USA (deadline: 14 March 2006)
• 10-12 August 2006, MKM 2006: Fifth International Conference on Mathematical Knowledge Management, South East England, UK (deadline: 13 March 2006)
• 4-8 September 2006, UC06, 5th International Conference on Unconventional Computation, York, UK (deadline: 12 March 2006)
• FOCA (Formal Ontologies for Communicating Agents) at ESSLLI 2006, Malaga, Spain (deadline: 8 March 2006)
• 7-11 August 2006, ESSLLI Summer School, Malaga, Spain (deadline: 8 March 2006)
• 29 August - 2 September 2006, RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, Manchester, UK (deadline: 6 March 2006)
• 2-5 June 2006, KR2006 DOCTORAL CONSORTIUM, Lake District, UK (deadline: 2 March 2006)
• 18-21 July 2006, 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006) , Stanford, California, USA (deadline: 1 March 2006)
• 23 May 2006, NWO - Bessensap, Nemo, Amsterdam (deadline: 27 February 2006)
• 27-29 April 2006, Horizons of Truth (Goedel Centenary 2006) (deadline: 24 February 2006)
• 4-7 April 2006, BCTCS 2006: 22nd British Colloquium for Theoretical Computer Science , Swansea, Wales, UK (deadline: 20 February 2006)
• 3-5 July 2006, SIROCCO 2006: 13th Colloquium on Structural Information and Communication Complexity, Chester, United Kingdom (deadline: 17 February 2006)
• 10-12 July 2006, 7th Conference on Real Numbers and Computers (RNC7), LORIA, Nancy, France (deadline: 15 February 2006)
• 31 August - 2 September 2006, The Fifth International Conference on Collective Intentionality (CollInt V), Helsinki, Finland (deadline: 15 February 2006)
• 6-8 July 2006, 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006), Riga, Latvia (deadline: 13 February 2006)
• 10-14 July 2006, ICALP 2006: 33rd International Colloquium on Automata, Languages and Programming, S. Servolo, Venice, Italy (deadline: 10 February 2006)
• 3-4 April 2006, Thirteenth Workshop on Automated Reasoning, University of Bristol, Bristol, England (deadline: 10 February 2006)
• 31 March - 2 April 2006, BOISE EXTRAVAGANZA IN SET THEORY, Boise, Idaho, USA (deadline: 31 January 2006)
• 12-14 July 2006, DEON 2006: Eighth International Workshop on Deontic Logic in Computer Science, Utrecht, The Netherlands (deadline: 27 January 2006)
• 22-24 June 2006, the International European Conference on Computing and Philosophy (ECAP) 2006, Trondheim, Norway (deadline: 27 January 2006)
• 12-14 July 2006, Eighth International Workshop on Deontic Logic in Computer Science (DEON2006), Utrecht (deadline: 27 January 2006)
• 27-30 June 2006, Sixth International Andrei Ershov Memorial Conference: PERSPECTIVES OF SYSTEM INFORMATICS, Novosibirsk, Akademgorodok, Russia (deadline: 23 January 2006)
• 3-4 May 2006, 3rd International Workshop on Philosophy and Informatics (WSPI 2006), Saarbr¨cken, Germany (deadline: 16 January 2006)
• 4-5 March 2006, Seventh Annual Princeton-Rutgers Graduate Conference, Dept. of Philosophy, Princeton University, USA (deadline: 15 January 2006)
• 8 May 2006, 4th International Workshop on Declarative Agent Languages and Technologies (DALT-2006), Future University Hakodate, Japan (deadline: 15 January 2006)
• 16-21 July 2006, 14th International Conference on Conceptual Structures: Conceptual Structures - Inspiration and Application, Aalborg University, Denmark (deadline: 6 January 2006)

   Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

• 11-13 December 2006, Nijmegen Lectures 2006, Paul Bloom
• 8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, Spain
• 8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, Scotland
• 4-15 December 2006, Logic Summer School, Canberra, Australia
• 2-3 December 2006, CAMELEON meeting, Cambridge, UK
• 1-2 December 2006, Parikh Fest: "Logical methods in exact and social sciences", New York, USA
• 24-26 November 2006, Second LERU Conference in Philosophy: "Rationality and the Choice of Logic", Faculty of Philosophy, Matthias de Vrieshof 4, Leiden
• 22 November 2006, Set Theory and Its Neighbours 10, London, UK
• 17-18 November 2006, Joint Session of the IUHPS on "Calculability and Constructivity", Paris, France
• 17-18 November 2006, Workshop "Phenomenology of Agency", Fribourg, Switzerland
• 13-24 November 2006, 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Tunis (Tunisia)
• 9-11 November 2006, International Conference on Formal Ontology in Information Systems (FOIS-2006), Baltimore MD, USA
• 6 November 2006, Medieval and modern logic: an encounter, Faculteit der Wijsbegeerte, Universiteit Leiden
• 3-5 November 2006, 17th Novembertagung on the History and Philosophy of Mathematics, Edinburgh, Scotland
• 14 October 2006, MidAtlantic Mathematical Logic Seminar (MAMLS), Rutgers University, USA
• 5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
• 25-29 September 2006, CSL 2006: Computer Science Logic, Szeged, Hungary
• 7-8 September 2006, Symposium: 60th birthday of Gordon Plotkin, Edinburgh
• 5-9 September, 2006, 16th Symposium on Medieval Logic & Semantics (XVI ESMLS), Udine, Italy
• 30 August - 2 September 2006, 11th Mons Days of Theoretical Computer Science, Rennes, France
• 28 August - 1 September 2006, The 17th European Conference on Artificial Intelligence (ECAI-06), Riva del Garda, Italy
• 22-23 August 2006, 1st Athens Colloquium on Algorithms and Complexity (ACAC 2006), Athens, Greece
• 21-25 August 2006, 7th Max-Planck Summer School "Advanced Course on the Foundations of Computer Science" (ADFOCS 2006), Saarbruecken, Germany
• 21-25 August 2006, MATHLOGAPS PhD Summer School in Logic, Bretton Hall, England
• 20-25 August 2006, International Conference on Set-theoretic Topology, Kielce, Poland
• 7-10 August 2006, The Oxford Conference on Topology and Computer Science in Honour of Peter Collins and Mike Reed, Oxford, UK
• 7-11 August 2006, 6th Canadian Summer School on Quantum Information Processing, Calgary, Canada
• 7-11 August 2006, Effective Randomness, Palo Alto, California
• 29 July 2006, What cognitive science can learn from music cognition., Vancouver, USA
• 24-28 July 2006, Summer School in Barcelona on Music Computing and Music Cognition, Pompeu Fabra University, Barcelona
• 17-21 July 2006, EASSS-2006: 8th European Agent Systems Summer School, Annecy, France
• 3-5 July 2006, MPC06: Mathematics of Program Construction, Kurassaare, Estonia
• 3-7 July 2006, Games and Verification, Cambridge, England
• 30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, Wales
• 30 June 2006, Doing It Together - International Workshop on Collective Intentionality, Groningen
• (ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2
• 28 June 2006, Symposium "On Consciousness", Gertrudiskapel, Utrecht, opposite Utrecht CS
• 26-30 June 2006, Summer School on Game Theory in Computer Science, University of Aarhus
• 22-25 June 2006, COnference on Learning Theory (COLT 2006), Pittsburgh, PA, USA
• 12-30 June 2006, CSCA summer school 2006: An Interdisciplinary Approach to Cognitive Developmental Disorders
• 12-30 June 2006, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburg, USA
• 12-13 June 2006, Modal Logic, Stone Duality, and Coalgebras, University of Leicester
• 9-11 June 2006, Logic and Mathematics 2006, University of Illinois, Urbana-Champaign, USA
• 29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, Italy
• 25-28 May 2006, Third Annual Austin-Berkeley-CMU Formal Epistemology Workshop, UC-Berkeley, USA
• 21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, Seattle
• 21-24 May 2006, Workshop on the Urysohn space
• 18-20 May 2006, Kurt Gödel: The Writings, Maison de la recherche, University of Lille III, France
• 17-21 May 2006, ASL Annual Meeting 2006, Montreal, Canada
• 15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, China
• 11 May 2006, Workshop "Philosophical and Psychological Perspectives on Number", Brussel
• Proof theory at the syntax/semantics interface, 2005 Institute of the Linguistic Society of America
• 2-8 May 2006, COMBSTRU School on Computational Complexity, Bertinoro, Italy
• 20-22 April 2006, LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino, Italy
• 19-22 April 2006, 3rd MODNET Summer School, Freiburg, Germany
• 10-13 April 2006, New Directions in Proof Complexity, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
• 7 April 2006, Conference in Memory of Stanley Tennenbaum, Graduate Center of CUNY, New York, USA
• 3-7 April 2006, EACL 2006: 11th Conference of the European Chapter of the Association for Computational Linguistics, Trento, Italy
• 30-31 March 2006, V.A.F. conference (Vereniging voor Analytische Filosofie), Vrije Universiteit Amsterdam, Philosophy Department
• 27-31 March 2006, FOSSACS 2006: Foundations of Software Science and Computation Structures, Vienna (Austria)
• 2006, Truth and Proof: Kurt Gödel and the Foundations of Mathematics
• 25-27 March 2006, CMCS 2006: Coalgebraic Methods in Computer Science, Vienna, Austria
• 24-25 March 2006, Colloquium "Modern Type Theory", IHPST, 13 rue du Four, F-75006 Paris, France
• 22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), Tokyo
• 21-22 March 2006, Infinity Symposium, Room S111, Faculty of Sciences, Vrije Universiteit Amsterdam
• 20-24 March 2006, Mathematics of constraint satisfaction: Algebra, Logic, and Graph Theory, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
• 17 March 2006, Logic and Linguistics, Utrecht Institute of Linguistics OTS, Drift 23, room 1.04
• 17 March 2006, One-day workshop 'Logic and Linguistics', Room 1.04, Institute of Linguistics OTS, Drift 23, Utrecht
• 15 March 2006, Set Theory and Analysis, London, UK
• 11-13 March 2006, MODNET - Workshop Around o-minimality, Leeds, UK
• 10 March 2006, NVTI Theory Day 2006, Hoog Brabant, Utrecht
• 5-10 March 2006, 11th Estonian Winter School in Computer Science (EWSCS'06), Palmse, Estonia
• 27 February - 3 March 2006, Logic and Databases, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
• 22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, Austria
• 23-27 January 2006, OzsL Schoolweek, , Hotel Zwartewater, Zwartsluis
• 19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal
• 16 January - 7 July 2006, Logic and Algorithms
• 12 January 2006, Workshop on The Logic of Variation, Drift 23, room 010 and Drift 15, room 002

   Headlines MoL and PhD defenses

• 20 December 2006, Master of Cognitive Science defense, Gideon Borensztajn
• 7 December 2006, Master of Logic defense, Wouter Koolen-Wijkstra
• 10 November 2006, Master of Logic defense, Gaelle Fontaine
• 6 November 2006, Master of Logic defense, Jacob Vosmaer
• 20 October 2006, PhD defense, Aline Honingh
• 12 October 2006, PhD defense, Marie Nilsenova
• 4 October 2006, PhD defense, Merlijn Sevenster
• 14 September 2006, Master of Logic defense, Martin Müller
• 7 September 2006, PhD defense, Robert Spalek
• 23 March 2006, PhD defense, Clemens Kupke
• 17 March 2006, PhD defense, Nick Bezhanishvili
• 8 March 2006, Master of Logic defense, Yanjing Wang
• 6 March 2006, Master of Logic defense, Clive Nettey
• 30 January 2006, Master of Logic defense, Edgar Andrade
• 30 January 2006, Master of Logic defense, Ioanna Dimitriou
• 30 January 2006, Master of Logic defense, Dirk Buschbom
• 17 January 2006, PhD defense (Leiden), Catarina Dutilh Novaes (alumna ILLC)
• 11 January 2006, PhD defense, Troy Lee

   Headlines Projects and Awards

• VICI awarded to Rens Bod
• Scientific Network PhiMSAMP
• 3 out of 6 ESSLLI prizes to ILLC students!
• ILLC team wins "Nieuwe Ideeën Prijs"
• Ackermann Award 2006 to Balder ten Cate
• Martin Stokhof elected as KNAW member
• Prof. Krzysztof Apt: member of Academia Europaea
• NIAS Fellowships 2007-2008
• VIDI grants awarded to Khalil Sima'an and Jaap Kamps
• New ILLC Research Projects
• VICI project awarded to Yde Venema
• Project 'Origins of truth and the sentence'

   Headlines Funding, Grants and Competitions

• Fulbright-scholarships for promovendi
• Fulbright-scholarships for junior en senior researchers
• Academische Jaarprijs
• Open Call: COST European Cooperation in the field of Research
• E. W. Beth Dissertation Prize 2006
• Smart Mix: Nieuw initiatief van EZ, OCW, SenterNovem en NWO
• Call for proposals Cognitie - Advanced Studies
• NWO Cognitie en Gedrag
• Eurocores Theme Proposals sollicited
• Nominations for 2006 Prize for Achievement in Information-Based Complexity
• Akademie Colloquia 2007 KNAW (Deadline: 1 March 2006)
• NWO's Mosaic Programme
• Call Heineken Prize for Cognitive Science

   Headlines Open Positions at ILLC

• Three PhD student positions in "Logic & Games"
• Vacancy at ILLC: Lecturer in NLP (0.5 FTE, max. 5 years)
• PhD position in Web Information Retrieval
• PhD Scholarship in "Reasoning About Norms", ILLC/Roskilde
• ILLC vacancies for 3 PhD students and 1 postdoc
• Postdoc position in Linguistics
• PhD position in Philosophy
• PhD and Postdoc position at ILLC
• 4 PhD positions at ILLC

   Headlines Open Positions, General

• Junior Professor Position (W1) in Mathematics / Applied Logic, Technische Universitaet Darmstadt, Germany
• Three positions in computer science and applications, University of New Mexico
• Postdoctoral position in "Mathematics for Information", CalTech, Pasadena CA (U.S.A.)
• Nine research assistant positions on Spatial Cognition, Reasoning, Action and Interaction, Bremen/Freiburg (Germany)
• Full Professorship in Algorithmic Graph Theory, Athens, Greece
• Heinz Hopf Lectureships, ETH Zuerich
• Postdoctoral position in Algorithms and Complexity Theory, Simon Fraser University (Vancouver)
• Open Positions at Gent University on the Application of adaptive Logics to Topics in the Philosophy of Science
• PhD and MSc Scholarships in Multi-agent Systems at IIIA-CSIC in Barcelona
• Postdoctoral position in Algorithms, Dartmouth College (Hanover NH)
• Assistant Senior Lecturer in Theoretical Computer Science, Stockholm (Sweden)
• PhD student position / postdoc position in "Foundations of Computer and Network Security Group", ETH Zuerich
• PhD student position in Computer Science, Informatics Institute, UvA
• Tenure Track or Tenured Position in Philosophy of Language / Philosophical Logic, University of Maryland
• Postdoc Algorithmic Game Theory, Cyprus
• Visiting Professorships in Computer Science, Cyprus
• Ph.D. position in parallel programming and algorithms, Bergen, Norway
• PhD Studentship in 'Light-weight rule extended ontology languages', Aberdeen, UK
• Three PhD studentships in Philosophy, Groningen
• Post Doctor in Mathematics at the University of Oslo
• 2 PhD student positions in "Theory of Computing", Leeds, UK
• PhD student positions and postdoctoral positions "Methods for Discrete Structures", Berlin (Germany)
• PhD Student Position in Logic and Cognitive Science
• PhD student position in algorithmic game theory, Aarhus, Denmark
• Postdoc position in Oslo: "Computability and Complexity in Type Theory"
• PhD students fuzzy answer set programming
• PhD student position: Algorithms and Complexity (Linköping University, Sweden)
• 1 year visiting assistant professorship in philosophy (logic), University of Rochester (New York State)
• Tenured positions in Mathematics (logic included), Cape Town (South Africa)
• PhD Student Positions in Computer Science ('Useful Logics, Types, Rewriting, and their Automation'), Edinburgh, Scotland
• PhD student position in Proof Theory/Lambda Calculus, Universite de Savoie, France
• Post-doc positions for young foreign researchers
• Assistant Professorship in Computer Science, National Sun Yat-sen University, Taiwan
• PhD student position and postdoc position in the CREDO project at CWI, Amsterdam
• PhD position in logic, University of Leicester
• Two-year research fellowship in Approximation Algorithms, Melbourne, Australia
• Postdoc on "Game-Theoretical Aspects of Large Data and Communication Networks", Hamilton ON (Canada)
• Postdoctoral Researcher in Computer Science (M/F)
• 27-month postdoc position in graph algorithms, Bergen (Norway)
• Lectureship (permanent) in Philosophical Logic, Utrecht
• Assistant Professorship in 'Theoretical Computer Science: Analysis of Algorithms', Athens, Greek
• Three postdoctoral positions, Database Group, Edinburgh
• PhD position in algorithms, Bristol University
• PhD student grants in the humanities / social sciences, Marburg, Germany
• PhD position at TU Dresden
• 2 PhD Student Positions in Multi-agent Systems and Coordination
• PhD position in Mathematics (Computability), Swansea (Wales)
• Instructorship (1 year + extension) in philosophy, logic teaching, Valparaiso University, Indiana (US)
• Postdoctoral position in Theoretical Computer Science, University of Chile
• PhD student position in formal verification, VU Amsterdam
• 3-year Postdoc position in computer science, Nijmegen (The Netherlands)
• PhD position on the semantics of multi-threaded flow of control, University of Amsterdam
• 2 PhD Positions in Data-Oriented Parsing, University of St Andrews
• Associate Professorship (Forsteamanuensis) in Logic and Natural Languages, Oslo (Norway)
• Postdoc position in Computer Science ("Logic for Knowledge Representation"), Luxembourg
• Postdoc position in semantics and cognition, Paris, France
• 2 postdoctoral positions in linguistics, Bolzano, Italy
• Assistant Professor in Natural Language Processing, University of St Andrews
• Tenure-Track Research Position on Algorithmic Game Theory at CWI, Amsterdam
• Lectureship (3+1 years) in Theoretical Computer Science, ETH Zurich
• PhD student and postdoctoral positions in Automated Reasoning or Semantic Web Services, Karlsruhe, Germany
• Assistant Professorship in Semantics, Potsdam, Germany
• PhD student position in Durham for project "Exact algorithms for NP-hard problems"
• W2/W3 Professorship in Theoretical Computer Science, Jena (Germany)
• Senior Research Assistant, University of Wales, Swansea
• PhD positions in Computer Science, Gothenburg, Sweden
• Postdoctoral Fellowship in "Interdisciplinary Applications of CS", Haifa, Israel
• 40 PhD student positions in Computer Science at Edinburgh
• PhD Scholarship in Logic: Wellington, New Zealand
• Postdoc and PhD student positions, Aarhus (Denmark)
• IBM Summer Internship in Algorithms
• Academic Position (any rank) History of Science, University of Aberdeen, Centre for Modern Thought
• Maitre de Conferences -- Logic and Discrete Mathematics, University of Savoie, France
• PhD student position (BAT IIa) Computer Science: automated proof systems, TU Berlin, Germany
• Professorship in Computer Science (Cognitive Technologies), Saarbruecken, Germany
• Tenure-track position in theoretical computer science, Hong Kong University
• Postdoctoral research positions at the Institute for Quantum Information, CalTech, Pasadena CA
• PhD student and postdoctoral positions in Automated Reasoning, Karlsruhe, Germany
• Researcher Position (equivalent to Associate Professor) in Cognition & Decision Making, Berlin
• Pre/Postdocs in Cognition & Decision Making, Berlin
• Postdoctoral Fellowships at the Center for the Mathematics of Information (CalTech)
• Tenure-Track Assistant Professorship in Foundations of Computing: York University, Toronto (Canada)

   Headlines New Appointments

• New ILLC Guest: Drs. Patrick Girard
• New ILLC Guest: Sujata Ghosh
• New ILLC Guest: Dr. Eric Pacuit
• ILLC "Asia Link" Guests
• Appointment of professor Jouko Väänänen
• New ILLC Colleague Sujata Ghosh
• New ILLC colleague Mark van der Zwaag
• New PhD student and postdoc at ILLC: Marijn Koolen and Avi Arampatzis
• New ILLC members
• New PhD student at ILLC: Olivia Ladinig
• Personnel changes at the ILLC Buro

   Headlines Miscellaneous

• ASL Newsletter September 2006 available
• Employee Self Service
• Martin Löb (1921-2006)
• New form for the submission of ILLC News and Events

   Headlines Regular Events

• Logic, Language, and Reasoning Seminar
• Computational Social Choice Seminar
• Computational Linguistics Seminar
• The Zuidelijk Interuniversitair Colloquium (ZIC) on Logic and Theoretical Computer Science
• ACG Colloquium
• PROSE Colloquium
• GLoRiClass Seminar
• The "Cool Logic" Meetings
• Amsterdam-Utrecht Workshops
• The Colloquium on Mathematical Logic
• The Logic Tea
• The DIP (Discourse Processing) Colloquium

   Past Events

• 21 December 2006, GLoRiClass Seminar, Michel Mandjes
  Speaker: Michel Mandjes
  Title: Competition for scarce resources: where queueing theory meets game theory
  Date and time: Thursday 21 December 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 19 December 2006, Converging Paradigms? Comparing Temporal Frameworks for Logics of Knowledge, Belief, Action, and Choice, ILLC, Amsterdam
  Newsitem added on 14 December 2006.

  There will be a small workshop on December 19, 2006 in Room 3.27 (Euclides Building, Plantage Muidergracht 24). The main theme of the workshop is comparing and contrasting temporal frameworks for logics for knowledge, beliefs, actions and choices.

  The invited speakers are Johan van Benthem, Jan van Eijk, Dov Gabbay, Valentin Goranko, Andreas Herzig and Wiebe van der Hoek.

  See http://staff.science.uva.nl/~epacuit/socsit/ for more information. Space is limited, so please contact Eric Pacuit (epacuitscience.uva.nl) if you are planning on attending.

• 18 December 2006, A Day of Books and People, VOC Building, Amsterdam
  Date and time: Monday 18 December 2006, 13.00-18.00

  On Monday December 18th, 13 - 18 hours, ILLC and Elsevier are throwing a party to celebrate the appearance of a number of volumes in the the growing series "Handbook of the Philosophy of Science", edited by Dov Gabbay, Paul Thagard, & John Woods. More in particular, we will also launch the just-appeared "Handbook of Modal Logic", edited by Patrick Blackburn, Johan van Benthem & Frank Wolter. Many people at and around ILLC have contributed to this volume, but other 'prime movers' will be present as well, including the Series publishers that we have worked with for so long.

  The event will include short presentations, displays, and some further social items. It is be held in the historical VOC Building in the centre of Amsterdam. See the webpage http://www.illc.uva.nl/lgc/HANDBOOK/ for details on the direction and the programme.

  This is a chance to see authors and publishers who produce important defining documents in our world. All are welcome! If you have any questions or suggestions, please email Johan van Benthem.

• 15 December 2006, ILPS Seminar, Jun Wang
  Speaker: Jun Wang (TU Delft)
  Title: Probabilistic Relevance Models for Collaborative Filtering
  Date and time: Friday 15 December 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec15.

• 15 December 2006, DIP Colloquium, Magdalena Schwager
  Speaker: Magdalena Schwager (Frankfurt)
  Title: What mayors, strikers and bodyguards might tell us about individual concepts
  Date and time: Friday 15 December 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 15 December 2006, Colloquium on Mathematical Logic, Brian Semmes
  Speaker: Brian Semmes (Amsterdam)
  Title: Decomposing 2->3
  Date and time: Friday 15 December 2006, 16.00-17.00
  Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 14 December 2006, GLoRiClass Seminar, Ravishankar Sarma
  Speaker: Ravishankar Sarma
  Title: Contracting with Expert Global Software Outsourcing Firms: A Game Theoretic Model
  Date and time: Thursday 14 December 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 13 December 2006, Logic Tea, Edward Zalta
  Speaker: Edward Zalta (Stanford)
  Title: Convergence in the Philosophy of Mathematics
  Date and time: Wednesday 13 December 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathanillc.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 12 December 2006, Uniting a Fregean Philosophy of Language with a Fregean Philosophy of Mathematics, Edward N. Zalta
  Speaker: Edward N. Zalta (Stanford)
  Date and time: Tuesday 12 December 2006, 16.00-17.00
  Location: Room 033, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht (Bus 11 or 12 from Utrecht Central Station).

  Abstract:
  In this talk, I review the philosophy of language that can be developed within object theory. The theory predicts the existence of abstract objects that can serve as the senses of individual terms and abstract objects that can serve as the senses of relational terms. The theory also predicts that the senses of relation terms map the senses of individual terms to abstract objects that serve as the senses of the whole sentence. These senses of sentences seem appropriate as Fregean thoughts, and they can serve as the denotation of sentences when sentences are embedded within propositional attitude reports. (Object theory also yields denotations for individual terms and denotations for relation terms, and though the latter map the former to propositions instead of truth-values, each proposition does still receive a truth value as its extension.) In the second part of the talk, I show how this work unites a quasi-Fregean philosophy of language a neo-Fregean philosophy of mathematics.

• 8 December 2006, ILPS Seminar, Börkur Sigurbjörnsson
  Speaker: Börkur Sigurbjörnsson
  Title: Focused Information Access using XML Element Retrieval
  Date and time: Friday 8 December 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec8.

• 6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
  Newsitem added on 1 June 2006.

  Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).

  The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.

  COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.

  The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see http://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulleillc.uva.nl).

• 4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
  Costs: Free
  Newsitem added on 19 October 2006.

  Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.

  Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)

  For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroyscience.uva.nl)

• 1 December 2006, DIP Colloquium, Judit Gervain
  Speaker: Judit Gervain (SISSA, Trieste)
  Title: Statistical Information in the Linguistic Input to Infants: a Cross-linguistic Corpus Study
  Date and time: Friday 1 December 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 1 December 2006, ILPS Seminar, Canceled
  Speakers: Canceled (formerly Taco Ekkel and Boaz Leskes)
  Newsitem added on 28 September 2006.

  Moved to February 2, 2007. For more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Dec1.

• 1 December 2006, Computational Social Choice Seminar, Maurice Koster
  Speaker: Maurice Koster (UvA)
  Title: Cost sharing and rationing, an axiomatic approach
  Date and time: Friday 1 December 2006, 16.00
  Location: P-0.16, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1612 or http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulleillc.uva.nl).

• 30 November 2006, GLoRiClass Seminar, Marc Staudacher
  Speaker: Marc Staudacher
  Title: Discourse initial fragments: Grammar meets pragmatics
  Date and time: Thursday 30 November 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 29 November 2006, Logic Tea, Peter van Emde Boas
  Speaker: Peter van Emde Boas
  Title: Wij Juliana, ...
  Date and time: Wednesday 29 November 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The document confirming my appointment by Queen Juliana of the Netherlands to become "Lector Mathematische Informatica aan de Gemeentelijke Universiteit van Amsterdam" is signed 30 November 1976, now 30 years ago. I accepted the position three months later on Feb 01 1977.

  I like to use this sixth lustrum of my appointment to look back into what was happening in Theoretical Computer Science in Amsterdam 30 years ago, how it was embedded into the University and exhibit some of the roots of the ILLC as we know it today.

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathanillc.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 27 November 2006, ILPS Seminar, Arjen de Vries
  Speaker: Arjen de Vries (CWI)
  Title: Flexible and Efficient Integration of IR and Databases
  Date and time: Monday 27 November 2006, 14.30-15.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov27.

• 24 November 2006, ILPS Seminar, Valentin Jijkoun
  Speaker: Valentin Jijkoun (UvA)
  Title: Graph Transformations for Natural Language Processing
  Date and time: Friday 24 November 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov24.

• 24 November 2006, Colloquium on Mathematical Logic, Valentin Shehtman
  Speaker: Valentin Shehtman (Moscow)
  Title: On completeness and incompleteness in first-order modal logic
  Date and time: Friday 24 November 2006, 16.00-17.00
  Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium', Utrecht (Bus 11 or 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 23 November 2006, GLoRiClass Seminar, Filip Murlak
  Speaker: Filip Murlak (Warsaw)
  Title: The complexity of regular tree languages
  Date and time: Thursday 23 November 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 22 November 2006, Logic Tea, Ioanna Dimitriou
  Speaker: Ioanna Dimitriou (Bonn)
  Title: Symmetric models of ZF-set theory and some applications
  Date and time: Wednesday 22 November 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Jonathan Zvesper (jonathanillc.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 17 November 2006, ILPS Seminar, Andrew Thean
  Speaker: Andrew Thean (TNO)
  Title: Visual words: applying text-retrieval tricks to image archives
  Date and time: Friday 17 November 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov17.

• 17 November 2006, DIP Colloquium, Katja Jasinskaja
  Speaker: Katja Jasinskaja (Potsdam)
  Title: Doing discourse relations by topics and implicatures
  Date and time: Friday 17 November 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 17 November 2006, Colloquium on Mathematical Logic, Wim Veldman
  Speaker: Wim Veldman (RU)
  Title: Perhaps the Intermediate Value Theorem and perhaps more
  Date and time: Friday 17 November 2006, 16.00-17.00
  Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium' (Bus 11 or 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 17 November 2006, GLoRiClass
  Title: Presentation of the research projects of the GLoRiClass students
  Date and time: Friday 17 November 2006, 10:00-11:15
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/?page=4

• 16 November 2006, GLoRiClass Seminar, Canceled
  Speaker: Canceled (formerly Jouko Väänänen)
  Newsitem added on 27 August 2006.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 16 November 2006, PROSE Colloquium, Aad Mathijssen
  Speaker: Aad Mathijssen (OAS/TUE)
  Title: Nominal Algebra
  Date and time: Thursday 16 November 2006, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 14 November 2006, Intervals in the Medvedev lattice, Bas Terwijn
  Speakers: Bas Terwijn (RUU and Technical University of Vienna)
  Date and time: Tuesday 14 November 2006, 16.00-17.00
  Location: Room 3.27, Plantage Muidergracht 24, 1018 TV, Amsterdam

  The Medvedev lattice is a structure from computability theory with ties to constructive logic. We will briefly describe this connection and the relation to structures such as the Turing degrees. We will then discuss structural properties of the Medvedev lattice, in particular, the size of its intervals. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size 22^\aleph_0, the size of the lattice itself. We also prove that it is consistent that the lattice has chains of this size, and in fact that these big chains occur in every interval that has a big antichain. We also study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice. The talk was given previously in the Mathematical Logic Seminar but many people missed it.

  For more information, please contact marjanvscience.uva.nl

• 9 November 2006, GLoRiClass Seminar, Olivier Roy
  Speaker: Olivier Roy
  Title: Commitments in rational decision making
  Date and time: Thursday 9 November 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 8 November 2006, Logic Tea, Stephen Read
  Speaker: Stephen Read
  Date and time: Wednesday 8 November 2006, 16.00-17.00 (changed)
  Location: Room I.001 (changed), Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 5 November 2006, De Taal en haar Broekje (Language and her Tighty-whities), Tine Wilde
  Speaker: Tine Wilde
  Date and time: Sunday 5 November 2006, 15.00-17.00
  Location: Arti et Amicitiae, Rokin 112, Amsterdam

  A visual lecture (Dutch only) by Tine Wilde on the use of text and image in an installation. The lecture will be introduced by the poet Arie van den Berg and will end with the presentation of a publication, entitled Remodel[l]ing Reality. This publication connects Tine Wilde's previous projects, dating from 1990 to 2004, with `Do not Erase ... wait for Meaning' the project she is currently working on at the Universiteit van Amsterdam. For those who attend the lecture there will be a free copy. After that, the booklet can be obtained from International Booksellers Nijhof & Lee, Staalstraat 13a, Amsterdam.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1542, http://www.arti.nl/ or http://www.tinewilde.com/.

• 3 November 2006, ILPS Seminar, Jan Rittinger
  Speaker: Jan Rittinger (Munich)
  Title: Pathfinder: XQuery Compilation Techniques for Relational Database Target
  Date and time: Friday 3 November 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Nov3.

• 3 November 2006, Colloquium on Mathematical Logic, Ramon Jansana
  Speaker: Ramon Jansana
  Title: Quasivarieties and Gentzen calculi
  Date and time: Friday 3 November 2006, 16.00-17.00
  Location: Room I.401, Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 3 November 2006, DIP Colloquium, Jason Stanley
  Speaker: Jason Stanley (Rutgers University, New Brunswick NJ)
  Title: Knowledge and Certainty
  Date and time: Friday 3 November 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 3 November 2006, Negation from the perspective of neighborhood semantics, Junwei Yu
  Speaker: Junwei Yu
  Date and time: Friday 3 November 2006, 15:00 - 15:45
  Location: Room I.401, Diamantslijperij, Nieuwe Achtergracht 170, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.).

  Abstract.
  We study many important properties of negations using neighborhood semantics, including antitony, De Morgan laws, classical double negation, constructive double negation and so on. We generalize the correspondence between such properties of negations and the conditions on the frames. Finally we discuss the duality between the category of distributive modal algebras with antitone negations and the category of descriptive generated neighborhood frames.

  For more information, contact Yde Venema (ydescience.uva.nl)

• 1-2 November 2006, MScLogic Accreditation Visitation
  Newsitem added on 3 August 2006.

  The MSc Logic Programme is being evaluated by an international visitation committee in order to be officially accredited as a Master's programme. This procedure has been started last fall, and in the meantime we have produced a so-called "self-evaluation", an 80-page document with details about the MSc Logic.

  The international visitation committee will come to Amsterdam on November 1 and 2, 2006 in order to inspect the facilities of the MSc and compare the actual running programme with the description of the self-evaluation. The committee will consist of two international experts (Prof Dr Ramon Jansana from Barcelona and Prof Dr Peter Koepke from Bonn), two members of the accreditation agency CERTIKED and a student member; during these two days, the committee will talk to teachers, alumni, students and administrators of the MSc Logic.

  Thursday afternoon this committee will give a public first feedback on their findings. You are all invited to join this meeting at:
  Thursday, November 2, 2006 at 17.00 hrs.
  In room P-0.16, Plantage Muidergracht 24, Amsterdam

  For more information, please contact tkassenascience.uva.nl

• 30 October - 1 November 2006, ILLC Research Evaluation
  Newsitem added on 21 October 2006.

  The programme of the research evaluation, and the selfstudy written for this occasion, can be downloaded from http://www.illc.uva.nl/ResearchEvaluation/.

  The outcome of the review will have a major impact on the research and on the status of ILLC in the coming six years.

  On Wednesday afternoon, November 1st, at 2 pm the review committee will give a preliminary report of their findings. All of the ILLC members are invited to attend this meeting and the "borrel" given afterwards. The session takes place in the Bungehuis, Spuistraat 210, room 1.01.

  Details of place and time can be found in the programme at http://www.illc.uva.nl/ResearchEvaluation/.

• 27 October 2006, Colloquium on Mathematical Logic, Jouko Väänänen
  Speaker: Jouko Väänänen
  Title: Dependence Logic
  Date and time: Friday 27 October 2006, 16.00-17.00
  Location: Room 032, Ruppertgebouw, Leuvenlaan, entrance 'educatorium' (Bus 11 or 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 27 October 2006, ILPS Seminar, Canceled
  Speaker: Canceled (formerly Arjen de Vries)
  Date and time: Friday 27 October 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct27.

• 26 October 2006, GLoRiClass Seminar, Canceled
  Speaker: Canceled
  Newsitem added on 6 August 2006.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 21 October 2006, Music, Mathematics and Computation, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Date and time: Saturday 21 October 2006, 13.00-17.00

  This workshop intends to establish interdisciplinary contacts within the fields of music, mathematics and computation, and to get an overview of the research that is done in some prominent research groups. Furthermore, we hope to start a discussion about the research methods in these fields and to reach a consensus about the importance of the combination of these research disciplines. Speakers include Elaine Chew, Thomas Noll, Rens Bod, Henkjan Honing, Frans Wiering/Anja Volk. At the end of the afternoon, there will be time for a discussion session on the topic of the workshop. Besides the invited speakers, all participants are invited to take part in the discussion.

  Everybody is cordially invited to participate; attendance is free. However, to get an idea about the number of people that participate, please send an e-mail to ahoninghscience.uva.nl for registration.

  For more information, see http://staff.science.uva.nl/~ahoningh/workshop

• 20 October 2006, ILPS Seminar, Maarten de Rijke
  Speaker: Maarten de Rijke
  Title: Inaugural lecture: Levens zoekbaar
  Date and time: Friday 20 October 2006, 14.30-15.30 (changed)
  Location: Aula of UvA, Oude Lutherse Kerk, Singel 411, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct20.

• 20 October 2006, DIP Colloquium, Reinhard Muskens
  Speaker: Reinhard Muskens (Tilburg)
  Title: Hyperintensionality in the Theory of Types
  Date and time: Friday 20 October 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 20 October 2006, Structuralism in Science, Burcht van Berlage, Henri Polaklaan 9, Amsterdam
  Date and time: Friday 20 October 2006, 12.30-19.00

  The Beth-Stichting, Nederlandse Vereniging voor Wetenschapsfilosofie (NVWF), Facult eit der Wijsbegeerte (Erasmus Universiteit Rotterdam) and Wiener-Kreis-Stichting are financing the afternoon conference "Structuralism in Science".

  Coffee, tea, biscuits and snacks are all free. For more information, see http://www.illc.uva.nl/NewsandEvents/Attachments/StructScienceOct2006.pdf or contact the organizer at f.a.mullerfwb.eur.nl.

• 19 October 2006, GLoRiClass Seminar, Samson de Jager
  Speaker: Samson de Jager
  Title: Evolutionary game theory and dynamic stability notions of equilibrium
  Date and time: Thursday 19 October 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 19 October 2006, Computational Social Choice Seminar, Arantza Estévez-Fernández
  Speaker: Arantza Estévez-Fernández
  Title: Bankruptcy Problems: From Talmud to Passepartout
  Date and time: Thursday 19 October 2006, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1548 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 19 October 2006, ProSe Colloquium, Bas Ploeger
  Speaker: Bas Ploeger (OAS, TU/E)
  Title: From NFA to minimal DFA
  Date and time: Thursday 19 October 2006, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 13 October 2006, Colloquium on Mathematical Logic, Prof. dr. Yuri Gurevich
  Speaker: Prof. dr. Yuri Gurevich
  Title: Play to Test
  Date and time: Friday 13 October 2006, 16.00-17.00
  Location: Changed: Room P.017, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan).

  Abstract
  What's testing? Well, from some point of view, it is a game. Testing tasks can be viewed (and organized!) as games against nature. We introduce and study reachability games. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game; hence the importance of optimal or near optimal strategies for reachability games. We find out when exactly optimal strategies exist for a given reachability game, and how to construct them.

  For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or contact P. van Emde Boas, peterscience.uva.nl

• 13 October 2006, Computational Social Choice Seminar, Ulle Endriss
  Speaker: Ulle Endriss
  Title: Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions
  Date and time: Friday 13 October 2006, 15.00 (changed)
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1519 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 13 October 2006, Special Lecture, Jay D. Atlas
  Speaker: Jay D. Atlas (Pomona College)
  Title: Bad Dreams: Dennett on Qualia, Consciousness, and Memory
  Date and time: Friday 13 October 2006, 14.30-15.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  Abstract:

  In his recent [2005] book Sweet Dreams: Philosophical Obstacles to a science of Consciousness, Dennett renews his attack on a philosophical notion of qualia, the success of which attack is required if his brand of Functionalism is to survive. He also articulates once again what he takes to be essential to his notion of consciousness. I shall argue that his new, central argument against the philosophical concept of qualia fails. In passing I point out a difficulty that David Rosenthal's "higher-order thought" theory of consciousness also faces in accounting for qualia. I then contrast Dennett's newest account of consciousness with interestingly different conceptions by contemporary neuro-scientists, and I suggest that philosophers should take the recent suggestions by neuro-scientists more seriously as a subject for philosophical investigation.

• 12 October 2006, GLoRiClass Seminar, Canceled
  Speaker: Canceled
  Newsitem added on 6 August 2006.

  Due to an overlap with Marie Nilsenova's PhD defense (http://www.illc.uva.nl/NewsandEvents/index.php?cat=defenses#item1487) the GLoRiClass Seminar of Oct 12 will be cancelled. Olivier's talk is postponed until November 9.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 11 October 2006, Logic Tea, Sujata Ghosh
  Speaker: Sujata Ghosh
  Title: Belief-Disbelief Interface : A Bi-logical Approach
  Date and time: Wednesday 11 October 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 6 October 2006, DIP Colloquium, Maarika Traat
  Speaker: Maarika Traat (Tartu)
  Title: Information structure in DRT and CCG
  Date and time: Friday 6 October 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 6 October 2006, ILPS Seminar, Jiyin He
  Speaker: Jiyin He (Catholic University of Leuven)
  Title: Clustering for Completing Information in Biomedical Corpora
  Date and time: Friday 6 October 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Oct6.

• 5 October 2006, GLoRiClass Seminar, Ramaswamy Ramanujam
  Speaker: Ramaswamy Ramanujam (Chennai)
  Title: On strategies defined by properties
  Date and time: Thursday 5 October 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 4 October 2006, Logic Tea, Ramaswamy Ramanujam
  Speaker: Ramaswamy Ramanujam
  Title: Security Protocols: A Logical Quagmire
  Date and time: Wednesday 4 October 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 3 October 2006, Games, Logic, Language and Computation
  Title: GLLC 14
  Date and time: Tuesday 3 October 2006, 10.00-
  Location: Room E020, Roetersstraat 11, Amsterdam

  This workshop is the thirteenth episode in an irregular workshop series called Games in Logic, Language and Computation. The GLLC workshop series provides an informal platform for researchers with an interest in logic and its applications in, amongst others, game theory, linguistics and computer science. GLLC 14 aims to emphasize the interface of computability theory, quantifier theory, and game theory. Speakers include M. Mostowski, B. Renne, G. Sandu, T. Tulenheimo, J. Uiterwijk and P. van Emde Boas. Everybody is cordially invited to participate; attendance is free.

  For more information, see http://staff.science.uva.nl/~sevenstr/gllc14

• 29 September 2006, Nieuw Amsterdams Peil, ACLC, Amsterdam
  Newsitem added on 2 July 2006.

  On Friday, 29 September 2006 the annual NAP-dag will take place. On this occasion Ph.D. students of the ACLC will present their research projects. All M.A. students, Ph.D. students, post-docs and senior staff are invited to join us in Bungehuis, room 101. Attendance is free.

  For further information, please contact the NAP-dag organization committee (Antje Orgassa, Daniela Poli~enská and Loulou Edelman) at napdaggmail.com. Programme and abstracts of the talks can be found at http://www.hum.uva.nl/aclc/object.cfm/objectid=4317883A-3102-4F8A-A31CBC1402EBC5E4

• 29 September 2006, Colloquium on Mathematical Logic, Sebastiaan Terwijn
  Speaker: Sebastiaan Terwijn
  Title: Intervals in the Medvedev lattice
  Date and time: Friday 29 September 2006, 16.00-17.00
  Location: Room K11 (take stairs down), Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 27 September 2006, Logic Tea, Simon Huttegger
  Speaker: Simon Huttegger
  Title: Dynamics of Signaling Games
  Date and time: Wednesday 27 September 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 27 September 2006, Computational Linguistics Seminar, Joachim de Beule
  Speaker: Joachim de Beule
  Title: Fluid Construction Grammar
  Date and time: Wednesday 27 September 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 24-30 September 2006, The 7th Logical Workshops "Logic & Games", Kazimierz Dolny, Poland
  Newsitem added on 10 August 2006.

  The Logical Workshops have been organized since 2000 mostly as a summertime science activity for students of philosophy and mathematics from Warsaw. This year the meeting is addressed to a broader audience. Logical Workshop 2006 will take place in Kazimierz Dolny, Poland, and is organized in cooperation with Institute of Philosophy, Warsaw University and Institute for Logic, Language and Computation, University of Amsterdam.

  The main goal of the Workshop is to bring people interested in logic and game theory together. The Workshop is open to all who are interested in participation. There is no conference fee, all you have to pay is your own travel and accommodation expenses.

  For more information, see http://www.logika.uw.edu.pl/workshop/

• 22 September 2006, ILPS Seminar, Ander de Keijzer
  Speaker: Ander de Keijzer (Twente)
  Title: Possible World Approach: Semantics and Application
  Date and time: Friday 22 September 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep22.

• 22 September 2006, Computational Social Choice Seminar, René van den Brink
  Speaker: René van den Brink (VU Amsterdam)
  Title: Permission Values for Games with a Permission Structure
  Date and time: Friday 22 September 2006, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1509 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 21 September 2006, GLoRiClass Seminar, Andrea Schalk
  Speaker: Andrea Schalk (Manchester)
  Date and time: Thursday 21 September 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 21 September 2006, PROSE Colloquium, Hans Zantema
  Speaker: Hans Zantema
  Title: Recent developments in proving termination of rewriting automatically
  Date and time: Thursday 21 September 2006, 15.30-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 18 September 2006, Workshop "Formal models for real people"
  Date and time: Monday 18 September 2006, 10.00-17.30
  Location: Doelenzaal, UB, Singel 425, Amsterdam

  With the growth of the cognitive sciences comes an increasing interest in how we can model the cognitive and linguistic achievements of real people, in realistic contexts. There is also growing realisation that formal models can be of use here: they are formal but are not limited to modelling idealisations. In the workshop 'Formal models for real people' researchers from psychology, linguistics and philosophy will present and discuss work which showcases the applicability of formal tools to modelling non-idealised language and reasoning. Topics include, amongst others: causal reasoning, language acquisition, Theory of Mind, reasoning and autism.

  No registration is required, but if you are planning to attend the workshop, we would appreciate it if you notified Marian Counihan at m.e.counihanuva.nl. Further details including the day's programme and a route description to the venue, are available at http://oase.uci.kun.nl/~ikramer/realpeople/.

• 13 September 2006, Computational Linguistics Seminar, David Ahn
  Speaker: David Ahn (ILPS)
  Title: Stages of event extraction
  Date and time: Wednesday 13 September 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 11 September 2006, Logic Tea, Tadeusz Litak
  Speaker: Tadeusz Litak
  Title: Algebraization of H(↓,@) and the Bounded Fragment
  Date and time: Monday 11 September 2006, 15.00-16.00
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 8 September 2006, Computational Social Choice Seminar, Eric Pacuit
  Speaker: Eric Pacuit
  Title: Some Comments on Strategic Voting
  Date and time: Friday 8 September 2006, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1465 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 8 September 2006, ILPS Seminar, Martha Larson
  Speaker: Martha Larson (Fraunhofer Institute)
  Title: AudioMining: Prototype system for archival and retrieval of German-language radio content
  Date and time: Friday 8 September 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-2.html#Sep8.

• 6 September 2006, Logic Tea, Olivier Roy
  Speaker: Olivier Roy
  Title: From Decision Theory to Belief Dynamics
  Date and time: Wednesday 6 September 2006, 17.30-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 2006-2007 MASTER CLASS IN MATHEMATICAL LOGIC
  Date and time: September 2006 - June 2007, 2 full days/week
  Location: Utrecht and Nijmegen
  Target group: advanced undergraduate and beginning graduate students
  Costs: € 2260

  In the academic year 2006-2007 a year-long program of courses in Mathematical Logic is organized by MRI (a cooperation of Dutch Universities). The program is intended for advanced undergraduate and beginning graduate students, and aims to provide them with a solid preparation for a possible Ph.D. studentship in the area. There are possibilities for fellowships for students.

  Deadline for registration: 1 April 2006. Students interested in fellowships should apply before January 15, 2006. For more information, see http://www.math.uu.nl/people/jvoosten/mclogic/.

• 31 August 2006, Annual ILLC Boat Trip & Welcome Reception
  Date and time: Thursday 31 August 2006, 16:45
  Location: Gather at frontdesk, Euclides Building, Plantage Muidergracht 24, Amsterdam

  We are happy to announce that the ILLC will (as usual) welcome its new Master students by having a boattrip in which you can see the city from another point of view, followed by an informal reception where there will be something to eat and to drink. This gathering will be a nice opportunity to meet with ILLC staffmembers and students.

  The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), we request to gather at the frontdesk at 16.45 from where we will walk to the landingplace of the boat. The boat will return at 18.00. Reception is from 18.00 - 19.30 at the ILLC, third floor of Euclides, Pl. Muidergracht 24

  For more information, contact the ILLC Buro at illcscience.uva.nl.

• 31 July-11 August 2006, ESSLLI-2006: 18th European Summer School in Logic, Language and Information, Malaga, Spain
  Newsitem added on 6 May 2005.

  The main focus of ESSLLI is on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

  The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

  For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

• 14 July 2006, ILPS Seminar, Maarten de Rijke
  Speaker: Maarten de Rijke (UvA)
  Date and time: Friday 14 July 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jul14.

• 7 July 2006, Computational Social Choice Seminar, Joel Uckelman
  Speaker: Joel Uckelman
  Title: How Hard is it to Find Nash Equilibria?
  Date and time: Friday 7 July 2006, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1419 or http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 4 July 2006, ACG Colloquium, Marcello Bonsangue
  Speaker: Marcello Bonsangue (LIACS)
  Title: A logic for strong late bisimilarity (Part II)
  Date and time: Tuesday 4 July 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 3 July 2006, Computational Linguistics Seminar, Reut Tsarfaty
  Speaker: Reut Tsarfaty
  Title: Hebrew Statistical Parsing
  Date and time: Monday 3 July 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  Contrary to erroneous information in 'ILLC News 2006-26', this seminar will take place as scheduled.

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 30 June 2006, DIP Colloquium, Janneke Huitink
  Speaker: Janneke Huitink (Nijmegen)
  Title: Epistemic Modality and Quantifier Scope
  Date and time: Friday 30 June 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 29 June 2006, Computational Linguistics Seminar, Peter Grunwald (CWI)
  Speaker: Peter Grunwald (CWI)
  Title: Introduction to Modern Minimum Description Length Methods
  Date and time: Thursday 29 June 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 29 June 2006, PROSE Colloquium, Jaco van de Pol
  Speaker: Jaco van de Pol (FM, TuE, CWI)
  Title: Fixpoint Equation Systems
  Date and time: Thursday 29 June 2006, 15.30-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 27 June 2006, Logic Tea, Dick de Jongh & Krister Segerberg
  Speakers: Dick de Jongh & Krister Segerberg
  Title: Kripke frames, Heyting Algebras, reductions and duality / Remembrances of the p-morphism in times past
  Date and time: Tuesday 27 June 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 27 June 2006, Forth and back for 40 years: three talks on p-morphisms, room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam
  Date and time: Tuesday 27 June 2006, 4-6.15 pm

  On the occasion of the 40th anniversay of the p-morphism, the ILLC will host a special afternoon with three talks on the p-morphism. Dick de Jongh and Krister Segerberg will each give a talk on the developments in the sixties and seventies (these talks also forms part of the Logic Tea). Before that, in a joint talk, Helle Hansen and Clemens Kupke will present a modern, coalgebraic perspective.

  For more information, see http://staff.science.uva.nl/~yde/ole.html

• 23 June 2006, ILPS Seminar, Edgar Meij
  Speaker: Edgar Meij (UvA)
  Title: How the Grid could meet Biomedical IR
  Date and time: Friday 23 June 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jun23.

• 23 June 2006, DIP Colloquium, Graham Katz
  Speaker: Graham Katz
  Title: Propositional content, pre-semantic binding and the Pragmatics/Semantics interface
  Date and time: Friday 23 June 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 23 June 2006, Medieval Logic Presentation Day
  Date and time: Friday 23 June 2006, 14:00 (sharp) - 16:15
  Location: P.327 Euclides Building, Plantage Muidergracht 24, Amsterdam

  Students participating in the June project on medieval logic will be giving short talks presenting the results of their research on various topics. Speakers: Can Baskent, Harald Bastiaanse, Yurii Khomskii and Lars Wortel

  For more information, see http://staff.science.uva.nl/~suckelma/23junmedproj.html

• Digitalisering van onderzoekscorpora
  Date and time: Donderdag 22 juni, 13.00 tot 17.00 uur
  Location: P.C. Hoofthuis, Spuistraat 134 te Amsterdam
  zaal 105

  De bijeenkomst is bedoeld voor onderzoekers en (research)masterstudenten van onze faculteit om inzicht te krijgen in de consequenties van digitalisering voor de onderzoekspraktijk van onder andere Geschiedenis, Literatuur, Kunst, Filosofie, Film, Boekwetenschap en Archeologie. Ook is er aandacht voor de ontwikkeling van digitaliseringsprojecten en de financieringsmogelijkheden.

  Aanmelden via r.brandsmauva.nl. Voor meer informatie zie http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1385.

• 22 June 2006, GLoRiClass Seminar, Jan Tuinstra
  Speaker: Jan Tuinstra
  Title: Game Theory in Law and Economics
  Date and time: Thursday 22 June 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 21 June 2006, Computational Linguistics Seminar, Postponed
  Speaker: Postponed (David Ahn)
  Newsitem added on 11 May 2006.

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 15 June 2006, GLoRiClass Seminar, Jacques Duparc
  Speaker: Jacques Duparc
  Title: Describing the complexity of ω-languages with games
  Date and time: Thursday 15 June 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 14 June 2006, GLLC 12: Games in Set Theory, Analysis and Topology, Room E150, Roetersstraat 11, University of Amsterdam
  Date and time: Wednesday 14 June 2006, 9:40-19:05

  This workshop is the twelfth episode in an irregular workshop series called Games in Logic, Language and Computation. These workshops are intended as a informal and lively discussion platform, where both senior researchers and promising young researchers from different backgrounds can share ideas.

  For more information, see http://www.illc.uva.nl/lgc/gllc12/

• 14 June 2006, Computational Linguistics Seminar, Canceled/Rescheduled
  Speaker: Canceled/Rescheduled (Reut Tsarfaty )
  Newsitem added on 11 May 2006.

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 9 June 2006, ILPS Seminar, Veronique Hoste
  Speaker: Veronique Hoste (Antwerp)
  Title: Optimization in machine learning of language. A focus on the task of coreference resolution
  Date and time: Friday 9 June 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jun09.

• 9 June 2006, DIP Colloquium, Eugen Fischer
  Speaker: Eugen Fischer (NIAS/Den Haag)
  Title: The Invention of 'Secondary Qualities'. How Philosophical Pictures May Shape Abstract Reflection
  Date and time: Friday 9 June 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  Eugen Fischer, editor of the collection "Wittgenstein at Work", will present a metaphilosophical account, inspired both by the later Wittgenstein and by recent work in cognitive science, of how problems and theories in philosophy arise.

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 9 June 2006, Computational Social Choice Seminar, Fenrong Liu
  Speaker: Fenrong Liu
  Title: Optimality, Belief and Preference
  Date and time: Friday 9 June 2006, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  Abstract:
  We define preference in terms of a constraint sequence, a concept from optimality theory. In case agents only have incomplete information, beliefs are introduced. We propose three definitions to describe different procedures agents may follow to get a preference relation using the incomplete information. Changes of preference are explored w.r.t their sources: changes of the constraint sequence, and changes in beliefs.

  This is joint work with Dick de Jongh (see also ILLC-report PP-2006-38).

  For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulleillc.uva.nl).

• 8 June 2006, GLoRiClass Seminar, Klaus Abbink
  Speaker: Klaus Abbink
  Title: Behavioral Game Theory: Conflicts in the Lab
  Date and time: Thursday 8 June 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 8-10 June 2006, Universality and Particularity in Parts-of-Speech Systems (PoS2006), P.C. Hoofthuis, Spuistraat 134, Amsterdam
  Costs: Preregistration 80€ , late registration 100€
  Newsitem added on 26 May 2006.

  The ACLC-conference on Universality and Particularity in Parts-of-Speech Systems (PoS2006) will take place from June 8-10, 2006, at the University of Amsterdam. The conference programme covers the widest possible range of perspectives on word class distinctions and parts-of-speech systems.

  All information about the conference programme may be found at the conference website http://home.hum.uva.nl/pos/. Given the focused nature of the conference programme and the limited space available, participation is limited to (pre)registered participants.

• 6 June 2006, Logic Tea, Jip Veldman
  Speaker: Jip Veldman (Bonn)
  Title: Core Models and the Covering Lemma
  Date and time: Tuesday 6 June 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 2 June 2006, DIP Colloquium, Krister Segerberg
  Speaker: Krister Segerberg (Uppsala)
  Title: The Elusive Logic of Action
  Date and time: Friday 2 June 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 30 May 2006, ACG Colloquium, Marcello Bonsangue
  Speaker: Marcello Bonsangue (LIACS)
  Title: A logic for strong late bisimilarity
  Date and time: Tuesday 30 May 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  Note that the date has changed. For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 26 May 2006, Gödel Centenary Celebration, Jaarbeurs Utrecht
  Newsitem added on 20 April 2006.

  Registration for the Gödel Centenary Celebration on Friday May 26 is open. The symposium is free of charge. The program is as follows.

  10:00       Arrival, tea and coffee
  10:20-10:30 Opening: Albert Visser (Utrecht)
  10:30-11:45 Juliette Kennedy (Helsinki) & Mark van Atten (Paris):
              A Life Dedicated to the Fundamental
  11:45-12:00 Tea break
  12:00-13:00 Dick de Jongh (Amsterdam) & Albert Visser (Utrecht):
              The Incompleteness Theorems: What They Say and What They do not Say.
  13:00-14:00 Lunch break
  14:00-15:00 Benedikt Löwe (Amsterdam):
              Gödel's Contribution to Set Theory
  15:00-15:30 Tea break
  15:30-16:30 Dennis Dieks (Utrecht):
              Gödel on Time and Relativity
  

  Update (2006/05/22): Due to large interest in the symposium there is only a limited number of seats left. Please sign up before the conference hall is full and registration closed.

  For more information, see http://ozsl.uu.nl/goedel/.

• 24 May 2006, Computational Linguistics Seminar, Canceled
  Speaker: Canceled (formerly Joachim De Beule)
  Newsitem added on 11 May 2006.

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 23 May 2006, Logic Tea, Joe Salerno
  Speaker: Joe Salerno (St. Louis)
  Title: Knowability Noir: 1945-1963
  Date and time: Tuesday 23 May 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl) or Hartmut Fitz (h.fitzuva.nl).

• 19 May 2006, ILPS Seminar, Canceled
  Speaker: Canceled (Edgar Meij)
  Newsitem added on 20 March 2006.

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May19.

• 19 May 2006, DIP Colloquium, Postponed
  Speaker: Postponed (formerly Jay David Atlas)
  Newsitem added on 30 April 2006.

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 18 May 2006, GLoRiClass Seminar, Yde Venema
  Speaker: Yde Venema
  Title: Logic, automata and infinite games
  Date and time: Thursday 18 May 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 18 May 2006, Computational Social Choice Seminar, Andreas Witzel
  Speaker: Andreas Witzel (ILLC)
  Title: The Stability of Hedonic Coalition Structures
  Date and time: Thursday 18 May 2006, 16.00
  Location: P-0.16, Euclides Building, Plantage Muidergracht 24, Amsterdam

  Hedonic games are a special form of cooperative games where the payoff to each player only depends on the identity of the other members of his coalition. I will present stability notions and according existence results discussed in the paper by Bogomolnaia and Jackson.

  For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulleillc.uva.nl).

• 16 May 2006, Mini Meeting in Medieval Logic, ILLC
  Speaker: Raina Kirchhoff, Catarina Dutilh Novaes
  Date and time: Tuesday 16 May 2006, 15.30-18.15

  Everyone is invited to this informal workshop in medieval logic. The workshop will take place in rooms P3.27 & P0.14 at the Euclides Building (Plantage Muidergracht 24, Amsterdam)

  For more information, email Sara Uckelman (suckelmaillc.uva.nl), or go to http://staff.science.uva.nl/~suckelma/may16meeting.html

• 12 May 2006, DIP Colloquium, Corien Bary
  Speaker: Corien Bary (Nijmegen)
  Title: The Imperfect and Aorist in Ancient Greek
  Date and time: Friday 12 May 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 12 May 2006, ILPS Seminar, Yoav Seginer
  Speaker: Yoav Seginer (ILLC)
  Title: Parser Induction
  Date and time: Friday 12 May 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#May12.

• 12 May 2006, Colloquium on Mathematical Logic, Marek Kwiatkowski
  Speaker: Marek Kwiatkowski (VU)
  Title: Ordinal Arithmetic via Infinite Term rewriting
  Date and time: Friday 12 May 2006, 16.00-17.00
  Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 12 May 2006, Colloquium on Mathematical Logic, Joost J. Joosten
  Speaker: Joost J. Joosten (Utrecht)
  Title: Computational complexity and short proofs of consistency + statements
  Date and time: Friday 12 May 2006, 15.00-16.00
  Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 12 May 2006, Leve de Wiskunde!
  Date and time: Friday 12 May 2006, 10.30-16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  (dutch only)
  Op vrijdag 12 mei 2006 organiseren het Korteweg-de Vries Instituut voor Wiskunde (KdVI) en het Institute for Logic, Language & Computation (ILLC) een open dag voor docenten wiskunde, scholieren en andere belangstellenden. Wiskundigen en logici van de Universiteit van Amsterdam vertellen er over hun onderzoek.

  For more information, see http://www.science.uva.nl/actueel/object.cfm/objectid=276947C6-0E2C-46CD-83FFC1D77F5375E1

• 11 May 2006, GLoRiClass Seminar, Theo Janssen
  Speaker: Theo Janssen
  Title: Hintikka's Independence Friendly Logic
  Date and time: Thursday 11 May 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 9 May 2006, ACG Colloquium, Einar Broch Johnsen
  Speaker: Einar Broch Johnsen (Oslo)
  Date and time: Tuesday 9 May 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 4 May 2006, PROSE Colloquium, Aad Mathijssen
  Speaker: Aad Mathijssen (OAS/TUE)
  Title: One-and-a-halfth-order logic
  Date and time: Thursday 4 May 2006, 15.30-16.30
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  Note that the date has changed. For more information, see http://www.win.tue.nl/prose/

• 4 May 2006, GLoRiClass Seminar, Peter van Emde Boas
  Speaker: Peter van Emde Boas
  Title: Games and Models for Computation
  Date and time: Thursday 4 May 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 2 May 2006, ACG Colloquium, Frank Atanassow
  Speaker: Frank Atanassow (CWI)
  Date and time: Tuesday 2 May 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 28 April 2006, DIP Colloquium, Christian Ebert
  Speaker: Christian Ebert (Bielefeld)
  Title: Expressive Power and Complexity of Underspecified Representations
  Date and time: Friday 28 April 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/ or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1270.

• 27 April 2006, GLoRiClass Seminar, Jelle Zuidema
  Speaker: Jelle Zuidema
  Title: Noisy Signaling Games
  Date and time: Thursday 27 April 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 27 April 2006, Krister Segerberg's 70th Birthday, Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Speaker: Eric Pacuit, Sten Lindström, Krister Segerberg
  Date and time: Thursday 27 April 2006, 14.00-16.30

  The entire ILLC-community is invited to attend this workshop organized to celebrate Krister Segerberg's 70th birthday. After the talks, there will be a reception on the 3d floor of the Euclides Building.

  For more information, please contact f.veltmanuva.nl

• 26 April 2006, General Mathematics Colloquium, Patrick Dehornoy
  Speaker: Patrick Dehornoy
  Title: From sets to braids
  Date and time: Wednesday 26 April 2006, 11:15-12:15
  Location: P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.science.uva.nl/research/math/Calendar/colloq/

• 25 April 2006, Logic Tea, Andreas Witzel
  Speaker: Andreas Witzel
  Title: Neural-Symbolic Integration: Constructive Approaches
  Date and time: Tuesday 25 April 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl), Hartmut Fitz (h.fitzuva.nl) or Joel Uckelmann (juckelmascience.uva.nl).

• 21 April 2006, Colloquium on Mathematical Logic, Roland Hinnion
  Speaker: Roland Hinnion
  Title: Positive Set Theories
  Date and time: Friday 21 April 2006, 16.00-17.00
  Location: Room 134, Ruppert building (entrance Educatorium on Leuvenlaan), Utrecht

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 21 April 2006, ILPS Seminar, Canceled
  Speaker: Canceled (formerly Vera Hollink)
  Newsitem added on 20 February 2006.

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Apr21.

• 21 April 2006, DIP Colloquium, Tony Belpaeme
  Speaker: Tony Belpaeme (Plymouth)
  Title: The trouble with perceptual categories: studying colour categories with computational models
  Date and time: Friday 21 April 2006, 16.00-17.30
  Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

  Co-located with ACLC Colloquium

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 21 April 2006, Colloquium on Mathematical Logic, Saeed Salehi
  Speaker: Saeed Salehi (Turku University)
  Title: Modal Logic of Cut-Free Provability in Weak Arithmetics
  Date and time: Friday 21 April 2006, 15.00-16.00
  Location: Room 134, Ruppert building (entrance Educatorium on Leuvenlaan), Utrecht

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 21 April 2006, ACLC Colloquium, Bernd Heine
  Speaker: Bernd Heine (Universität Köln)
  Title: Reconstructing language evolution: a grammaticalization approach
  Date and time: Friday 21 April 2006, 15.15-16.30
  Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

  Co-located with DIP Colloquium

  For abstracts and more information, see >http://www.hum.uva.nl/aclc/object.cfm/objectid=4317883A-3102-4F8A-A31CBC1402EBC5E4.

• 20 April 2006, GLoRiClass Seminar, Eric Pacuit
  Speaker: Eric Pacuit
  Title: Towards a Theory of Correctness of Social Procedures
  Date and time: Thursday 20 April 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 18 April 2006, ACG Colloquium, Tom Chothia
  Speaker: Tom Chothia
  Title: Type-based access control: for distributed systems, for components and under attack
  Date and time: Tuesday 18 April 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 13 April 2006, GLoRiClass Seminar, Canceled
  Speaker: Canceled (formerly Eric Pacuit)
  Newsitem added on 13 March 2006.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 7 April 2006, ILPS Seminar, Canceled
  Speaker: Canceled (formerly Sisay Fissaha)
  Newsitem added on 10 January 2006.

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Apr07.

• 7 April 2006, Colloquium on Mathematical Logic, Philipp Hieronymi
  Speaker: Philipp Hieronymi (Oxford)
  Title: Inner Models and Topos Theory
  Date and time: Friday 7 April 2006, 16.00-17.00
  Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 7 April 2006, Computational Social Choice Seminar, Krzysztof Apt
  Speaker: Krzysztof Apt
  Title: Introduction to Mechanism Design
  Date and time: Friday 7 April 2006, 16.00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  Mechanism design, sometimes called reverse game theory, is concerned with the design of games that induce the participants to realize choices that are desirable for the society. In this lecture we shall explain what constitutes a mechanism design and discuss the Vickrey-Clarke-Groves (VCG) mechanism.

  For more information, see http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulleillc.uva.nl).

• 6 April 2006, GLoRiClass Seminar, Ulle Endriss
  Speaker: Ulle Endriss
  Title: Multiagent Resource Allocation
  Date and time: Thursday 6 April 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 31 March 2006, ACLC/ILLC Seminar on Psycholinguistics
  Date and time: Friday 31 March 2006, 14.00 -17.00 +
  Location: Grote Zaal, Herengracht 182, Amsterdam

  On Friday March 31 there will be a special ACLC/IILLC seminar on Psycholinguistics. Speakers are Michiel van Lambalgen, Esther Parigger, Marian Counihan and Nivja de Jong.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1173 or http://www.hum.uva.nl/aclc/object.cfm/objectid=4317883A-3102-4F8A-A31CBC1402EBC5E4

• 31 March 2006, ILPS Seminar, Wouter Alink
  Speaker: Wouter Alink (UvA)
  Title: Representing and Querying Multi-dimensional Markup for Question Answering
  Date and time: Friday 31 March 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar31.

• 30 March 2006, GLoRiClass Seminar, Benedikt Löwe
  Speaker: Benedikt Löwe
  Title: Games in Mathematics
  Date and time: Thursday 30 March 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 24 March 2006, ILPS Seminar, Canceled
  Speaker: Canceled (Edgar Meij)
  Date and time: Friday 24 March 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar24.

• 24 March 2006, DIP Colloquium, Adrian Brasoveanu
  Speaker: Adrian Brasoveanu (Rutgers U/Stuttgart)
  Title: Representing Content and Meaning in Discourse
  Date and time: Friday 24 March 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 22 March 2006, Computational Linguistics Seminar, Antal van den Bosch
  Speaker: Antal van den Bosch (Tilburg)
  Title: Implicit computational linguistics
  Date and time: Wednesday 22 March 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 21 March 2006, Logic Tea, Leigh M. Smith
  Speaker: Leigh M. Smith (ILLC)
  Title: Modelling Rhythmic Strata by Continuous Time-Frequency Analysis
  Date and time: Tuesday 21 March 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl) or Hartmut Fitz (h.fitzuva.nl).

• 16 March 2006, Amsterdam-London Workshop on Modal Logic, Room I. 401, Nieuwe Achtergracht 168-178, Amsterdam
  Newsitem added on 7 February 2006.

  The first Amsterdam-London Workshop on Modal Logic will take place on 16th of March, 2006 at the ILLC. The speakers include:

  Ian Hodkinson (Imperial College London)
  Robin Hirsch (University College London)
  Roman Kontchakov (Birkbeck College London)
  Mikhail Sheremet (Birkbeck College London)
  Mai Gehrke (New Mexico State University)
  Guram Bezhanishvili (New Mexico State University)
  Johan van Benthem (University of Amsterdam)
  Yde Venema (University of Amsterdam)
  Balder ten Cate (University of Amsterdam)

  For more information, see http://staff.science.uva.nl/~nbezhani/workshop/ or contact Nick Bezhanishvili at nbezhaniscience.uva.nl

• 16 March 2006, PROSE Colloquium, Adam Koprowski
  Speaker: Adam Koprowski
  Title: Topics in termination of term rewriting
  Date and time: Thursday 16 March 2006, 15.30-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 15 March 2006, Computational Linguistics Seminar, Ton van der Wouden
  Speaker: Ton van der Wouden (Leiden)
  Title: Dutch as a Construction Language
  Date and time: Wednesday 15 March 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 14 March 2006, GLoRiClass Opening Afternoon
  Date and time: Tuesday 14 March 2006, 13:30-17:00
  Location: Bondsraadzaal, De Burcht, Henri Polaklaan 9, 1018 CP Amsterdam

  The new Marie Curie Research Training Site GLoRiClass is officially being launched with an afternoon of public lectures and drinks. The new research training site focuses on the interaction of mathematics, computer science, linguistics and philosophy in the investigation of games. One particular goal is to provide a theoretical and conceptual embedding of game theory as it is practiced in economics.

  For more information, see http://www.illc.uva.nl/GLoRiClass/

• 14 March 2006, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt ,
  Speaker: Henk Barendregt (Nijmegen), postponed
  Title: Topics in Typed Lambda Calculus (250th and final ZIC!)
  Date and time: Tuesday 14 March 2006, 16:00-17.00
  Location: Dorgelozaal (Traversegebouw), TU Eindhoven

  The ZIC colloquium started in september 1986, and this talk will be the 250th talk in the series. Because it is always good to end on a high note, we have decided to let this 250th talk be the final one. We are very happy that Henk Barendregt, who has been a regular speaker at the ZIC from the very start, has accepted our invitation to give this very last lecture.

  We would like to say goodbye to the ZIC and celebrate its succesful history in the company of the people who have been interested and involved in the ZIC over the past 20 years. We therefore warmly invite you to attend this last talk and have a drink with us afterwards.

  For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesnetue.nl).

• 14 March 2006, ACG Colloquium, Stephanie Kemper
  Speaker: Stephanie Kemper (CWI)
  Title: SAT-based Verification for Abstraction Refinement
  Date and time: Tuesday 14 March 2006, 13.30
  Location: Room M279, CWI, Kruislaan 413, Amsterdam

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 13 March 2006, Colloquium on Mathematical Logic, Alexey Romanov
  Speaker: Alexey Romanov
  Title: De Jongh's theorem for equality theories
  Date and time: Monday 13 March 2006, 16.00-17.00
  Location: T.B.A. (Amsterdam)

  We may think of propositional formulas as schemas for formulas of a first-order language. The question which then naturally arises is, "What schemas are valid in a given theory?" De Jongh's theorem settles this question for HA. Since then, mostly extensions of HA have been considered in this context. This talk will deal with much weaker theories of equality instead.

  For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

• 13 March 2006, Maagdenhuis op Maandag, Tine Wilde
  Speaker: Tine Wilde (ILLC)
  Title: Een kunstenaar op kennispad
  Date and time: Monday 13 March 2006, 17.30-18.00
  Location: Maagdenhuis, UvA, Spui 21, Amsterdam

  For more information, see http://www.hum.uva.nl/actueel/.

• 10 March 2006, ILPS Seminar, Valentijn Visch
  Speaker: Valentijn Visch (VU Amsterdam)
  Title: Recognition of film genre by actor movements
  Date and time: Friday 10 March 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Mar10.

• 10 March 2006, Computational Social Choice Seminar, Ulle Endriss
  Speaker: Ulle Endriss
  Title: Introduction to Social Welfare Orderings
  Date and time: Friday 10 March 2006, 16:00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1239 or http://www.illc.uva.nl/~ulle/seminar/, or contact either Krzysztof Apt (aptcwi.nl) or Ulle Endriss (ulleillc.uva.nl).

• 9 March 2006, GLoRiClass Seminar, Robert van Rooij
  Speaker: Robert van Rooij
  Title: Games in Linguistics
  Date and time: Thursday 9 March 2006, 11:15-13:00
  Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht
  Newsitem added on 17 February 2006.

  An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

  For more information, see http://www.math.uu.nl/people/vdberg/workshop/

• 8 March 2006, Computational Linguistics Seminar, Rens Bod
  Speaker: Rens Bod
  Title: Unsupervised Data-Oriented Parsing
  Date and time: Wednesday 8 March 2006, 15.30
  Location: P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

  For more information and abstracts, see http://staff.science.uva.nl/~jzuidema/CLS/

• 7 March 2006, Logic Tea, Taotao Xing
  Speaker: Taotao Xing (Würzburg University)
  Title: A Fine Reading of the White Horse Discourse
  Date and time: Tuesday 7 March 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl) or Hartmut Fitz (h.fitzuva.nl).

• 6 March 2006, Curious Minds: scientific reasoning in early youth, KNAW-gebouw, Kloveniersburgwal 29, Amsterdam
  Costs: Free
  Newsitem added on 7 February 2006.

  The goal of this symposium is to give an overview of current research into the reasoning abilities of preschool children, both in the Netherlands and outside. Which talents, potentials and abilities do children aged 3-5 have, how are talents in different fields interconnected, and how can these talents be developed further? The main focus will be on talents that could be considered part of the fields of mathematics, physics, technique and logic.

  For more information, including a preliminary program, see http://www.talentenkracht.nl/

• 3 March 2006, Colloquium on Mathematical Logic, Bob Lubarsky
  Speaker: Bob Lubarsky (Florida)
  Title: Notions of Reals in Constructive ZF
  Date and time: Friday 3 March 2006, 16.00-17.00
  Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 2 March 2006, GLoRiClass Seminar, Krzysztof Apt
  Speaker: Krzysztof Apt
  Title: Games and Computer Science
  Date and time: Thursday 2 March 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 2 March 2006, PROSE Colloquium, Irek Ulidowski
  Speaker: Irek Ulidowski
  Title: Reversing Algebraic Process Calculi
  Date and time: Thursday 2 March 2006, 15.30-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/prose/

• 28 February 2006, ACG Colloquium,
  Speaker: canceled
  Newsitem added on 23 February 2006.

  For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

• 24 February 2006, ILPS Seminar, Clemens Kupke
  Speaker: Clemens Kupke (UvA)
  Title: Coalgebra automata
  Date and time: Friday 24 February 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb24.

• 24 February 2006, Colloquium on Mathematical Logic, Asger Tornquist
  Speaker: Asger Tornquist
  Title: Construction of non-conjugate actions
  Date and time: Friday 24 February 2006, 16.00-17.00
  Location: Room P.019, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

  For abstracts and more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1196 or http://staff.science.uva.nl/~bloewe/CML.html

• 21 February 2006, Logic Tea, Sara L. Uckelman
  Speaker: Sara L. Uckelman (ILLC)
  Title: Modal and Temporal Logics of n-Dimensional Space-Time
  Date and time: Tuesday 21 February 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl) or Hartmut Fitz (h.fitzuva.nl).

• 16 february 2006, Collloquium Muziekwetenschap, Glenn Schellenberg
  Speaker: Glenn Schellenberg
  Title: Does music make you smarter?
  Date and time: Thursday 16 february 2006, 15.30
  Location: Universiteitstheater, Nieuwe Doelenstraat 16, amsterdam

  Music listening and music lessons have been claimed to confer intellectual advantages. Any association between music and intellectual functioning would be notable only if the benefits apply reliably to non-musical abilities and if music is unique in producing the effects. The available evidence indicates that music listening leads to enhanced performance on a variety of cognitive tests, but that such effects are short-term and stem from the impact of music on arousal level and mood, which, in turn, affect cognitive performance; experiences other than music listening have similar effects. Music lessons in childhood tell a different story. They are associated with small but general and long-lasting intellectual benefits that cannot be attributed to obvious confounding variables such as family income and parents' education. Other out-of-school activities do not appear to have similar effects. The mechanisms underlying the association between music lessons and intellectual abilities have yet to be determined.

  Glenn Schellenberg is professor of psychology at the Universiteit van Toronto, Canada.

  For more information, see http://www.musicology.nl/

• 16 February 2006, GLoRiClass Seminar, Johan van Benthem
  Speaker: Johan van Benthem
  Title: Games and Social Interaction
  Date and time: Thursday 16 February 2006, 11:15-13:00
  Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

  This is the first meeting of the GLoRiClass seminar which will continue to meet Thursdays 11-13.

  For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

• 16 February 2006, OAS Colloquium, Adam Koprowski
  Speaker: Adam Koprowski
  Title: Certified Higher-Order Recursive Path Ordering
  Date and time: Thursday 16 February 2006, 16.15-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  For more information, see http://www.win.tue.nl/oas/main_colloquium.html.

• 15 February 2006, Computational Social Choice Seminar, Vangelis Markakis
  Speaker: Vangelis Markakis (Toronto)
  Title: On Approximately Fair Allocations of Indivisible Goods
  Date and time: Wednesday 15 February 2006, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1158 or http://www.illc.uva.nl/~ulle/seminar/, or contact either Krzysztof Apt (aptcwi.nl) or Ulle Endriss (ulleillc.uva.nl).

• 12 February 12 2006, Wakker Worden Kinderlezing, Prof.dr. Johan van Benthem
  Speaker: Prof.dr. Johan van Benthem
  Title: Lecture for Children: What is logical?
  Date and time: 12 February 12 2006, 11.00-12.00 hrs
  Location: Science Center Nemo, Amsterdam

  Sunday February 12 at 11.00 AM, prof.dr. Johan van Benthem will give a lecture especially for children in Science Center Nemo, Amsterdam. By means of games and puzzles, he will show and explain children what logic means to scientists and how to use logic in everyday life.

  For more information, see www.kinderlezingen.nl/.

• 11-12 February 2006, Bonn Student Seminar on Set Theory and Games, Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Newsitem added on 7 February 2006.

  In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π¹₁ sets from a measurable cardinal.

  All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.

  Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.

  For more information, see http://staff.science.uva.nl/~bloewe/WS0506-Bonn.html

• 10 February 2006, ILPS Seminar, Vojkan Mihajlovic
  Speaker: Vojkan Mihajlovic (Twente)
  Title: A Transparent Framework for Information Retrieval in Structured Documents
  Date and time: Friday 10 February 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Feb10.

• 9 February 2006, CSCA lecture series, Prof. dr. Ap Dijksterhuis
  Speaker: Prof. dr. Ap Dijksterhuis
  Title: Think different: The role of unconscious and conscious processes in attitude formation and decision-making
  Date and time: Wednesday 9 February 2006, 16.00 - 18.00
  Location: Doelenzaal (UB), Singel 425, Amsterdam

  Prof. Ap Dijksterhuis will be holding the first CSCA lecture of 2006. On February 9th, he will comment on the role of unconsciousness and conscious processes in attitude formation and decision making. Prof. Dijksterhuis is professor at the Psychology department of the Universiteit van Amsterdam; he received the Early Career Award from the American Psychological Association in 2005.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1153 or http://www.csca.uva.nl/.

• 8 February 2006, Computational Linguistics Seminar, Remko Scha
  Speaker: Remko Scha
  Title: Data-Oriented Semantics
  Date and time: Wednesday 8 February 2006, 15.30
  Location: Room P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  In this talk I will assume that the audience is at least superficially familiar with the approach to exemplar-based language processing which is known as "Data-Oriented Parsing" (DOP). So far, the models which instantiate the DOP approach tend to deal exclusively with the syntactic aspects of language processing. The purpose of the talk is to look at the prospects of generalizing this work toward the development of data-oriented models of semantics.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1179 or http://staff.science.uva.nl/~jzuidema/CLS/

• 7 February 2006, Logic Tea, Eric Pacuit
  Speaker: Eric Pacuit (ILLC)
  Title: Neighborhood Semantics for First-order Modal Logic
  Date and time: Tuesday 7 February 2006, 17.15-18.15
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Olivier Roy (oroyscience.uva.nl) or Hartmut Fitz (h.fitzuva.nl).

• 3 February 2006, DIP Colloquium, Irene Krämer
  Speaker: Irene Krämer (Nijmegen)
  Title: Learning how to make most of many: quantification and mutual knowledge in children.
  Date and time: Friday 3 February 2006, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  For abstracts and more information, see http://www.illc.uva.nl/dip/.

• 2 February 2006, Computational Social Choice Seminar, Krzysztof Apt
  Speaker: Krzysztof Apt
  Title: The Many Faces of Rationalizability
  Date and time: Thursday 2 February 2006, 16.00
  Location: P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The rationalizability concept was introduced in (Bernheim 84) and (Pearson 84) to assess what can be inferred by rational players in a non-cooperative game in presence of common knowledge. However, this notion can be defined in a number ways that differ in seemingly unimportant minor details. We shed light on these differences, explain their impact, and clarify for which games these notions coincide. Also we apply the same analysis to clarify the differences and similarities between various ways iterated elimination of strictly dominated strategies was defined in the literature.

  The paper is available at http://homepages.cwi.nl/~apt/ps/stronger05.ps. For more information, please contact Ulle Endriss (ulleillc.uva.nl).

• 2 February 2006, OAS Colloquium, Muck van Weerdenburg
  Speaker: Muck van Weerdenburg (OAS Group)
  Title: Efficient Term Rewriting for mCRL2
  Date and time: Thursday 2 February 2006, 16.15-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  One of the bottlenecks in model checking is the time (and space) consuming transformation of a model to a state space. The main activity in such a transformation is often the rewriting of data expressions. In this talk the author will give an overview of his work on the rewriter(s) of the mCRL2 toolset. This toolset differs from other such toolsets in that it has a higher order data specification language (amongst other features).

  For more information, see http://www.win.tue.nl/oas/main_colloquium.html.

• 27 January 2006, ILPS Seminar, Toine Bogers
  Speaker: Toine Bogers (Tilburg)
  Title: Enhancing Information Retrieval through Authoritative Personalization in Workgroups
  Date and time: Friday 27 January 2006, 13.30-14.30
  Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

  For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar06-1.html#Jan27.

• 27 January 2006, Topics in Ancient & Medieval Logic, P1.14, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Date and time: Friday 27 January 2006, 11.00-13.00

  Students who participated in the ancient & medieval logic project will be presenting their results on the topics of Stoice logic, future contingents & the immutability of God, linguistic analyses of the use of pronouns in the Eucharist, and Anselm's logic of agency. Everyone is welcome!

  For more information, see http://staff.science.uva.nl/~suckelma/medlogic.html or contact Sara Uckelman (suckelmaillc.uva.nl)

• 20 January 2006, Colloquium on Mathematical Logic, Milad Niqui
  Speaker: Milad Niqui (RU)
  Title: Exact Real Numbers in Coinductive Type Theory
  Date and time: Friday 20 January 2006, 16.00-17.00
  Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

• 12 January 2006, Computational Social Choice Seminar, Eric Pacuit
  Speaker: Eric Pacuit
  Title: Introduction to Interactive Epistemology
  Date and time: 12 January 2006, 16.00
  Location: P-3.27, Euclides building, Plantage Muidergracht 24, Amsterdam

  Interactive epistemology is the study of the role of players' uncertainty in a game-theoretic situation. We will introduce some of the mathematical models which have been used by game theorists to represent this uncertainty. The talk will focus on type spaces, introduced by John Harsanyi in 1967. In particular, we will disucss the existence of a "universal" type space and the epistemic foundations of various solution concepts. To that end, the talk will be based on a recent survey by Adam Brandenburger which can be found below: http://pages.stern.nyu.edu/%7Eabranden/pop-09-29-05.pdf

  For more information, please contact Ulle Endriss (ulleillc.uva.nl).

• 6 January 2005, Colloquium on Mathematical Logic, Bas Spitters
  Speaker: Bas Spitters (RU)
  Title: Observational Integration Theory
  Date and time: Friday 6 January 2005, 16.00-17.00
  Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

   Calls for Papers

• 22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, China (deadline: 18 December 2006)
  Newsitem added on 24 September 2006.

  The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: Dec. 18, 2006.

  For more information, see http://www.tamc2007.fudan.edu.cn/

• 11-14 April 2007, Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, LA USA (deadline: 15 December 2006)
  Newsitem added on 28 September 2006.

  The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 December 2006.

  For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm

• 30 May - June 1, 2007, 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh, USA (deadline: 15 December 2006)
  Newsitem added on 10 December 2006.

  RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.

  We welcome submissions both from the research community and industry concerning the main conference theme of treating the semantic content of large quantities of text, images, videos, and sound. Papers must be submitted on the conference's web site: http://www.riao.org/cyberchair/cyberPapers/. Submission deadline is December 15th, 2006.

  For more information, see http://www.riao.org/index_eng.php

• 4-7 June 2007, Logical Foundations of Computer Science (LFCS'07), New York, USA (deadline: 11 December 2006)
  Newsitem added on 20 March 2006.

  The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (revised) is December 11, 2006.

  For more information, see http://www.cs.gc.cuny.edu/lfcs07

• 15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand (deadline: 1 December 2006)
  Newsitem added on 2 November 2006.

  The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

  Particular topics of interest are:
  1. Specification, verification, and synthesis of multiagent systems
  2. Description logics
  3. Relation between temporal and dynamic logics
  4. Automated reasoning and model checking
  5. Security protocols
  6. Models of peer-to-peer networking
  7. Intelligent databases (with multiagent aspects)
  8. Models of electronic institutions and contracts

  We solicit one page abstracts presenting advances in any area of relevance to the workshop themes. Submission deadline is 1 December 2006.

  For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html

• 29 March - 4 April 2007, Language and Automata Theoy and Applications (LATA 2007), Tarragona, Spain (deadline: 30 November 2006)
  Newsitem added on 27 July 2006.

  LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

  Authors are invited to submit papers presenting original and unpublished research. Submission deadline is November 30, 2006.

  For more information, see http://www.grlmc.com/

• 5-7 Februari 2007, KNAW Academie Colloquium "New perspectives on Games and Interaction", KNAW, Amsterdam (deadline: 29 November 2006)
  Newsitem added on 29 September 2006.

  Recently, the dynamic and interactive aspects of logical reasoning, communication, and information processing have become central in logic, linguistics and computer science. It is the interplay of many actors with goals and preferences, whether human or computational, which underlies their core tasks. To account for these interactive aspects, the notion of a 'game' as a mathematical model of strategic interaction between players with their own preferences on the possible outcomes has proved to be important in all those disciplines.

  The purpose of this colloquium is to encourage these incipient interactions between the various disciplines thinking about games and interaction, and clarify their common concerns and potential for fruitful collaboration. The colloquium will be organized as an Academie Colloquium of the Royal Acedemy of the Netherlands (KNAW) and will consist of fifteen invited talks by international speakers that cover various aspects of games in logic, computer science, economics, and linguistics. Each talk will be followed by a commentary and discussion.

  We also plan eight shorter talks of 15+5 minutes (15 minutes talk, 5 minutes discussion) selected from submitted abstracts. We invite researchers to submit abstracts for these shorter talks before our deadline of NOVEMBER 29th, 2006.

  For more information, see http://www.illc.uva.nl/KNAW-AC/

• 12-13 May 2007, Linguistics and Epistemology, Aberdeen, Scotland (deadline: 27 November 2006)
  Newsitem added on 25 October 2006.

  One of the most striking developments in recent epistemological theorizing is the use of linguistic data and arguments to defend epistemological positions. Famous epistemological positions that are motivated and disputed in this way are contextualism, subject sensitive invariantism, and contrastivism. The overall aim of this conference is to bring together outstanding researchers working in this area of epistemology to both discuss the validity of the 'linguistic method' and bring this method into actual practice.

  Papers are now invited on any topic that is relevant to the conference theme. We are interested in papers that discuss whether using linguistic data/arguments really is a desirable way of doing epistemology, as well as in papers that actually bring the method of using linguistic data/arguments to argue for epistemological positions into practice. Abstracts should be submitted to the conference organiser by email or snailmail by November 27th 2006.

  For more information, see http://www.abdn.ac.uk/philosophy/events/lingepist/ or contact Martijn Blaauw at m.blaauwabdn.ac.uk.

• Call for papers, special issue of JSAT on 'Satisfiability Modulo Theories' (deadline: 25 November 2006)
  Newsitem added on 19 October 2006.

  Papers are invited to a special issue of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on the subject of Satisfiability Modulo Theories (SMT). Deadline for paper submission: November 25th, 2006.

  For more information, see http://dit.unitn.it/~rseba/jsat_smt06/.

• 11-13 June 2007, Symposium on Theory of Computing (STOC 2007), San Diego, USA (deadline: 20 November 2006)
  Newsitem added on 24 September 2006.

  The 39th ACM Symposium on Theory of Computing (STOC 2007), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in San Diego, CA, June 11 to 13, 2007, as part of the FCRC. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

  Papers presenting new and original research on the theory of computation are sought. Paper submission deadline is November 20, 2006.

  For more information, see http://research.microsoft.com/research/theory/feige/homepagefiles/stoc07.htm

• 8-11 July 2007, 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA (deadline: 16 November 2006)
  Newsitem added on 19 October 2006.

  WMSCI 2007 is an international forum for scientists and engineers, researchers and consultants, theoreticians and practitioners in the fields of Systemics, Cybernetics and Informatics. The forum focuses into specific disciplinary research, and also in multi, inter, and trans-disciplinary studies and projects. One of its aims is to relate disciplines, fostering analogical thinking and, hence, producing input to the logical thinking.

  We invite you to submit a paper/abstract to the 11th World Multi-Conference on Systemics, Cybernetics and Informatics. Of the papers presented, the best 10%-20% of the papers will be published in Volume 6 of JSCI Journal and sent free to over 200 university and research libraries. Also, we would like to invite you to organize an invited session related to a topic of your research interest. Deadline for submission is November 16th, 2006.

  For more information, see http://www.iiis-cyber.org/wmsci2007/.

• 23-27 May 2007, 2nd European Cognitive Science Conference (EuroCogSci '07), Delphi, Greece (deadline: 15 November 2006)
  Newsitem added on 11 May 2006.

  The purpose of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

  The Programme Committee is pleased to invite submissions for oral papers, poster papers, poster abstracts, and symposia. Submission deadline is November 15, 2006.

  For more information, see http://conferences.phs.uoa.gr/EuroCogSci07/

• 26-28 March 2007, Second Perspectives on Mathematical Practices conference, Brussels, Belgium (deadline: 15 November 2006)
  Newsitem added on 6 August 2006.

  The general philosophical theme of this meeting will be that of why and how philosophers and historians of mathematics need each other. This takes for granted the thesis, ventilated by Lakatos, that they do so. One is here referring, of course, to his famous paraphrase of Kantian dictum: "The history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intruiging phenomena in the history of mathematics, has become empty".

  Any serious attempt at remedying this, and thus approaching the history and philosophy of mathematics, will either have to "bring to" philosophers the historian's expertise of conducting meticulous diachronical case-studies, or else "bring to" historians the philosopher's concern with epistemological depth; preferably both. Moreover, a focus on the historical dimension of mathematical practices is not to the exclusion of contemporary themes. To the contrary: Lakatos's point pertains to the historicity of mathematical knowledge, past and present.

  Deadline for abstracts: 15 November 2006.
  For more and detailed information, visit http://www.vub.ac.be/CLWF/PMP2007/.

• 17-20 February 2007, IADIS International Conference Applied Computing 2007, Salamanca, Spain (deadline: 13 November 2006)
  Newsitem added on 14 September 2006.

  The IADIS Applied Computing 2007 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects.

  The Programme Committee cordially invites all researchers to submit contributions, including papers, tuturial proposals posters or demonstrations. Submission deadline is 13 November 2006 (extended).

  For more information, see http://www.computing-conf.org/ or contact the organizers at ac_seciadis.org.

• 14-18 May 2007, Autonomous Agents and Multi-Agent Systems (AAMAS-07), Honolulu, Hawaii, USA (deadline: 20 October 2006)
  Newsitem added on 29 September 2006.

  The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents, the International Workshop on Agent Theories, Architectures, and Languages, and the International Conference on Multi-Agent Systems. The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

  AAMAS-07 encourages the submission of theoretical, experimental, methodological, and application papers. Submission deadline for abstracts is 20 October 2006.

  For more information, see http://www.aamas2007.org/

• 4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA (deadline: 13 October 2006)
  Newsitem added on 11 June 2006.

  CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.

  Prospective authors are invited to submit full papers electronically. Paper submission Deadline: October 13th, 2006. For more information, see http://www.cisse2006.org/ or mail to: infocisse2006.org

• 10-13 January 2007, Conference on Logic, Computability and Randomness 2007, Buenos Aires (deadline: 1 October 2006)
  Newsitem added on 4 June 2006.

  The theme of the conference will be algorithmic randomness and related topics in logic, computability and complexity. The program will consist of invited talks, contributed talks and discussions. The meeting is sponsored by the Association for Symbolic Logic.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is October 1st, 2006.

  For more information, see http://www.dc.uba.ar/people/logic2007/

• 8-10 March 2007, Confirmation, Induction and Science, London (deadline: 1 October 2006)
  Newsitem added on 29 June 2006.

  Opinions on confirmation and induction diverge wildly in philosophy of science. At one extreme are those such as the Bayesians, who believe that the true system of inductive logic has been found and all that needs to be resolved are the details. At the other are skeptics, such as some supporters of the underdetermination thesis, who hold that no logic can vindicate the level of support scientists claim for their best, mature theories, for, they urge, the real inductive import of evidence cannot be that decisive. Between these extreme are many intermediate positions, including the view that the very nature of inductive inference remains poorly understood. Our goal in this conference is to bring together representatives from as many of these viewpoints as possible in order to advance our understanding of this problem.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 1 October 2006.

  For more information, see http://www.lse.ac.uk/collections/CPNSS/events/Conferences/ConfirmationInductionandScience/Confirmation2007.htm

• 12 November 2006, 2nd International Workshop on Analytic Proof Systems (Analytic Systems 2), Phnom Penh, Cambodia (deadline: 25 September 2006)
  Newsitem added on 3 August 2006.

  Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 25 September 2006.

  For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html

• 6-12 January 2007, 3rd international workshop in Neural-Symbolic Learning (NeSy07), Hyderabad, India (deadline: 22 September 2006)
  Newsitem added on 22 June 2006.

  Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

  Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Submission deadline is 22nd of September, 2006.

  For more information, see http://www.neural-symbolic.org/NeSy07/

• 8-10 November 2006, 8th Augustus de Morgan Workshop "Belief Revision, Belief Merging, Social Choice" , King's College London, UK (deadline: 22 September 2006)
  Newsitem added on 31 August 2006.

  The process of voting can be seen as the aggregation of individual preferences (i.e., that of the voters for candidates) to produce a collectively preferred alternative (the result of the election). This problem is extensively studied by social choice theory. On the other hand, belief revision investigates the dynamics of the process of belief change: when an agent is faced with new information which contradicts his/her current beliefs, he/she will have to retract some of the old beliefs in order to accommodate the new belief consistently. The main concern here is how to make a fair decision on what old beliefs to retract. There is a vaste literature on the subject. Similarly, belief merging investigates ways to aggregate a number of individual belief bases into a collective one. Here again, the aggregation procedure in belief merging faces problems similar to those addressed in voting theory and belief revision. Although there are clear connections and sharing of principles between the areas, the investigation of the similarities between the three of them is quite new. The main motivation for this workshop is to promote interaction between researchers of the areas and generate cross-fertilisation of ideas.

  The Program Committee invites submissions of abstracts in the interface of the above or related areas that investigate common problems. Authors should submit an extended abstract by September, 22nd.

  For more information, see http://www.dcs.kcl.ac.uk/events/ADMW06/.

• 18-20 October 2006, 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Iceland (deadline: 19 September 2006)
  Newsitem added on 29 June 2006.

  The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). Invited speakers include Gerd Behrmann, Matthew Hennessy, Hanne Riis Nielson and David Sands.

  Authors wishing to give a talk at the workshop are requested to submit an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to nwpt06ru.is by the 19th September 2006. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

  For more information, see http://www.ru.is/NWPT06/

• 22-24 February 2007, 24th International Symposium on Theoretical Aspects of Computer Science (STACS 2007), Aachen, Germany (deadline: 17 September 2006)
  Newsitem added on 2 July 2006.

  Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to) Algorithms and data structures, Automata and formal languages, Computational and structural complexity and Logic in computer science. Submission deadline is September 17, 2006.

  For more information, see http://www.cs.rwth-aachen.de/stacs07/

• 11-12 November 2006, 7th Midwest PhilMath Workshop (MWPMW 7), Notre Dame, Indiana, USA (deadline: 14 September 2006)
  Newsitem added on 31 August 2006.

  The workshop will be held at Notre Dame the weekend of Saturday, November 11th and Sunday, November 12th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

  If you would like to give a talk, please send an email to Mic Detlef (mdetlef1nd.edu) with a pdf of your talk with copies to Paddy (blanchette.1nd.edu) and Tim (bays.5nd.edu). We would like to have all proposals for talks by mid September so that we can set the program in a timely manner. Talks should be 35--40 minutes, with 15--20 minutes left for discussion. As always, we'll try to balance the program thematically (or imbalance it, if that seems better) and as between student and faculty papers.

  For more information, see http://philosophy.nd.edu/news/events/philosophy-math-conference/.

• 12 November 2006, The 6th International Workshop on the Implementation of Logics (IWIL-6), Phnom Penh, Cambodia (deadline: 4 September 2006)
  Newsitem added on 3 August 2006.

  The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.

  Submission of papers for presentation at IWIL-6 is now invited. Systems of all types (automated, interactive, etc), and for all logics (classical, non-classical, all orders, etc) are of interest to the workshop. Contributions that help the community to understand how to build useful and powerful reasoning systems in practice are of particular interest. Submission deadline is 4 September 2006.

  For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/

• 3-6 January 2007, International Conference on Logic, Navya Nyaya and applications: a homage to Bimal Krishna Matilal, Calcutta, West Bengal, India (deadline: 31 August 2006)
  Newsitem added on 10 February 2006.

  Navya-Nyaya is an offshoot of the Nyaya system which was originally intended to be a comprehensive philosophy having an ontology of its own. The logical apparatus and the analysis of language developed by the Nyaya system were originally devised to lend support to this ontology. But the Nyaya techniques of drawing conclusions from given premises and the Nyaya way of analyzing language were borrowed by the other systems of Indian philosophy. This suggests that the Nyaya system has a formal core which is relatively, if not absolutely, independent of its ontological commitments and can be applied to entirely different contexts.

  This conference is homage to Bimal Krishna Matilal who was one of the few thinkers who devoted major part of his philosophical career to initiating meaningful dialogues between the philosophical traditions of the East and the West. The main objective of his studying an ancient Indian system such as Navya-Nyaya was to explain its significance and relevance to modern discussions in the area called "philosophical logic". Issues in philosophical logic like those of ontological commitments, existence and truth are also addressed by Navya-Nyaya. This opens up the possibility of an interface between the approaches and conclusions of the different traditions.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 31 August 2006.

  For more information, see http://philosophy-ju.org/news&announce/ or contact Prof Dr Mihir Chakraborty at mihirc99vsnl.com.

• 22-24 September 2006, Colloquium Logicum 2006, Bonn, Germany (deadline: 15 August 2006)
  Newsitem added on 29 June 2006.

  Colloquium Logicum 2006 (CL 2006) is the biannual meeting of the German Logic Society (DVMLG) The scientific program commences on Friday with two minisymposia: "The use of proof theory in mathematics" and "Set theory". On Saturday and Sunday about six invited one-hour talks will be presented on mathematical logic, complexity theory, history of logic, and philosophy of mathematics. A PhD colloquium will feature four young postdocs and their dissertations.

  There will also be contributed paper sessions for talks on logic and related areas. Please send themes and informative abstracts for 20-25 minute talks to the organizers before August 15, 2006.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1418 or http://www.math.uni-bonn.de/veranstaltung/cl2006/

• 11-12 November 2006, 10th Annual Oxford Philosophy Graduate Conference, Oxford, UK (deadline: 14 August 2006)
  Newsitem added on 11 June 2006.

  Oxford's graduate philosophy conferences are unique in that faculty members lead the replies to student papers, thus providing student participants with the opportunity to engage in direct discussion of their papers with leading philosophers.

  The conference committee would like to invite all graduates to submit for this year's conference. The deadline for receipt of submissions is August 14, 2006. For more information, see website: http://www.philosophy.ox.ac.uk/gradconf/ E-mail: gradconfphilosophy.ox.ac.uk

• 29 January - 2 February 2007, Computing: The Australasian Theory Symposium (CATS 2007), Ballarat, Australia (deadline: 11 August 2006)
  Newsitem added on 4 June 2006.

  CATS is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ASCW) which comprises many other conferences and is overseen by the Computer Research and Education Association (CORE).

  Papers are invited on all aspects of Theoretical Computer Science. Submission deadline is August 11th, 2006.

  For more information, see http://www-staff.it.uts.edu.au/~cbj/cats07/

• 14-15 December 2006, Formal Ontologies Meets Industry 2006 (FOMI 2006), University of Trento, Italy (deadline: 15 July 2006)
  Newsitem added on 23 April 2006.

  FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.

  We invite submissions of papers in any of the topics of interest to the workshop. Submission deadline is July 15, 2006.

  For more information, see http://www.loa-cnr.it/fomi

• 17-19 January 2007, PoPL (Principles of Programming Languages), Nice, France (deadline: 15 July 2006)
  Newsitem added on 8 June 2006.

  The annual Symposium on Principles of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions. Both experimental and theoretical papers are welcome.

  The Program Committee seeks submissions on the entire range of topics. Furthermore POPL 2007 is not limited to topics discussed at previous symposia, and will include a new category of short papers and short presentations. Submission deadline is 15 July, 2006.

  For more information, see http://www.cse.ucsd.edu/popl/07/

• 21-22 August 2006, International Seminar on Multimedia Adventures in Languages Learning 2006, Sunway Lagoon Resort Hotel, Petaling Jaya, Selangor , Malaysia (deadline: 15 July 2006)
  Costs: USD 200 (dinner included: 230)
  Newsitem added on 2 July 2006.

  The Institute of Modern Language and Communication Multimedia University will be organizing an International Seminar on "Multimedia Adventures in Languages Learning" . The seminar undertakes to explore beyond the traditional boundaries of teaching and learning of languages through a blend of various aspects of multimedia and technology.

  The deadline for registration is 31 July 2006and deadline for submit abstract is 15 July 2006. Seats will only be confirmed upon receipt of payment.

  For more information, see http://cmlc.mmu.edu.my/MAFL/, or contact Mr Mohd Yusri Bin Nordin (tel. 00603-8312-5762, fax 00603-8312-5535, email yusrimmu.edu.my).

• 1-5 November 2006, Computability and Complexity in Analysis (CCA 2006), Gainesville, Florida, USA (deadline: 2 July 2006)
  Newsitem added on 16 March 2006.

  The conference is concerned with the theory of computability and complexity over real-valued data. Unlike the well established classical theory over discrete structures, the theory of computation over continuous data is still in early stages of development, despite remarkable progress in recent years. Many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet and exchange ideas and knowledge.

  For this year's meeting, there will be a particular focus on effectively closed sets and on algorithmic randomness.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 2 July 2006.

  For more information, see http://cca-net.de/cca2006/

• 4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia (deadline: 30 June 2006)
  Newsitem added on 27 April 2006.

  AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.

  We invite authors to submit papers on any aspect of artificial intelligence research and practice. All papers will be peer reviewed, and those accepted for the conference will be included in a proceedings volume published by Springer-Verlag. The deadline for paper submission is 30 June 2006.

  For more information, see http://www.comp.utas.edu.au/ai06/

• 18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, India (deadline: 28 June 2006)
  Newsitem added on 27 April 2006.

  The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.

  Papers presenting original research in the areas of design and analysis of algorithms, computational complexity, and theory of computation are sought. Submission deadline is June 28, 2006.

  For more information, see http://www.iscal.ac.in/~ISAAC06/

• 13-15 December 2006, 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Kolkata, India (deadline: 18 June 2006)
  Newsitem added on 14 May 2006.

  IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

  Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Submission deadline is 18 June 2006.

  For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/

• 21 August 2006, Multi-Valued Logic Programming and Applications (MVLPA'2006), Seattle, Washington (deadline: 10 June 2006)
  Newsitem added on 9 April 2006.

  Multi-Valued logics provide powerful mechanisms for reasoning about domains that are incomplete and inconsistent, such as databases, knowledge representation, model checking,asynchronous electronic circuits, etc. Research in this area spans theoretical issues regarding the semantics and the role of negation, to implementation strategies, to practical tools for solving problems in various application domains.M

  This ICLP'2006 workshop is meant to provide a channel for interaction between researchers working in these areas, by presenting their results and fostering discussion. This will engender newdirections for researchers to pursue and showcase the considerable amount of research thathas already been performed in the area.

  Authors are invited to submit original research, survey or tutorial papers in the areas of Multiple-valued Logic and Multi-valued Logic Programming. Submission deadline (updated) is June 10, 2006.

  For more information, see http://www.utdallas.edu/~axm011500/mvlpa06.html

• 5-8 September 2006, Prague International Colloquium 2006: Uncertainty, Prague (deadline: 6 June 2006)
  Newsitem added on 30 April 2006.

  Uncertainty is a ubiquitous phenomenon in everyday life, but it is also a topic of fundamental significance to many scientific disciplines. Uncertainty taken here in a broad sense, has many facets - among them probability and vagueness, including possibility, confidence, fuzziness etc. These are captured by different theories which often seem to be conceptually and technically incompatible. The aim of the conference is to provide a platform for an open discussion between proponents of the main theories of uncertainty and vagueness on the market. Special attention shall be paid to the comparison of theories, analyzing differences and similarities of the respective concepts of uncertainty. Of particular interest are logical aspects and formal models of reasoning about vague information.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is June 6, 2006.

  For more information, see http://www.flu.cas.cz/Logica/konf/col2006.html

• 7-10 October 2006, 17th International Converence on Algorithmic Learning Theory/9th International Conference on Discovery Science (ALT 2006/DS 2006), Barcelona, Spain (deadline: 26 May 2006)
  Newsitem added on 16 March 2006.

  The conferences, on the theoretical foundations of machine learning and on the evelopment and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, will be held in parallel and share invited talks.

  Researchers are invited to submit their papers for presentation. Submission deadline is May 25/26, 2006. For more information, see http://www-alg.ist.hokudai.ac.jp/~thomas/ALT06/alt06.jhtml and http://www-ai.ijs.si/~ds06/.

• 11 August 2006, HyLo 2006: International Workshop on Hybrid Logic, Seattle, USA (deadline: 26 May 2006)
  Newsitem added on 18 April 2006.

  Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. The workshop HyLo 2006 is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, the basic methodological question being "what is the best way of hybridizing a given logic?"
  HyLo 2006 is affiliated with LICS 2006.

  We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Submission deadline is 26 May 2006.

  For more information, see http://hylomol.ruc.dk/HyLo2006/

• 21-27 August 2006, 14th International Symposium on Formal Methods (FM'06), McMaster University, Hamilton, Canada (deadline: 26 May 2006)
  Newsitem added on 23 April 2006.

  The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

  For the first time, FM'06 will feature a Doctoral Symposium. Students are invited to submit short papers describing their work in progress. Submission deadline is May 26, 2006.

  For more information, see http://fm06.mcmaster.ca/

• 11 August 2006, First International Workshop on Probabilistic Automata and Logics, Seatlle, USA (deadline: 19 May 2006)
  Newsitem added on 27 March 2006.

  There is a recent trend to study probabilistic extensions of traditional concepts of automata-theory and logics. The applications of such probabilistic formalisms cover the analysis of randomized protocols, biological systems, multi-agent systems with uncertainties, security protocols, speech recognition, logic programming, description logics for the semantic web, and many more.

  The goal of this workshop is to bring together researchers that are interested in the foundations of probabilistic automata and probabilistic logics and their applications.

  The Programme Committee cordially invites all researchers to submit their papers for presentation, both full papers and reports on recent or ongoing work. Submission deadline is May 19, 2006.

  For more information, see http://web.informatik.uni-bonn.de/I/baier/PAuL/paul_workshop.html

• 15-16 August 2006, Eighth International Workshop on Termination (WST 2006), Seattle, Washington, USA (deadline: 19 May 2006)
  Newsitem added on 27 April 2006.

  The Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributions from the constraint, functional, and logic programming communities, and papers investigating new applications of termination are particularly welcome. Submission deadline is May 19, 2006.

  For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/

• 26-30 September 2006, Second International Congress on Tools for Teaching Logic, Salamanca, Spain (deadline: 15 May 2006)
  Newsitem added on 10 January 2006.

  There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to demonstrate your teaching or professional software.

  Deadline for submission of papers is May 15, 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1132 or http://logicae.usal.es/SICTTL/

• 25-28 October 2006 2006, The Lisbon Colloquium for the Philosophy of Science, Lisbon, Portugal (deadline: 15 May 2006)
  Newsitem added on 30 January 2006.

  The first Lisbon Colloquium for the Philosophy of Science to be held October 25-28th, 2006 is intended to stimulate, discuss and evaluate new approaches to the problem of the unity of science which incorporate logic, decision theory, learning theory, probability theory and other formal methods in creative and productive ways.

  Papers will be considered for concurrent sessions. The deadline for submission of abstracts is May 15th. For more information, see http://www.lisboncolloquium.org/.

• 25-28 October 2006, International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), Mérida, Spain (deadline: 15 May 2006)
  Newsitem added on 13 March 2006.

  Information Science is the interface of a number of scientific disciplines, all related to the diverse aspects of the information access, management, retrieval and usage. A number of approaches to the same object of study, the information, converge in this space: technological, mathematical, linguistic, and cognitive aspects as well as those related to the Artificial Intelligence, Natural Language Processing or Human-Computer Interaction, organizational aspects and so on. All these approaches shape the wide range of domains which must interact in order to find the solutions to the problems we all face when deploying and improving these information systems.

  InSciT2006, with a strong multi and inter disciplinary focus, aims at creating a forum in Spain where gather together researchers and practitioners coming from the widest range of knowledge domains involved in the study of information.

  The Programme Committee cordially invites all researchers to submit abstracts of their papers for presentation. Submission deadline (extended) is May 15th, 2006. Researchers interested in participating but unable to attend InSciT2006 can participate in the Virtual Symposium, submitting their presentations in a power point (PPT) compatible format for exposition at the computer area.

  For more information, an online registration form and a preliminary program, see http://www.instac.es/inscit2006/

• 11 August 2006, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Sheraton Towers, Seatlle, Washington, USA (deadline: 8 May 2006)
  Newsitem added on 2 March 2006.

  Reduction strategies in rewriting and programming have attracted an increasing attention within the last years. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and implementation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages.

  The workshop intends to promote and stimulate international research and collaboration in the area of evaluation strategies. It encourages the presentation of new directions,developments and results as well as surveys and tutorials on existing knowledge in this area.

  Submission deadline for abstracts is May 8, 2006. For more information, see http://www.cs.pdx.edu/~antoy/wrs06/

• 13-17 November 2006, LPAR-13, Logic for Programming, Artificial Intelligence and Reasoning, Phnom Penh, Cambodia (deadline: 2 May 2006)
  Newsitem added on 20 February 2006.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 2 May 2006.

  For more information, see http://www.lix.polytechnique.fr/~hermann/LPAR2006/

• 13-15 September 2006, JELIA'06: 10th European Conference on Logics in Artificial Intelligence, Liverpool, U.K. (deadline: 1 May 2006)
  Newsitem added on 11 November 2005.

  JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature.

  Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of Logics in AI. All submissions must be received (in PS or PDF only) by 1st May, 2006, and should be submitted via the form available at the JELIA-06 web page.

  For more information, including lists of Conference Officials and Programme Committee, see http://www.csc.liv.ac.uk/~jelia/.

• 30 August - 1 September 2006, Annual Conference on Architectures and Mechanisms for Language Processing (AMLaP), Nijmegen, the Netherlands (deadline: 1 May 2006)
  Newsitem added on 23 March 2006.

  The AMLaP conferences have established themselves as the premier European venue for interdisciplinary research on how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underlie any aspect of human language processing.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st, 2006.

  For more information, see http://www2.ru.nl/congres/AMLaP2006/welcome.htm

• 24-27 August 2006, Annual Meeting of European Society for Philosophy and Psychology, School of Psychology, Queen's University Belfast, UK (deadline: 1 May 2006)
  Newsitem added on 20 April 2006.

  Philosophers, psychologists, and linguists who are interested in interdisciplinary work are very welcome to attend the conference. Invited Speakers: György Gergely (Budapest), Susan Goldin-Meadow (Chicago), Patrick Haggard (London) and Kevin Mulligan (Geneva)

  Invited Symposia:
  AUDITORY PERCEPTION opened by Jerome Dokic, IJN Paris
  MODALITY AND LANGUAGE opened by Bencie Woll, UCLLondon
  MENTAL TIME TRAVEL opened by Teresa McCormack, Belfast
  PRETENCE opened by Hannes Rakoczy, MPG Leipzig

  The Society invites submitted papers, posters and symposia for this meeting. Deadline for submissions is May 1st, 2006. For more information, see http://www.psych.qub.ac.uk/eurospp2006/. Information about the Society can be found at http://www.eurospp.org/.

• 7-12 August 2006, XIII Simposio Latinoamericano de Logica Matematica (SLALM), Oaxaca, Mexico (deadline: 30 April 2006)
  Newsitem added on 7 February 2006.

  The XIII SLALM will take place in the beautiful city of OAXACA, MEXICO, from August 7th to August 12th. Prior to the conference the "Escuela Latinoamericana de Logica Matematica" will be held, giving four introductory courses.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 30 April 2006.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1185 or http://slalm.izt.uam.mx/

• 12-14 July 2006, Logic-based Program Synthesis and Transformation (LOPSTR'06), Venice, Italy (deadline: 30 April 2006)
  Newsitem added on 13 April 2006.

  The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm.

  LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their research. Formal proceedings are produced only after the conference, so that authors can incorporate this feedback in the published papers. This year, tool demonstrations are also solicited as a separate submission category. LOPSTR'06 is colocated with ICALP'06, PPDP'06 and CSWF'06.

  Both research papers and tool demonstrations are solicited. Authors can either submit extended abstracts or they can choose to submit full papers. Both work in progress and tool demonstrations must be submitted as extended abstracts. Submission deadline is 15 April 2006 (for full papers) or 30 April 2006 (for extended abstracts).

  For more information, see http://www.dsi.unive.it/lopstr2006/

• 24-26 July 2006, Mathematical Aspects of Computer and Information Science (MACIS 2006), Beijing, China (deadline: 26 April 2006)
  Newsitem added on 18 April 2006.

  Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 26 April 2006.

  For more information, see http://www.cc4cm.org/macis2006/

• 25-29 September 2006, CP 2006 (Constraint Programming), Nantes, France (deadline: 21 April 2006)
  Newsitem added on 3 April 2006.

  The CP conference is the annual international conference on constraint programming and related areas. It is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, models and systems. CP 2006 includes a technical programme, where presentations of theoretical and application papers, as well as invited talks, tutorials, posters and system demos aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2006 continues the tradition of the CP doctoral programme, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. Finally, there will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

  Papers are solicited from all disciplines concerned with constraints and any application domain using constraints. Example topics include problem modelling, problem solving, efficiency and usability. Papers which report on successful applications of constraint technology are also solicited. Submission deadline is April 21, 2006.

  For more information, see http://www.sciences.univ-nantes.fr/cp06/

• 24-26 August 2006, Ninth Symposium on Logic and Language, Budapest/Besenyotelek, Hungary (deadline: 20 April 2006)
  Newsitem added on 23 March 2006.

  The 2006 meeting is the ninth installment of the Symposium series, which is designed to provide a forum where logicians and linguists can meet to share and discuss ideas and issues about how linguistics and logic influence each other, with the aim of promoting a fruitful cooperation. This year's symposium theme is "information structure". Invited speakers include Jonathan Ginzburg, Marcus Kracht, Manfred Krifka and Barbara H. Partee.

  The organisers invite papers proposing semantic/pragmatic analyses of empirical data illustrating the structuring of information in natural language, both at the sentence and the discourse level. Submission deadline is April 20, 2006.

  For more information, see http://www.nytud.hu/lola9/

• 13-15 September 2006, 2nd International Workshop on Parameterized and Exact Computation, Zürich, Switzerland (deadline: 19 April 2006)
  Newsitem added on 13 April 2006.

  The International Workshop on Parameterized and Exact Computation covers research in all aspects of parameterized and exact computation and complexity. The goal is to present recent research results, including significant work-in-progress, and to identify and explore directions for future research.

  Authors are invited to submit an extended abstract in English no longer than 12 pages using at least 11-point font, preferably in LNCS-style, describing original unpublished research. Submission deadline is April 19, 2006.

  For more information, see http://algo06.inf.ethz.ch/iwpec

• 28-31 August 2006, APPROX 2006 + RANDOM 2006, Barcelona, Spain (deadline: 18 April 2006)
  Newsitem added on 20 February 2006.

  The 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2006), and the 10th International Workshop on Randomized Techniques in Computation (RANDOM 2006) will be held at UPC Barcelona, from August 28-31, 2006. APPROX 2006 focuses on algorithmic and complexity theoretic issues relevant to the development of efficient approximate solutions to computationally difficult problems, while RANDOM 2006 focuses on applications of randomness to computational and combinatorial problems.

  Papers are solicited in all research areas related to randomization and approximation. Submission deadline is April 18th, 2006.

  For more information, see http://cui.unige.ch/tcs/random-approx/

• 27 July - 2 August 2006, Logic Colloquium '06 (2006 ASL European Summer Meeting), Nijmegen (deadline: 17 April 2006)
  Newsitem added on 8 December 2005.

  The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Athens (2005) and Turin (2004). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

  For more information, see http://www.cs.ru.nl/lc2006/ or contact lc2006cs.ru.nl. Abstracts - hard copy or email - should be received before the deadline of April 17, 2006, by email or at the official meeting address: Logic Colloquium 2006, ICIS Faculty of Science, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.

• 1-5 August 2006, Information-MFCSIT 06, Cork, Ireland (deadline: 17 April 2006)
  Newsitem added on 6 April 2006.

  The Fourth International Conference on Information, Information'06, and the Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, will be co-located on the campus of the National University of Ireland, Cork (NUI, Cork).

  Information'06 will focus on Information and Communication Technologies (ICT) in a broad sense, and the applications of these. MFCSIT'06 will focus on mathematical and theoretical aspects of ICT and, conversely, with the applications of ICT to the mathematical sciences. Both conferences are part of interdisciplinary, international conference series held every two years.

  Proposals for papers are now sought in any of the areas relevant to the conference. Submission deadline is 17th April, 2006.

  For more information, see http://www.ucc.ie/info-mfcsit/

• 27-28 June 2006, PALMYR-3, Paris, France (deadline: 16 April 2006)
  Newsitem added on 23 February 2006.

  Each PALMYR consists of two workshops, one in Paris and one in Amsterdam, and is aimed at fostering connections between two lively logic communities. This year's first meeting will be in Paris on June 27th and 28th, and will have as a theme "What is the relationship between logic and reasoning?" As in the previous editions, each talk will be commented.

  For a long time, logic and reasoning have been bedfellows, for better or for worst. Boole viewed logic as nothing less than An investigation into the Laws of Thought, while Frege argued for an irrevocable split up. But even if modern logical literature abound with attempts at getting closer to real-life reasoning (e.g. epistemic, fuzzy, conditional, intensional, paraconsistent, and other "non-classical" logics) the state of their relationship is still unclear. Does logic describe reasoning? Does it provide normative standards for reasoning? For this third PALMYR, we are looking for researchers from, but not only, Paris or Amsterdam interested to share their opinion on this long-standing relationship.

  Interested researchers should submit electronically a one-page (12pt) abstract before April 16th (extended deadline). For more information, see http://www.illc.uva.nl/PALMYR/PALMYR-3/.

• 19-21 May 2006, Philosophers' Rally, Opole, Poland (deadline: 16 April 2006)
  Newsitem added on 20 March 2006.

  The Rally is a conference intended mainly for YOUNG PEOPLE - undergraduate, postgraduate, and PhD students - who are interested in PHILOSOPHY, LOGIC, cognitive science, artificial intelligence, or linguistics, and are considering an academic career. The program of the Rally will include reported paper presentations as well as WORKSHOPS, DEBATES, and LECTURES of invited speakers (i.e. Diderik Batens, Theo Kuipers, Jaroslav Peregrin, Leslie Stevenson from outside of Poland, and Stanislaw Judycki, Katarzyna Paprzycka, Andrzej Wisniewski, Maciej Witek, Ryszard Wojcicki, Krzysztof Wojtowicz from Poland). In this way, young conference participants will be able not only to present the results of their own work, but also to acquaint themselves with research methods of well-known and respected philosophers and logicans.

  Deadline for sending applications, lecture papers and announcements is April 16, 2006. For more information, see http://www.filozofia.pl/zf/en/?nzw=zwiastun

• 13-15 July 2006, LOFT 2006: Logic and the Foundations of Game and Decision Theory, Liverpool, UK (deadline: 15 April 2006)
  Newsitem added on 16 January 2006.

  This is the seventh in a series of conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.

  The aim of the LOFT conferences is to promote exchange across different disciplines. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 April 2006.

  For more information see http://www.csc.liv.ac.uk/~wiebe/LOFT06/

• 29 August 2006, NeSy'06 Second International Workshop on Neural-Symbolic Learning and Reasoning, Riva del Garda, Italy (deadline: 15 April 2006)
  Newsitem added on 2 February 2006.

  Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

  The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 April 2006.

  For more information, see http://www.neural-symbolic.org/NeSy06/

• (deadline: 15 April 2006)
  Date: 11-13 September 2006

  The symposium covers research in the use, design and analysis of efficient algorithms and data structures in computer science, discrete applied mathematics, operations research and mathematical programming. It has two tracks, which deal respectively with:
  - the design and mathematical analysis of algorithms (the "Design and Analysis" track);
  - real-world applications, engineering and experimental analysis of algorithms (the "Engineering and Applications" track).
  ESA 2006 is organised in the context of ALGO 2006.

  Papers presenting original research in all areas of algorithmic research are sought. Submissions are especially encouraged in the areas of mathematical programming and operations research. Submission deadline is April 15, 2006.

  For more information, see http://algo06.inf.ethz.ch/esa/

• 28 August, Formal Approaches to Multi-agent Systems (FAMAS 2006), Riva del Garda, Italy (deadline: 14 April 2006)
  Newsitem added on 8 February 2006.

  In recent years, multi-agent systems have come to form one of the key technologies for software development. The second edition of the FAMAS workshop series, after a success of FAMAS'03 affiliated to ETAPS'03 in Warsaw, aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

  FAMAS'06 is affiliated to ECAI 2006. Deadline for submissions is April 15, 2006. For more information, see http://www.mimuw.edu.pl/MAS/FAMAS/

• 11-13 October 2006, 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), Glasgow, Scotland (deadline: 14 April 2006)
  Newsitem added on 9 April 2006.

  SPIRE 2006 is the 13th Symposium on String Processing and Information Retrieval. The first four editions focused primarily on string processing and South America, and were called WSP (South American Workshop on String Processing). Starting in 1998, the focus of the workshop was broadened to include the area of information retrieval due to its increasing relevance and its inter-relationship with the area of string processing. In addition, since 2000, the conference venue has been in Europe in even years.

  SPIRE 2006 covers research in all aspects of string processing, information retrieval, computational biology, pattern matching, semi-structured data, and related applications.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 14 April, 2006.

  For more information, see http://www.cis.strath.ac.uk/external/spire06/

• 22-24 October 2006, FOCS 2006: Foundations of Computer Science, Berkeley, CA, USA (deadline: 11 April 2006)
  Newsitem added on 20 February 2006.

  The 47th Annual Symposium on Foundations of Computer Science (FOCS 2006), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held on October 22-24, 2006, at the Doubletree Hotel, in Berkeley, CA.

  Submission deadline is Tuesday April 11, 2006.

  For more information and a call for papers, see http://focs06.cs.princeton.edu/

• 20-23 July 2006, 4th International Conference on Computing, Communications and Control (CCCT'06), Orlando, Florida, USA (deadline: 7 April 2006)
  Newsitem added on 16 March 2006.

  CCCT'06 is an International Conference that will bring together researchers, developers, practitioners, consultants and users of Computer, Communications and Control Technologies, with the aim to serve as a forum to present current and future work, solutions and problems in these fields, as well as in the relationships among them. Consequently, efforts will be done in order to promote and to foster the analogical thinking required by the Systems Approach for interdisciplinary cross-fertilization, "epistemic things" generation and "technical objects" production.

  CCCT'06 Organizing Committee invite authors to submit their original and unpublished works, innovations, ideas based on analogical thinking, problems that require solutions, position papers, case studies, etc., in the fields of computer, communication and control, as well as in the relationships between two of these areas or among the three of them. Both paper/abstract submissions and invited session proposals are being solicited. Deadline is April 7th, 2006. For more information, see http://www.info-cybernetics.org/ccct06/

• 28 August - 1 September 2006, 31st International Symposium on Mathematical Foundations of Computer Science, High Tatras, Slovakia (deadline: 3 April 2006)
  Newsitem added on 22 December 2005.

  The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited

  Submission deadline is April 3, 2006.

  For more information, see http://www.mfcs.sk/

• 14-15 Septembe 2006, Workshop "Towards a New Epistemology of Mathematics", Berlin, Germany (deadline: 1 April 2006)
  Newsitem added on 16 March 2006.

  Traditionally, there has been a deep divide between philosophy of mathematics dealing with foundational issues (questions about mathematical ontology, connections between logic and mathematics, and the proper axiomatic framework) and sociological and didactical approaches to mathematics deadling with a description of mathematical practice (including mathematics education and related matters). Currently, we witness this picture undergoing considerable changes. Recent developments question the special character of philosophy of mathematics as traditionally conceived. Our workshop is devoted to developing this line of development further, putting special emphasis on the epistemological issues involved.

  The organizers cordially invite contributed papers from all relevant areas of research, including historical, didactical, and empirical approaches to the philosophy of mathematics. . Submission deadline is April 1st, 2006.

  For more information, an online registration form and a preliminary program, see http://www.phimsamp.uni-bonn.de/GAP6/

• 15 July 2006, Workshop on Classical Logic and Computation (CL&C'06) (deadline: 31 March 2006)
  Newsitem added on 27 March 2006.

  CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it

  This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished. Submission deadline is 1 April 2006.

  For more information, see http://www.doc.ic.ac.uk/~svb/CLaC

• 25-28 September 2006,, AiML 2006: Advances in Modal Logic, Noosa (Queensland, Australia) (deadline: 27 March 2006)
  Newsitem added on 3 November 2005.

  Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.

  AiML-2006 is the sixth conference in the series. We invite submission on all aspects of modal logics. Deadline is 27 March 2006.
  For more information, see http://www.itee.uq.edu.au/~aiml06/

• 27-30 August 2006, CONCUR'06: 17th International Conference on Concurrency Theory, Bonn, Germany (deadline: 23 March 2006)
  Newsitem added on 20 February 2006.

  CONCUR 2006, the 17th International Conference on Concurrency Theory, will take place in Bonn, Germany, August 27 - 30, 2006. The purpose of the CONCUR conferences is to bring together researchers working on the theory of concurrency and its applications. About ten workshops will be held in affiliation with CONCUR 2006, including the 2nd German Verification Day, and the 11th International ERCIM Workshop on Formal Methods for Industrial Critical Systems.

  Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems. Submission deadline is March 23, 2006.

  For more information, see http://depend.cs.uni-sb.de/concur06/.

• 24 June - 8 July 2006, ICCL Summer School 2006: Knowledge Structures, TU Dresden, Germany (deadline: 18 March 2006)
  Newsitem added on 16 January 2006.

  It is common wisdom that the still growing power of digital data processing greatly enhances the wealth of human knowledge and will continue to do so. A precondition for this is, however, that knowledge is encoded and represented in a computer-accessible manner, such that it can be algorithmically processed. This requires, in turn, the use of appropriate formal structures for knowledge representation and knowledge processing. Such structures, called `Knowledge Structures', will be the topic of this year's ICCL summer school.

  Deadline for registration: 18 March 2006. It will be possible for some participants to present their research work during a small workshop integrated in the summer school. If you would like to do so, please register by means of the online workshop registration form on the web page mentioned below, and submit an extended abstract by March 18, 2006. For more information, an online registration form and a preliminary program, see http://www.computational-logic.org/iccl-ss-2006.

• 1-4 September 2006, Trends in Logic IV: Studia Logica International Conference, Torun, Poland (deadline: 15 March 2006)
  Newsitem added on 23 January 2006.

  The leading idea of Lvov-Warsaw School of Logic, philosophy and mathematics was to investigate the philosophical problems by means of rigorous methods of mathematics. Since its very first issue Studia Logica has joined forces of mathematicians and philosophers in carrying out logical investigations. There are many elaborate mathematical theories that find their origin in philosophy and have had a big impact on both philosophy and mathematics. For a couple of decades we have been witnessing the fruitful application of strictly mathematical methods to handling more and more philosophical problems.

  The main goal of the conference is to present current trends in applying mathematical methods to philosophical problems.

  The Programme Committee invites the contributions concerning applications of mathematical methods to philosophical problems. Submission deadline is May 15, 2006.

  For more information, see http://www.logika.uni.torun.pl/TrendsIV.html

• 17-20 August 2006, ICLP'06: 22nd International Conference on Logic Programming, Seattle, Washington, USA (deadline: 14 March 2006)
  Newsitem added on 17 November 2005.

  Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.

  Contributions (papers and posters) are sought in all areas of logic programming. Submission deadline for paper abstracts is February 14th, 2005: for posters it is March 14th, 2005.

  For more information, see http://www.cs.uky.edu/iclp06/

• 10-12 August 2006, MKM 2006: Fifth International Conference on Mathematical Knowledge Management, South East England, UK (deadline: 13 March 2006)
  Newsitem added on 16 January 2006.

  Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web.

  MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. MKM 2006 will stress two themes: the nature of mathematical proof and its role in managing mathematical knowledge. and new modes of consuming and producing mathematical knowledge.

  MKM 2006 welcomes research papers and workshop proposals on these two themes as well as on all other aspects of MKM. Submissin deadline is March 13, 2006 (for papers) and February 27, 2006 (for workshop proposals).

  For more information, including a registration form, see http://www.reading.ac.uk/MKM06/

• 4-8 September 2006, UC06, 5th International Conference on Unconventional Computation, York, UK (deadline: 12 March 2006)
  Newsitem added on 1 December 2005.

  The series of International Conferences UNCONVENTIONAL COMPUTATION (UC) is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.

  Original papers are solicited in all areas of unconventional computation. Papers dealing with theory as well as with experiments and applications are welcome. Submission deadline is 12 March 2006.

  For more information, see http://www.cs.york.ac.uk/nature/uc06/

• FOCA (Formal Ontologies for Communicating Agents) at ESSLLI 2006, Malaga, Spain (deadline: 8 March 2006)
  Date: July 31 - August 4, 2006

  The purpose of the workshop is to gather contributions that (i) take seriously into account the ontological aspects of communication and interaction and (ii) use formal ontologies for achieving a better semantic coordination between interacting and communicating agents.

  Authors are invited to submit an extended abstract describing original contributions to the workshop topics. Submission deadline is March 8, 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1141 or http://www.loa-cnr.it/esslli06/

• 7-11 August 2006, ESSLLI Summer School, Malaga, Spain (deadline: 8 March 2006)
  Title: Workshop Rationality and Knowledge
  Newsitem added on 2 February 2006.

  The workshop on rationality and knowledge intends to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

  Invited speakers are Johan van Benthem (Amsterdam/Stanford) and Remzi Sanver (Istanbul Bilgi University).

  The workshop is part of ESSLLI 2006 and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. Authors are invited to submit an extended abstract describing original work. The accepted papers will appear in the workshop proceedings published by ESSLLI. Deadline for submissions is March 8, 2006.

  For more information, see: http://www.cs.gc.cuny.edu/~sartemov/rkw/.

• 29 August - 2 September 2006, RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, Manchester, UK (deadline: 6 March 2006)
  Newsitem added on 23 January 2006.

  The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 30 August to 2 September 2006 and a PhD training programme on 29 August 2006.

  Deadline for abstract submission: 27 February 2006. Deadline for paper submission: 6 March 2006. For more information, see http://www.cs.man.ac.uk/relmics06/

• 2-5 June 2006, KR2006 DOCTORAL CONSORTIUM, Lake District, UK (deadline: 2 March 2006)
  Newsitem added on 9 February 2006.

  The 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006) invites PhD students to apply for the Doctoral Consortium program. It is a student mentoring program that will introduce students to senior researchers with similar interests.

  Information about how to submit the applications can be found on the following web pages: http://www.cs.ust.hk/~flin/kr06-dc.html For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1188.

• 18-21 July 2006, 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006) , Stanford, California, USA (deadline: 1 March 2006)
  Newsitem added on 8 December 2005.

  This is the thirteenth in a series of workshops to foster interdisciplinary research in pure and applied logic.

  The deadline for submission of papers is March 1, 2006. For more information, see http://www.cin.ufpe.br/~wollic/wollic2006/

• 23 May 2006, NWO - Bessensap, Nemo, Amsterdam (deadline: 27 February 2006)
  Newsitem added on 23 February 2006.

  (dutch only)
  NWO organiseert op 23 mei 2006 voor de zesde keer Bessensap. We doen dat samen met de Vereniging Wetenschapsjournalisten Nederland (VWN) en met science center NEMO. Het evenement brengt journalisten, redacteuren, voorlichters en mediagenieke onderzoekers dichter bij elkaar. Het motto: wetenschap ontmoet pers, pers ontmoet wetenschap.

  Onderzoekers kunnen voorstellen indienen voor drie presentatievormen (meer info onderaan deze mail):
  - traditionele presentatie
  - masterclass presentatie
  - korte film (nieuw dit jaar!)
  Voorstellen indienen kan tot 27 februari

  Voor meer informatie, zie http://www.nwo.nl/bessensap

• 27-29 April 2006, Horizons of Truth (Goedel Centenary 2006) (deadline: 24 February 2006)
  Location: Festsaal of the University of Vienna
  Newsitem added on 19 January 2006.

  Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge.
  An International Symposium Celebrating the 100th Birthday of Kurt Goedel.
  Organized by the Kurt Goedel Society (http://kgs.logic.at/).

  The Symposium will consist of more than 20 invited lectures by eminent scientists in the fields of logics, mathematics, philosophy, physics, cosmology, and theology. There will be a young researchers competition and a poster session, and a social program including a visit to Goedel's birthplace Brno.

  Young scholars (born on or after January 1, 1970) in logic, mathematics, physics, philosophy, computer science and theology are invited to submit project proposals. Submitted project proposals should be strongly connected to the scientific achievements including recent applications and/or life of Kurt Gödel. Ten chosen projects will compete for three top prizes. Submission deadline: Monday, 24. February 2006. 6 p.m. CET

  For more information, including the list of invited speakers and an online registration form, please see http://www.logic.at/goedel2006/ or contact goedel2006teamlogic.at

• 4-7 April 2006, BCTCS 2006: 22nd British Colloquium for Theoretical Computer Science , Swansea, Wales, UK (deadline: 20 February 2006)
  Newsitem added on 23 November 2005.

  BCTCS provides a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers.

  Participants (particularly PhD students) are encouraged to submit titles and abstracts for contributed talks. Deadline for registration and contributions: February 20, 2006. For more information, an online registration form and a preliminary program, see http://www.cs.swan.ac.uk/bctcs2006/

• 3-5 July 2006, SIROCCO 2006: 13th Colloquium on Structural Information and Communication Complexity, Chester, United Kingdom (deadline: 17 February 2006)
  Newsitem added on 3 November 2005.

  The Colloquia on Structural Information and Communication Complexity (SIROCCO) focus on the relationship between computing and communication, i.e., the study of those factors that are significant for the computability and the communication complexity of problems and on the interplay between structure, knowledge and complexity. The Colloquia provide an opportunity to bring together specialists interested in the fundamental principles underlying all computing through communication.

  SIROCCO prides itself on being a lively venue, which encourages the emergence of new research areas (related to distributed computing in a broad sense) and the dissemination of original ideas. This is achieved by dedicating ample time for informal discussions and open problem sessions in addition to regular conference activities.

  Authors are invited to submit their work in one of the three acceptable formats: novel research contributions, position papers, and surveys. Deadline for submission: February 17, 2006.
  For more information, see http://sirocco06.csc.liv.ac.uk/

• 10-12 July 2006, 7th Conference on Real Numbers and Computers (RNC7), LORIA, Nancy, France (deadline: 15 February 2006)
  Newsitem added on 14 November 2005.

  The aim of the symposia on "Real Numbers and Computers" is to bring together specialists from various research areas, all concerned with problems related to computations based on real numbers. These computations may use any number system implemented by a software package or in hardware, including floating and fixed point, integers, rational or p-adic numbers, serial or on-line computations, continued fractions, fixed or multiple precision, interval and stochastic arithmetic.

  The conference will feature invited lectures and contributed talks. Original research results and insightful analyses of current concerns are solicited for submission. Survey and tutorial articles may be suitable for submission if clearly identified as such. Deadline for submission of manuscripts: February 15, 2006.

  For more information, see http://rnc7.loria.fr/

• 31 August - 2 September 2006, The Fifth International Conference on Collective Intentionality (CollInt V), Helsinki, Finland (deadline: 15 February 2006)
  Newsitem added on 5 December 2005.

  This international research conference is organised by the research project ''The We-Perspective, Social Institutions, and Social Change'' (directed by Prof. Raimo Tuomela) and the Philosophical Society of Finland. The main (but not the only) theme of the Helsinki conference is collective responsibility, and part of the conference will be devoted to this theme.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is February 15, 2006.

  For more information, see http://www.valt.helsinki.fi/staff/tuomela/collint/

• 6-8 July 2006, 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006), Riga, Latvia (deadline: 13 February 2006)
  Newsitem added on 14 November 2005.

  The Scandinavian Workshop on Algorithm Theory (SWAT) is a biennial international conference, which alternates with the Workshop on Algorithms and Data Structures (WADS), intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Since 1988 SWAT has been held in the five Nordic countries, but this year's conference - the 10th in the series - will be held in the neighboring Baltic region, which has traditionally had a strong connection to the Nordic countries.

  We invite submissions of papers presenting original research on algorithms and data structures in all areas. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. Deadline for submission: February 13, 2006.

  Early registration deadline is April 30. For more information and an online registratino form, see http://www.lumii.lv/swat/

• 10-14 July 2006, ICALP 2006: 33rd International Colloquium on Automata, Languages and Programming, S. Servolo, Venice, Italy (deadline: 10 February 2006)
  Newsitem added on 3 November 2005.

  The 33rd International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 16th of July 2006 in Venice, Italy.

  ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

  Authors are invited to submit an extended abstract of no more than 12 pages in LNCS style presenting original research on the theory of Computer Science. Submission deadline is February 10, 2006.
  For more information, see http://icalp06.dsi.unive.it/

• 3-4 April 2006, Thirteenth Workshop on Automated Reasoning, University of Bristol, Bristol, England (deadline: 10 February 2006)
  Newsitem added on 9 February 2006.

  Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.

  We invite interested persons to submit a camera-ready, two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).

  Deadline for submission of papers is February 10th, 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1187, http://www.csc.liv.ac.uk/~clare/ARW/about.html or http://www.cs.nott.ac.uk/~mxw/arw06/

• 31 March - 2 April 2006, BOISE EXTRAVAGANZA IN SET THEORY, Boise, Idaho, USA (deadline: 31 January 2006)
  Newsitem added on 5 December 2005.

  We are pleased to announce our fifteenth annual BEST conference. There will be four talks by invited speakers:
  Natasha Dobrinen (Kurt Godel Research Center for Mathematical Logic)
  Michael Hrusak (UNAM)
  Istvan Juhasz (Alfred Renyi Institute of Mathematics)
  Boban Velickovic (Universite de Paris 7)

  The Programme Committee cordially invites all researchers to submit their papers for presentation.

  For more information, see http://math.boisestate.edu/~best/best15/.

• 12-14 July 2006, DEON 2006: Eighth International Workshop on Deontic Logic in Computer Science, Utrecht, The Netherlands (deadline: 27 January 2006)
  Newsitem added on 3 November 2005.

  The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

  Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The deadline for submission is 27 January 2006.
  For more information, see http://www.cs.uu.nl/deon2006/

• 22-24 June 2006, the International European Conference on Computing and Philosophy (ECAP) 2006, Trondheim, Norway (deadline: 27 January 2006)
  Newsitem added on 5 December 2005.

  E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP) The E-CAP conferences deal with all aspects of the "computational turn" that is occurring through the interaction between the disciplines of Philosophy and Computing.

  The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is Jaunary 27, 2006.

  For more information, see http://www.eu-cap.org/

• 12-14 July 2006, Eighth International Workshop on Deontic Logic in Computer Science (DEON2006), Utrecht (deadline: 27 January 2006)
  Newsitem added on 8 December 2005.

  The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2006 will encourage a special focus on the topic "Artificial Normative Systems"

  The deadline for submission of original, previously unpublished, research papers is January 27, 2006.

  For more information see http://www.cs.uu.nl/deon2006/

• 27-30 June 2006, Sixth International Andrei Ershov Memorial Conference: PERSPECTIVES OF SYSTEM INFORMATICS, Novosibirsk, Akademgorodok, Russia (deadline: 23 January 2006)
  Newsitem added on 3 November 2005.

  The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931-1988) and his outstanding contributions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003, respectively, and proved to be significant international events.

  The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research directions in computer science. For a developing science, it is important to work out consolidating ideas, concepts and models. Movement in this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers from the East and West are further goals.

  Authors are invited to submit an extended abstract, to arrive before January 23, 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1033 or http://www.iis.nsk.su/PSI06/

• 3-4 May 2006, 3rd International Workshop on Philosophy and Informatics (WSPI 2006), Saarbr¨cken, Germany (deadline: 16 January 2006)
  Newsitem added on 15 December 2005.

  The Third International Workshop on Philosophy and Informatics is organized by the Institute for Formal Ontology and Medical Information Science and the Special Interest Group on Philosophy and Informatics of the German Informatics Society.

  The workshops are designed to encourage interdisciplinary exchange on the philosophical foundations of informatics. They seek to bring together researchers from philosophy and informatics and neighboring disciplines in order to explore common points of interest and to develop an interface between the disciplines and a common vocabulary. The workshop also serves as the annual meeting platform of the members of the Special Interest Group on Philosophy and Informatics. The 2006 Workshop has a special focus on the area of bio- and biomedical informatics.

  WSPI 2006 focuses on bioinformatics, but contributions on philosophy and informatics in general are also invited. Submission deadline is 16 January 2006.

  For more information, see http://wspi2006.workshop.hm/

• 4-5 March 2006, Seventh Annual Princeton-Rutgers Graduate Conference, Dept. of Philosophy, Princeton University, USA (deadline: 15 January 2006)
  Costs: Free
  Newsitem added on 14 November 2005.

  The philosophy graduate student associations of Rutgers University and Princeton University will be hosting a conference on the weekend of March 4-5, 2006. Papers from graduate students in all areas of philosophy will be considered. Deadline: January 15th 2006.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1077 or http://web.princeton.edu/sites/philosph/gradconf/

• 8 May 2006, 4th International Workshop on Declarative Agent Languages and Technologies (DALT-2006), Future University Hakodate, Japan (deadline: 15 January 2006)
  Newsitem added on 21 November 2005.

  DALT-2006 will be held as a satellite workshop of AAMAS-2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems. Topics of interest include logic-based approaches to specifying and developing multiagent systems (including modal and temporal logics, model checking, constraint logic programming) and applications such as the semantic web, security, and electronic contracting. Deadline for submission of papers is the 15 January 2006.

  For more information, see http://staff.science.uva.nl/~ulle/DALT-2006/ or contact Ulle Endriss (ulleillc.uva.nl).

• 16-21 July 2006, 14th International Conference on Conceptual Structures: Conceptual Structures - Inspiration and Application, Aalborg University, Denmark (deadline: 6 January 2006)
  Newsitem added on 3 November 2005.

  The International Conferences on Conceptual Structures (ICCS) has been held annually in Europe, Australia, or North America since 1993. The central focus is the formal representation and analysis of conceptual knowledge with research and business applications focusing on artificial intelligence, computational linguistics, and related areas of computer science.

  Authors are invited to submit papers describing both theoretical and practical research. For all papers, a one page abstract must be received by Friday January 6, 2006.
  For more information, see http://www.iccs-06.hum.aau.dk/

   Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

• 11-13 December 2006, Nijmegen Lectures 2006, Paul Bloom
  Speaker: Paul Bloom
  Title: Bodies and Souls
  Date and time: 11-13 December 2006, 10:30-17:00
  Location: Max Planck Institute for Psycholinguistics, Nijmegen
  Costs: free

  The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.

  Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).

  For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/

• 8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, Spain
  Newsitem added on 18 May 2006.

  The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.

  For more information, see http://www.iadis.org/celda2006/ E-mail: celda_seciadis.org

• 8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, Scotland
  Newsitem added on 30 November 2006.

  The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."

  The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.

  The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <archest-andrews.ac.uk> if you would like to register for the workshop.

• 4-15 December 2006, Logic Summer School, Canberra, Australia
  Newsitem added on 6 July 2006.

  The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.

  The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.

  Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaneyanu.edu.au

• 2-3 December 2006, CAMELEON meeting, Cambridge, UK
  Newsitem added on 29 September 2006.

  CAMELEON is a research group of logicians based in CAmbridgE LEeds Or Norwich. We are having a meeting in Cambridge on the weekend of 2-3 December 2006 with possibly some spillover events in the days leading up to it.

  The details are very far from finalised: if you are able to come to Cambridge at that time - and would like to be kept au courant so that you can make up your mind whether or not to come, then contact Thomas Forster at tfdpmms.cam.ac.uk. For more information, see also http://www.dpmms.cam.ac.uk/~tf/cameleon.html

• 1-2 December 2006, Parikh Fest: "Logical methods in exact and social sciences", New York, USA
  Newsitem added on 23 November 2006.

  "Logical methods in exact and social sciences": a conference to commemorate the 70th birthday of Rohit Parikh, to be held at the CUNY Graduate Center 365 Fifth Avenue, New York. Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic Colloquium, and CUNY Computer Science Colloquium.

  For more information, see http://nylogic.org/Colloquium/ParikhFest

• 24-26 November 2006, Second LERU Conference in Philosophy: "Rationality and the Choice of Logic", Faculty of Philosophy, Matthias de Vrieshof 4, Leiden
  Newsitem added on 22 November 2006.

  Friday, November 24
  14.00 Marietje van der Schaar (Leiden): Bolzano on Judgement and Error.
  16.00 Igor Douven (Leuven): Antirealist Truth.

  Saturday, November 25
  9.00 Leon Horsten (Leuven): Inferential Deflationism.
  11.00 Gabriel Sandu (Helsinki/Paris): The Van Heijenoort-Hintikka Dichotomy.
  14.00 Paolo Casalegno (Milan): Margin for Error Principles and Williamson's Antiluminosity Thesis.
  16.00 Kevin Mulligan (Geneva): Reasons, Rightness and Knowledge.

  Sunday, November 26
  10.00 Per Martin-Löf (Stockholm): Evidence and Coherence.

  Participation is free, but participants are requested to register via email to Prof B.G.Sundholm at b.g.sundholmlet.leidenuniv.nl. For more information, see http://www.filosofie.leidenuniv.nl/index.php3?m=&c=268

• 22 November 2006, Set Theory and Its Neighbours 10, London, UK
  Newsitem added on 20 November 2006.

  A one-day conference in the series "Set theory and its neighbours", which will take place on Wednesday 22nd November 2006 at the Department of Mathematics, University College London. The speakers at the meeting will be Riccardo Camerlo (Turin), Greg Piper (tbc), Shingo Saito (University College London) and Philip Welch (Bristol)

  As ever, we hope to keep the meeting fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision.

  For more information, see http://www.ucl.ac.uk/~ucahcjm/stn.html

• 17-18 November 2006, Joint Session of the IUHPS on "Calculability and Constructivity", Paris, France
  Newsitem added on 25 October 2006.

  Dear Colleagues,

  The Joint Session of the two Divisions of the International Union for History and Philosophy of Science is planned in Paris, November 17-18, at the École Normale Supérieure. The thema of the conference is: "Calculability and Constructivity: Historical and Philosophical Aspects".

  More information on the website of the conference at http://www-ihpst.univ-paris1.fr/dlmps/jointsession06/.

• 17-18 November 2006, Workshop "Phenomenology of Agency", Fribourg, Switzerland
  Newsitem added on 2 November 2006.

  Speakers: Fabian Dorsch, Lucy O'Brien, Susanna Siegel, A. David Smith, Stephen White

  Open to all those interested; but please, if possible, notify us of your participation.

  For more information, see http://www.unifr.ch/philo/fr/news/events_display.php?id=1

• 13-24 November 2006, 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Tunis (Tunisia)
  Newsitem added on 4 June 2006.

  ICTAC is an International Colloquium on Theoretical Aspects of Computing created by the International Institute for Software Technology of the United Nations University (UNU-IIST). The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

  ICTAC comprises a School (13-17 November) and a Conference (20-24 November). Deadline for applications for the school is September 15, 2006.

  For more information, see http://www.iist.unu.edu/ICTAC2006/

• 9-11 November 2006, International Conference on Formal Ontology in Information Systems (FOIS-2006), Baltimore MD, USA
  Newsitem added on 30 April 2006.

  Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. As the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

  For more information, see http://www.formalontology.org/

• 6 November 2006, Medieval and modern logic: an encounter, Faculteit der Wijsbegeerte, Universiteit Leiden
  Newsitem added on 25 October 2006.

  Program
  14 - 15 uur: Stephen Read (St. Andrews): Why is Bradwardine so Good?
  15 - 16 uur: Sara Uckelman (UvA): The Changing Scope of Logic: Recasting the *logica vetus*/*logica nova* distinction
  16 - 17 uur: Göran Sundholm: The Propositio per se nota and Formal Consequentia. Two Strands in the Validity of Logical Inference.
  17 - 18 uur: Borrel.

  All lectures are 30 minutes, followed by 15 minutes of discussion and a break.

  Address: Room 007, Witte Singel-Doelen complex, Matthias de Vrieshof 4, Leiden

  For more information, contact: Bert Bos at c.e.boshetnet.nl.

• 3-5 November 2006, 17th Novembertagung on the History and Philosophy of Mathematics, Edinburgh, Scotland
  Newsitem added on 18 June 2006.

  The 17th Novembertagung on the History and Philosophy of Mathematics will take place from Friday 3rd to Sunday 5th November 2006 at the Science Studies Unit in the University of Edinburgh.

  The "Novembertagung" is an annual international event, started in 1990, which brings together young historians and philosophers of mathematics. The conference provides an opportunity to give a presentation in a relaxed and friendly atmosphere. It is open to PhD students, post-doctoral fellows, and others who are at an early stage in their research careers.

  For more information, and to register for the conference or apply to give a paper, please go to http://www.17th-novembertagung.net/ or email contact17th-novembertagung.net

• 14 October 2006, MidAtlantic Mathematical Logic Seminar (MAMLS), Rutgers University, USA
  Newsitem added on 17 September 2006.

  Speakers include Saharon Shelah, Ben Miller, István Juhász and Boban Velickovic.

  See further details on the conference web page at http://www.math.rutgers.edu/~cherlin/Mamls/Current/.

• 5-8 October 2006, IADIS International Conference WWW/Internet 2006, Murcia, Spain
  Newsitem added on 18 May 2006.

  The IADIS WWW/Internet 2006 conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have aroused. This conference aims to cover both technological as well as non-technological issues related to these developments.

  For more information, see http://www.iadis.org/icwi2006/ or email: icwi_seciadis.org

• 25-29 September 2006, CSL 2006: Computer Science Logic, Szeged, Hungary
  Newsitem added on 3 November 2005.

  Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

  For more information, see http://www.inf.u-szeged.hu/~csl06/

• 7-8 September 2006, Symposium: 60th birthday of Gordon Plotkin, Edinburgh
  Newsitem added on 13 July 2006.

  A symposium to celebrate the 60th birthday of Gordon Plotkin.
  Two days of invited talks on 7th and 8th September, with a banquet on the evening of Thursday 7th September.

  Registration is now open. For more information, see the webpage at http://www.lfcs.ed.ac.uk/events/plotkin-symposium/

• 5-9 September, 2006, 16th Symposium on Medieval Logic & Semantics (XVI ESMLS), Udine, Italy
  Newsitem added on 4 May 2006.

  The Theory of Fallacies and Its Use from Boethius to Paul of Venice.

  The Symposium will take place from Tuesday 5th morning to Saturday 9th morning, with an half day free (probably Thursday afternoon) for the traditional, but of course unconstrained, excursion. Arrival day is Monday 4th, the conference will necessarily end before 13.00 on Saturday 9th, due to the closing of the University building. As usual, a dinner will be offered to the participants and a conference meeting will be held in the final part of the Symposium. The conference sessions will be held at Palazzo Antonini, (the Humanities building, nr. 2 in the map of the city that you can find at http://web.uniud.it/ceco/pianta.pdf).

  For more information, see http://www.swif.uniba.it/lei/filmed/settembre_06.htm or contact Andrea Tabarroni
  Università degli Studi di Udine
  Istituto di Storia e Tutela dei Beni Culturali
  Via Antonini 8
  I - 33100 Udine
  Tel. 0432 556111

• 30 August - 2 September 2006, 11th Mons Days of Theoretical Computer Science, Rennes, France
  Newsitem added on 4 June 2006.

  The main topics of this conference on discrete mathematics and theoretical computer science are:
  * combinatorics on words (including algebraic and algorithmic aspects)
  * all aspects of formal languages and codes,
  * finite and infinite automata (including structural and logical aspects), ...

  For more information, see http://www.irisa.fr/JM06/

• 28 August - 1 September 2006, The 17th European Conference on Artificial Intelligence (ECAI-06), Riva del Garda, Italy
  Newsitem added on 2 February 2006.

  ECAI, the biannual European Conference on Artificial Intelligence, is the leading conference in its field in Europe. ECAI-06, the 17th conference in this series, is jointly organized by the European Coordinating Committee on Artificial Intelligence and the Italian Association of Artificial Intelligence.

  ECAI-06 will give researchers from all over the world the possibility to identify important new trends and challenges in all subfields of Artificial Intelligence, and it will provide a major forum for potential users of innovative AI technique

  For more information, see http://ecai2006.itc.it/

• 22-23 August 2006, 1st Athens Colloquium on Algorithms and Complexity (ACAC 2006), Athens, Greece
  Newsitem added on 6 August 2006.

  ACAC is a biannual meeting aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It is expected to serve as a lively forum for presenting research results that are in a preliminary stage or have been recently presented in some major conference. For this first meeting there will be no regular submissions. Invited contributions may appear, fully or partially, in informal proceedings distributed at the workshop. The language of the workshop is English.

  Deadline for registration: 16 August 2006

  For more information and a preliminary program, see http://www.corelab.ece.ntua.gr/acac06/

• 21-25 August 2006, 7th Max-Planck Summer School "Advanced Course on the Foundations of Computer Science" (ADFOCS 2006), Saarbruecken, Germany
  Newsitem added on 26 May 2006.

  ADFOCS is organized as part of the activities of the Algorithms and Complexity Group and the International Max-Planck Research School of the Max-Planck-Institut für Informatik. The scope of ADFOCS is international. Young researchers at the PhD student or postdoc level are cordially invited to participate. The goal of ADFOCS is to have hot topics from fundamental areas of computer science presented by top researchers in the field, bringing participants to the frontiers of current resarch.

  For this year's ADFOCS we have three main speakers. Each of them is giving two 90-minute lectures with subsequent exercise and discussion sessions. There will be further lectures and activities as well. The main speakers are:
  -- Tamal Dey, Ohio State University
  -- Joel Spencer, New York University
  -- Ingo Wegener, Universitaet Dortmund

  Deadline for early registration: 21 June 2006. For more information, an online registration form and a preliminary program, see http://www.mpi-inf.mpg.de/adfocs/

• 21-25 August 2006, MATHLOGAPS PhD Summer School in Logic, Bretton Hall, England
  Newsitem added on 22 June 2006.

  The event is the annual training event run by the Marie Curie Early Stage Training Network MATHLOGAPS. It features lecture courses, intended particularly for PhD students with an interest in mathematical logic, by Anand Pillay (Leeds), Bob Soare (Chicago) and Jeff Paris (Manchester), and invited lectures by Klaus Aehlig (Munich) and Wilfried Buchholz (Munich). Bretton Hall (home of the Yorkshire Sculpture Park) is in the countryside about 15 miles south of Leeds.

  Please register as soon as possible. For more information, an online registration form and a preliminary program, see http://www.leeds.ac.uk/european/mathlogaps.html

• 20-25 August 2006, International Conference on Set-theoretic Topology, Kielce, Poland
  Newsitem added on 20 February 2006.

  For more information, see http://www.pu.kielce.pl/~topoconf/

• 7-10 August 2006, The Oxford Conference on Topology and Computer Science in Honour of Peter Collins and Mike Reed, Oxford, UK
  Newsitem added on 3 November 2005.

  We are pleased to invite you to a conference on topology and computer science to mark the retirements of Peter Collins and Mike Reed from the Oxford Mathematical Institute and the Oxford Computing Laboratory.

  The conference will take place in Oxford, 7th-10th, August 2006, the week before the Prague Symposium and will include special sessions on Set-theoretic Topology, Theoretical Computer Science and Continuum Theory and Dynamics.

• 7-11 August 2006, 6th Canadian Summer School on Quantum Information Processing, Calgary, Canada
  Newsitem added on 27 April 2006.

  Students and researchers are invited to attend the sixth summer school on quantum information processing held at the University of Calgary. The goal of the school is to introduce a general audience of computer scientists, physicists, and mathematicians with little or no background in quantum information processing to this exciting and growing field.

  For more information, see http://www.equips.ca/

• 7-11 August 2006, Effective Randomness, Palo Alto, California
  Newsitem added on 15 June 2006.

  This workshop, sponsored by the American Institute of Mathematics and the U.S. National Science Foundation, will focus on effective notions of randomness such as Martin-Lof randomness, measures of relative randomness, effective dimension, Kolmogorov complexity and other concepts from algorithmic information theory, and interactions with computability theory and complexity theory.

  For more information, see http://aimath.org/ARCC/workshops/randomness.html

• 29 July 2006, What cognitive science can learn from music cognition., Vancouver, USA
  Newsitem added on 11 May 2006.

  Symposium on Music and Cognition at CogSci 2006.

  Like language, music is a uniquely human capacity that arguably played a central role in the origins of human cognition. The ways in which music can illuminate fundamental issues in cognition have been underexamined, or even dismissed as epiphenomenal. This symposium highlights cognition in music, especially as related to language, as enlarging our understanding of cognition as a hole, contributing conceptually and methodologically to cognitive science, and showing the advantages of taking music as a strong partner in studying human cognitive functioning in all its facets.

  With contributions by:
  Richard Ashley (Northwestern University, USA)
  Erin Hannon (Harvard University, USA)
  Henkjan Honing (University of Amsterdam, The Netherlands)
  Edward Large (Florida Atlantic University, USA)
  Caroline Palmer & Sean Hutchins (McGill University, Canada)

  For more information, see http://www.cogsci.rpi.edu/~rsun/cogsci2006/

• 24-28 July 2006, Summer School in Barcelona on Music Computing and Music Cognition, Pompeu Fabra University, Barcelona
  Costs: € 200/300
  Newsitem added on 11 May 2006.

  This Summer School is organized by the S2S² project and the Music Technology Group of the Pompeu Fabra University in Barcelona, with the goal to promote interdisciplinary education and research in the field of Sound and Music Computing. The School is aimed at graduate students working on their Master or PhD thesis, but it is open to any person carrying out research in this field.

  The lectures are designed to be of interest to any graduate student or researcher in the field of Sound and Music Computing. The topics chosen for this year are Interface Design and Music Cognition; relevant topics in our research fields which have particular methodologies and research strategies. The lectures will present these particular methodologies and their application in Music related problems.

  For more information, see http://www.iua.upf.es/mtg/sssmc2006/

• 17-21 July 2006, EASSS-2006: 8th European Agent Systems Summer School, Annecy, France
  Newsitem added on 13 April 2006.

  EASSS-2006 consists of a mixture of introductory and advanced courses delivered by internationally leading experts in the multiagent systems field, and it covers the full range of theoretical and practical aspects of multiagent systems.

  For more information see http://www.esia.univ-savoie.fr/easss06

• 3-5 July 2006, MPC06: Mathematics of Program Construction, Kurassaare, Estonia
  Newsitem added on 2 February 2006.

  The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.

  MPC'06 is colocated with AMAST'06. For more information,see http://cs.ioc.ee/mpc-amast06/mpc/ or the joint MPC/AMAST'06 page at http://cs.ioc.ee/mpc-amast06/.

• 3-7 July 2006, Games and Verification, Cambridge, England
  Newsitem added on 15 June 2006.

  Games are pervasive in the theory of computation. Traditionally, they have been used as tools for understanding definability in logic. More generally, games are useful, as alternating automata, for solving a variety of algorithmic questions about finite and infinite state systems (such as reachability and liveness properties). A third, and much more recent, use of games is the semantics of programming languages, where the meaning of a program is defined in terms of winning strategies. This event will bring together researchers in the several different areas in the theory of computation in which games play an important role.

  This workshop is the first annual meeting of GAMES, a research training network funded by the European Community, and is part of the Spring 2006 program on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences.

  For more information, an online registration form and a preliminary program, see http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html

• 30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, Wales
  Newsitem added on 3 November 2005.

  CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
  - practical and feasible barriers, e.g., centred around the P vs. NP problem;
  - computable barriers connected to models of computers and programming languages;
  - hypercomputable barriers related to physical systems.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1029 or http://www.cs.swansea.ac.uk/cie06/

• 30 June 2006, Doing It Together - International Workshop on Collective Intentionality, Groningen
  Costs: Free
  Newsitem added on 16 March 2006.

  The workshop is organized on the occasion of Michael Bratman's visit to the Netherlands and is intended at bringing together Dutch scientists from different fields to exchange ideas on Bratman's theory of collective agency. This should allow for a deeper understanding of the theory itself, but also for evaluating its relevance in more applied settings such as mechanism design or legal responsibility assessment. In addition, we expect that this will foster networking between the numerous Dutch research groups that are currently working on some aspects of collective agency, more often than not in parallel.

  Speakers include Michael Bratman (Stanford), John A. Michon (Leiden), Frans Groen (UvA), Frank Hindriks (Groningen) and Boudewijn de Bruin (Groningen).

  Those who want to attend the workshop can now register online! Registration is free and open to everyone. For more information, see http://staff.science.uva.nl/~oroy/Doing_it_together/.

• (ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2
  Date: June 28-July 1st, 2006

  For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

• 28 June 2006, Symposium "On Consciousness", Gertrudiskapel, Utrecht, opposite Utrecht CS
  Date and time: Wednesday 28 June 2006, 10.00 - 17.00
  Costs: Free

  The Dutch national Cognition programme is organizing a symposium around consciousness at Wednesday June 28 in Utrecht, the Netherlands. Four internationally renowned speakers from very different cognitive backgrounds will address this issue from their respective points of view in a lively and stimulating environment with ample opportunities for formal and informal discussion. Do not miss this event and register now!

  Participation is free, but as there is only a limited numbers of seats available, registration is obligatory. For more information, see http://www.cognitie.nl/Symposium

• 26-30 June 2006, Summer School on Game Theory in Computer Science, University of Aarhus
  Newsitem added on 20 February 2006.

  In recent years, research at the intersection of game theory and computer science has become increasingly important, increasingly strong and increasingly diverse. This summer school will span computational and algorithmic game theory as well as topics of algorithmic flavor in pure game theory.

  The summer school will take place at the BRICS PhD school at the Department of Computer Science, University of Aarhus on June 26-30, 2006. The intended participants of the summer school are graduate students and post-docs within computer science, but also students within mathematics and economics interested in computational aspects of game theory are encouraged to register for the summer school.

  Deadline for registration: May 1st, 2006. For more information, see http://www.brics.dk/game06/.

• 22-25 June 2006, COnference on Learning Theory (COLT 2006), Pittsburgh, PA, USA
  Newsitem added on 21 May 2006.

  The 19th Annual Conference on Learning Theory will be held at the Carnegie Mellon University, Pittsburgh. The conference will be co-located with ICML' 06.

  For more information, an online registration form and a program, see http://learningtheory.org/colt2006/

• 12-30 June 2006, CSCA summer school 2006: An Interdisciplinary Approach to Cognitive Developmental Disorders
  Location: Amsterdam, the Netherlands
  Newsitem added on 26 January 2006.

  From June 12th to 30th, 2006, the Master Cognitive Science (at the Universiteit van Amsterdam) will organize her fourth Summerschool.

  The CSCA Summerschool concentrates on the work of Frijda Honorary Chair in Cognitive Science, occupied this academic year by professor Annette Karmiloff-Smith (Neurocognitive Development Unit, University College London). Dr. Karmilloff-Smith has provided an immense contribution to the field of developmental cognitive neuroscience. During the three-week Summerschool, international experts from the fields of psychology, psychiatry, biology, genetics, neuroscience, and computational modeling will present lectures on advances in research on developmental cognitive disorders. In addition, the Summerschool will comprise hands-on workshops led by senior researchers from the participating fields. The finale of the Summerschool will be a one-day Symposium at June 30, 2006. At the Symposium, experts from international standing will cover the themes of the Summerschool.
  Master students from relevant fields are encouraged to register.

  For more information, see http://www.csca.uva.nl/.

• 12-30 June 2006, Carnegie Mellon Summer School in Logic and Formal Epistemology, Pittsburg, USA
  Newsitem added on 20 February 2006.

  In 2006, the Department of Philosophy at Carnegie Mellon University will launch a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to
  - introduce promising students to cross-disciplinary fields of research at an early stage in their career; and
  - forge lasting interdisciplinary links between the various disciplines.

  Deadline for application: March 15, 2006

  For more information, an online application form and a course program, see http://www.phil.cmu.edu/summerschool/

• 12-13 June 2006, Modal Logic, Stone Duality, and Coalgebras, University of Leicester
  Newsitem added on 26 May 2006.

  The workshop will explore topics in Modal Logic, Stone Duality, and Coalgebra. Invited speakers include Alexandru Baltag, Martin Escardo, Ian Hodkinson, Yde Venema and Frank Wolter.

  For more information, see http://www.cs.le.ac.uk/people/nb118/workshop.html

• 9-11 June 2006, Logic and Mathematics 2006, University of Illinois, Urbana-Champaign, USA
  Newsitem added on 9 March 2006.

  The focus of the meeting will be on descriptive set theory and its connections (with algebra, topology, measure theory, topological dynamics, combinatorics, etc). In part, the meeting is organized to honor Alexander S. Kechris of CalTech on the occasion of his 60th birthday.

  There will be two invited lectures on Friday (the 9th) starting at 3pm, five on Saturday, and three on Sunday; the meeting will end at 1 pm on the 11th.

  For more information, see http://www.math.uiuc.edu/Bulletin/lm2006.html Deadline for student travel award application is: April 7, 2006.

• 29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, Italy
  Newsitem added on 3 November 2005.

  The 6th Int. Conference on Algorithms and Complexity covers research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.

  For more information, see http://www.dsi.uniroma1.it/~ciac/.

• 25-28 May 2006, Third Annual Austin-Berkeley-CMU Formal Epistemology Workshop, UC-Berkeley, USA
  Newsitem added on 9 March 2006.

  The purpose of these workshops is to bring together individuals, both faculty and graduate students, using mathematical methods in epistemology in small focused meetings. Besides papers with respondents, each workshop will typically include short introductory tutorials (three or four topically related presentations) on formal methods. These tutorials will be oriented particularly to graduate students.

  For more information and a preliminary program, see http://ist-socrates.berkeley.edu/~fitelson/few/

• 21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, Seattle
  Newsitem added on 3 November 2005.

  The 38th ACM Symposium on Theory of Computing (STOC 2006), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in Seattle, WA, May 21 to 23, 2006. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

  For more information, see http://www.cs.washington.edu/stoc06/

• 21-24 May 2006, Workshop on the Urysohn space
  Newsitem added on 20 February 2006.

  The international workshop on the Universal Urysohn Metric Space will take place at Ben-Gurion University (Beer Sheva, Israel) from 21-24 May, 2006. The Urysohn space U is the universal complete metric separable space. This remarkable mathematical object, introduced by P. Urysohn 80 years ago, has generated a considerable and steadily growing interest over the past two decades. The purpose of the workshop is to bring together leading mathematicians working in the fields of Topological Groups, Functional Analysis, Geometry, Representation Theory, Dynamics, Logic and Set Theory in order to exchange ideas and present results of current research of the Urysohn space.

  For more information, see http://www.math.bgu.ac.il/~arkady/Workshop_2006/main_page.html

• 18-20 May 2006, Kurt Gödel: The Writings, Maison de la recherche, University of Lille III, France
  Newsitem added on 27 March 2006.

  As Gödel scholars are now becoming increasingly familiar not only with the texts in the Collected Works but also with the still unpublished ones in the Archive, we see changes in our understanding of Gödel's work: his results in logic, the development of which has now begun to be traced in much more detail, but also his philosophical reflections, the full importance of which is becoming ever clearer. The aim of this workshop will be to discuss Gödel's writings and to present and compare different perspectives on the philosophy and career of this logician. We will study his writings in order better to understand his intellectual development, his own reflections on his logical theorems, and, finally, the concomittant metaphysics that he hoped to develop.

  The official languages will be English and French

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1294 or contact the organisers: Pierre Cassou-Nogués (pierre.cassou-noguesuniv-lille3.fr) and Mark van Atten (mark.vanattenuniv-paris1.fr).

• 17-21 May 2006, ASL Annual Meeting 2006, Montreal, Canada
  Newsitem added on 4 March 2006.

  The Seventeenth Annual Gödel Lecture will be given by P. Martin-Löf, and a tutorial on quantum information theory will be offered by P. Selinger. The invited program also includes a symposium to commemorate the centennial of the birth of Gödel, in which J. Avigad, S. Friedman, and A. Kanamori will speak. Special sessions are planned in categorical logic/quantum information theory, effective aspects of measure theory and analysis, model theory, and set theory.

  For more information, an online registration form and a preliminary program, see http://asl2006.uqam.ca/

• 15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, China
  Newsitem added on 3 November 2005.

  TAMC06 is a new annual conference focusing on theory and applications of computation. It is organized as part of the Grand China NSF International Joint Project after which the conference is named, and is supported by the Chinese National Science Foundation, and the Institute of Software of the Chinese Academy of Sciences. Previously two annual meetings were held in 2004 and 2005, with enthusiastic participation from researchers all around the world. TAMC 06 will be a much larger international conference. The scope of the conference will include algorithms, complexity, models of computation, and computability. The conference will be interdisciplinary in nature, and bring together researchers and students with an interest in computer science, mathematics and logic, and applications to the physical sciences.

  For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm

• 11 May 2006, Workshop "Philosophical and Psychological Perspectives on Number", Brussel
  Newsitem added on 4 May 2006.

  The aim of this workshop is to bring together psychologists and philosophers who are studying the epistemological and ontological foundations of number.Key topics are: what are numbers? How do we acquire knowledge about them? What is the role of language and other cultural factors in acquiring numerical concepts? What neural correlates underlie numerical competence? What are the implications of psychological foundations of number for the philosophy of mathematics? We expect that bringing together philosophers and psychologists will foster a unique cross-fertilization for both fields. As the workshop will have an in-depth, focused character, we have invited eminent scholars in psychology and philosophy whose work has deepened the understanding of the nature and knowledge of number.

  For more details, including full programme, titles and abstracts, follow this link: http://www.vub.ac.be/CLWF/WON2006/

• Proof theory at the syntax/semantics interface, 2005 Institute of the Linguistic Society of America
  Newsitem added on 9 February 2006.

  Extended abstracts, slides, and notes of the workshop on "Proof theory at the syntax/semantics interface" held at the 2005 Institute of the Linguistic Society of America are posted at http://wintermute.linguistics.ucla.edu/prooftheory/

  The workshop, sponsored by NSF, brought together computational linguists, logicians, and semanticists to explore the use of proof theory as a mediator between model theoretic semantics and generative syntax.

  Organizers: Anna Szabolcsi and Edward Stabler. For more information, please contact anna.szabolcsinyu.edu

• 2-8 May 2006, COMBSTRU School on Computational Complexity, Bertinoro, Italy
  Newsitem added on 29 December 2005.

  The COMBSTRU School on Computational Complexity is a forum for advanced training of pre- and post-docs on hot topics in Computer Science at the frontier of current research trends. Such a school is held for the first time in Italy and is an opportunity for young researchers in Computer Science, Economics and Applied Mathematics to meet with research leaders in the areas of Computational Economics and Complexity Theory.

  The school is open to Ph.D. students and post-docs in Computer Science, Economics, and Applied Mathematics. There is a limited number of BICI fellowships available to cover registration costs for students without other means of support. For more information, an online registration form and a syllabus, see http://www.iit.cnr.it/cscc06/.

• 20-22 April 2006, LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino, Italy
  Newsitem added on 3 November 2005.

  Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic and Computer Science workshop just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science.

  AILA Logic, Model and Computer Science workshop LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests
  - computability and computational complexity,
  - uncertainty logic,
  but it will also deal with other topics such as
  - logic of concurrency,
  - game semantics
  and further themes concerned with the relationship between Mathematical Logic and Computer Science.

  For more information, see http://dmi.unicam.it/merelli/LMCS06/

• 19-22 April 2006, 3rd MODNET Summer School, Freiburg, Germany
  Newsitem added on 2 February 2006.

  The third MODNET SUMMER SCHOOL will be in Freiburg, 19-22 April, 2006. It is intended for PhD-students, but other participants are welcome. There will be three 5 hour courses, supported by tutorials:

  • Introduction to Algebraic Geometry (Anand Pillay)>
  • Finite Model Theory (Joerg Flum)
  • Advanced Stability Theory (Enrique Casanovas)

  For more information, see http://home.mathematik.uni-freiburg.de/ziegler/modnet.freiburg.06.html

• 10-13 April 2006, New Directions in Proof Complexity, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
  Newsitem added on 3 November 2005.

  Proof complexity is an area of mathematics (and mathematical logic and computational complexity theory in particular) centered around the problem whether the complexity class NP is closed under complementation. With a suitable general definition of a propositional proof system (Cook and Reckhow 1979) this becomes a lengths-of-proofs question: Is there a propositional proof system in which every tautology admits a proof whose length is bounded above by a polynomial in the length of the tautology? The ultimate goal of proof complexity is to show that there is no such proof system; that is, to demonstrate superpolynomial lower bounds for all proof systems.

  For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw04.html

• 7 April 2006, Conference in Memory of Stanley Tennenbaum, Graduate Center of CUNY, New York, USA
  Newsitem added on 27 March 2006.

  A conference in memory of Stanley Tennenbaum.

  For more information, see http://mamls.org/Tennenbaum

• 3-7 April 2006, EACL 2006: 11th Conference of the European Chapter of the Association for Computational Linguistics, Trento, Italy
  Newsitem added on 27 February 2006.

  The European Chapter of the ACL (EACL) is the primary professional association for computational linguistics in Europe.

  Deadline for early registration is 6 March 2006. For more information and an online registration form, see http://eacl06.itc.it/ or contact jzuidemascience.uva.nl

• 30-31 March 2006, V.A.F. conference (Vereniging voor Analytische Filosofie), Vrije Universiteit Amsterdam, Philosophy Department
  Costs: € 100,- (€ 70,-/€ 30,- for students with/without dinner)
  Newsitem added on 20 March 2006.

  Keynote speakers: Timothy Williamson ('"Conceptual truth"/'Is justification in the head?'), Stefaan Cuypers ('The internalism/externalism debate on moral responsibility') and Jeanne Peijnenburg ('On the probability of a probability'). Contributed papers by: Betty, Blaauw, Coeckelberg, Connolly, De Clercq, De Nul, Derra, Douven, Hindriks, Horsten, Kirschenmann, Leilich, Lockhorst, Mueller, Myin, Romeijn, Slurink, van der Schaar, Van Kerckhove, Vasconez, Veldeman, Wilde

  For more information and a programme, see http://www.filosofie.vu.nl/Nieuws/index.cfm/news_content.cfm/newsid/00AB8411-1279-D040-8B2F76678B9F8775 or contact L.B.Decockph.vu.nl or C.van.Puttenph.vu.nl.

• 27-31 March 2006, FOSSACS 2006: Foundations of Software Science and Computation Structures, Vienna (Austria)
  Newsitem added on 3 November 2005.

  FOSSACS will present original papers on foundational research with a clear significance for software science. The conference focuses on on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

  For more information, see http://fossacs06.ru.is/

• 2006, Truth and Proof: Kurt Gödel and the Foundations of Mathematics
  Newsitem added on 20 February 2006.

  The year 2006 marks the centenary of Kurt Gödel's birth. This conference aims to bring together mathematicians and philosophers of mathematics to reflect on the foundations of mathematics, particularly in the light of Gödel's work.

  For more information, see http://homepages.ed.ac.uk/s0090199/conference.htm

• 25-27 March 2006, CMCS 2006: Coalgebraic Methods in Computer Science, Vienna, Austria
  Newsitem added on 20 February 2006.

  During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications.

  For more information, see http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html

• 24-25 March 2006, Colloquium "Modern Type Theory", IHPST, 13 rue du Four, F-75006 Paris, France
  Newsitem added on 27 February 2006.

  A two-day colloquium on Modern Type Theory will be held on Friday, March 24 and Saturday, March 25 at the IHPST in Paris.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1234 or http://www-ihpst.univ-paris1.fr, or contact Mrs. Peggy Cardon at peggy.cardonuniv-paris1.fr.

• 22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), Tokyo
  Newsitem added on 26 September 2005.

  SALT 16 will be held March 22-24, 2006 at the Komaba campus of the University of Tokyo under the auspices of the Center for Evolutionary Cognitive Sciences. SALT has provided a leading annual international forum for semantics for the past 15 years. 2006 will mark the first time for it to be held outside the United States.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=998 or http://research.nii.ac.jp/salt16/

• 21-22 March 2006, Infinity Symposium, Room S111, Faculty of Sciences, Vrije Universiteit Amsterdam
  Costs: free
  Newsitem added on 4 March 2006.

  INFINITY is a BRICKS project sponsored by NWO, and is concerned with infinite objects, computation, modeling, and reasoning. The symposium is meant as an opportunity to learn about related work and meet people working in related fields. Most talks will be of a tutorial nature.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1245 or http://fspc282.few.vu.nl/infinity/index.php/Infinity_Symposium

• 20-24 March 2006, Mathematics of constraint satisfaction: Algebra, Logic, and Graph Theory, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
  Newsitem added on 3 November 2005.

  The study of constraint satisfaction problems (CSPs) began in the 1970's in artificial intelligence, where this paradigm is now as popular as ever, with hundreds of researchers using this framework to model and solve a wide variety of problems. In 1978, Thomas Schaefer published a seminal paper on the complexity classification of Boolean CSPs, and since then the importance of the CSP in theoretical computer science has continued to grow. For example, many standard complete problems for standard complexity classes are variants of CSPs, and some of the first optimal inapproximability results in combinatorial optimization were proved for certain CSPs.

  For more information, see http://www.comlab.ox.ac.uk/mathscsp/.

• 17 March 2006, Logic and Linguistics, Utrecht Institute of Linguistics OTS, Drift 23, room 1.04
  Costs: Free
  Newsitem added on 27 February 2006.

  The goal of the workshop is to allow people working on formal linguistics to present their ongoing research. This workshop is organised in collaboration with the CTL colloquium. Speakers include Jan van Eijck, Michael Moortgat, Matteo Capelletti and Fabian Battaglini.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1233

• 17 March 2006, One-day workshop 'Logic and Linguistics', Room 1.04, Institute of Linguistics OTS, Drift 23, Utrecht
  Newsitem added on 9 March 2006.

  The goal of the workshop is to allow researchers working on formal linguistics to present their ongoing work. Speakers include Jan van Eijck, Michael Moortgat & Willemijn Vermaat, Rick Nouwen, Oystein Nilsen & Jakub Dotlacil, Matteo Capelletti, Fabian Battaglini.

  For more information, contact Fabian Battaglini at Fabian.Battaglinilet.uu.nl

• 15 March 2006, Set Theory and Analysis, London, UK
  Newsitem added on 20 February 2006.

  There will be a "Set Theory and its Neighbours" meeting in London on 15th March 2006, with some funding from 'Cameleon'. The speakers at the meeting will be Peter Komjath, Matteo Viale, Mirna Dzamonja, Taras Banakh and Piotr Koszmider. As ever, we aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1202.

• 11-13 March 2006, MODNET - Workshop Around o-minimality, Leeds, UK
  Newsitem added on 5 December 2005.

  Topics include the general theory of o-minimality, generalizations, definable groups, and connections with stability and complex geometry. Speakers will (tentatively) include: Alessandro Berarducci, Mario Edmundo, Rahim Moosa, Kobi Peterzil, Artur Piekosz, Zachary Robinson, Sergei Starchenko, Alex Wilkie, Boris Zilber.

  For more information, see http://www.logique.jussieu.fr/modnet/events/omin06Leeds.html

• 10 March 2006, NVTI Theory Day 2006, Hoog Brabant, Utrecht
  Date and time: Thursday 10 March 2006, 9.30 - 16.45

  We are happy to invite you for the Theory Day 2006 of the NVTI. The Dutch Asssociation for Theoretical Computer Science (NVTI) supports the study of theoretical computer and its applications.

  As in previous years we have a strong program featuring excellent speakers from the Netherlands and abroad, covering important streams in theoretical computer science.

  For more information, see http://www.nvti.nl/Theorydays.html.

• 5-10 March 2006, 11th Estonian Winter School in Computer Science (EWSCS'06), Palmse, Estonia
  Newsitem added on 29 December 2005.

  EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS'06 is the eleventh event of the series.

  The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English.

  Deadline for registration: 20 January 2006

  For more information, an online registration form and a course list, see http://www.cs.ioc.ee/yik/schools/win2006/

• 27 February - 3 March 2006, Logic and Databases, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK
  Newsitem added on 3 November 2005.

  Logic and databases have been intimately linked since the rise of relational database systems in the 1970s. Relational databases can be modelled by finite relational structures, and first-order logic lies at the core of standard database query languages such as the Structured Query Language, SQL. As another example, closer to current research, XML documents can be modelled by labelled unranked trees, and XML query languages as logics on trees.

  The workshop will focus on recent research on logical aspects of the theory of database systems. These include the applications of logic and logical methods in the study of databases as well as questions in logic that arise from this study. Particular topics of interest include the expressive power and complexity of query languages; models and languages for semi-structured data; probabilistic databases; constraint databases, etc.

  For more information, see http://www.newton.cam.ac.uk/programmes/LAA/laaw02.html

• 22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, Austria
  Newsitem added on 3 November 2005.

  The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

  For more information, see http://www.kr.tuwien.ac.at/wlp06/

• 23-27 January 2006, OzsL Schoolweek, , Hotel Zwartewater, Zwartsluis
  Title: OzsL Schoolweek, canceled
  Newsitem added on 15 December 2005.

  Far too few people subscribed for the schoolweek of the OzsL. Therefore the organisers decided to cancel the schoolweek.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1072 or the OZSL-site at http://www.ozsl.uu.nl/.

• 19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal
  Newsitem added on 23 November 2005.

  This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"

  For registration or more information, see http://www.mat.uc.pt/~kahle/dl06/ or contact the organizers at kahlemat.uc.pt.

• 16 January - 7 July 2006, Logic and Algorithms
  Location: Isaac Newton Institute for Mathematical Sciences
  Newsitem added on 3 November 2005.

  Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The Newton Institute Semester Programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity.

  Satellite workshops include 'Workshop on Finite and Algorithmic Model Theory', 'Logic and Databases', 'Mathematics of Constraint Satisfaction', 'New Directions in Proof Complexity', 'Constaints and Verification' and 'Games and Verification'.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1027 or http://www.newton.cam.ac.uk/programmes/LAA/

• 12 January 2006, Workshop on The Logic of Variation, Drift 23, room 010 and Drift 15, room 002
  Newsitem added on 10 January 2006.

  On Friday 13th of January, Willemijn Vermaat defends her PhD thesis 'The Logic of Variation' at Utrecht University (Academiegebouw, Domplein 29, Utrecht, 12.45). On the occasion of this event, an informal workshop will be held on Thursday 12th of January.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1133 or contact Merlijn Sevenster at sevenstrscience.uva.nl.

   MoL and PhD defenses

• 20 December 2006, Master of Cognitive Science defense, Gideon Borensztajn
  Title: Automatic Discovery of Constructions in Children's Speech
  Date and time: Wednesday 20 December 2006, 15.30-16.30
  Location: P 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

  This Wednesday, Gideon Borensztajn will defend his MSc thesis "Automatic Discovery of Constructions in Children's Speech" (MSc Cognitive Science). The meeting will consist of a 30 minute presentation by the candidate, and 30 minute questioning by the thesis committee (Remko Scha, Reinhard Blutner, Jelle Zuidema). Everyone is welcome to attend.

  For more information, please contact illcscience.uva.nl

• 7 December 2006, Master of Logic defense, Wouter Koolen-Wijkstra
  Title: Discovering the Truth by Conducting Experiments
  Date and time: Thursday, December 7, 2006, 13.00
  Location: Room C.210, Nieuwe Achtergracht 166, Amsterdam
  Supervisor: Peter Grünwald

  For more information, please contact tkassenascience.uva.nl

• 10 November 2006, Master of Logic defense, Gaelle Fontaine
  Title: Axiomatization of ML and Cheq
  Date and time: Friday November 10, 2006, 14.00 hr
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Yde Venema

  For more information, please contact tkassenascience.uva.nl

• 6 November 2006, Master of Logic defense, Jacob Vosmaer
  Title: Connecting the Profinite Completion and the Canonical Extension using Duality
  Date and time: Monday November 6, 2006, 15.30 hr
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Yde Venema

  For more information, please contact tkassenascience.uva.nl

• 20 October 2006, PhD defense, Aline Honingh
  Title: The Origin and Well-Formedness of Tonal Pitch Structures
  Date and time: Friday 20 October 2006, 12.00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Prof. dr. Rens Bod, Prof dr. Henk Barendregt

  For more information, please contact ahoninghscience.uva.nl

• 12 October 2006, PhD defense, Marie Nilsenova
  Title: Rises and Falls. Studies in the semantics and pragmatics of intonation.
  Date and time: Thursday 12 October 2006, 12:00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Prof. dr. J.A.G. Groenendijk
  Copromotor: Dr. P.J.E. Dekker, Prof. dr. M.G.J. Swerts

  For more information, contact m.nilsenovauvt.nl

• 4 October 2006, PhD defense, Merlijn Sevenster
  Title: Branches of imperfect information: logic, games, and computation
  Date and time: Wednesday 4 October 2006, 12:00
  Location: Oude Lutherse Kerk, Singel 411
  Promotores: prof.dr. J.F.A.K. van Benthem and lector dr. P. van Emde Boas

  For more information, please contact sevenstrscience.uva.nl

• 14 September 2006, Master of Logic defense, Martin Müller
  Title: Accent and Focus in OT: A cross-linguistic perspective
  Date and time: Thursday 14 September 2006, 11.00
  Location: Room B. 318, Nieuwe Achtergracht 166, Amsterdam
  Supervisor: Jeroen Groenendijk

  For more information, please contact tkassenascience.uva.nl

• 7 September 2006, PhD defense, Robert Spalek
  Title: Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs
  Date and time: Thursday 7 September 2006, 12:00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Harry Buhrman
  Copromotor: Ronald de Wolf

  In this thesis, we investigate fast quantum algorithms for several graph problems (such as finding a maximal bipartite matching, and a maximal flow in an integer network) and verification of matrix products. We also address quantum query lower bounds, i.e. proofs that certain tasks cannot be computed faster than some value. We prove the first known time-space tradeoffs for quantum computation, and most of them are tight.

  For more information, see http://www.ucw.cz/~robert/papers/abs-phd-en.html

• 23 March 2006, PhD defense, Clemens Kupke
  Title: Finitary Coalgebraic Logics
  Date and time: Thursday 23 March 2006, 12.00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Jan Rutten
  Copromotor: Yde Venema, Alexander Kurz

  For more information, please contact kupkecwi.nl

• 17 March 2006, PhD defense, Nick Bezhanishvili
  Title: Lattices of Intermediate and Cylindric Modal Logics
  Date and time: Friday 17 March 2006, 12.00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Prof. dr. D.H.J. de Jongh
  Copromotor: Dr. Y. Venema

  For more information, please contact nbezhaniscience.uva.nl

• 8 March 2006, Master of Logic defense, Yanjing Wang
  Title: Indexed Semantics and Its Applications in Modelling Interactive Unawareness
  Date and time: Wednesday 8 March 2006, 15.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Frank Veltman, Maricarmen Martinez

  For more information, see http://www.illc.uva.nl/NewsandEvents/index.php?cat=defenses

• 6 March 2006, Master of Logic defense, Clive Nettey
  Title: Link-Based Methods for Web Information Retrieval
  Date and time: Monday 6 March 2006, 9.30-11.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Dr. ir. Jaap Kamps

  For more information, please contact tkassenascience.uva.nl

• 30 January 2006, Master of Logic defense, Edgar Andrade
  Title: Meaning and Form in the Event Calculus
  Date and time: Monday 30 January 2006, 13.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Michiel van Lambalgen

  For more information, please contact tkassenascience.uva.nl

• 30 January 2006, Master of Logic defense, Ioanna Dimitriou
  Title: Strong limits and Inaccessibility with non-wellorderable powersets
  Date and time: Monday 30 January 2006, 16.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Benedikt Löwe

  For more information, ask idimitriscience.uva.nl

• 30 January 2006, Master of Logic defense, Dirk Buschbom
  Title: Understanding as a teleonomical concept: fundamentals of the hermeneutical game
  Date and time: Monday 30 January 2006, 14.30
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
  Supervisor: Martin Stokhof

  For more information, contact dirk_buschbomweb.de

• 17 January 2006, PhD defense (Leiden), Catarina Dutilh Novaes (alumna ILLC)
  Title: Formalizations apres la lettre - Studies in Medieval Logic and Semantics
  Date and time: 17 January 2006, 15.15
  Location: Academiegebouw - Rapenburg 70, Leiden
  Promotor: Prof. B. G. Sundholm
  Copromotor: Dr. E. P. Bos

  For more information, please contact cdutilhnovaesyahoo.com. If you are interested in attending the defense, please get in touch with the promovendus first, as there is a limited number of places.

• 11 January 2006, PhD defense, Troy Lee
  Title: Kolmogorov Complexity and Formula Size Lower Bounds
  Date and time: Wednesday 11 January 2006, 12.00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: Harry Buhrman

  For more information, contact Troy Lee at troy.leecwi.nl

   Projects and Awards

• VICI awarded to Rens Bod
  Newsitem added on 14 December 2006.

  The ILLC is very proud to announce that the VICI research proposal "Integrating Cognition" of Rens Bod has been selected by NWO Geesteswetenschappen. Rens is awarded the sum of 1.25 million EURO which will create jobs for 2 PhD students (3 years) and 2 postdocs (3 years).

• Scientific Network PhiMSAMP
  Time: 2006 - 2009
  Newsitem added on 31 August 2006.

  The DFG (Deutsche Forschungsgemeinschaft = German Research Foundation) decided to fund the 'Scientific Network' PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) coordinated by Thomas Müller (Bonn) and Benedikt Löwe.
  The Network consists of six nodes, Amsterdam, Bonn, Brussels, Darmstadt, Dortmund, and Fort Wayne IN, and will fund workshops and meetings on applying sociological and empirical methods to questions of philosophy of mathematics.

  The first such workshop will be held in conjunction with the congress GAP.6 in Berlin, Sep 14-16, on the topic of "Towards a new epistemology of mathematics".

  For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/

• 3 out of 6 ESSLLI prizes to ILLC students!
  Newsitem added on 13 August 2006.

  ILLC PhD and MoL students were very succesful in the 2006 ESSLLI Summer School. In the oral session Reut Tsarfaty won the first prize for her talk "The Interplay of Syntax and Morphology in Building Parsing Models for Modern Hebrew".
  Michael Franke and Scott Grimm bith received third places; Michael in the oral session for his talk "Teological Necessity and Only" and Scott in the poster session for his poster "Subject Marking in Hindi/Urdu: A Study in Case and Agency" (based on his Master of Logic thesis).

  The winner from both the poster as the oral session may choose 500 euros worth of Springer books.

  For more information, see http://staff.science.uva.nl/~katrenko/stus06/prize.html

• ILLC team wins "Nieuwe Ideeën Prijs"
  Newsitem added on 22 June 2006.

  We are very proud to let you know that a team consisting of Leen Torenvliet, Sybren Stüvel (student) and Peter Blok (Head of FNWI Buildings) has won the prestigious Science Park Nieuwe Ideeën Prijs for their Digital Location System.

  This location system can serve many purposes. For one thing, it can and will be used as a security system in buildings like Euclides. It is based on an idea of Leen which as the jury said is "as simple as it is brilliant", but about which we cannot say too much until the patent application is completed. Suffice it to say that there is a lot of interest from outside to develop this system further and to bring it on the market.

  Also see http://www.scienceparkamsterdam.org/ for more information.

• Ackermann Award 2006 to Balder ten Cate
  Newsitem added on 21 May 2006.

  We are glad to inform you that the Jury of the Ackermann Award 2006 has decided to award to Balder ten Cate one of the two Ackermann Awards 2006 for his ILLC dissertation "Model theory for extended modal languages"

  The EACSL Outstanding Dissertation Award for Logic in Computer Science will be presented to the recipients at the annual conference of the EACSL (CSL'06).

  The award consists of
  * a diploma,
  * an invitation to present the thesis at the CSL conference,
  * the publication of the abstract of the thesis and the laudatio in the CSL proceedings,
  * travel support to attend the conference.

  For more information about the award, see http://www.dimi.uniud.it/~eacsl/award.html

• Martin Stokhof elected as KNAW member
  Newsitem added on 21 May 2006.

  We are proud to announce that Martin Stokhof, professor in Philosophy of Language at ILLC, is elected as member of the KNAW (Royal Netherlands Academy of Arts and Sciences). He is the fourth ILLC professor that becomes KNAW member after Renate Bartsch, Anne Troelstra and Johan van Benthem.

  For more information, see http://www.knaw.nl/.

• Prof. Krzysztof Apt: member of Academia Europaea
  Newsitem added on 30 April 2006.

  We are happy to announce that ILLC and CWI professor Krzysztof Apt has been chosen as "member of Academia Europaea" in Informatics Section. In total there are 66 members of which 7 from the Netherlands.

  For more information, see http://www.acadeuro.org/

• NIAS Fellowships 2007-2008
  Newsitem added on 30 April 2006.

  NIAS Fellows are selected from prominent researchers and senior scholars in the humanities and social sciences who have already made a contribution to scholarship and who are able to continue their research and to advance knowledge in their particular fields during their stay. Fellowship are awarded on the basis of submitted applications. Deadline for submissions is 1 July 2006.

  Application forms should be sent by e-mail to applicationNIAS.KNAW.NL. For more information, see http://www.nias.knaw.nl/en/fellowships/.

• VIDI grants awarded to Khalil Sima'an and Jaap Kamps
  Newsitem added on 9 July 2006.

  We are happy and proud to announce that both Khalil Sima'an and Jaap Kamps have been awarded VIDI subsidies for their respective projects, 'Priors for the Estimation of Probabilistic Grammars from Incomplete Natural Language Data' and 'Retrieving encoded archieval descriptons more effectively' ('README').

  The 'Priors' project has a total budget of 767 kEURO of which 406 kEURO is contributed by NWO, and 65 kEURO by the CvB-UvA. Besides Khalil himself, a postdoc (3 years) and a PhD student (4 year) will be attracted to work on the project.

  Details of the README project are forthcoming.

  Many congratulations to Khalil and to Jaap (who is away travelling). Congratulations to the ILLC are also applicable because 2 out of 8 approved VIDI project proposals within NWO Exact Sciences go to the ILLC!

  Frank Veltman
  Ingrid van Loon

  For more information, email simaanscience.uva.nl or kampsscience.uva.nl.

• New ILLC Research Projects
  Newsitem added on 3 April 2006.

  It looks like that the highly succesful year 2005 will be followed by an equally succesful year 2006 as we can already announce a number of awarded projects

  Two projects are awarded in the NWO Open Competitie for the Exact Sciences:
  - "Effective Focused Retrieval Techniques", by Jaap Kamps: one PhD student for 4 years.
  - "Theoretical an Algorithmic Complexity; Tresholds in Computer Games", by Johan van Benthem: two PhD students (one at ILLC) for 4 years.

  Moreover, Khalil Sima'an together with Dr. Andy Way (Dublin City University) succeeded in obtaining funding from the Science Foundation Ireland for 2 PhD students.

  Then, a NWO Rubicon grant was given to dr. Sujata Ghosh from Kolkata, India. The grant implies the funds for a 1 year appointment as a postdoc at ILLC. Sujata Ghosh will start working here August 1 but will firstly be our guest in the month June.

  Finally we are happy to announce the award of a second Rubicon grant to Troy Lee, former PhD student of Harry Buhrman. He will use this grant to do research at the Université Paris.

• VICI project awarded to Yde Venema
  Newsitem added on 20 December 2005.

  The ILLC is extremely happy and proud to announce that the VICI research proposal of Yde Venema has been selected by NWO Exacte Wetenschappen. He is awarded the sum of 1.43 Million EURO for his project "Algebra and Coalgebra: the mathematical environment of modal logic", consisting of 3 PhD students (4 years) and 2 postdocs (2 years). The expecting starting date of the project is September 2006.

• Project 'Origins of truth and the sentence'
  Newsitem added on 22 December 2005.

  In the framework of "Programmatisch onderzoek", NWO Geesteswetenschappen, our ILLC colleague Wolfram Hinzen is awarded subsidy for his project "Origins of truth and the sentence". The subsidy is for the appointment of a PhD student and postdoc.

   Funding, Grants and Competitions

• Fulbright-scholarships for promovendi
  Newsitem added on 8 October 2006.

  The scholarship is intended for doing research or taking specialized courses at an American university for a period of between three and six months.

  Deadline for applications is December 1st, 2006. For more information, see http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=216

• Fulbright-scholarships for junior en senior researchers
  Newsitem added on 8 October 2006.

  The scholarship is intended for teaching courses, possibly in combination with doing research, at an American university for a period of at least 3 months. The course taught may consist of a series of guest lectures.

  For more information, see http://www.fulbright.nl/content.aip?language=NL&destination=USA&id=218

• Academische Jaarprijs
  Newsitem added on 8 October 2006.

  (dutch only)
  De tweede editie Academisch Jaarprijs is weer van start gegaan. Onder de vraag 'Jouw onderzoek in de hoofdrol?' worden tot 10 november teams van de 14 universiteiten opgeroepen zich kandidaat te stellen voor de Academische Jaarprijs. Welk team van welke universiteit slaagt er het beste in om hun onderzoek duidelijk en begrijpelijk te maken aan een breed publiek en sleept de hoofdprijs van 100.000 euro in de wacht? In NRC Handelsblad en nrc.next worden regelmatig advertenties geplaatst.

  Voor meer informatie, ga naar http://www.academischejaarprijs.nl/.

• Open Call: COST European Cooperation in the field of Research
  Newsitem added on 14 May 2006.

  COST invites proposals for new COST Actions contributing to the scientific, economic, cultural or societal development of Europe. Proposals playing a precursor role for other European programmes involving young groups~ ideas are especially welcome.

  For more information, see http://www.cost.esf.org/index.php?id=721

• E. W. Beth Dissertation Prize 2006
  Newsitem added on 10 July 2006.

  Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information.

  Submissions are invited for 2005. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2005. The dissertations will be judged on the impact they made in their respective fields, breadth and originality of the work, and also on the interdisciplinarity of the work. Ideally the winning dissertation will be of interest to researchers in all three fields.

  The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1430. Deadline for submissions is July 31, 2006.

• Smart Mix: Nieuw initiatief van EZ, OCW, SenterNovem en NWO
  Newsitem added on 3 April 2006.

  Smart Mix is a new funding programme with a yearly budget of € 100 million. The programme encourages cooperative efforts between corporation, social institutes and knowledge institutes. Consortia of users of knowledge (corporations, organisations etc) and knowledge institutes (universities, colleges and research institutes). can submit project proposals together.

  For more information (dutch only), see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1302 or http://www.smartmix.nl/.

• Call for proposals Cognitie - Advanced Studies
  Newsitem added on 23 March 2006.

  (dutch only)
  De NWO Programmacommissie Cognitie wil u via deze weg attenderen op de start per 22 maart 2006 van de aanvraagronde voor Advanced Studies Initiatieven in het kader van het NWO Programma Cognitie. Het doel van deze Advanced Studies is het bijeenbrengen van actieve, trendsettende Nederlandse en buitenlandse cognitieonderzoekers in een intensieve, interactieve setting om op die manier nieuwe doorbraken op specifieke thema's binnen de cognitiewetenschappen te bereiken. Een Advanced Studies Initiatief kan verschillende vormen aannemen, waarbij de gevraagde subsidie mag vari~ren tussen de 15.000 en 50.000 Euro.

  De sluitingsdatum van deze subsidieronde is vastgesteld op 12 juni 2006, om 12.00 uur. Op deze wijze is het mogelijk om de beoordelingsprocedure en de toewijzing van de subsidies medio juli 2006 af te ronden. De aanvragen moeten digitaal worden aangeleverd via het elektronische aanvraagsysteem IRIS. Dit indienen kan vanaf de NWO website. Het programma is toegankelijk voor medewerkers van Nederlandse instellingen voor wetenschappelijk onderzoek inclusief door NWO erkende instituten.

  Voor de tekst van de officiele oproep, zie http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOA_6N5CCX?Opendocument. Voor meer informatie, zie de NWO Cognitie website op http://www.nwo.nl/cognitie of neem contact op met het programmabureau op cognitienwo.nl.

• NWO Cognitie en Gedrag
  Newsitem added on 4 May 2006.

  (dutch only)
  Programma: NWO Cognitie en Gedrag
  Titel oproep: Advanced Studies Initiatief 2006
  Deadline: 12 juni 2006 om 12.00 uur
  Budget: 250.000 Euro. De gevraagde subsidie mag variëren tussen de 15.000 en 50.000 Euro.

  Op diverse plaatsen zien we interdisciplinaire instituten en programma's die fundamentele thematiek ontwikkelen die door diverse traditionele disciplines wordt gedeeld. Om dit soort ontwikkelingen te doen gedijen is van groot belang dat creatieve wetenschappers uit diverse betrokken vakgebieden met regelmaat in diepgaand contact komen. En dat op welgekozen strategische onderzoeksthema's die soms ook agendabepalende Nederlandse specialiteiten kunnen worden in een internationale context. Het Advanced Studies format is hiervoor uiterst geschikt, met welgekozen projecten van een passende omvang of langer lopende thema's met een zekere continuïteit.

  Voor nadere informatie en documentatie, zie de NWO oproep (PDF) of neem contact op met Mw. dr. E. Hoogland (telefoon: +31 (0)70 344 08 58, e-mail: hooglandnwo.nl) of Mw. drs. A. Dijkstra (telefoon: +31 (0)70 344 07 36 / +31 (0)70 344 08 36, e-mail: dijkstranwo.nl)

• Eurocores Theme Proposals sollicited
  Newsitem added on 20 April 2006.

  The European Science Foundation is inviting well-developed theme proposals for new EUROCORES Programmes (EUROCORES themes) with the deadline of 1 June 2006 (midnight).

  The themes are generated annually through a Call for theme proposals (deadline 1 June) from the European research community and/or national funding or research performing organisations. Through a rigorous peer-review process, a number of the submitted proposals will be selected for further development. Pending the viability of these selected themes in terms of adequate interest and commitment for participation from ESF's Member Organisations, these ideas will be launched into new EUROCORES Programmes.

  Each proposing team should include at least 4 researchers and/or representatives from national funding or research performing organisations from 4 different member countries.

  For more information, including an ESF membership list, see http://www.esf.org/esf_activity_home.php?language=0&domain=0&activity=7 or contact

• Nominations for 2006 Prize for Achievement in Information-Based Complexity
  Newsitem added on 20 February 2006.

  This annual prize is for outstanding achievement in information-based complexity. It consists of $3000 and a plaque and will be awarded at a suitable location. The members of the prize committee would appreciate nominations for the prize. Nominations may be sent to traubcs.columbia.edu. However, a person does not have to be nominated to win the award.

  The deadline for the award is March 31, 2006. The award can be based on work done in a single year, in a number of years or over a lifetime. The work can be published in any journal, in a number of journals, or as monographs.

• Akademie Colloquia 2007 KNAW (Deadline: 1 March 2006)
  Newsitem added on 16 January 2006.

  Doel: het bijeenbrengen van een selecte groep wetenschappelijk onderzoekers uit binnen- en buitenland op een actueel thema.

  Subsidie/beurs: de KNAW biedt financiële en logistieke ondersteuning bij de organisatie van ten hoogste zes kwalitatief hoogwaardige wetenschappelijke colloquia per jaar met maximaal vijftig deelnemers.

  De bijdrage van de Akademie in het exploitatietekort van het Colloquium bedraagt maximaal 16.000 euro per Colloquium. Voor de organisatie van een aansluitende master class van ten hoogste twee dagen met promovendi is een additionele bijdrage van maximaal 3.500 euro per dag beschikbaar, indien er minimaal vijftien promovendi aan deelnemen. Daarnaast levert het Bureau van de Akademie kosteloos organisatorische en administratieve bijstand aan de organisator van het Colloquium.

  Meer informatie over criteria en aanvraagformulieren: http://www.knaw.nl/cfdata/subsidies/subsidie_detail.cfm?orgid=1 of
  Martine wagenaar
  tel. 020-5510747
  martine.wagenaarbureau.knaw.nl

• NWO's Mosaic Programme
  Newsitem added on 3 November 2005.

  Please note that the third (and probably last) round of NWO's Mosaicprogramme for talented students is open for application starting 12 December 2005, the deadline for application is 10 January 2006

  For more information, see http://www.nwo.nl/kleurrijktalent or http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng

• Call Heineken Prize for Cognitive Science
  Newsitem added on 20 October 2005.

  Nominations have opened for the prestigious Heineken Prizes 2006 including - for the first time - the Heineken prize for the cognitive sciences. The prize, worth USD 150,000, reward outstanding scientific achievement in the field of cognitive science. Prospective candidates should be active researchers who are expected to continue their research activities for at least ten years. Their research achievements are outstanding and a source of inspiration to others. The award will be presented to a single individual.

  For more information, see http://www.knaw.nl/heinekenprizes/

   Open Positions at ILLC

• Three PhD student positions in "Logic & Games"
  Newsitem added on 26 October 2006.

  The Research Training Site GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory") invites applications for 3 PhD positions in the field of Logic and Games (starting as soon as possible; at the lastest on February 1, 2007).

  We are looking for candidates with a strong background in mathematical logic, philosophical logic, theoretical computer science, or theoretical linguistics (or in another area related to the project topic such as game theory), and an interest in writing a dissertation on Logic and Games. There will be one position each in the themes "Games in Mathematics", "Games in Linguistics", and "Games and Social Interaction". The successful candidates are expected to develop their thesis topic within the first six months in collaboration with the researchers at the ILLC.

  The candidates are expected to have a strong interdisciplinary interest and be open minded. While the focus of the appointment is on research training, it will include moderate teaching duties in logic-related courses. Successful candidates will have a research-oriented Master's degree (MSc/MA) or equivalent qualifications by the time of appointment.

  DEADLINE: November 30, 2006
  For more information (including detailed information about how to apply and information on formal eligibility for EU-funded projects), please refer to the website at http://www.illc.uva.nl/GLoRiClass/index.php?page=2 or contact Dr B Löwe (bloewescience.uva.nl).

• Vacancy at ILLC: Lecturer in NLP (0.5 FTE, max. 5 years)
  Newsitem added on 3 August 2006.

  The Institute for Logic, Language and Computation has a vacancy for a teaching position of 0.5 FTE at the level of "Docent" (Lecturer) in the area of Natural Language Processing. The total duration of this position is for five years (tenure is not planned). Starting date: As early as possible before January 2007.

  For more information, see the vacancy text at http://www.uva.nl/vacatures/object.cfm/objectid=3784BE3C-5705-4DCD-9D4DEF1294F1F270

• PhD position in Web Information Retrieval
  Newsitem added on 24 September 2006.

  The ILLC seeks a versatile, highly motivated PhD candidate to work on focused web search. This fully funded position is part of the EfFoRT (Effective Focused Retrieval Techniques) project. EfFoRT is a joint research undertaking of the University of Amsterdam and the University of Twente, and is funded by the Netherlands Organization for Scientific Research (NWO).

  Applications should be sent before 10 October 2006. For more information, see

  http://www.uva.nl/vacatures/object.cfm/objectid=0479D03C-7592-48BB-9C85210622D70177

• PhD Scholarship in "Reasoning About Norms", ILLC/Roskilde
  Newsitem added on 3 August 2006.

  A Ph.D. scholarship at The Danish Research School in Philosophy, History of Ideas and History of Science, PHIS, is available commencing on September 15th 2006, or at the earliest possible date thereafter. The project is part of a co-operation between ILLC - Institute of Logic, Language and Information, Amsterdam University, and The Section for Philosophy and Science Studies, Roskilde University. The main focus of the project will be on formal models of reasoning about norms; particularly a deontic logical approach is desirable. The successful candidate should preferably have a background in philosophical logic or a related field. The candidate is expected to spend approximately half of the three years allotted to the project at The Section for Philosophy and Science Studies, Roskilde University, Denmark, and half of the time at the ILLC, University of Amsterdam, the Netherlands.

  Closing date for application is the 1st of September 2006 at 12 noon. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1447 or contact Professor Stig Andur Pedersen, phone: +45 467432265, e-mail: sapruc.dk, or Secretary Vibeke Sanders Nielsen, phone +45 46742587, e-mail vinruc.dk.

• ILLC vacancies for 3 PhD students and 1 postdoc
  Newsitem added on 23 April 2006.

  The ILLC has vacancies for 3 PhDs and 1 post-doc, in the area of Logic and Theoretical Computer Science full-time, starting date September 2006. The appointees will join the VICI project 'Algebra and Coalgebra, the mathematical environment of modal logic', which is funded by the NWO. The project will be directed by Dr Y. de Venema.

  They will be expected to perform research related to the mathematical theory of modal logic.
  Each of the PhD students will concentrate on one of the following projects:
  - Modal fixpoint logic
  - Partially ordered algebra
  - Universal coalgebra
  The post-doc will perform research preferably in the following area:
  - Coalgebra automata.
  

  For more information, see http://www.uva.nl/vacancies or http://www.english.uva.nl/vacancies/object.cfm/objectid=A44F58E5-560B-489C-B1DCE7856F46F88B

• Postdoc position in Linguistics
  Newsitem added on 27 February 2006.

  The Universiteit van Amsterdam seeks to fill a PostDoc-position in linguistics. It forms a part of the overall project 'The origins of truth and the origins of the sentence' recently funded by the Netherlands Organisation of Scientific Research (NWO) and directed by Dr. Wolfram Hinzen.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1231 or contact Dr. Wolfram Hinzen (w.hinzenuva.nl).

• PhD position in Philosophy
  Newsitem added on 27 February 2006.

  The Universiteit van Amsterdam seeks to fill a PhD-position in philosophy. It forms a part of the overall project 'The origins of truth and the origins of the sentence' recently funded by the Netherlands Organisation of Scientific Research (NWO) and directed by Dr. Wolfram Hinzen. The PhD-subproject deals with the metaphysics, epistemology, and psychology of truth.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1232 or contact Dr. Wolfram Hinzen (w.hinzenuva.nl).

• PhD and Postdoc position at ILLC
  Newsitem added on 21 November 2005.

  The NWO project MuSeUM invited applications for:
  A Post-doctoral researcher, fulltime or at least for 0.75 FTE (ILLC)
  A PhD position, fulltime or at least for 0.75 FTE (ILLC)
  A research programmer, fulltime or at least for 0.75 FTE (Informatics Institute)

  Application deadline: December 10, 2005. For application information: click here or go to: http://www.uva.nl/vacatures/

• 4 PhD positions at ILLC
  Newsitem added on 24 October 2005.

  As part of the Marie Curie project GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory"), the newly created ILLC Centre for Logic and Games invites applications for 4 PhD positions in the field of Logic and Games, (starting February 1, 2006) one for each of the four Main Themes. Deadline for applications has been extended to 25 November.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1024, the Website ILLC Centre for Logic and Games at http://www.illc.uva.nl/CLG/ or the Handbook for Marie Curie Host Fellowships at ftp://ftp.cordis.lu/pub/fp6/docs/calls/mariecurie-action/handbook_est_200401_en_pdf.zip, Or contact Dr B. Löwe at bloewescience.uva.nl.

   Open Positions, General

• Junior Professor Position (W1) in Mathematics / Applied Logic, Technische Universitaet Darmstadt, Germany
  Newsitem added on 23 November 2006.

  The Department of Mathematics of the Darmstadt University of Technology (TUD) invites applications for a Juniorprofessorship in Mathematics - Applied Logic to be filled 1.4.2007. Applicants must be qualified in Applied Logic. Applications from candidates working in "Mathematical Proof Theory" (e.g. proof mining, proofs as programs, reverse mathematics, constructive formal systems) and/or "Computability in Mathematics" (e.g. effective algebra and analysis, symbolic computation) are particularly welcome.

  Duties of the successful candidate are to take part in the teaching provided by the department, to conduct original research in the area mentioned above and to further develop pedagogical skills. Willingess to take part in academic administrative issues is also expected.

  Applications must be received before 31 December 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1617 or the official German version of this advertisement at http://www.tu-darmstadt.de/pvw/dez_iii/stellen/337.tud.

• Three positions in computer science and applications, University of New Mexico
  Newsitem added on 9 November 2006.

  The University of New Mexico invites applications for two tenure-track and one senior position. We are actively seeking applicants in theory and algorithms for these positions. We are a strongly interdisciplinary department and are particularly interested in applicants pushing the boundaries of computer science with other fields, including but not limited to: bioinformatics and biological computation, embedded systems and sensor networks; scientific computing and simulation; physics and computing; and game theory and economics.

  Candidates must have completed a doctorate in CS or a relevant area by August 15, 2007. Complete job posting at: http://www.cs.unm.edu/jobs. For best consideration, complete applications must be received by December 15, 2006, although we will continue to accept applications until the positions are filled.

• Postdoctoral position in "Mathematics for Information", CalTech, Pasadena CA (U.S.A.)
  Newsitem added on 30 November 2006.

  Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2007. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation as resources throughout science and engineering. Areas of interest include algorithms, complexity, applied combinatorics, applied probability, statistics, information and coding theory, geometry processing, multiresolution methods, control and optimization.

  Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All materials are due by Friday, December 15th, 2006. Positions are contingent upon completion of the PhD.

• Nine research assistant positions on Spatial Cognition, Reasoning, Action and Interaction, Bremen/Freiburg (Germany)
  Newsitem added on 20 November 2006.

  9 research assistant positions are available, at the "Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction" at the Universities of Bremen and Freiburg, Germany.

  The positions are in general concerned with interdisciplinary long-term research in Spatial Cognition. For some positions, formal methods, logic and category theory are used.

  Deadline varies, but for most positions is 1 December 2006. For details, see http://www.sfbtr8.uni-bremen.de/openpositions.html (in particular, projects I1, I3 and I4).

• Full Professorship in Algorithmic Graph Theory, Athens, Greece
  Newsitem added on 12 October 2006.

  The Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens has an opening at the level of Associate or Full Professor in the area of Algorithmic Graph Theory with applications to Informatics and Telecommunications.

  The deadline for application submission is December 4, 2006. Please note that the language of instruction is Greek. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1556 or contact Prof. Elias Koutsoupias (eliasdi.uoa.gr).

• Heinz Hopf Lectureships, ETH Zuerich
  Newsitem added on 8 October 2006.

  The Department of Mathematics of the ETH Zrich invites applications for several Heinz Hopf Lectureships beginning 1 October 2007 or earlier. The positions are awarded for a period of 3 years, with the possibility of an extension by 1 year.

  Duties of Heinz Hopf lecturers include research and teaching in mathematics. Together with the other members of the department, the new lecturers will be responsible for undergraduate and graduate courses for students of mathematics, natural sciences, and engineering. The moderate teaching load leaves ample room for further professional development. Courses at Master level may be taught in English.

  Applications must be received before November 30, 2006. For more information, see http://www.math.ethz.ch/jobs/hopf.

• Postdoctoral position in Algorithms and Complexity Theory, Simon Fraser University (Vancouver)
  Newsitem added on 9 November 2006.

  Applications are invited for one or more postdoctoral fellowships in the areas of Algorithms and Complexity Theory. Strong candidates in other theoretical areas are also encouraged to apply. Fellowships will be held in the School of Computing Science, Simon Fraser University, Vancouver, British Columbia, Canada.

  These positions are offered in conjunction with the Pacific Institute for the Mathematical Sciences (PIMS). PIMS postdocs are awarded by competition within the Institute. Applicants must have a Ph.D. at the time they take up the position. The award is tenable for one year with a strong possibility of renewal for a second year. The candidate may begin a position any time between April 1, 2007 and January 1, 2008.

  Application packages must be received by November 30, 2006. For more information, see http://www.cs.sfu.ca/JobOpp/postdoc.html

• Open Positions at Gent University on the Application of adaptive Logics to Topics in the Philosophy of Science
  Newsitem added on 19 November 2006.

  The Centre for Logic and Philosophy of Science of Ghent University has the possibility to employ pre-doctoral and post-doctoral researchers for a project on the application of adaptive logics to topics in the philosophy of science.

  Possible research topics include:
  - The application of adaptive logics to such topics as induction, abduction, the dynamics of theories, causation, counterfactual reasoning.
  - The formulation of new adaptive logics in view of such applications.

  For more information, see http://logica.ugent.be/centrum/jobs.html and http://logica.ugent.be/adlog/al.html.

• PhD and MSc Scholarships in Multi-agent Systems at IIIA-CSIC in Barcelona
  Newsitem added on 24 August 2006.

  The Artificial Intelligence Research Institute (IIIA) offers several PhD and MSc scholarships for students pursuing a full-time PhD or MSc degree in Artificial Intelligence in the areas of multi-agent systems and autonomic computing. The IIIA is a research institute member of the Spanish Council for Scientific Research (CSIC), Spain's largest public institution devoted to science and technology.

  For more information, the interested candidates should refer to http://www.iiia.csic.es/.

• Postdoctoral position in Algorithms, Dartmouth College (Hanover NH)
  Newsitem added on 19 October 2006.

  The Computer Science Department at Dartmouth College has an opening for a postdoc in Algorithms, starting as early as January 2007. Areas of interest include theory and applications of optimization, approximation, randomization, and algorithmic game theory/economics.

  Review of applications will begin November 15, 2006, and continue until position is filled. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1560 or http://www.cs.dartmouth.edu/, or contact Lisa Fleischer at lkfcs.dartmouth.edu.

• Assistant Senior Lecturer in Theoretical Computer Science, Stockholm (Sweden)
  Newsitem added on 8 October 2006.

  The School of Computer Science and Communication at the Royal Institute of Technology, Stockholm, Sweden has an Open position for Assistant Senior Lecturer in Computer Science specialized to Theoretical Computer Science.

  The applicants will be assessed according to scientific and teaching excellence. The successful candidate is expected to complement or strengthen current research and education in theoretical computer science at KTH CSC, and to be able to get external funding for research projects. Moreover, she/he will interact with society and inform the public about research and development. Special importance will be given to scientific qualifications. In the course of his/her employment period, the assistant senior lecturer will be given the opportunity to acquire useful qualifications and experiences for himself/herself; this is to enable the person to be eligible for promotion to senior lecturer.

  Applications must be received before November 8, 2006. For more information, see http://www.csc.kth.se/tcs/ or contact professor Stefan Arnborg at stefannada.kth.se.

• PhD student position / postdoc position in "Foundations of Computer and Network Security Group", ETH Zuerich
  Newsitem added on 30 July 2006.

  The research group headed by Ralf Kuesters at the Swiss Federal Institute of Technology, Zurich (ETH Zurich) has an open position for a PhD student/Postdoc.

  The research of our group currently focuses on various aspects of cryptographic protocols, including rigorous definitions of security requirements, modular design, and semi- and fully automatic analysis. We study these aspects both from a formal/logical and a cryptographic point of view.

  For more information, see http://www.ti.inf.ethz.ch/people/kuesters_phd.html Or contact Ralf Kuesters at ralf.kuestersinf.ethz.ch

• PhD student position in Computer Science, Informatics Institute, UvA
  Newsitem added on 6 August 2006.

  The PRG (http://www.science.uva.nl/research/prog/) is part of the Computing, System Architecture and Programming Laboratory. Guided by prof.dr. Jan Bergstra it is responsible for education and research in the area of programming methods and supporting software tools.

  Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which we are looking for a PhD candidate.

  For more information, see http://www.science.uva.nl/~inge/ta4si040806.txt and http://www.science.uva.nl/~mbz/Projects/TASI/tasi.html

• Tenure Track or Tenured Position in Philosophy of Language / Philosophical Logic, University of Maryland
  Newsitem added on 28 September 2006.

  The University of Maryland has an opening for a Professor (tenure track) or Associate Professor (tenure/tenure track). AOS: Philosophy of Language; exceptional candidates in Philosophical Logic will also be considered. AOC: open. Candidates who can add to the Department's strength in philosophical logic and/or connections with linguistics may have an advantage. Undergraduate and graduate teaching; usual committee responsibilities.

  Applications will be considered until the position is filled, but for best consideration all materials should arrive by November 1st 2006. For more information, see http://www.personnel.umd.edu/jobposting/cgi-bin/empFAC.idc#09061220.

• Postdoc Algorithmic Game Theory, Cyprus
  Newsitem added on 12 October 2006.

  One postdoctoral position is currently available in the Research Laboratory for Foundations of Computing Systems and Theoretical Computer Science at the Department of Computer Science, University of Cyprus, Cyprus. Topics of very strong interest for the position include Algorithmic Game Theory (primary) and Distributed Computing and Networking (secondary).

  The working language is English. Salary is very competitive. There are no teaching duties.

  Expressions of interest are welcome through October 31, 2006. Interested candidates should send a CV, list of publications and a short research plan to Prof. Marios Mavronicolas. For more information, see the Research Laboratory website at http://www2.cs.ucy.ac.cy/~mavronic/research_lab.htm or contact Prof. Marios Mavronicolas at http://www2.cs.ucy.ac.cy/~mavronic/ or mavroniccs.ucy.ac.cy.

• Visiting Professorships in Computer Science, Cyprus
  Newsitem added on 12 October 2006.

  The Department of Computer Science at the University of Cyprus has a number of vacancies for Visiting Professors at the ranks of Lecturer, Assistant, Associate, and Full Professor. ALL areas of Computer Science and Engineering will be considered.

  The deadline for receiving applications is the 31st October 2006. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1554 Or contact Professor Skevos Evripidou at skevoscs.ucy.ac.cy.

• Ph.D. position in parallel programming and algorithms, Bergen, Norway
  Newsitem added on 8 October 2006.

  The University of Bergen, Norway, has an open position for 3 years in the `ParComb - Parallel Algorithms in Combinatorial Scientific Computing (CSC)' project. The main topic will be the design of parallel algorithms for CSC type problems on distributed memory computers using MPI. Applicants should hold a M.Sc. degree or similar and are expected to work within this project and enter a PhD study. The PhD thesis should be submitted for defence within the 3-year period of the position. As part of the PhD study the candidate should spend 6 month at the Old Dominion University, USA, working with professor Alex Pothen. Thus an applicant must be eligble to obtain a visa to the USA.

  The application deadline is October 23rd. For more information, see the homepage of the project at http://www.ii.uib.no/parcomb/.

• PhD Studentship in 'Light-weight rule extended ontology languages', Aberdeen, UK
  Newsitem added on 24 August 2006.

  Applications are sought for a funded EPSRC CASE studentship supported by HP on light-weight rule-extended ontology languages. The project aims to efficiently support a useful subset of the W3C standard Web Ontology Language OWL and the coming W3C rule standard RIF (Rule Interchange Format).

  Applicants should have a good Undergraduate (at the 2-1 level or higher) or Masters Degree in either Computing Science or a related discipline. Applications must be received before 16 October 2006 (extended deadline). For more information, see http://www.csd.abdn.ac.uk/information/vacancies/job.php?jobid=1 Or contact Dr Jeff Z. Pan at jpancsd.abdn.ac.uk

• Three PhD studentships in Philosophy, Groningen
  Newsitem added on 29 June 2006.

  The Faculty of Philosophy at the University of Groningen, the Netherlands, invites candidates to apply for three PhD studentships. The first studentship is in History of Philosophy, the second studentship in History of Philosophy, Practical Philosophy or Theoretical Philosophy, and the third studentship is in the research project "Modelling Freedom".

  Deadline for applications is September 1st, 2006 for the first and second studentships, and October 1st, 2006 for the third (extended deadline). For the full text of this announcement, see http://www.rug.nl/filosofie/vacatures/3phdstudents. For more information concerning the first and the second studentships, please contact Prof.dr. R. W. Boomkens (00315036366152), e-mail: r.w.boomkensrug.nl. For more information concerning the third studentship, please contact Prof.dr. M. van Hees (0031503636165/6161), e-mail: Martin.van.Heesrug.nl.

• Post Doctor in Mathematics at the University of Oslo
  Newsitem added on 20 July 2006.

  The position is vacant from January 1. 2007 and the duration is for 3 years. The position is associated with the project Computability and Complexity in Type Theory lead by Dag Normann and funded by the Norwegian Research Council.

  Deadline: October. 1. 2006. For more information, see http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/06-9060-MN-DoM-Postdoctor.html

• 2 PhD student positions in "Theory of Computing", Leeds, UK
  Newsitem added on 27 July 2006.

  Two 42 month EPSRC PhD studentships are available in the Theory of Computing research group at the University of Leeds, associated with the EPSRC grants EP/D00232X/1: Amorphous computation, random graphs and complex biological networks and EP/D040191/1: cliquewidth supervised respectively by Prof. M.E. Dyer and Dr H. Muller

  We would like the studentships to start 1 October 2006 although another start date is possible by mutual agreement. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1439 or http://www.engineering.leeds.ac.uk/comp/research/, or contact Prof. Dyer or Dr. Muller at dyercomp.leeds.ac.uk or hmcomp.leeds.ac.uk.

• PhD student positions and postdoctoral positions "Methods for Discrete Structures", Berlin (Germany)
  Newsitem added on 30 July 2006.

  A newly established Research Training Group (Graduiertenkolleg) funded by the German Science Foundation (DFG) at the three Berlin Universities, named "Methods for Discrete Structures", will start at October 1, 2006. The scientific program treats combinatorics and discrete mathematics broadly, with an emphasis on methods. The MDS program now offers scholarships for Ph.D. students and one post-doc.

  Applications must be received before September 15, 2006. For more information, see http://www.math.tu-berlin.de/MDS/.

• PhD Student Position in Logic and Cognitive Science
  Newsitem added on 3 August 2006.

  A newly established research group headed by Hannes Leitgeb at the Department of Philosophy, University of Bristol (UK), has an open position for a PhD student, starting in October 2006. The group, which will be part of an international EUROCORES Collaborative Research Project on Metacognition, will be dealing with: Logical Constraints on Conditionals and Introspection in Systems of Belief Revision and Non-Monotonic Reasoning. The group will be able to fund three years of tuition fees and maintenance.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1446 or contact Hannes Leitgeb at Hannes.Leitgebbristol.ac.uk

• PhD student position in algorithmic game theory, Aarhus, Denmark
  Newsitem added on 3 September 2006.

  Applications are invited for a PhD student position in algorithmic game theory. The project concerns, primarily, the development of algorithms for computation of equilibria for games of infinite duration, such as parity games, mean payoff games and (simple) stochastic games, as well as investigating inherent computational complexity of such games. However, broad variations within the area of algorithmic game theory are possible and negotiable.

  The project is a joint venture between the University of Uppsala, Sweden and the University of Aarhus/BRICS, Denmark. The applicant is expected to spend half their time at each of the two institutions, working in the group of Peter Bro Miltersen in Aarhus and in the group of Sergei Vorobyov in Uppsala. The PhD degree will be granted by the University of Aarhus.

  Deadline for applications is 1 October 2006. For more details see http://www.brics.dk/study/phd-school/call-for-applications/specific-calls/#c258. Informal inquiries are to be addressed to Peter Bro Miltersen (bromillebrics.dk) and Sergei Vorobyov (Sergei.Vorobyovit.uu.se).

• Postdoc position in Oslo: "Computability and Complexity in Type Theory"
  Newsitem added on 28 September 2006.

  There is a post doc position available at the Department of Mathematics, the University of Oslo in connection with the research project "Computability and Complexity in Type theory".

  The deadline for application is October 1. The position is vacant from January 1, 2007 and through 2009. For more information, see the announcement on the web-page: http://www.admin.uio.no/opa/ledige-stillinger/2006/vit/06-9060-MN-DoM-Postdoctor.html, or contact Dag Normann at dnormannmath.uio.no.

• PhD students fuzzy answer set programming
  Newsitem added on 15 September 2006.

  The Theoretical Computer Science Group at the Free University of Brussels and The Computational Web Intelligence Team at Ghent University are recruiting 2 full time researchers (PhD students) to work on the project "Fuzzy Answer Set Programming" to be conducted in Brussels and Ghent (Belgium) and starting January 1, 2007 (duration: 4 years).

  Deadline for applications is September 30th. For more information, see