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. MoL and PhD defenses
4. Projects and Awards
5. Funding, Grants and Competitions
6. Open Positions at ILLC
7. Open Positions, General
8. New Appointments
9. Miscellaneous
10. Regular Events

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

Headlines Past Events

• 18 December 2002, Music & AI Colloquium, Taylan Cemgil
• 16-17 December 2002, Logic in Games and Multiagent Systems
• 13 December 2002, Computing with LLI Seminar, Ian Hodkinson
• 13 December 2002, Colloquium on Mathematical Logic, Albert Visser
• 12 December 2002, DIP Colloquium, Katja Jasinskaja
• 11 December 2002, Logic Tea, Ron Rood, Vrije Universiteit
• 10 December 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Sandro Etalle (Twente University)
• 6 December 2002, Colloquium on Mathematical Logic, Claire Kouwenhoven, Jaap van Oosten
• 4 December 2002, Benelearn 2002: the Twelfth Annual Dutch-Belgian Conference on Machine Learning, Utrecht, the Netherlands
• 2-13 December 2002, Logic and Automated Reasoning Summer School
• 2 December 2002, Finite model property for guarded fragments, Ian Hodkinson
• DIP Colloquium, canceled
• 29 november 2002, Herfstsymposium 'Moderne Perspectieven op de Pioniers', Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
• 28 November 2002, GLLC
• 27-28 November 2002, Linguistic Corpora and Logic Based Grammar Formalisms
• 26 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Marc Pauly
• 22 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
• 22 November 2002, Activating Epistemology, Vincent F. Hendericks
• 20 November 2002, Logic Tea, Evan Goris, UvA
• 19 November 2002, Amsterdam-Utrecht Workshops
• 15 November 2002, Utrecht-Münster Seminar on Provability Algebras (second session)
• 15 November 2002, DIP Colloquium, Hans-Martin Gärtner
• 15 November 2002, Computing with LLI Seminar, Rosella Gennari
• 12 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Jesse Hughes
• 8 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
• 8 November 2002, Computing with LLI Seminar, Rick Sommer
• 8 November 2002, DIP/LEGO Colloquium, Craige Roberts
• 1 November 2002, DIP Colloquium, Gerhard Jäger
• 1 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann
• 31 October - 2 November 2002, Self-reference, PHILOG, Roskilde, Denmark
• 30 October 2002, Logic Tea, Catarina Dutilh-Novaes
• 29 October, ILLC Drinks
• 25 October 2002, Computing with LLI Seminar, Massimo Franceschet
• 25 October 2002, Utrecht-Münster Seminar on Provability Algebras
• 25 October 2002, LEGO Talks, Balder ten Cate
• 24 October 2002, Quantum computing and locally decodable codes, Ronald de Wolf
• 21-22 October 2002, BNAIC'02, Leuven (Belgium)
• DIP Colloquium, canceled
• 14-18 October 2002, 9th International Conference on Logic for Programming Artificial Reasoning (LPAR) 2002, Tbilisi, Georgia
• 14-18 October 2002, OzsL Schoolweek, Amsterdam
• 11 October 2002, Computing with LLI Seminar, Ameen Abu-Hanna
• 9 October 2002, Logic Tea, Sjoerd Druiven, ILLC
• 4 October 2002, DIP Colloquium, Willemijn Vermaat
• 27 September 2002, Computing with LLI Seminar, Menno van Zaanen
• 26 September 2002, Computing with LLI Seminar, Roy Bar-Haim
• 26 September 2002, Try Out, PILM Nancy, Theo Janssen, Joop Niekus
• 23-25 September 2002, 6th International Colloquium on Grammatical Inference, Amsterdam
• 20 September 2002, DIP Colloquium, Martina Faller
• 20 September 2002, VvL themamiddag "Innovatie in het Logica Onderwijs, Zaal 031, Kromme Nieuwegracht 80, Utrecht
• 12 September 2002, Annual ILLC Boat Trip
• Graduate course on the Theta System, Jan van Eijck, Tanya Reinhart
• 5-6 September 2002, Nederlands ICT-Kenniscongres, Nederlands Congres Centrum, Den Haag
• 4 September 2002, Logic Tea, Barteld Kooi
• 4 September 2002, GPiL Students Introduction Meeting
• 30 August 2002, Afscheidssymposium Jaco de Bakker, CWI, Turing Zaal Z011
• 26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary
• 25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy
• 23 August 2002, PRIMES is in P, Troy Lee
• 9-11 August 2002, Colloquium Logicum, Münster (Germany)
• 5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)
• 5-16 August 2002, ESSLLI 2002: 14th European Summer School in Logic, Language and Information, Trento, Italy
• 3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany
• 25 July 2002, HyLo@LICS: 4th Workshop on Hybrid Logics, Copenhagen, Denmark
• 20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark
• 16 July 2002, lecture, Prashant Parikh
• 5 July 2002, Symposium on Relational Reasoning
• 29 June 2002, The Stanford Workshop on Mood and Modality
• 28 June 2002, Computing with LLI Seminar, Michael Moortgat
• 28 June 2002, DIP Colloquium, William Croft
• 28 June 2002, ILLC talks, Martin Otto
• 24-30 June, 2002, North American Summer School in Logic, Language, and Information (NASSLLI) , Stanford, CA
• 21 June 2002, Docentenbijeenkomst Logica voor informatici
• 21 June 2002, Computing with LLI Seminar, Sjaak Verbeek
• 20 June 2002, Games in Logic, Language and Computation 6
• 20 June 2002, What is the world of mathematics?, Joachim Lambek
• 17 June 2002, ILLC talks, Benedikt Loewe
• 14 June 2002, DIP Colloquium, Malte Zimmermann
• 14 June 2002, Computing with LLI Seminar, Lena Belitskaya and Samuel Driessen
• 14 June 2002, CABS-colloquium, Mathijs de Weerdt
• 7 June 2002, Computing with LLI Seminar, Rob Mokken
• 7 June 2002, ILLC talks, Khalil Sima'an
• 7 June 2002, ILLC talks, Wessel Kraaij
• 7 June 2002, ILLC talks, Stefan Geschke
• 6 June 2002, Logic Tea, Paul Égré
• 5 June 2002, Information about the ABP-Pension Statement
• 31 May 2002, Computing with LLI Seminar, Antal van den Bosch
• 31 May 2002, DIP Colloquium, Torsten Leuschner
• 29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent Systems, Vrije Universiteit Amsterdam
• 29 May 2002, Computing with LLI Seminar, Jerry Seligman
• 27 May 2002, Dakje Is (^=), Jeremy Seligman
• Computing with LLI Seminar, Canceled
• 23 May 2002, Logic Tea, Frank Hindriks
• 17 May 2002, Computing with LLI Seminar, Paola Merlo
• 17 May 2002, DIP Colloquium, Kristina Striegnitz
• 14 May 2002, Workshop on analytic Philosophy of Action
• 3 May 2002, DIP Colloquium, Donka Farkas
• 3 May 2002, Computing with LLI Seminar, Lucian Galescu
• 2-4 May 2002, Dimensions in Epistemic Logic
• 2 May 2002, Logic Tea, Jan Willem Romeyn
• 27 April 2002, Celebration of the 60th Birthday of Per Martin-Löf
• 26 April 2002, CABS-colloquium, Nico Roos
• 26 April 2002, Computing with LLI Seminar, CANCELED
• 24 April 2002, Dakje Is, Canceled
• 19 April 2002, Computing with LLI Seminar, Stefan Schlobach
• 19 April 2002, DIP Colloquium, CANCELLED
• 19 April 2002, Colloquium on Mathematical Logic, Yde Venema
• 12 April 2002, Computing with LLI Seminar (Double Session), Enrico Franconi / Thom Frühwirth
• 11 April 2002, Logic Tea, Balder ten Cate
• 10 April 2002, SIKS/Ontoweb Master Class, Peter Patel-Schneider , Pat Hayes
• 4 April 2002, Computing with LLI Seminar, Maarten Marx
• 5 April 2002, Colloquium on Mathematical Logic, Pieter Hofstra
• 28 March 2002, Computing with LLI Seminar, Joao Marcos
• 26 March 2002, DIP Colloquium, Igor Boguslavsky
• 22 March 2002, Computing with LLI Seminar, Pieter Adriaans
• 22 March 2002, DIP Colloquium, Tim Fernando
• 22 March 2002, Third ILLC Alumni Event
• 15 March 2002, ILLC Double Talks, canceled
• 15 March 2002, Computing with LLI Seminar, Rens Bod
• 15 March 2002, Colloquium on Mathematical Logic, Lev Beklemishev
• 14 March 2002, Co-training in Text Classification, Stan Matwin
• 8 March 2002, DIP Colloquium, Isabel Txurruka
• 8 March 2002, Second Utrecht-Amsterdam Workshop, Computational Tools for Linguistics
• 1 March 2002, Computing with LLI Seminar, Detlef Prescher
• 28 February 2002, Constructivism, Anne Troelstra
• 26 february 2002, Gentzen in Gottingen, E.Menzler-Trott
• 22 February 2002, Computing with LLI Seminar, Thijs Westerveld
• 22 February 2002, DIP Colloquium, Jennifer Spenader
• 18 February 2002, First Seminar Cognitive Science Center Amsterdam (CSCA)
• 15 February 2002, ILLC Double Talks, canceled
• Colloquium on Mathematical Logic, canceled
• 15 February 2002, Amsterdam Aachen Exchange on Logic and Games
• 15 February 2002, How Did Mathematical Ability Evolve, Keith Devlin
• 14 February 2002, Computing with LLI Seminar, Marco Aiello
• 13 February 2002, Farewell Meeting Kees Doets, Henk Barendregt, Dirk van Dalen, Krzysztof Apt, Johan van Benthem, Theo Kuipers
• 13 February 2002, (Real) points for events, imperfect utility discrimination, etc. , Uwe Lueck
• 8 February 2002, Computing with LLI seminar, Johan van Benthem
• 8 February 2002, DIP Colloquium, Paul Boersma
• 1 February 2002, Computing with LLI Seminar, Maarten de Rijke and others
• 1 February 2002, Colloquium on Mathematical Logic, Troy Lee
• 25 January 2002, DIP Colloquium, Tanya Reinhart
• 25 January 2002, Computing with LLI Seminar, Guus Schreiber
• 18 January 2002, Computing with LLI Seminar, Verónica Becher
• 11 January 2002, Colloquium on Mathematical Logic, Aart Middeldorp
• 11 January 2002, DIP Colloquium, Kerstin Fischer
• 11 January 2002, ILLC Double Talks, Maarten de Rijke, Henk Zeevat

Headlines Calls for Papers

• 14-17 February 2003, FotFS IV : The History of the Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches Institut (deadline: 1 November 2002)
• 15-17 January 2003, Fifth International Workshop on Computational Semantics (IWCS-5) (deadline: 15 September 2002)
• 18-29 August 2003, ESSLLI-2003: 15th European Summer School in Logic, Language and Information, Vienna, Austria (deadline: 17 July 2002)
• Journal of Logic and Algebraic Programming, Special issue on Annotated Terms (deadline: 30 June 2002)

Headlines MoL and PhD defenses

• 20 December 2002, Master of Logic defense, Fabrice Nauze
• 12 December 2002, Master of Logic defense, Rajvinder Singh
• 2 December 2002, PhD defense, Rosella Gennari
• 28 November 2002, Master of Logic defense, Luciano Buratto
• 26 November 2002, PhD defense, Mirna Bognar
• 19 November 2002, Master of Logic defense, Marian Counihan
• 31 October 2002, Master of Logic defense, Bernadette Hernandez
• 31 October 2002, Master of Logic defense, Mathieu Vidal
• 9 October 2002, PhD defense, Wim van Dam
• 13 September 2002, PhD defense, Yuri Engelhardt
• 12 August 2002, Master of Logic defense, Seth Cable
• 6 August 2002, Master of Logic defense, John Duda
• 22 July 2002, Master of Logic defense, Willem Conradie
• 19 June 2002, PhD defense, Raffaella Bernardi
• 22 February 2002, PhD defense, Marco Aiello
• 25 January 2002, PhD defense, Nikos Massios

Headlines Projects and Awards

• Best Student Session Paper Award winners
• Johan van Benthem selected for Institut International de Philosophie
• 30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf

Headlines Funding, Grants and Competitions

• New NWO Research programme: Interactive Multimodal Information Extraction (IMIX)
• Call for "Outline" proposals for ESF Scientific Programmes
• Declaration Forms on UvA web
• Opportunities to participate in ERCIM and IMA
• Marie Curie Fellowships & Marie Curie Training Site
• Khalil Sima'an awarded KNAW-fellowship

Headlines Open Positions at ILLC

• Open PhD Position at ILLC
• Open Postdoc Position at Vrije Universiteit
• Postdoc Position in the Language and Inference Technology group

Headlines Open Positions, General

• Postdoc-fellowships Universiteit van Padua
• Open Position at Auckland University
• Position in Computational Linguistics
• Postdoctoral Fellowship in Sydney for "Logics of Knowledge and Belief"
• Three Postdoctoral Research Fellowships in Model Checking
• Constraints
• Visiting research fellowships Edinburgh

Headlines New Appointments

• New PhD students at ILLC: Merlijn Sevenster and Sjoerd Druiven
• ILLC welcomes 15 new international Logic students
• New Program Manager at GPiL: Peter Paul de Witte
• New PhD student at ILLC: Nick Bezhanishvili
• New PhD student at ILLC: Darrin Hindsill
• New PhD student at ILLC: Troy Lee
• New secretary at ILLC-office Plantage Muidergracht: Tanja Kassenaar
• New PhD student: Clemens Kupke
• New PhD student: Gabriele Musillo
• New ILLC Staff Member: Menno van Zaanen

Headlines Miscellaneous

• ASL Newsletter September 2002 available
• ASL Newsletter April 2002 available
• Announcement
• Exemption Form for Formal Educational Requirements available online for foreign PhD students
• The course schedule for the 3rd trimester of the academic year 2001-2002 is available.
• ASL Newsletter January 2002 available
• 3rd Trimester 2002, Introduction to the Proof Theory course
• 10 January - 28 February 2002, Reasoning About Uncertainty II, Professor Joe Halpern
• The course schedule for the 2nd trimester of the academic year 2001-2002 is available.
• 13 November 2001, Studio NL features Brouwer
• Copies of "Language in Action" available
• Press Announcement Cognitive Science Center

Headlines Regular Events

• Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)
• Cool Logic seminar for Logic Students
• The LeGO (Leerstoel Groepen Overleg) Seminar
• LogiCIC Seminar
• SMART Cognitive Science Lectures
• ILLC Colloquium
• Seminar on music cognition and computation
• Logic and Interactive RAtionality (LIRa)
• Logic and Cognition Seminar
• Logic, Language, and Reasoning Seminar
• Computational Social Choice Seminar
• ACG Colloquium
• The Zuidelijk Interuniversitair Colloquium (ZIC) on Logic and Theoretical Computer Science
• 2ILLC: the ILLC Double Talks
• The Colloquium on Mathematical Logic
• PROSE Colloquium
• GLoRiClass Seminar
• The "Cool Logic" Meetings
• Amsterdam-Utrecht Workshops
• Computational Linguistics Seminar
• The Amsterdam Logic Colloquium
• The DIP (Discourse and Philosophy) Colloquium
• The Logic Tea
• The Information and Language Processing Systems (ILPS) Seminar

Past Events

• 18 December 2002, Music & AI Colloquium, Taylan Cemgil

  Speaker: Taylan Cemgil (Nijmegen)
  Title: Probabilistic Methods for Music Transcription
  Date and time: Wednesday 18 December 2002, 3 pm
  Location: Nieuwe Achtergracht 166, room B235, Amsterdam

  Automatic music transcription refers to extraction of a human readable and interpretable description from a recording of a musical performance. Traditional music notation is such a description that lists the pitch levels (notes) and corresponding timestamps. Such a representation would be useful in several applications such as interactive music performance, information retrieval (Music-IR) and content description of musical material in large music databases. In this talk, I will focus on a subproblem in music-ir, where I assume that exact timing information of notes is available, for example as a stream of MIDI events from a digital keyboard. I will present a probabilistic generative model for timing deviations in expressive music performance. The structure of the proposed model will turn out to be a switching state space model (switching Kalman filter). The switch variables correspond to discrete note locations as in a musical score. The continuous hidden variables denote the tempo.

  Given the model, we can formulate two well known music recognition problems, namely tempo tracking and automatic transcription (rhythm quantization) as filtering and maximum a posteriori (MAP) state estimation tasks. Unfortunately, exact computation of posterior features such as the MAP state is intractable in this model class, so we resort to Monte Carlo methods for integration and optimization. I have compared Markov Chain Monte Carlo (MCMC) methods (such as Gibbs sampling, simulated annealing and iterative improvement) and sequential Monte Carlo methods (particle filters). Simulation results suggest better results with sequential methods. The methods can be applied in both online and batch scenarios (such as tempo tracking and transcription) and are thus potentially useful in a number of music applications such as adaptive automatic accompaniment, score typesetting and music information retrieval.

• 16-17 December 2002, Logic in Games and Multiagent Systems

  Location: Liverpool (UK)
  Newsitem added on 16 May 2002.

  The symposium aims at bringing together researchers working at the intersection of logic, game theory and multiagent systems, in order to identify the key issues, problems, and techniques in the application of logic to games and multiagent systems. Conferences with a related subject area are LOFT, TARK, and LGS.

  For more information, see http://www.csc.liv.ac.uk/~pauly/logamas/

• 13 December 2002, Computing with LLI Seminar, Ian Hodkinson

  Speaker: Ian Hodkinson (IC London)
  Title: Monodic fragments of first-order temporal logics
  Date and time: Friday 13 December 2002, 13.30
  Location: Room G.018, Roeterseiland Complex, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Dec13 .

• 13 December 2002, Colloquium on Mathematical Logic, Albert Visser

  Speaker: Albert Visser
  Title: Faith in Falsity
  Date and time: Friday 13 December 2002, 15.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 12 December 2002, DIP Colloquium, Katja Jasinskaja

  Speaker: Katja Jasinskaja (University of Tübingen)
  Title: On Part-Whole Relations between Abstract Objects
  Date and time: Thursday 12 December 2002, 13.00-14.30
  Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 11 December 2002, Logic Tea, Ron Rood, Vrije Universiteit

  Speaker: Ron Rood, Vrije Universiteit
  Title: Language, logic, and knowledge in mathematics
  Date and time: Wednesday 11 December 2002, 17.00-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The abstract of this talk can be found http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=284 or on The Logic Tea homepage at http://staff.science.uva.nl/~debruin/logic_tea.html For further information please contact Mark Theunissen at mailto:mtheunisscience.uva.nl, or Boudewijn de Bruin at mailto:debruinscience.uva.nl.

• 10 December 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Sandro Etalle (Twente University)

  Speaker: Sandro Etalle (Twente University)
  Title: A constraint based system for the verification of security protocols.
  Date and time: Tuesday 10 December 2002, 14:15-16:00
  Location: TU Eindhoven, HG 6.96

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

• 6 December 2002, Colloquium on Mathematical Logic, Claire Kouwenhoven, Jaap van Oosten

  Speaker: Claire Kouwenhoven, Jaap van Oosten (Utrecht)
  Title: Presentation of the paper Primes is in P by Agrawal, Kayal, Saxena
  Date and time: Friday 6 December 2002, 15.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 4 December 2002, Benelearn 2002: the Twelfth Annual Dutch-Belgian Conference on Machine Learning, Utrecht, the Netherlands

  Newsitem added on 23 May 2002.

  Benelearn is the annual machine learning conference of Belgium and The Netherlands. It serves as a forum for researchers in this field to exchange ideas and present recent work.

  For more information, see http://www.cs.uu.nl/~marco/benelearn2002/

• 2-13 December 2002, Logic and Automated Reasoning Summer School

  Location: The Australian National University, Canberra, Australia
  Newsitem added on 12 July 2002.

  The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts. The school provides a unique learning experience for all participants, backed up with state-of-the-art computational science facilities at the ANU.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=254 or the website at http://arp.anu.edu.au/lss, or contact the Convenor, Dr John Slaney, at lss-adminarp.anu.edu.au.

• 2 December 2002, Finite model property for guarded fragments, Ian Hodkinson

  Speaker: Ian Hodkinson
  Date and time: Monday December 2, 2002, 3.15 pm
  Location: P.016, Euclides, Plantage Muidergracht 24, Amsterdam

  Abstract:
  Guarded fragments are in some sense `modal-style' fragments of first-order logic. Introduced by Andréka, van Benthem and Németi in 1997, they have become very popular. They share nice properties with modal logic, such as decidability with reasonable complexity. The finite model property for the basic guarded fragment was established by Erich Grädel in 1999. Since then, several more results for stronger fragments have been proved. The proofs use a combinatorial theorem of Herwig, and recently this theorem has been strengthened in joint work with Martin Otto, permitting a simpler proof that the loosely guarded and packed (or clique-guarded) fragments have the finite model property. I will outline some of the ideas and history of this area of research.

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

• DIP Colloquium, canceled

  Speaker: canceled
  Newsitem added on 22 August 2002.

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

• 29 november 2002, Herfstsymposium 'Moderne Perspectieven op de Pioniers', Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

  Date and time: Friday 29 november 2002, 13.30-18.30
  Algemene Wetenschapsfilosofie en Filosofie van de Exacte Wetenschappen, Moderne Perspectieven op de Pioniers

  De Nederlandse Vereniging voor Wetenschapsfilosofie, Nederlandse Vereniging voor Logica, Evert Willem Beth Stichting en Stichting Wiener Kreis Archief organizeren een gezamenlijk herfstsymposium over Wetenschapsfilosofie en Logica: Moderne Perspectieven op de Pioniers.

  Sprekers: Dirk van Dalen (Utrecht) over Brouwers anti-realisme en het wiskundig universum, Shahid Rahman (Lille) met 'Some reflections on the Vienna Circle program', Henk Visser (Maastricht) over Beth als wetenschapsfilosoof, en Michel ter Hark (Groningen) over Popper en de vroege cognitieve psychologie en pedagogie. Aan het eind volgt een discussie over de moderne relevantie van de pioniers voor het huidige interface van wetenschapsfilosofie en logica.

  Voor meer information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=322 or http://www.cwi.nl/vvl/toekomst.html.

• 28 November 2002, GLLC

  Title: Seventh Workshop on Games in Logic, Language and Computation
  Date and time: Thursday 28 November 2002, 10:00 - 18:00
  Location: Room P.017, Euclides building, Roeterseilandcomplex, Amsterdam

  The informal workshop series "Games in Logic, Language and Computation" focuses on the application of game theory in linguistics, logic and computer science, as well as on the (logical) foundations of game theory. The seventh edition of the workshop on Games in Logic, Language and Computation (GLLC7) will be held on Thursday November 28, 2002.

  For more information on the workshop, including schedule, abstracts and travel information, see http://www.illc.uva.nl/lgc/gllc7/.

• 27-28 November 2002, Linguistic Corpora and Logic Based Grammar Formalisms

  Date and time: 27-28 November 2002, 10:00-17:00
  Location: Utrecht (27/11: Drift 21, Room 0.05 "Sweelinckzaal"; 28/11: Kromme Nieuwegracht 29, Room: 0.23 "Curatorenkamer")

  The workshop brings together a number of research groups working on annotated corpora and their linguistic exploitation. The common emphasis is on semantically relevant, 'deep' annotation (in the form of dependency structures, type structures, ...) in addition to purely syntactic information. The annotation approach taken in the CGN (Spoken Dutch Corpus) project is compared with that of the visiting groups.
  The workshop is supported by CoLogNet and LOT/OTS.

  For more information, see http://www.let.uu.nl/~ctl/workshops/programme.html

• 26 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Marc Pauly

  Speaker: Marc Pauly (Liverpool)
  Title: Towards the Formal Verification of Social Mechanisms
  Date and time: Tuesday 26 November 2002, 14:15 - 16:00 uur
  Location: TU Eindhoven, HG 6.96

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

• 22 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann

  Speaker: Andreas Weiermann (University of Münster)
  Title: Refining independence results for PA via analytic number theory (third session)
  Date and time: Friday 22 November 2002, 15.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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

• 22 November 2002, Activating Epistemology, Vincent F. Hendericks

  Speaker: Vincent F. Hendericks
  Date and time: Friday 22 November 2002, 16.15
  Location: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=319 or Vincent Hendericks' page at http://www.ruc.dk/~vincent/.

• 20 November 2002, Logic Tea, Evan Goris, UvA

  Speaker: Evan Goris, UvA
  Title: Extending ILM by means of a $\Sigma_1$ predicate
  Date and time: Wednesday 20 November 2002, 17.00-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information please contact Mark Theunissen at mailto:mtheunisscience.uva.nl, or Boudewijn de Bruin at mailto:debruinscience.uva.nl.

• 19 November 2002, Amsterdam-Utrecht Workshops

  Title: Meaning and Intonation
  Date and time: Tuesday 19 November 2002, 9.30-17.15
  Location: Sweelinckzaal, Drift 21, Utrecht

  On Tuesday November 19, 2002, there will be an Amsterdam-Utrecht workshop entitled "Meaning and Intonation". Everyone is welcome.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=308 or http://www-uilots.let.uu.nl/events/conflinks.htm.

• 15 November 2002, Utrecht-Münster Seminar on Provability Algebras (second session)

  Location: Münster
  Newsitem added on 1 October 2002.

  In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.

  Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=41, or contact Lev Beklimishev at levphil.uu.nl.

• 15 November 2002, DIP Colloquium, Hans-Martin Gärtner

  Speaker: Hans-Martin Gärtner (ZAS, Berlin)
  Title: On the force of v2-declaratives and modal subordination
  Date and time: Friday 15 November 2002, 16.00-17.30
  Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 15 November 2002, Computing with LLI Seminar, Rosella Gennari

  Speaker: Rosella Gennari (Amsterdam)
  Title: Constraint Propagation and Diamond Satisfaction
  Date and time: Friday 15 November 2002, 13.30
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov15 .

• 12 November 2002, Zuidelijk Interuniversitair Colloquium (ZIC), Jesse Hughes

  Speaker: Jesse Hughes (KUN)
  Title: The Coinductive Approach to Verifying Cryptographic Protocols
  Date and time: Tuesday 12 November 2002, 14:15 - 16:00 uur
  Location: TU Eindhoven, HG 6.96

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

• 8 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann

  Speaker: Andreas Weiermann (University of Münster)
  Title: Refining independence results for PA via analytic number theory (second session)
  Date and time: Friday 8 November 2002, 15.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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

• 8 November 2002, Computing with LLI Seminar, Rick Sommer

  Speaker: Rick Sommer (EPGY Stanford)
  Title: Theorem-Proving Environment for Undergraduate Mathematics
  Date and time: Friday 8 November 2002, 13.30
  Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Nov8 .

• 8 November 2002, DIP/LEGO Colloquium, Craige Roberts

  Speaker: Craige Roberts (Ohio State University)
  Title: Questions and Information Structure
  Date and time: Friday 8 November 2002, 16.00-17.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 1 November 2002, DIP Colloquium, Gerhard Jäger

  Speaker: Gerhard Jäger (Berlin/Potsdam)
  Title: Learning, evolution, and functional optimality theory
  Date and time: Friday 1 November 2002, 16.00-17.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 1 November 2002, Colloquium on Mathematical Logic, Andreas Weiermann

  Speaker: Andreas Weiermann (University of Münster)
  Title: Refining independence results for PA via analytic number theory (first session)
  Date and time: Friday 1 November 2002, 15.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

  Andreas Weiermann starts a mini-course of three lectures, which will take place on Friday afternoons, on November 1, November 8, and November 22.

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

• 31 October - 2 November 2002, Self-reference, PHILOG, Roskilde, Denmark

  Costs: Free registration
  Newsitem added on 6 May 2002.

  PHILOG - The Danish Network for Philosophical Logic and Its Applications, is organizing a conference on self-reference. The aim of the conference is to bring together researchers in the fields of philosophy, mathematics, and computer science to present theories of and related to self-reference - especially pertaining to theories that explain and resolve the above paradoxes and thereby advance new theories for the involved fields.

  All lectures will be of such a nature that they can be followed by students and scholars of philosophy, computer science, linguistics etc. without deep professional training in epistemic logic but provided with general knowledge of foundational issues.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=207 or the PHILOG website at http://www.philog.ruc.dk

• 30 October 2002, Logic Tea, Catarina Dutilh-Novaes

  Speaker: Catarina Dutilh-Novaes (Leyden University)
  Title: Medieval Obligations as Logical Games
  Date and time: Wednesday 30 October 2002, 17.00-18.30
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html. For further information you can also contact Mark Theunissen at mailto:mtheunisscience.uva.nl, or Boudewijn de Bruin at mailto:debruinscience.uva.nl.

• 29 October, ILLC Drinks

  Date and time: Tuesday 29 October, 16.30-17.30
  Location: 3rd Floor, Euclides Building, Plantage Muidergracht 24, Amsterdam

  Tuesday 29 October the ILLC has the honour to host a so-called site visit by the dean and directors of the Faculty of Science. The major part of this visit is devoted to a discussion of various scientific and administrative issues. At the end of the afsternoon there will be a reception, for which you are all kindly invited. Drinks and snacks will be served at the third floor of the Euclides building (Plantage Muidergracht 24) from 17.30-18.00.

• 25 October 2002, Computing with LLI Seminar, Massimo Franceschet

  Speaker: Massimo Franceschet (Amsterdam)
  Title: Model checking methods and tools for hybrid logics
  Date and time: Friday 25 October 2002, 13.30
  Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct25 .

• 25 October 2002, Utrecht-Münster Seminar on Provability Algebras

  Location: Utrecht
  Newsitem added on 11 October 2002.

  In 2002/2003 a joint Compact Seminar on Provability Algebras is organized by L. Beklemishev and W. Pohlers. Altogether, four sessions, alternating in Utrecht (Department of Philosophy) and in Münster (Institute for Mathematical Logic and Foundations Research), will take place.

  Graded provability algebras (GPA) are modal algebras developed to provide an abstract algebraic approach to proof-theoretic analysis. This subject brings together traditional methods of proof theory and methods developed in provability logic.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=296, or contact Lev Beklimishev at levphil.uu.nl.

• 25 October 2002, LEGO Talks, Balder ten Cate

  Speaker: Balder ten Cate
  Title: Interpolation in Hybrid Logic
  Date and time: Friday 25 October 2002, 16.00-17.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

  Coming Friday, October 25, LEGO will feature Balder ten Cate with a try-out talk for a conference in London (KCL)

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

• 24 October 2002, Quantum computing and locally decodable codes, Ronald de Wolf

  Speaker: Ronald de Wolf (CWI)
  Date and time: Thursday 24 October 2002, 16.00
  Location: CWI portacabins downstairs seminar room (C001)

  A locally decodable code is an error-correcting code (encoding an n-bit x in m-bit codeword C(x)) that allows one to recover any bit x_i from a corrupted version of C(x) while querying only a few positions in the corrupted codeword. We use a quantum argument to prove that 2-query LDCs need exponential length. Previously this was known only for linear codes (Goldreich et al 02).

  Our proof shows that a 2-query LDC can be decoded with only 1 quantum query, and then proves an exponential lower bound for such 1-query locally quantum-decodable codes. We also show that q quantum queries allow more succinct LDCs than the best known LDCs with q classical queries. Finally, we give new classical lower bounds and quantum upper bounds for the setting of private information retrieval. In particular, we exhibit a quantum 2-server PIR scheme with O(n^{0.3}) qubits of communication, beating the O(n^{1/3})communication of the best known classical 2-server PIR. This is joint work with Iordanis Kerenidis (UC Berkeley).

  The paper is available at http://www.cwi.nl/~rdewolf/publ/qc/qldc.ps.gz For more information, see http://www.cwi.nl/~roehrig/quantum-seminar.html.

• 21-22 October 2002, BNAIC'02, Leuven (Belgium)

  Newsitem added on 30 May 2002.

  The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'02) is organised by the Katholieke Universiteit Leuven and Université Libre de Bruxelles in collaboration with PharmaDM and under the auspices of BNVKI/AIABN (the Belgian- Dutch Association for Artificial Intelligence), SIKS (School for Information and Knowledge Systems), and SNN (the Foundation for Neural Networks).

  BNAIC'02 will be held on Monday 21 and Tuesday 22 in the Faculty Club, Groot Begijnhof, Leuven, Belgium. It will be collocated with a study day on bio-informatics, to be held on Wednesday 23 October. This collocation aims to promote interaction between researchers in AI and bio-informatics. BNAIC-papers addressing bio-informatics topics will be offered a poster at the bio-informatics event.

  A call for papers is out now. Deadline for submissions is May 31, 2002

  For more information, see http://www.cs.kuleuven.ac.be/conference/bnaic02/

• DIP Colloquium, canceled

  Speaker: canceled
  Newsitem added on 22 August 2002.

• 14-18 October 2002, 9th International Conference on Logic for Programming Artificial Reasoning (LPAR) 2002, Tbilisi, Georgia

  Newsitem added on 30 May 2002.

  For more information and a CFP, see http://rpc25.cs.man.ac.uk/lpar2002/

• 14-18 October 2002, OzsL Schoolweek, Amsterdam

  Newsitem added on 30 June 2002.

  The OzsL Schoolweek/Accolade 2002 takes place from October 14--18 in Amsterdam. This years' Schoolweek offers four excellent master's courses. Experts in the field present exiting material, both foundational and applied. The level varies from introductions to advanced courses. The Accolade conferences bring together the Dutch logic community and provide an up-to-date overview of the projects carried out within the school.

  For more information, see http://www.ozsl.uva.nl/Schoolweek/, or contact the OzsL Buro at ozslscience.uva.nl.

• 11 October 2002, Computing with LLI Seminar, Ameen Abu-Hanna

  Speaker: Ameen Abu-Hanna (AMC Amsterdam)
  Title: When Logic, Machine Learning, and Statistics meet Medicine
  Date and time: Friday 11 October 2002, 13.30
  Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Oct11 .

• 9 October 2002, Logic Tea, Sjoerd Druiven, ILLC

  Speaker: Sjoerd Druiven, ILLC
  Title: Knowledge Development in Games of Imperfect Information
  Date and time: Wednesday 9 October 2002, 17.00-18.30 (changed!)
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html For further information you can also contact Mark Theunissen at mailto:mtheunisscience.uva.nl, or Boudewijn de Bruin at mailto:debruinscience.uva.nl.

• 4 October 2002, DIP Colloquium, Willemijn Vermaat

  Speaker: Willemijn Vermaat (Utrecht)
  Title: A computational perspective on displacement phenomena
  Date and time: Friday 4 October 2002, 16.00-17.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 27 September 2002, Computing with LLI Seminar, Menno van Zaanen

  Speaker: Menno van Zaanen (Amsterdam)
  Title: Alignment-Based Learning of Music
  Date and time: Friday 27 September 2002, 13.30
  Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Sep27 .

• 26 September 2002, Computing with LLI Seminar, Roy Bar-Haim

  Speaker: Roy Bar-Haim (Technion, Haifa)
  Title: Corpus-Based Morphological and Syntactic Analysis of Hebrew
  Date and time: Thursday 26 September 2002, 12.30
  Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-2.html#Sep26 .

• 26 September 2002, Try Out, PILM Nancy, Theo Janssen, Joop Niekus

  Speakers: Theo Janssen, Joop Niekus
  Date and time: Thursday 26 September 2002, 15.00-16.45
  Location: room G 202, Nwe prinsengracht 130, Roeterseiland

  Theo Janssen and Joop Niekus like to invite you to come to see the tryout of their talks for the International Symposium on Philosophical Insights into Logic and Mathematics:

  Joop Niekus: Individual Choice Sequences in the Work of L.E.J. Brouwer
  Theo Janssen: Basic properties of IF Logic
  

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

• 23-25 September 2002, 6th International Colloquium on Grammatical Inference, Amsterdam

  Newsitem added on 20 January 2002.

  ICGI-2002 is the sixth in a series of successful biennial international conferences on the area of grammatical inference. Grammatical inference has been extensively addressed by researchers in information theory, automata theory, language acquisition, computational linguistics, machine learning, pattern recognition, computational learning theory and neural networks. This colloquium aims at bringing together researchers in these fields. Previous editions of this meeting were held in Essex, U.K.; Alicante, Spain; Montpellier, France; Ames, Iowa, USA; and Lisbon, Portugal.

  Deadlines:
  Submission of manuscripts: April 19, 2002
  Notification of acceptance: May 27th, 2002
  Final version of manuscript: June 28th, 2002
  

  For more information, see http://www.illc.uva.nl/ICGI-2002/

• 20 September 2002, DIP Colloquium, Martina Faller

  Speaker: Martina Faller (MPI, Nijmegen)
  Title: Pragmatic aspects of evidentiality
  Date and time: Friday 20 September 2002, 16.00-17.30
  Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 20 September 2002, VvL themamiddag "Innovatie in het Logica Onderwijs, Zaal 031, Kromme Nieuwegracht 80, Utrecht

  Newsitem added on 10 September 2002.

  De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor een VvL themamiddag over Innovatie in het Logica Onderwijs. Deze gebeurtenis vindt plaats op vrijdag 20 september 2002 in zaal 031, Kromme Nieuwegracht 80, Utrecht. (Let op: gewijzigde locatie!) Kromme Nieuwegracht 80 bevindt zich vlak bij de Dom, op tien minuten loopafstand van Utrecht CS.

  Voorlopig programma:
  12.00-14.00 Broodjeslunch annex VvL ledenvergadering.
  14.00-14.30 Jan van Eijck en Jan Jaspars, `Denkende Machines'.
  14.30-15.00 Elias Thijsse, 'Het Voor en Tegen van Logica Onderwijssoftware'.
  15.00-15.15 pauze
  15.15-15.45 Nico Roos, `The Epistemic Model Checker' (met demo).
  15.45-16.15 Michael Moortgat en Willemijn Vermaat, `Software voor Taalkunde Onderwijs' (met demo).
  16.15 Gelegenheid voor andere demonstraties.
  Hierna afsluiting met een borrel.

  Alle belangstellenden zijn van harte welkom. De toegang is gratis. De broodjeslunch wordt u aangeboden door de VvL. In verband met de catering is de lunch echter alleen beschikbaar voor wie zich minstens een week tevoren heeft opgegeven door middel van een email aan ondergetekende, op email adres jvecwi.nl.

  De voorlopige agenda De voorlopige agenda voor de ledenvergadering is als volgt:
  * Opening
  * Kort verslag van de stand van zaken door het bestuur
  * Kasoverzicht
  * Voorstel voor bestuurswijziging
  * VvL voorstel voor nieuwe activiteiten, met voorlopig keuze uitL:
    -Logica en spel
    -Paradoxen
    -Drogredenen
    -Argumentatie en AI
    -Robots en redeneren
  * Wat verder ter tafel komt.

  Belangstellenden voor het geven van een demo: neem even contact op.

• 12 September 2002, Annual ILLC Boat Trip

  Date and time: 12 September 2002, 16:15
  Location: Plantage Muidergracht 24 (gather at front desk)

  To welcome our new international Logic students, ILLC organizes its annual boat trip on Thursday September 12. The boat leaves from the back side of the Euclides Building, and will return there a few hours later. Drinks and snacks are served on board.

• Graduate course on the Theta System, Jan van Eijck, Tanya Reinhart

  Speakers: Jan van Eijck, Tanya Reinhart
  Date and time: weekly on thursdays, 12.00-15.00
  Location: Room 131, Kromme Nieuwegracht 80, Utrecht

  The theoretical framework of this course is the Theta System, as developed by Reinhart the last few years. The Theta system (what has been labelled in Chomsky's Principles and Parameters framework 'Theta theory') is a system enabling the interface between the systems of concepts and the computational system syntax (and, via the syntactic representations, with the semantic inference systems).

  The first part (block) of the course is designed as intensive introduction to the basics of the system as explained below. In the second part we hope to go in depth into some new problems that are not satisfactorily solved yet. Along with theoretical research, a further goal of the course is implementation of the system using parsing tools developed by Van Eijck.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=277 or contact Jan van Eijck (jvecwi.nl) or Tanya Reinhart (tanya.reinhartlet.uu.nl).

• 5-6 September 2002, Nederlands ICT-Kenniscongres, Nederlands Congres Centrum, Den Haag

  Newsitem added on 23 August 2002.

  Dit evenement geeft d.m.v. lezingen en demonstraties een overzicht van de nieuwste ontwikkelingen in de ICT wereld. Onderzoek op het gebied van de ICT en innovatieve toepassing van de onderzoeksresultaten staan tijdens het congres centraal.

  For more information, see http://www.ict-kenniscongres.nl/

• 4 September 2002, Logic Tea, Barteld Kooi

  Speaker: Barteld Kooi (Groningen)
  Title: Probabilistic Dynamic Epistemic Logic
  Date and time: Wednesday 4 September 2002, 17.00-18.30
  Location: Room t.b.a., Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

• 4 September 2002, GPiL Students Introduction Meeting

  Date and time: 4 September 2002, 15.30 -
  Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  We are happy to invite you to an introductory meeting for new participants in the Graduate Program in Logic, where you can get to know one another, meet the staff members, and receive some practical information about the workings and rules of our institute. As part of this meeting we included the Logic Tea, a lecture series which we are certain will be of interest, and which gives you a chance to meet other ILLC members. Afterwards drinks and snacks will be served in the University Pub.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=271. We hope to see you!

• 30 August 2002, Afscheidssymposium Jaco de Bakker, CWI, Turing Zaal Z011

  Date and time: Friday 30 August 2002, 14.00 - 16.45 (open from 13.30)

  Op 1 juli j.l. heeft Jaco de Bakker het CWI verlaten, waarmee een einde is gekomen aan een wetenschappelijke loopbaan van bijna veertig jaar, die met zijn aanstelling in 1964 bij de Stichting Mathematisch Centrum, de voorloper van het CWI, begon.

  Ter gelegenheid van Jaco's afscheid wordt er een symposium ter zijner ere gehouden. Het programma zal bestaan uit lezingen van de volgende sprekers:

  Jan Bergstra (UvA, UU)
  Paul klint (CWI, UvA)
  Joost Kok (UL)
  Gerard van Oortmerssen (CWI)
  Jan Rutten (CWI, VU)
  John Tucker (University of Wales Swansea)

  en zal worden afgesloten met een borrel.

• 26-29 August 2002, Seventh Symposium on Logic and Language, Pecs, Hungary

  Newsitem added on 14 February 2002.

  The Seventh Symposium on Logic and Language will be held in Pécs from 26th to 29th of August, 2002. Special themes are:
  1. Logic and Computation - Internal Information Increase
  2. Syntax and Semantics - Word Order, Intonation and Interpretation

  Invited speakers include L. Kalman, T. Reinhart, and J. van Eijck. Tutorials will be offred by T. Reinhart and K. Szendroi (Syntax-Semantics Interface) and J. van Eijck (Semantics); a third tutorial on information structure also is planned.

  For more information, see http://maya.btk.pte.hu/~kata/lola7.html

• 25-30 August 2002, Second International Summer School in Computational Logic, Basilicata, Italy

  Newsitem added on 24 April 2002.

  The School is aimed at graduate students as well as other interested researchers, both from university and from industry. It will consist of several lectures on different aspects of CL; covering both the theoretical framework and relevant practical perspectives. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request.

  Deadline for early registration: 15 May 2002

  For more information, an online registration form and a preliminary program, see http://www.cs.unipr.it/ISCL02/

• 23 August 2002, PRIMES is in P, Troy Lee

  Speaker: Troy Lee
  Date and time: Friday 23 August 2002, 14.00 - 16.00
  Location: CWI, Kruislaan 413, room M279

  Abstract:

  We shall present the remarkable proof [Agarwal-Kayal-Saxena '02] that $PRIMALITY \in P$

  For more information, contact Hein Roehrig (roehrigcwi.nl).

• 9-11 August 2002, Colloquium Logicum, Münster (Germany)

  Newsitem added on 24 April 2002.

  This event, a satellite meeting of Logic Colloquium 2002,is also the biannual meeting of the German Logic Society (DVMLG). Invited speakers include: T. Arai, J. Bagaria, A. Nies, M. Otto, C. Parsons, A. Pillay, M. Rathjen, and J. van Benthem.

  For more information, an online registration form and a preliminary program, see http://www.math.uni-muenster.de/LC2002/CL2002.html

• 5-16 August 2002, ESSLLI-2002 Student Session, Trento (Italy)

  Newsitem added on 29 January 2002.

  For more information, see http://www.iccs.informatics.ed.ac.uk/~malvi/esslli02.

• 5-16 August 2002, ESSLLI 2002: 14th European Summer School in Logic, Language and Information, Trento, Italy

  Newsitem added on 24 April 2002.

  The ESSLLI Summer Schools are organised under the auspices of FoLLI, the European Association for Logic, Language and Information.

  The main focus of ESSLLI is on the interface between linguistics, 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.

  In previous editions of ESSLLI the courses covered a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. The novelty of the 14th edition is the special emphasis on the interface between the basic areas (Logic, Language, and Computation). So, this edition offers about 50 courses, organised into three interdisciplinary areas (Language & Computation, Language & Logic, and Logic & Computation), at a variety of levels (foundational, introductory, advanced), as well as a number of workshops.

  Deadline for registration: 30 June 2002. Early registration closes on 15 May 2002.

  For more information, an online registration form and a preliminary program, see http://www.esslli2002.it/.

• 3-10 August 2002, Logic Colloquium '02 (ASL European Summer Meeting), Münster, Germany

  Newsitem added on 22 November 2001.

  The ASL makes available modest travel grants to graduate students in logic and recent Ph.D's: the deadline for applications is be April 1st, 2002. For more information and a pre-registration form, please visit the meeting website at http://www.math.uni-muenster.de/LC2002/.

• 25 July 2002, HyLo@LICS: 4th Workshop on Hybrid Logics, Copenhagen, Denmark

  Newsitem added on 20 December 2001.

  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. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride.

  HyLo@LICS 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. In this workshop we hope to bring together researchers from all the different fields just mentioned (and hopefully some others) in an attempt to explore what they all have (and do not have) in common.

  The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=111, or on the Hybrid Logics homepage at http://staff.science.uva.nl/~carlos/hybrid/.

• 20 July - 1 August 2002, FLoC 2002: The Third Federated Logic Conference, Copenhagen, Denmark

  Newsitem added on 24 April 2002.

  In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science.

  The third Federated Logic Conference (FLoC'02) will be held in Copenhagen, Denmark, in July 2002, jointly hosted jointly by the IT University of Copenhagen, the Technical University of Denmark and the University of Copenhagen. The conference will be held at the University of Copenhagen.

  The following conferences, as well as a large number of workshops, will participate in FLoC.

  • Conference on Automated Deduction (July 27-30)
  • Conference on Computer-Aided Verification (July 27-31)
  • Formal Methods Europe (July 22-24)
  • International Conference on Logic Programming (July 29th - August 1st)
  • IEEE Symposium on Logic in Computer Science (LICS) (July 22-25)
  • Conference on Rewriting Techniques and Applications (July 22-24)
  • Automated Reasoning with Analytic Tableaux and Related Methods (July 30th - August 1st)

  Deadline for early registration: 15 June 2002

  For more information, an online registration form and preliminary programs, see http://floc02.diku.dk/

• 16 July 2002, lecture, Prashant Parikh

  Speaker: Prashant Parikh
  Date and time: Tuesday 16 July 2002, canceled

• 5 July 2002, Symposium on Relational Reasoning

  Location: Technical University Eindhoven, Traverse, van Trierzaal
  Newsitem added on 6 June 2002.

  13.45 - 14.45 Rudolf Berghammer (Kiel), Computer-aided development of relational programs
  14.45 - 15.15 Tool demonstration of Relview by Rudolf Berghammer
  15.15 - 15.45 break
  15.45 - 16.45 Jan Rauch (Prague), GUHA; relational datamining
  16.45 - 17.15 Tool demonstration of GUHA by Jan Rauch
  

  For more information, see the detailed program at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=235, or contact Prof.dr. H.C.M.de Swart, H.C.M.deSwartkub.nl.

• 29 June 2002, The Stanford Workshop on Mood and Modality

  Location: Room 050, Building 420, Stanford University
  Newsitem added on 30 March 2002.

  Organized by Cleo Condoravdi and Stefan Kaufmann. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=202.

• 28 June 2002, Computing with LLI Seminar, Michael Moortgat

  Speaker: Michael Moortgat (Utrecht)
  Title: Grammatical constants and structural variation
  Date and time: Friday 28 June 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June28 .

• 28 June 2002, DIP Colloquium, William Croft

  Speaker: William Croft (University of Manchester)
  Title: An evolutionary framework for understanding language (change)
  Date and time: Friday 28 June 2002, 15.00-17.00
  Location: Room 004, Bungehuis, Spuistraat 210, Amsterdam

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

• 28 June 2002, ILLC talks, Martin Otto

  Speaker: Martin Otto (Swansea)
  Title: Bisimilar Covers and Finite Model Theory
  Date and time: Friday 28 June 2002, 9.15-10.15
  Location: P0.16, Euclides-building

  Abstract:

  Many model theoretic arguments for modal logics rely on bisimulation invariance which can be used to prepare nice tree-like models. The resulting tree model property of modal logics plays a major part in the usefulness and good algorithmic behaviour of modal logics. Tree models are in fact quite simply obtained as bisimilar unravellings of any given models. As bisimilar unravellings are typically infinite, however, they are not suited to the context of finite model theory. Instead, one needs other nice and manageable bisimilar companion structures that can be kept finite.

  In this talk I shall discuss such constructions (and related open problems) primarily with applications to semantic characterisation theorems. Other applications, in particular also related to guarded logics, provide links with extension properties for partial isomorphisms and the finite model property of guarded logics. At the methodological level, these issues serve to illustrate the power of logic games in the model theoretic study of semantic invariances that go hand in hand with corresponding model constructions and model transformations.

• 24-30 June, 2002, North American Summer School in Logic, Language, and Information (NASSLLI) , Stanford, CA

  Newsitem added on 11 December 2001.

  The first North American Summer School in Logic, Language, and Information (NASSLLI) will take place at Stanford University from the 24th to the 30th of June. It will be followed by the eleventh Logic, Language, and Computation Colloquium (LLC) at CSLI, the program of which will be integrated with the school.

  The thematic focus of NASSLLI is modeled on that of its European sister event, ESSLLI. As it is customary with schools of this nature, the classes will run from foundational and introductory to advanced. Each lecturer will give a set of five one hour lectures on a topic suitable for a broad audience interested in the interface of logic, language, and computation.

  For more information, see http://www.stanford.edu/group/nasslli/ or contact Darko Sarenac at sarenacstanfor.edu.

• 21 June 2002, Docentenbijeenkomst Logica voor informatici

  Date and time: Friday 21 June 2002, 10.00 - 12.00
  Location: Vondellaan 202, Utrecht.

  On Friday June 21st, Josje Lodder (OU) and Hans van Ditmarsch (Otago) organize a teacher's conference to gather input for the upcoming revision of the book 'Logica voor Informatici' (Johan van Benthem et al.).

  For more information, see the (dutch) invitation at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=229. Participants are requested to register beforehand with Josje Lodder, josje.lodderou.nl.

• 21 June 2002, Computing with LLI Seminar, Sjaak Verbeek

  Speaker: Sjaak Verbeek (Amsterdam)
  Title: A generative model for the Self-Organizing Map
  Date and time: Friday 21 June 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June21 .

• 20 June 2002, Games in Logic, Language and Computation 6

  Date and time: Thursday 20 June 2002, 10.00 - 18.00
  Location: De Uithof, Centrum-Gebouw Zuid, Room F119, Utrecht
  Costs: Free

  The sixth edition of the workshop on Games in Logic, Language and Computation (GLLC6) will be held on Thursday June 20, 2002, in De Uithof, Utrecht.

  The informal workshop series "Games in Logic, Language and Computation" focuses on the application of game theory in linguistics, logic and computer science, as well as on the (logical) foundations of game theory. Earlier meetings have taken place in Amsterdam, Nunspeet and Groningen.

  For more information, see http://www.illc.uva.nl/~bcate/gllc6

• 20 June 2002, What is the world of mathematics?, Joachim Lambek

  Speaker: Joachim Lambek
  Date and time: Thursday 20 June 2002, 14.00 - 15.00
  Location: De Uithof, Centrum-Gebouw Zuid, Room F119, Utrecht

  Abstract:
  It may be argued that the language of mathematics is {\it about the} category of sets, although the definite article requires some justification. As possible worlds of mathematics we may admit all models of type theory, by which we mean all {\it local toposes}. For an intuitionist, there is a distinguished local topos, namely the so-called {\it free topos}, which may be constructed as the Tarski-Lindenbaum category of intuitionistic type theory. However, for a classical mathematician, to pick a distinguished model may be as difficult as to define the notion of truth in classical type theory, which Tarski has shown to be impossible.

  This event is coordinated with the Sixth Workshop on Games in Logic, Language and Computation, which will take place at the same location on the same date. For more information, see http://www.illc.uva.nl/~bcate/gllc6/ .

• 17 June 2002, ILLC talks, Benedikt Loewe

  Speaker: Benedikt Loewe (Bonn)
  Title: Transfinite Iterative Constructions
  Date and time: Monday 17 June 2002, 10.00
  Location: P.016, Euclides-building

  For an abstract, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=224

• 14 June 2002, DIP Colloquium, Malte Zimmermann

  Speaker: Malte Zimmermann (University of Amsterdam)
  Title: A compositional analysis of anti-quantifiers as quantifiers
  Date and time: Friday 14 June 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 14 June 2002, Computing with LLI Seminar, Lena Belitskaya and Samuel Driessen

  Speakers: Lena Belitskaya and Samuel Driessen (Océ-Research)
  Title: Language Analysis and Understanding Group at Océ-Research
  Date and time: Friday 14 June 2002, 13.30
  Location: Room B2.40, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April26 .

• 14 June 2002, CABS-colloquium, Mathijs de Weerdt

  Speaker: Mathijs de Weerdt
  Title: Coordinated Planning in Multi-Agent Systems
  Date and time: Friday 14 June 2002, 15.30
  Location: Faculteit ITS, Mekelweg 4, Delft

  An abstract can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=228. For more information, contact Cees Witteveen, wittits.tudelft.nl

• 7 June 2002, Computing with LLI Seminar, Rob Mokken

  Speaker: Rob Mokken (Amsterdam)
  Title: Unsupervised feature detection on high-dimensional data
  Date and time: Friday 7 June 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#June7 .

• 7 June 2002, ILLC talks, Khalil Sima'an

  Speaker: Khalil Sima'an
  Title: Probabilistic Models of Natural Language Processing: Empirical Validity and Technological Prospects
  Date and time: Friday 7 June 2002, 9.30
  Location: Diamantslijperij, Nieuwe Achtergracht 170, room NP.101

• 7 June 2002, ILLC talks, Wessel Kraaij

  Speaker: Wessel Kraaij (TNO Delft)
  Title: Embedding Web-based Statistical Translation Models in Cross-Language Information Retrieval
  Date and time: Friday 7 June 2002, 10.45
  Location: Diamantslijperij, Nieuwe Achtergracht 170, room NP.101

  Abstract:
  Although Cross-Language Information Retrieval (CLIR) is available for more and more language pairs, based on MT services, many languages are still not covered. An attractive alternative is to construct translation models based on parallel corpora mined from the web. Since these corpora are noisy, embedding translation models in the retrieval model is not without problems. However, experiments showed that retrieval effectiveness can surpass MT systems in a CLIR evaluation task.

• 7 June 2002, ILLC talks, Stefan Geschke

  Speaker: Stefan Geschke (Berlin)
  Title: Forcing, Elementary Substructures, and a New Axiom
  Date and time: Friday 7 June 2002, 12.00
  Location: Diamantslijperij, Nieuwe Achtergracht 170, room NP.101

  For an abstract, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=223

• 6 June 2002, Logic Tea, Paul Égré

  Speaker: Paul Égré
  Title: The Knower Paradox in the Light of Provability Interpretations of Modal Logic
  Date and time: Thursday 6 June 2002, 15.30-17.00
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  In this talk I offer to discuss more closely the links between the Knower Paradox and provability interpretations of modal logic. First, I bring together and compare the respective strength of several inconsistency results respectively involving truth predicates, provability predicates, up to knowledge and belief predicates. In a second part, I examine how provability interpretations of modal logic enable to bypass the limitations imposed by the Knower and related results. The discussion rests more specifically on an examination of the distinct treatments elaborated by B. Skyrms (1978), C.A. Anderson (1983), and R. Solovay (1976). imposed by the Knower and related results.

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html

• 5 June 2002, Information about the ABP-Pension Statement

  Date and time: Wednesday 5 June 2002, 13:30 - 15:30
  Location: room A-B, Roeterstraat 15
  Target group: English-speaking employees of the UvA

  Each year the employees of the University of Amsterdam receive from the ABP their Pension Statement. The last two years the ABP has, on request of the Board of the UvA, given some workshops to the UvA-employees in order to explain the Pension Statement. This year the ABP will give the workshop in English. All UvA-employees are free to come.

  In extension to the earlier given workshops in Dutch there will be special attention to pension transfer from abroad to the Netherlands and vice versa, to surrender of your pension, to the AOW-benefits and to the possibilities for insurance considering IP (disability pension) and ANW (survivor pension).

  For more information, or requests for points to be addressed in the workshop, please send an email to stjonbdu.uva.nl.

• 31 May 2002, Computing with LLI Seminar, Antal van den Bosch

  Speaker: Antal van den Bosch (Tilburg)
  Title: Unravelling the intermediate representation myth in natural
  Date and time: Friday 31 May 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May31 .

• 31 May 2002, DIP Colloquium, Torsten Leuschner

  Speaker: Torsten Leuschner (Universiteit Gent)
  Title: How Subordination Emerges from Discourse: The Case of Concessive Conditionals ... Revisited
  Date and time: Friday 31 May 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 29 May - 4 June 2002, Course on Component-Based Design of Intelligent Multi-Agent Systems, Vrije Universiteit Amsterdam

  Newsitem added on 12 March 2002.

  In this 5-day course, the basic concepts and characteristics of agent systems will be addressed, and a systematic component-based design methodology for agent systems will be presented. The course consists of both lectures and practical work.

  Course material and instructions are in English.

  If you would like to participate in this course, please send in a registration form before April 27th, 2002.

  For more information, see http://www.cs.vu.nl/~wai/demas.

• 29 May 2002, Computing with LLI Seminar, Jerry Seligman

  Speaker: Jerry Seligman (Auckland)
  Title: The scope of Turing's analysis of effective procedures
  Date and time: Wednesday 29 May 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May29 .

• 27 May 2002, Dakje Is (^=), Jeremy Seligman

  Speaker: Jeremy Seligman
  Title: The algorithmic basis of scientific modelling
  Date and time: Monday May 27, 2002, 20:00 -- 21:45
  Location: OMHP D118 C

  The use in science of sophisticated, complex models is widespread and yet the epistemology of science has focussed mostly on the relationship between theory and observation, to the neglect of modelling. Recent discussions of models have emphasised their autonomy and questioned the ability of previous epistemological views to account for their place in scientific practice. In this talk, I propose that we regard models as computational devices and then use algorithmic information theory to account for their use and their relationship to theory. The adoption of this perspective adds a twist to some familiar topics in the philosophy of science such as the distinction between realism and instrumentalism.

  For more information on Jeremy, see http://www.arts.auckland.ac.nz/phi/staff/jeremy_seligman.htm

• Computing with LLI Seminar, Canceled

  Speaker: Canceled
  Newsitem added on 22 March 2002.

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May24 .

• 23 May 2002, Logic Tea, Frank Hindriks

  Speaker: Frank Hindriks (Erasmus University)
  Title: Response Dependence: a Modest Solution to the Problem of Rule-Following
  Date and time: Thursday 23 May 2002, 15.30-17.00
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

• 17 May 2002, Computing with LLI Seminar, Paola Merlo

  Speaker: Paola Merlo (Geneva)
  Title: A multilingual paradigm for automatic verb classification
  Date and time: Friday 17 May 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May17 .

• 17 May 2002, DIP Colloquium, Kristina Striegnitz

  Speaker: Kristina Striegnitz (Saarbrücken)
  Title: Constructing Invisible Bridges
  Date and time: Friday 17 May 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 14 May 2002, Workshop on analytic Philosophy of Action

  Location: Tilburg University
  Newsitem added on 23 April 2002.

  Tilburg University's Dept. of Philosophy organizes a Workshop on analytic Philosophy of Action. The workshop will focus on Intentions and Akratic Actions. Key Speaker: Alfred Mele (University of Florida).

  For more information, see http://cwis.kub.nl/~fsw_2/fww/home/buekens/mele/actions.htm or mail to: Filip Buekens (f.a.i.buekenskub.nl)

• 3 May 2002, DIP Colloquium, Donka Farkas

  Speaker: Donka Farkas (Santa Cruz)
  Title: Varieties of Indefinites
  Date and time: Friday 3 May 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 3 May 2002, Computing with LLI Seminar, Lucian Galescu

  Speaker: Lucian Galescu (Rochester)
  Title: Sub-lexical language models for unlimited vocabulary speech recognition
  Date and time: Friday 3 May 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#May3 .

• 2-4 May 2002, Dimensions in Epistemic Logic

  Location: University of Roskilde, Roskilde, Denmark
  Newsitem added on 29 November 2001.

  This conference is the first event sponsored by PHILOG, The Danish Network for Philosophical Logic and Its Applications. Its goals are: (1) to track the history and development of epistemic logic from Hintikka's first formulations to its contemporary forms,and consider some of the many applications in philosophy, computer science,economics,etc.; and (2) to describe and discuss the developments of epistemic logic in multimodal systems.

  For further information,visit http://www.philog.ruc.dk/phiconf1.html.

• 2 May 2002, Logic Tea, Jan Willem Romeyn

  Speaker: Jan Willem Romeyn (Rijksuniversiteit Groningen)
  Title: Induction and Bayesian Updating
  Date and time: Thursday 2 May 2002, 15.30-17.00
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

• 27 April 2002, Celebration of the 60th Birthday of Per Martin-Löf

  Date and time: Saturday 27 April 2002, 13.30-18.30
  Location: Berg en Dal, The Netherlands

  In May, Per Martin-Löf will have his 60th birthday. To celebrate that special occasion, we organise a special afternoon, dedicated to the work of Per Martin-Löf. This event will take place on Saturday afternoon, April 27 in Hotel-Conference centre Erica, Berg en Dal, NL (near Nijmegen). The afternoon is part of the TYPES 2002 meeting, but people are cordially invited to come just for this special celebration.

  For more information and registration, see http://www.cs.kun.nl/fnds/TYPES2002/martin-lof.html

• 26 April 2002, CABS-colloquium, Nico Roos

  Speaker: Nico Roos (IKAT, University of Maastricht)
  Title: Multi-Agent Diagnosis
  Date and time: Friday 26 April 2002, 15.30
  Location: Conference Room 9th floor, Faculty ITS, Mekelweg 4, Delft

  For more information, see ftp://ftp.let.uu.nl/pub/colibri/logic/dutch/cabs.15-2002

• 26 April 2002, Computing with LLI Seminar, CANCELED

  Speaker: CANCELED
  Newsitem added on 13 April 2002.

• 24 April 2002, Dakje Is, Canceled

  Speaker: Canceled
  Newsitem added on 9 April 2002.

• 19 April 2002, Computing with LLI Seminar, Stefan Schlobach

  Speaker: Stefan Schlobach (Amsterdam)
  Title: Knowledge Discovery in Modal and Description Logics
  Date and time: Friday 19 April 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April19 .

• 19 April 2002, DIP Colloquium, CANCELLED

  Speaker: CANCELLED
  Newsitem added on 27 March 2002.

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

• 19 April 2002, Colloquium on Mathematical Logic, Yde Venema

  Speaker: Yde Venema
  Title: Canonicity, correspondence and duality
  Date and time: Friday 19 April 2002, 16.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 12 April 2002, Computing with LLI Seminar (Double Session), Enrico Franconi / Thom Frühwirth

  Speaker: Enrico Franconi (Manchester) / Thom Frühwirth (LMU Munich)
  Title: (Description) Logics for Information Modelling and Access / Description Logics in CHR
  Date and time: Friday 12 April 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April12 .

• 11 April 2002, Logic Tea, Balder ten Cate

  Speaker: Balder ten Cate
  Title: Towards a modal logic of informational independence
  Date and time: Thursday 11 April 2002, 15.30-17.00
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html.

• 10 April 2002, SIKS/Ontoweb Master Class, Peter Patel-Schneider , Pat Hayes

  Speakers: Peter Patel-Schneider (Bell Labs Research and Pat Hayes, University of West-Florida) , Pat Hayes (University of West-Florida)
  Title: Logical Foundations of the Semantic Web
  Date and time: Wednesday 10 April 2002, 10.00 - 12.30
  Location: Bondsraadzaal Vakbondsmuseum, Henri Polaklaan 9, Amsterdam (opposite Artis zoo)

  The World-Wide Web Consortium has started, as part of its Semantic Web activity, a new working group to develop a web ontology language The second meeting of this group will be held at CWI in Amsterdam on April 8-9. Ontoweb and SIKS have taken this opportunity to organize a master class on the logical foundations of the semantic web. The two invited speakers, Peter Patel-Schneider and Pat Hayes, are members of the working group and experts in this field.

  For more information and registration, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=169 or http://www.w3.org/2001/sw/WebOnt/, or contact enserinkswi.psy.uva.nl.

• 4 April 2002, Computing with LLI Seminar, Maarten Marx

  Speaker: Maarten Marx (Amsterdam)
  Title: Hybrid Logic for Knowledge
  Date and time: Friday 4 April 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#April4 .

• 5 April 2002, Colloquium on Mathematical Logic, Pieter Hofstra

  Speaker: Pieter Hofstra
  Title: Relative Completions
  Date and time: Friday 5 April 2002, 16.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 28 March 2002, Computing with LLI Seminar, Joao Marcos

  Speakers: Joao Marcos (Ghent University and State University of Campinas - Brazil)
  Title: Internalizing Consistency
  Date and time: Thursday 28 March 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March28 .

• 26 March 2002, DIP Colloquium, Igor Boguslavsky

  Speaker: Igor Boguslavsky
  Title: Sandhi in syntax: scope of "already" and negation in Russian
  Date and time: Tuesday 26 March 2002, 11.00-13.00
  Location: Oost-Europa Instituut, room 161, Vendelstraat 7, Amsterdam

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

• 22 March 2002, Computing with LLI Seminar, Pieter Adriaans

  Speaker: Pieter Adriaans (Amsterdam)
  Title: SSTT (Speed Search in Truth Tables): SAT as a learning problem.
  Date and time: Friday 22 March 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March22 .

• 22 March 2002, DIP Colloquium, Tim Fernando

  Speaker: Tim Fernando (Trinity College Dublin)
  Title: Events constructed automata-theoretically
  Date and time: Friday 22 March 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 22 March 2002, Third ILLC Alumni Event

  Date and time: Friday 22 March 2002, cancelled

• 15 March 2002, ILLC Double Talks, canceled

  Speaker: canceled
  Newsitem added on 22 December 2001.

  For more information, contact Frank Veltman (veltmanhum.uva.nl) or Martin Stokhof (stokhofhum.uva.nl).

• 15 March 2002, Computing with LLI Seminar, Rens Bod

  Speaker: Rens Bod (ILLC, Amsterdam)
  Title: The Computational Linguistics of Musical Sequences
  Date and time: Friday 15 March 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March15 .

• 15 March 2002, Colloquium on Mathematical Logic, Lev Beklemishev

  Speaker: Lev Beklemishev
  Title: On fragments of arithmetic related to $\Delta_1$-induction
  Date and time: Friday 15 March 2002, 16.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station)

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

• 14 March 2002, Co-training in Text Classification, Stan Matwin

  Speakers: Stan Matwin (University of Ottawa and Universite de Paris XI)
  Date and time: Thursday 14 March 2002, 16.00 - 17.00 hrs
  Location: Room E.020, Roetersstraat 11 (Faculty of Economics), Amsterdam.

  For an abstract of the talk, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=162.

• 8 March 2002, DIP Colloquium, Isabel Txurruka

  Speaker: Isabel Txurruka (San Sebastian)
  Title: NL Disjunction
  Date and time: Friday 8 March 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 8 March 2002, Second Utrecht-Amsterdam Workshop, Computational Tools for Linguistics

  Date and time: Friday 8 March 2002, 10.00-17.00
  Location: Room 2.04, Uil OTS, Trans 10, Utrecht

  This second Utrecht-Amsterdam workshop aims at bringing together researchers from the University of Utrecht (UiL OTS) and the University of Amsterdam (ILLC), with common interests in the area of computational linguistics and information systems. Speakers include M. Moortgat, J. Kamps, P. Monachesi, C. Caracciolo, C. Monz, R. Moot, T. v.d. Wouden, K. Sima'an, P. Adriaans

  The full program, including abstract, will be announced asap and published on the web site at http://www-uilots.let.uu.nl/~ctl/workshops#ctforl. For logistic reasons we ask you to register yourself before March 6th: registration is free. For registration and further information, please contact Caterina Caracciolo (caterinascience.uva.nl) or Paola Monachesi (paola.monachesilet.uu.nl).

• 1 March 2002, Computing with LLI Seminar, Detlef Prescher

  Speaker: Detlef Prescher (DFKI, Saarbrücken)
  Title: EM-Based Clustering
  Date and time: Friday 1 March 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#March1 .

• 28 February 2002, Constructivism, Anne Troelstra

  Speaker: Anne Troelstra
  Date and time: Thursday 28 February 2002, 15:30-17:00
  Location: Plantage Muidergracht 12, Room M328

  This series is designed in the first place for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC. In particular, this means that talks will not presuppose any detailed knowledge of advanced logical machinery. We expect, however, that it will be interesting for Ph.D. students and staff members, too.

  Cookies and tea will be served. You are most cordially invited!

  For more information, see the full announcement at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=151, or contact Marc Theunissen (mktheunisscience.uva.nl), or Boudewijn de Bruin (debruinillc.uva.nl).

• 26 february 2002, Gentzen in Gottingen, E.Menzler-Trott

  Speaker: E.Menzler-Trott
  Date and time: 26 february 2002, canceled

• 22 February 2002, Computing with LLI Seminar, Thijs Westerveld

  Speaker: Thijs Westerveld (Twente)
  Title: Finding Web Pages using Content, Links, URLs and Anchors
  Date and time: Friday 22 February 2002, 13.45
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#February22 .

• 22 February 2002, DIP Colloquium, Jennifer Spenader

  Speaker: Jennifer Spenader (Stockholm University)
  Title: A gap to be bridged?
  Date and time: Friday 22 February 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 18 February 2002, First Seminar Cognitive Science Center Amsterdam (CSCA)

  Date and time: Monday 18 February 2002, 10.00
  Location: Cognitive Science Center Amsterdam, Nieuwe Prinsengracht 130, Room G.018

  On February 18 the newly established Cognitive Science Center Amsterdam (CSCA) will hold its first scientific meeting, which will be hosted by ILLC. Speakers are Herbert Clark, Stan Rosenschein, John Perry, Reinhard Blutner and Keith Stenning. Drinks will be served afterwards.

  The audience at the meeting will consist of interested members of staff from the participating departments in CSCA: biology, psychology, linguistics, artificial intelligence, and ILLC. Martin Stokhof has suggested that ILLC members might present their work to this audience by means of posters.

  A program and abstracts are available at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=123. For more information, contact Michiel van Lambalgen (vanlambalgenhum.uva.nl).

• 15 February 2002, ILLC Double Talks, canceled

  Speaker: canceled
  Newsitem added on 22 December 2001.

• Colloquium on Mathematical Logic, canceled

  Speaker: canceled
  Newsitem added on 7 February 2002.

• 15 February 2002, Amsterdam Aachen Exchange on Logic and Games

  Speakers: W. Thomas, J. van Benthem and others
  Date and time: Friday 15 February 2002, 10.00 - 17.00
  Location: Roetersstraat 15, room AD

  This edition of the Amsterdam Aaxchen exchange will consist of three longer presentations and five shorter ones on the theme logic and games. The final program will be announced in the second week of February.

  The program of this meeting now is available on the URL http://staff.science.uva.nl/~peter/prog20020215.html For more information, contact Peter van Emde Boas (peterscience.uva.nl).

• 15 February 2002, How Did Mathematical Ability Evolve, Keith Devlin

  Speaker: Keith Devlin
  Date and time: Friday 15 February 2002, 16.00
  Location: Room 211, Minnaertgebouw, Leuvenlaan 4

  Organized by the Institute for History and Foundations of Physics.

• 14 February 2002, Computing with LLI Seminar, Marco Aiello

  Speaker: Marco Aiello (Amsterdam)
  Title: Spatial Reasoning: Theory and Practice.
  Date and time: Thursday 14 February 2002, 13.30
  Location: Room B2.40, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#February14 .

• 13 February 2002, Farewell Meeting Kees Doets, Henk Barendregt, Dirk van Dalen, Krzysztof Apt, Johan van Benthem, Theo Kuipers

  Speaker: Henk Barendregt, Dirk van Dalen, Krzysztof Apt, Johan van Benthem, Theo Kuipers
  Date and time: Wednesday 13 February 2002, 12.30 - 17.30 (approx.)
  Location: UvA, Plantage Muidergracht 24 (Euclides building), room P.019.
  Lectures by Krzysztof Apt, Henk Barendregt, Johan van Benthem, Dirk van Dalen and Theo Kuipers.

  For more information, contact Dick de Jongh (dickdjscience.uva.nl).

• 13 February 2002, (Real) points for events, imperfect utility discrimination, etc. , Uwe Lueck

  Speaker: Uwe Lueck (Dept. of Phil., Munich University)
  Date and time: Wednesday, 13 February 2002, 10.00 (sharp) - 11.00
  Location: Plantage Muidergracht 12, room M.328

  We are happy to invite you to a special talk on Wednesday, February 13. (preceeding the "Farewell Meeting Kees Doets"). An abstract can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=125.

  For more information, please contact Boudewijn de Bruin at debruinscience.uva.nl

• 8 February 2002, Computing with LLI seminar, Johan van Benthem

  Speaker: Johan van Benthem (Amsterdam/Stanford)
  Title: A Modal Walk Through Space
  Date and time: Friday 8 February 2002, 13:30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#February8 .

• 8 February 2002, DIP Colloquium, Paul Boersma

  Speaker: Paul Boersma (Universiteit van Amsterdam)
  Title: Gradual learning and acquisition of constraint ranking
  Date and time: Friday 8 February 2002, 15.00 sharp - 16.15
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 1 February 2002, Computing with LLI Seminar, Maarten de Rijke and others

  Speakers: Maarten de Rijke (Amsterdam) and others
  Title: LIT 2002 Evaluation Campaigns
  Date and time: Friday 1 February 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#February1 .

• 1 February 2002, Colloquium on Mathematical Logic, Troy Lee

  Speaker: Troy Lee (Universiteit van Amsterdam)
  Title: Multiplication Harder than Addition? - Arithmetical Definability over Finite Structures
  Date and time: Friday 1 February 2002, 16.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 25 January 2002, DIP Colloquium, Tanya Reinhart

  Speaker: Tanya Reinhart (Utrecht University)
  Title: Cheap and expensive focus computations
  Date and time: Friday 25 January 2002, 15.00-17.00
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 25 January 2002, Computing with LLI Seminar, Guus Schreiber

  Speaker: Guus Schreiber (SWI, Amsterdam)
  Title: Ontology-based photo annotation
  Date and time: Friday 25 January 2002, 13.30
  Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#January25 .

• 18 January 2002, Computing with LLI Seminar, Verónica Becher

  Speaker: Verónica Becher (University of Buenos Aires)
  Title: On the standard proof of randomness
  Date and time: Friday 18 January 2002, 13.30
  Location: Room P.018, Euclides Building, Plantage Muidergracht 24, Amsterdam

  For abstracts and more information, see http://lit.science.uva.nl/News/seminar02-1.html#January18 .

• 11 January 2002, Colloquium on Mathematical Logic, Aart Middeldorp

  Speaker: Aart Middeldorp
  Title: Transforming Context-Sensitive Rewrite Systems
  Date and time: Friday 11 January 2002, 16.00-17.00
  Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

• 11 January 2002, DIP Colloquium, Kerstin Fischer

  Speaker: Kerstin Fischer (Universität Bremen)
  Title: Communicative Failure in Human-Computer Conversation
  Date and time: Friday 11 January 2002, 14.00-15.30
  Location: Room 107, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

• 11 January 2002, ILLC Double Talks, Maarten de Rijke, Henk Zeevat

  Speakers: Maarten de Rijke, Henk Zeevat
  Title: Computational Modelling
  Date and time: Friday 11 January 2002, 15.30-17.00
  Location: to be announced

  Afterwards there will be the ILLC New Year's drinks in Cafe de Jaren, Nieuwe Doelenstraat.

  For more information, contact Frank Veltman (veltmanhum.uva.nl) or Martin Stokhof (stokhofhum.uva.nl).

Calls for Papers

• 14-17 February 2003, FotFS IV : The History of the Concept of the Formal Sciences, Rheinische Friedrich-Wilhelms-Universitaet Bonn Mathematisches Institut (deadline: 1 November 2002)

  Costs: € 25,-
  Newsitem added on 19 September 2002.

  "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades.

  This fourth meeting of the series will be devoted to a reflection on the object of interest: What are the Formal Sciences? How do they differ from the Natural Sciences and the Arts? How have they been perceived through history?

  Deadline for submissions: November 1, 2002. For more information and submission guidelines, please see http://www.math.uni-bonn.de/people/fotfs/IV/, or contact the organizers at fotfsmath.uni-bonn.de.

• 15-17 January 2003, Fifth International Workshop on Computational Semantics (IWCS-5) (deadline: 15 September 2002)

  Location: Tilburg
  Newsitem added on 11 July 2002.

  Topics of interest for the workshop will be computational aspects of formal semantic theories and theoretical issues in building natural language understanding systems.

  Deadline for submission: 15 September 2002

  For more information, see http://let.kub.nl/research/TI/sigsem/iwcs/iwcs5/

• 18-29 August 2003, ESSLLI-2003: 15th European Summer School in Logic, Language and Information, Vienna, Austria (deadline: 17 July 2002)

  Newsitem added on 13 June 2002.

  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-2003 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

  The ESSLLI-2003 Programme Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 15th annual Summer School. Proposals should be submitted through the online web form on the website, no later than Wednesday July 17, 2002.

  For more information, see the website at http://www.folli.uva.nl/2003/esslli-2003.html/

• Journal of Logic and Algebraic Programming, Special issue on Annotated Terms (deadline: 30 June 2002)

  Newsitem added on 5 June 2002.

  This special issue intends to cover aspects such as theory and foundations, implementation issues, and applications involving underlying ideas on Annotated Terms.

  We look for original, unpublished contributions of high quality which are not submitted elsewhere. The deadline for submissions is June 30, 2002.

  Guest editor is Mark van den Brand (CWI).

  For more information, see http://www.cwi.nl/~markvdb/JLAP-AT/ and http://www.elsevier.com/locate/jlap.

MoL and PhD defenses

• 20 December 2002, Master of Logic defense, Fabrice Nauze

  Title: Passé Simple and the Imparfait. An event calculus approach to French semantics
  Date and time: 20 December 2002, 14.00 -15.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24
  Supervisor: Michiel van Lambalgen

• 12 December 2002, Master of Logic defense, Rajvinder Singh

  Title: A study of optimality theory and the human sentence processing mechanism
  Date and time: 12 December 2002, 16.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24
  Supervisor: Henk Zeevat

• 2 December 2002, PhD defense, Rosella Gennari

  Title: Mapping Inferences
  Date and time: Monday 2 December 2002, 11.00
  Location: Doelenzaal (the small room), Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotor: K.R. Apt
  Copromotor: M. de Rijke

  Keywords: efficient automated reasoning, CSPs, constraint propagation, modal logics, modal satisfiability.

  For more information, see http://www.cwi.nl/~gennari/thesis

• 28 November 2002, Master of Logic defense, Luciano Buratto

  Title: Back-off as Parameter Estimation for DOP models
  Date and time: Thursday 28 November 2002, 15.00
  Location: Room 2.35, Building B, Nwe Achtergracht 166, REC, Amsterdam
  Supervisor: Khalil Sima'an
  Study Advisor: Henk Zeevat

• 26 November 2002, PhD defense, Mirna Bognar

  Title: Contexts in Lambda Calculus
  Date and time: 26 November 2002, 15.45
  Location: Aula van de Vrije Universiteit Amsterdam
  Promotor: Prof.dr. J Klop
  Copromotor: dr. R. de Vrijer

  For more information, see http://www.cs.vu.nl/~mirna/

• 19 November 2002, Master of Logic defense, Marian Counihan

  Title: What have four year olds in common with Frege?
  Date and time: Tuesday 19 November 2002, 12.00 -13.00
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24
  Supervisor: Michiel van Lambalgen

• 31 October 2002, Master of Logic defense, Bernadette Hernandez

  Title: Automated Reasoning with Boolean ABoxes
  Date and time: Thursday 31 October 2002, 13.30-14.30 hr
  Location: P.327 (Plantage Muidergracht 24)

• 31 October 2002, Master of Logic defense, Mathieu Vidal

  Title: Classifying Conditionals
  Date and time: Thursday 31 October 2002, 15.00-16.00 hr
  Location: P.327 (Plantage Muidergracht 24)

• 9 October 2002, PhD defense, Wim van Dam

  Title: On Quantum Complexity Theory
  Date and time: Wednesday 9 October 2002, 14.00 -15.00
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam

• 13 September 2002, PhD defense, Yuri Engelhardt

  Title: The Language of Graphics: a framework for analyzing syntax and meaning in maps, charts and diagrams
  Location: Oude Lutherse Kerk, Singel 411, Amsterdam
  Promotores: Remko Scha, Peter van Emde Boas
  Newsitem added on 30 July 2002.

• 12 August 2002, Master of Logic defense, Seth Cable

  Title: Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and how Pie-Cutting Relates to Ancient Heaps of Sand
  Date and time: Monday 12 August 2002, 15.30
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24

• 6 August 2002, Master of Logic defense, John Duda

  Title: Context and Mythology
  Date and time: Tuesday 6 August 2002, 15.30
  Location: Room 3.27, Euclides Building, Plantage Muidergracht 24

• 22 July 2002, Master of Logic defense, Willem Conradie

  Title: Beth's definability property in modal and hybrid logic
  Date and time: Monday 22 July 2002, 16.00
  Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam
  Supervisors: Maarten Marx, Yde Venema

• 19 June 2002, PhD defense, Raffaella Bernardi

  Title: Reasoning with Polarity in Categorial Type Logic
  Date and time: 19 June 2002, 14.30 -15.30
  Location: Academiegebouw, Domplein 29, Utrecht
  Promotor: Prof.dr. Moortgat(Utrecht University)

• 22 February 2002, PhD defense, Marco Aiello

  Title: Spatial Reasoning: Theory and Practice
  Date and time: 22 February 2002, 12.00
  Location: Aula van de Universiteit van Amsterdam, Oude Lutherse Kerk, Singel 411
  Promotores: Prof.dr. J.F.A.K. van Benthem, Prof. dr.ir. A.W.M. Smeulders

  For more information, see http://www.aiellom.it/phd/.

• 25 January 2002, PhD defense, Nikos Massios

  Title: Decision-Theoretic Robotic Surveillance
  Date and time: 25 January 2002, 10.00
  Location: Aula van de Universiteit van Amsterdam, Oude Lutherse Kerk, Singel 411
  Promotores: Prof.dr. F. Groen, Prof.dr. M. van Lambalgen
  Copromotores: Dr.ir. L. Dorst, Dr. F.P.G.M. Voorbraak

Projects and Awards

• Best Student Session Paper Award winners

  Newsitem added on 9 September 2002.

  Balder ten Cate and Ken Shan received the "Best Student Session Paper Award" sponsored by Kluwer Academic Publishers, on the ESSLLI Summerschool in Trento for their paper "The Partition Semantics of Questions, Syntactically". The paper can be downloaded from Balder's web-page: http://staff.science.uva.nl/~bcate/.

• Johan van Benthem selected for Institut International de Philosophie

  Newsitem added on 18 October 2001.

  Johan van Benthem has been selected to become a member of the Institut International de Philosophie in Paris. Other members of this prestigeous society are, amongst others, Apel, Gadamer, Habermas, Lenk.

• 30 November 2001, CIVI Study Award granted to drs. M.G. de Graaf

  Newsitem added on 8 November 2001.

  The "2001 CIVI Afstudeerprijs voor de Industrie" in the area of Computer Science has been granted to the UvA student M.G. de Graaf. The prize of fl. 25.000 will be presented at a ceremony in the building of the Hollandse Maatschapij voor Wetenschappen in Haarlem on Friday November 30 2001

  Martijn Geertjan de Graaf graduated July 03 2001 in the program of Theoretical Computer Science with honors (Cum Laude) on a thesis entitled "Quantum Computing and the Yao Principle". The project was supervised by prof. dr. Harry Buhrman, dr. R. de Wolf and dr. L. Torenvliet.

  For more information, contact Peter van Emde Boas at peterscience.uva.nl.

Funding, Grants and Competitions

• New NWO Research programme: Interactive Multimodal Information Extraction (IMIX)

  Newsitem added on 19 November 2002.

  Het onderzoeksprogramma Interactieve Multimodale Informatie Extractie (IMIX) is een gezamenlijk initiatief van het Gebiedsbestuur Geesteswetenschappen en het Gebiedsbestuur Exacte Wetenschappen en maakt deel uit van het thema Digitalisering en Informatisering uit de NWO Strategienota Thema's met Talent.

  Het IMIX programma heeft als doel het vergroten van de strategisch-fundamentele kennis op het gebied van de Nederlandse taal- en spraaktechnologie en de toepassing daarvan binnen multimodale en/of multimedia systemen. Voor de uitvoering van het IMIX programma heeft de programmacommissie een aantal strategische en thematische prioriteiten vastgesteld, die uitgebreid in de Call for Proposals staan beschreven. Deze prioriteiten zullen als basis dienen voor de beoordeling.

  For more information and a Call for Proposals (also in english), see http://www.nwo.nl/imix/.

• Call for "Outline" proposals for ESF Scientific Programmes

  Newsitem added on 10 September 2002.

  The ESF Standing Committee for the Physical and Engineering Sciences (PESC) herewith launches (9 September 2002) a call for "outline" proposals for ESF Scientific Programmes. PESC wishes proposals to address NOVEL SCIENCE in one or more of the following fields: chemistry, physics, mathematics, information sciences and technology, fundamental engineering sciences, materials sciences and engineering. Multi-disciplinary proposals based in these areas but also involving fields within the remit of other ESF Standing Committees are also welcome. Deadline for proposals is October 31st, 2002.

  An ESF Scientific Programme is a networking activity, bringing together key researchers and research groups for four or five years to address a major scientific issue at the European level. Key objectives are to bring synergy and European added value to research work being undertaken at the national level, and to achieve a visible impact at the European level to the advantage of European science.

  For more information, see http://www.esf.org/esf_article.php?domain=1&activity=5&article=262

• Declaration Forms on UvA web

  Newsitem added on 16 June 2002.

  Not all of you may know that the UvA declaration forms can be downloaded from the web. The forms can be found at: http://www.science.uva.nl/faculteit/fa/decl/
  If you print and fill out the form and send it to our office accompanied by original tickets or receipts we will see to it that the amount will be transferred into your account a.s.a.p.

• Opportunities to participate in ERCIM and IMA

  Newsitem added on 28 February 2002.

  Through the CWI (Centrum voor Wiskunde en Informatica), there are possibilities for individual OzsL researchers to participate in the activities of ERCIM (European Research Consortium for Informatics and Mathematics) and IMA (Institute for mathematics and its Applications). The CWI is actively involved in both ERCIM and IMA.

  See http://www.ercim.org and http://www.ima.umn.edu for information about ERCIM and IMA. Those interested in participation in ERCIM activities, please contact dr. ir. Barry Koren at Barry.Korencwi.nl (ERCIM), or prof. dr. Lex Schrijver at Lex.Schrijvercwi.nl (IMA).

• Marie Curie Fellowships & Marie Curie Training Site

  Newsitem added on 25 February 2002.

  Laatste mogelijkheid om binnen 5KP Marie Curie Individuele Fellowships aan te vragen: Het gaat hierbij om Individuele Fellowships om binnen Europa maximaal 2 jaar postdoc onderzoek te doen, of jonge onderzoekers te ontvangen. Om als Marie Curie Training Site aangemerkt te worden, kunnen (delen van) onderzoekinstituten zich aanmelden bij de Europese Commissie. Onderzoek instituten geven aan dat zij op een bepaald onderzoeksthema jonge promovendi uit Europa maximaal één academisch jaar kunnen ontvangen en extra kunnen trainen. De subsidie betreft een beurs voor de fellow en een fee voor de ontvangende Training Site.

  Improving Human Potential programma deadline 13 maart 2002
  Quality of Life programma deadline 10 april 2002
  Environment programma deadline 20 maart 2002
  Environment programma Training Site deadline 20 maart 2002
  

  Voor nadere informatie, zie http://www.cordis.lu/improving/fellowships/deadlines.htm, of zoek contact met het Liaison Office van de Universiteit. E-mail: e-lluster@ bdu.uva.nl; telefoon: 525 5417 of fax 525 5242.

• Khalil Sima'an awarded KNAW-fellowship

  Newsitem added on 9 December 2001.

  We are very happy to announce that Khalil Simaan has been awarded a KNAW-fellowship on his project "Beyond Tree-Banks: Ambiguity Resolution by Distributional Similarity-based Performance Models".

Open Positions at ILLC

• Open PhD Position at ILLC

  Newsitem added on 6 May 2002.

  The ILLC is looking for a PhD student in the field of Philosophy of Language, Philosophical Logic, or Computational Linguistics. The PhD student will get an appointment for four years at the Faculty of Humanities of the University of Amsterdam. The starting date of the appointment is September 1, 2002.

  The application deadline is May 31, 2002. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=208

• Open Postdoc Position at Vrije Universiteit

  Newsitem added on 6 May 2002.

  The Faculty of Sciences is looking for one or two Postdocs for the Department of Artificial Intelligence.

  The Department of Artificial Intelligence does research in both fundamental and applied aspects of Agent Technology, Knowledge Technology, Computational Intelligence and their applications. The current vacancy is for a position in the Agent Systems Research Group, focusing on research into modelling dynamics of agent behaviour and multi-agent organizations. This includes analysis of the usefulness of verification, (model-)checking and diagnosis of organizational dynamics, simulation of dynamics, and correlating dynamic properties on different aggregrational levels within an agent or organization.

  For more information, contact dr. C.M. Jonker at jonkercs.vu.nl or tel: 020-44 47743/47700, or prof. dr. J. Treur at treurcs.vu.nl. Or see the departemental website at http://www.cs.vu.nl/ai.

• Postdoc Position in the Language and Inference Technology group

  Newsitem added on 24 February 2002.

  The Language and Inference Technology group at the University of Amsterdam is searching for highly motivated candidates with a PhD in computer science, computational linguistics, or a related discipline, for a postdoc position. The ideal candidate has a working knowledge of linguistics and experience with applications that demand natural language processing capabilities. He or she has a strong orientation towards empirical and applied research, with system development and evaluation forming an integral part of his/her research activities. Research experience in machine learning or statistical modeling techniques is essential.

  For more information, see the full text of this announcement at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=153, or the project homepage at http://www.science.uva.nl/~mdr/Projects/ComputingwithMeaning/

Open Positions, General

• Postdoc-fellowships Universiteit van Padua

  Newsitem added on 20 November 2002.

  The University of Padua has renewed its programme for foreign researchers who have obtained their doctorates abroad (i.e. outside Italy) and wish to pursue their scientific research work at the University of Padua.

  These fellowships are intended for foreign researchers who have achieved their research doctorate or equivalent qualification abroad within the last five years. The program offers 10 two-year fellowship grants, the annual amount of each grant being 21,000 euros. The deadline for submitting the application is December 31st, 2002. A decision about admission will be taken within February 28th, 2003.

  For more detailed information, including application forms, see the web site of the University of Padua, at http://www.unipd.it/ammi/borse/call_application.pdf (English Version) or http://www.unipd.it/ammi/borse/bando.pdf (Italian version). Or contact the Liaison Office of the UvA at http://www.liaisonoffice.uva.nl/, email: e-llusterbdu.uva.nl, tel: 525-5417 (LO identifier: Uni Padua 2002).

• Open Position at Auckland University

  Location: Department of Philosophy, Auckland University, New Zealand
  Newsitem added on 17 May 2002.

  Auckland University (New Zealand) invites applications from qualified individuals for appointment to a Lectureship (tenure-track) in the Department of Philosophy. The area of specialty is Logic. Areas of competence may be in any area of Philosophy. The Department fosters a pluralist ethos involving different areas and styles of philosophy, and values collegiality; it is expected that the successful applicant will share these values. Significant teaching experience will be strongly preferred.

  The closing date for applications is 4th Nov. 2002. Preferred start date is Feb. 1st 2003. For further information, see the release on the Department's website at http://www.arts.auckland.ac.nz/phi/pr0021.htm or contact Professor Rosalind Hursthouse, email r.hursthouseauckland.ac.nz.

• Position in Computational Linguistics

  Location: Georgetown University, Washington DC, USA
  Newsitem added on 13 October 2002.

  The Department of Linguistics at Georgetown University Seeks to hire a Computational Linguist at the Associate (tenured) or Assistant(tenure-track) Professor level, with a specialty in Natural Language Processing. Ph.D. in Linguistics required; salary commensurate with experience. Priority will be given to applications received before November 1, 2002.

  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=297 or contact Paul Portner at portnerpgeorgetown.edu.

• Postdoctoral Fellowship in Sydney for "Logics of Knowledge and Belief"

  Location: School of Computer Science and Engineering, University of New South Wales, Sydney, Australia
  Newsitem added on 6 July 2002.

  A postdoctoral fellowship/research fellowship, supported by grants from the Australian Research Council, is available in applications of modal logic to distributed systems. The research conducted may encompass both proof theory for logics of knowledge and belief and algorithmic verification techniques based on these logics, including the development of a model checker and its application to the verification of knowledge-based programs and security protocols.

  Applications should be submitted by July 26. Applicants should have, or be about to complete, a Ph.D. in computer science, or equivalent research experience appropriate to the project, and expertise in modal logic (particularly epistemic logic and temporal logic) and/or model checking.

  For more informatin, see http://www.cse.unsw.edu.au/~meyden/positions or contact Assoc. Prof. Ron van der Meyden at meydencse.unsw.edu.au.

• Three Postdoctoral Research Fellowships in Model Checking

  Newsitem added on 21 January 2002.

  Applications are invited for three EU-funded Marie-Curie postdoctoral fellowships, each of two years duration, within the Department of Computer Science at the University of Liverpool. The successful fellows will work on extending and refining the model checking approach, investigating deductive, lightweight and multi-agent aspects of model-checking.

  Closing date for applications: 15th February 2002.

  The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=132. Details of both the research group and Department can be found via http://www.csc.liv.ac.uk/research/logics.

• Constraints

  Title: Fwd: post-docs positions in Univ. of Padova
  Newsitem added on 25 January 2002.

  2-year post-docs positions in Univ. of Padova.
  Deadline for application: Jan. 30, 2002.
  Area: Constraints.
  Coordinator: Francesca Rossi.
  

  For more information, please visit http://www.unipd.it/main/english/grants/call_applications.html or mail Francesca Rossi at frossimath.unipd.it

• Visiting research fellowships Edinburgh

  Newsitem added on 1 September 2001.

  Applications can be submitted for Visiting research fellowships of the University of Edinburgh for fellowships of between two and six months, tenable in the period May 2001-September 2003.

  For more information, contact Peter Blok at pblokscience.uva.nl.

New Appointments

• New PhD students at ILLC: Merlijn Sevenster and Sjoerd Druiven

  Newsitem added on 15 March 2002.

  As of 1 september 2002, the ILLC crew will be extended with Merlijn Sevenster and Sjoerd Druiven. They will join us as PhD students working on the InIGMA project under Johan van Benthem and Peter van Emde Boas. Before them, Merlijn Sevenster can occasionally be found in room P.318 in the Euclides building.

  At http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=168 you can find a small (dutch) text Merlijn has written to introduce Sjoerd and himself. For more information, contact Merlijn at sevenstrscience.uva.nl.

• ILLC welcomes 15 new international Logic students

  Newsitem added on 1 September 2002.

  Master of Science students:
  Elizabeth (Be) Birchall, Canada, U.K.
  Julia Grodel, U.S.
  Guillaume Aucher, France
  Loredana Afanasiev, Moldavia
  Spencer Gerhardt, U.S.
  Oren Tsur, Israel
  Clive Nettey, U.K.
  Gilad Mishne, Israel
  Chunlai Zhou, China
  Tanja Hötte, Germany
  Thuy Linh Nguyen, Vietnam
  Jill Cirasella, Canada
  Giosué Baggio, Italia

  Exchange students:
  Andreas Zollmann, Germany
  Dirk Walther, Germany

• New Program Manager at GPiL: Peter Paul de Witte

  Newsitem added on 13 April 2002.

  We are happy to announce that we have found a new coordinator for the Master of Logic program. His name is Peter Paul de Witte, and he will join ILLC for two days a week (Monday and Thursday), for a period of at least half a year. His office will be room 312 in the Euclides building.

  A short introduction can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=196.

• New PhD student at ILLC: Nick Bezhanishvili

  Newsitem added on 12 April 2002.

  Nick Bezhanishvili (Georgia) is PhD student at the ILLC as of January 1, 2002, working on the 'Constructive and Intensional Logic' project. His office will be room P.316 in the Euclides building.

  At http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=187 you can find a small text Nick has written to introduce himself. For more information, contact nbezhaniscience.uva.nl.

• New PhD student at ILLC: Darrin Hindsill

  Newsitem added on 12 April 2002.

  Darrin Hindsill.(re-)joins the ILLC, as a PhD student working on 'Logic and Cognition'.

  At http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=188 you can find a small text Darrin has written to introduce himself For more information, contact d.hindsillhum.uva.nl.

• New PhD student at ILLC: Troy Lee

  Newsitem added on 12 April 2002.

  Troy Lee (USA) is PhD student at the ILLC, starting February 1, 2002

  At http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=189 you can find a small text Troy has written to introduce himself

• New secretary at ILLC-office Plantage Muidergracht: Tanja Kassenaar

  Newsitem added on 16 March 2002.

  Tanja Kassenaar will start on Tuesday March 19 at our office on Plantage Muidergracht 24 for 19 hours a week. Her working days will be Tuesdays, Thursdays and Fridays; room P 3.29.

• New PhD student: Clemens Kupke

  Newsitem added on 10 February 2002.

  Starting February 4 2002, Clemens Kupke has joined the research forces of the ILLC. He will work as a PhD student on the NWO project `Coalgebraic Modal Logic' and will divide his activities between the ILLC and the CWI. His supervisors are Yde Venema (ILLC) and Jan Rutten (CWI).

• New PhD student: Gabriele Musillo

  Newsitem added on 5 November 2001.

  As of November 1, the ILLC crew has been extended with Gabriele Musillo. He has joined us as a PhD student working on the Pionier project "Computing with Meaning." Gabriele's email is musilloscience.uva.nl; his office will be room B.234 in Gebouw B.

• New ILLC Staff Member: Menno van Zaanen

  Newsitem added on 21 November 2001.

  Herewith we introduce Menno van Zaanen who is one of our new staff members and will be working in the Innovation-Impulse Project with Rens Bod. Menno's email is mvzaanenscience.uva.nl: his office will be room B-539.

  Menno has written a small introduction of himself, which you can read at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=76. Menno's homepage can be found at http://www.science.uva.nl/~mvzaanen/.

Miscellaneous

• ASL Newsletter September 2002 available

  Newsitem added on 22 September 2002.

  The September 2002 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ASL website at http://www.aslonline.org/info-newsletter.html .

• ASL Newsletter April 2002 available

  Newsitem added on 24 April 2002.

  The April 2002 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ILLC website at http://www.illc.uva.nl/NewsandEvents/ASL/april2002newsletter.pdf .

• Announcement

  Date: 15 Juli-18 August 2002

  As happens every year during the holiday season (22 juli-16 august) the Euclides building and other buildings of the Roeterseilandcomplex (A, E/H, P) will be closed during the evenings. Closing times are at 18:00 (as is normal for fridays). Of course it remains possible during all summer to use the "overwerkregeling" to get into the buildings.

  From July 15 until August 18, 2002 the opening hours of the canteens of the Roeterseilandcomplex (REC) will be:
  Mensa Agora: 09.00 till 15.00
  Cafe Krater: 09.30 till 17.00
  Kantine A: closed, the machines will be functioning.

• Exemption Form for Formal Educational Requirements available online for foreign PhD students

  Newsitem added on 20 March 2002.

  If you obtained your prior degree outside of the Netherlands, it is likely that you will have to request the College voor Promotions for the granting of an exemption from the formal (Dutch) educational requirements. For this you need to submit an exemption form, accompanied by properly certified copies of all diplomas, degrees and certificates beyond high school/secondary school, with list of marks, as evidence of an academic level equivalent to doctorandus.

  It is advisable to do this well in advance, preferably at the start of your tenure! Problems with certifications sometimes can cause great delays, in at least one case almost delaying a promotion beyond the stay of the promovendus in the Netherlands.

  The exemption request form, and an english folder with the exact requirements and procedure to follow if you did not obtain your prior degree in the Netherlands should have been included with the Promotiereglement. These documents are otherwise available from the bureau of the College voor Promoties, or online from the Promotions for ILLC Promovendi page.

• The course schedule for the 3rd trimester of the academic year 2001-2002 is available.

  Newsitem added on 30 March 2002.

  The course schedule can be found on the GPiL website at http://www.illc.uva.nl/gpil/index.php?contents=courses/trimester2001_3.html .

• ASL Newsletter January 2002 available

  Newsitem added on 20 February 2002.

  The January 2002 issue of the Newsletter of the Association of Symbolic Logic is out. It is available online from the ASL website at http://www.aslonline.org/.

• 3rd Trimester 2002, Introduction to the Proof Theory course

  Speaker: Andreas Weiermann (University of Muenster)
  Date and time: Fridays, 3rd Trimester 2002, 15:30
  Location: Euclides Building, Room P.327

  Andreas Weiermann (University of Muenster) will teach this course during the third trimester on Fridays. He will explain and discuss the contents of this course and the results treated with students interested in taking it.

  Contact D. de Jongh at dickdjscience.uva.nl for information.

• 10 January - 28 February 2002, Reasoning About Uncertainty II, Professor Joe Halpern

  Speaker: Professor Joe Halpern (Cornell University)
  Date and time: Thursdays, 10 January - 28 February 2002, 13.00-15.00
  Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

  This is a continuation of the course with the same title taught last term. In this trimester, I will consider logics for reasoning about uncertainty, modeling default reasoning, belief revision, and (if time permits) relating statistical reasoning to degree of belief. The course will probably run only in January and February.

  For more information, see the GPiL course schedule at http://www.illc.uva.nl/gpil/index.php?contents=courses/trimester2001_2.html ..

• The course schedule for the 2nd trimester of the academic year 2001-2002 is available.

  Newsitem added on 13 January 2002.

  The course schedule can be found on the GPiL website at http://www.illc.uva.nl/gpil/index.php?contents=courses/trimester2001_2.html .

• 13 November 2001, Studio NL features Brouwer

  Newsitem added on 2 December 2001.

  Studio NL (BVN-TV/Wereldomroep) has done a segment on L.E.J. Brouwer, featuring interviews with Johan van Benthem, Dick de Jongh and Dirk van Dalen.

  The program can be viewed online as a Realplayer movie. You can also view the Brouwer segment separately as an AVI movie (posted with permission). For more information, see the Studio NL webpage at http://www.bvn.nl/html/studio_nl.html.

• Copies of "Language in Action" available

  Newsitem added on 18 October 2001.

  10 copies of the following book are available at a discount price of 40 Dutch guilders:

  Johan van Benthem
  "Language in Action: categories, lambdas, and dynamic logic"
  Elsevier Science Publishers Amsterdam, 1991

  For information: e-mail to boekenuvastudent.org or visit the 'Oude Bibliotheek', Nieuwe Achtergracht 170 (Diamantslijperij), and ask for the Weis balie. Opening hours: Monday-Wednesday 12:00-14:00.

• Press Announcement Cognitive Science Center

  Newsitem added on 18 October 2001.

  Neurowetenschappers, cognitieve psychologen en logici gaan intensief samenwerken in het nieuwe Cognitive Science Center Amsterdam (CSCA).

  Het persbericht van 12 oktober 2001 kunt u vinden op http://www.uva.nl/actueel.

Regular Events

• Seminar on Provability, Interpretability, Intuitionism and Arithmetic (PIIA)

  Date: Irregular, monthly
  Location: Room varies, Science Park 904, Amsterdam

  This is a seminar series on Provability, Interpretability, Intuitionism and Arithmetic, organized jointly by the universities of Amsterdam, Nijmegen and Utrecht. Each session will consist of informal technical talks, followed by elaborate discussion. The meetings will take place about once a month, either in Amsterdam or Utrecht.

  For more information, see http://jeroengoudsmit.com/piia/.

• Cool Logic seminar for Logic Students

  Date and time: biweekly on Fridays, 17:30-18:30
  Location: Room varies, Science Park 904, Amsterdam

  Cool Logic is an internal seminar, where MScLogic and PhD students (only) of the ILLC can meet and keep each other updated about recent, current and ongoing work. It will be more informal than the Logic Tea, and students will be free to present not only finished results, but also e.g. ideas that are not yet fully worked out, or just any logic related topics that they find interesting.

  For more information, contact coollogic.uvagmail.com.

• The LeGO (Leerstoel Groepen Overleg) Seminar

  Date and time: biweekly on Fridays, 16:00-17:30
  Location: Room varies, Science Park 904, Amsterdam

  LeGO is an internal seminar where members of the LLA group (capacity group Logic and Language) keep each other updated about recent, current and ongoing work. Interested ILLC scholars and students are welcome and they can receive the announcements by subscribing to p.j.e.dekkeruva.nl or m.i.crespouva.nl.

• LogiCIC Seminar

  Date: monthly on Tuesdays
  Location: Room F1.15, Science Park 107, Amsterdam

  The monthly LogiCIC seminar series is organized within the ERC project on "The Logical Structure of Correlated Information Change". Every month, this seminar will host one or two invited speakers who present their latest research results on topics in Logic, Epistemology and Philosophy of Science.

  For more information and abstracts, see http://sites.google.com/site/logicicproject/logicic-seminar.

• SMART Cognitive Science Lectures

  Date and time: monthly, 15:00-18:00
  Location: UvA (building varies), Amsterdam

  The SMART (Speech & language, Music, Art, Reasoning & Thought) Cognitive Science initiative is part of the 'zwaartepunt' Brain & Cognitive Science of the Faculty. The main activity in SMART CS will be a new lecture series with internationally renowned cognitive scientists; additionally, we will support existing activities and initiate new ones, both online and offline, to bring together cognitive scientists at the ILLC, ACLC and other research institutes of the Faculty and to highlight the contributions of the humanities to the cognitive sciences. Our activitities are organized in close collaboration with the Cognitive Science Center Amsterdam.

  For more information, see http://smartcognitivescience.wordpress.com/.

• ILLC Colloquium

  Date: semiannually

  The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

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

• Seminar on music cognition and computation

  Date: irregular
  Location: Room TBA, Science Park 904, Amsterdam

  A reading/discussion group on music cognition and computation exists since 2004. For each meeting one or two articles are chosen (and read by the participants beforehand) to form the basis for a discussion.

  The seminar on music cognition and computation homepage can be found at http://staff.science.uva.nl/~ahoningh/readinggroup.html.

• Logic and Interactive RAtionality (LIRa)

  Date and time: weekly (tuesdays), 15:30-17:30
  Location: Room F1.15, Science Park 107, Amsterdam

  The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.

  The LIRA seminar homepage can be found at http://www.illc.uva.nl/lgc/seminar/. Information about the Amsterdam Dynamics Group can be found at http://www.illc.uva.nl/dg/.

• Logic and Cognition Seminar

  Date: monthly
  Location: Room TBA, Science Park 904, Amsterdam

  This seminar aims at bringing together researchers interested in the interrelations between logic and human cognitive abilities. The seminar takes place monthly in the Institute for Logic, Language and Computation in Amsterdam.

  For more information, see http://staff.science.uva.nl/~ngierasi/LandC.html.

• Logic, Language, and Reasoning Seminar

  Date: bimonthly
  Location: Room TBA, Science Park 904, Amsterdam

  This seminar aims at unifying the Netherlands-based researchers interested in language processing and human reasoning. It takes place more or less bi-monthly in the Netherlands.

  For more information, see http://staff.science.uva.nl/~szymanik/LLR.html or contact Jakub Szymanik at http://staff.science.uva.nl/~szymanik/.

• Computational Social Choice Seminar

  Date: irregular
  Location: Science Park 904, Amsterdam

  The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).

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

• ACG Colloquium

  Date and time: biweekly on tuesdays, 13:30
  Location: Room L.120, CWI, Science Park 123, Amsterdam

  The Amsterdam Coordination Group (ACG) is an ongoing working colloquium of the theme Coordination Languages (SEN3) at the CWI, where members of SEN3 and invited guests give presentations on their recent research.

  For more information, see http://acg.project.cwi.nl/

• The Zuidelijk Interuniversitair Colloquium (ZIC) on Logic and Theoretical Computer Science

  Date and time: biweekly on Tuesdays, 14.15-16.00
  Location: Eindhoven/Tilburg

  The ZIC (Zuidelijk Interuniversitair Colloquium) is a bi-weekly colloquium, organized by the Formal Methods group of the departement of computer science at the TU/E, and the Logic group of the department of philosophy at Tilburg University.

  The subjects of the talks cover a vast area, including type theory, process algebra, game theory. model checking, term rewriting. The colloquium is held at the Technische Universiteit Eindhoven, on Tuesday afternoons from 14:15 either in one-hour format (until 15:00) or in two-hour format (until 16:00, with a 15 minute break). The audience varies from 5 to 25 people of several universities, more specifically Eindhoven, Tilburg, Nijmegen, and occasionaly also people from outside academia.

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

• 2ILLC: the ILLC Double Talks

  Date and time: monthly on fridays, 15.30-17.00

  This is a series of meetings for all members of the ILLC community. Each meeting two members of ILLC's senior staff give a 30 minute presentation of one of their current research interests in a way that makes this accessible for all ILLC members. Each pair of talks is centered around a topic that is of mutual interest to the speakers, so as to provide a common denominator for their presentations and a focal point for discussion. Talks are 30 minutes each, and there is 30 minutes scheduled for discussion, between the speakers and between speakers and audience.

  The ILLC Double Talks are organized by Frank Veltman (veltmanhum.uva.nl) and Martin Stokhof (stokhofhum.uva.nl).

• The Colloquium on Mathematical Logic

  Date: irregularly
  Location: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht

  Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.

  For more information, see http://staff.science.uva.nl/~bloewe/CML.html or http://www.math.uu.nl/people/jvoosten/seminar.html

• PROSE Colloquium

  Date and time: biweekly on thursdays, 15.30-17.00
  Location: Room 6.96, HG (Main Building), TU Eindhoven

  Prose is intended to be an informal and interactive seminar on the topic of Process Theory in all its aspects. The seminar is organized by the groups Architecture of Information Systems (AIS), Formal Methods (FM) and Design and Analysis of Systems (OAS), as a joint platform for researchers and graduate students to present their own work, or to present and discuss interesting developments in their area of research.

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

• GLoRiClass Seminar

  Date and time: weekly on thursdays, 11:15-13:00
  Location: Room TBA, Science Park 904, Amsterdam

  The GLoRiClass Seminar is the weekly meeting for the Marie Curie Research Training Site GLoRiClass. It is organized for and by the GLoRiClass fellows with talks by ILLC staff members, students and game-related guests.

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

• The "Cool Logic" Meetings

  Date and time: biweekly on fridays, 13.15
  Location: MoL Room (P.130), Euclides building, Plantage Muidergracht 24, Amsterdam

  The Master of Logic Committee organises the "Cool Logic" meetings. These are a series of one to two hour sessions in which a master of logic student gives a talk about his/her thesis (in progress) or a particular topic he/she is enthusiastic about.

  For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.html

• Amsterdam-Utrecht Workshops

  Date: irregular

  The Amsterdam-Utrecht Workshops are organized under the auspices of the Utrecht Institute of Linguistics (UiL OTS) at the Utrecht University, and Institute of Logic, Language and Computation (ILLC) at the University of Amsterdam. The initiative was proposed in 2001 by Johan van Benthem and Michael Moortgat with the intent of increasing the collaboration between the ILLC and OTS researchers. Since then this proposal has been materialized in a growing number of jointly organized and successful workshops.

  For more information, see http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html.

• Computational Linguistics Seminar

  Date and time: weekly on wednesdays, 16:00
  Location: Room A1.04, Science Park 904, Amsterdam

  Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).

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

• The Amsterdam Logic Colloquium

  Date: currently on hiatus

  A series of talks on logic and its applications.

  The ALC homepage can be found at: http://www.illc.uva.nl/NewsandEvents/ALC/index.html.

• The DIP (Discourse and Philosophy) Colloquium

  Date and time: biweekly on fridays, 16:00-17:30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

  The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.

  The DIP homepage can be found at https://sites.google.com/site/illcdip/

• The Logic Tea

  Date and time: irregular, tuesdays, 17:00-18:00
  Location: Room A1.04, Science Park 904, Amsterdam

  The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.

  Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.

• The Information and Language Processing Systems (ILPS) Seminar

  Date and time: weekly on fridays, 13.30
  Location: Room F.009, Kruislaan 403, Amsterdam

  Language and Inference Technology (LIT) Seminar (formerly the Computing with LLI Seminar), an almost bi-weekly series of talks that focuses on a wide variety of themes in computational logic and computational linguistics.

  The Information and Language Processing Systems (ILPS) Seminar homepage can be found at http://ilps.science.uva.nl/Seminar/.

        Back to top of page