Institute for Logic, Language and Computation

Archives

News Archives 2002

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, 2013 and 2014, and for current news of course.

Headlines Past Events

Headlines Calls for Papers

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines New Appointments

Headlines Miscellaneous

Headlines Regular Events


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, 15:00
    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:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.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.dechesne at uvt.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-admin at arp.anu.edu.au.

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

    Speaker: Ian Hodkinson
    Date and time: Monday December 2, 2002, 15:15
    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 (yde at science.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.dechesne at uvt.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:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.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 lev at phil.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.dechesne at uvt.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:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.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 lev at phil.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 ozsl at science.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
    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:mtheunis at science.uva.nl, or Boudewijn de Bruin at mailto:debruin at science.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 jve at cwi.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 (jve at cwi.nl) or Tanya Reinhart (tanya.reinhart at let.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

    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 (roehrig at cwi.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.deSwart at kub.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 sarenac at stanfor.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.lodder at ou.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, witt at its.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 stjon at bdu.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.buekens at kub.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, 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 enserink at swi.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/.

  • 15 March 2002, ILLC Double Talks, canceled

    Speaker: canceled
    Newsitem added on 22 December 2001.

    For more information, contact Frank Veltman (veltman at hum.uva.nl) or Martin Stokhof (stokhof at hum.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
    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 (caterina at science.uva.nl) or Paola Monachesi (paola.monachesi at let.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 (mktheunis at science.uva.nl), or Boudewijn de Bruin (debruin at illc.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 (vanlambalgen at hum.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 (peter at science.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
    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 (dickdj at science.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-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 debruin at science.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-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 (veltman at hum.uva.nl) or Martin Stokhof (stokhof at hum.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 fotfs at math.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
    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
    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 peter at science.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.Koren at cwi.nl (ERCIM), or prof. dr. Lex Schrijver at Lex.Schrijver at cwi.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 jonker at cs.vu.nl or tel: 020-44 47743/47700, or prof. dr. J. Treur at treur at cs.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-lluster at bdu.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.hursthouse at auckland.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 portnerp at georgetown.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 meyden at cse.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 frossi at math.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 pblok at science.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 sevenstr at science.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 nbezhani at science.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.hindsill at hum.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 musillo at science.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 mvzaanen at science.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 dickdj at science.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 boeken at uvastudent.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

  • Algebra|Coalgebra Seminar

    Date and time: biweekly on Thursdays, 16:00-17:30
    Location: Room F1.15, Science Park 107, Amsterdam

    The purpose of the meeting is to discuss results and insights about and around algebraic and coalgebraic methods in logic. The atmosphere is very informal, talks usually last one hour and the rest of the time is devoted to discussion.

    The A|C homepage can be found at http://www.illc.uva.nl/alg-coalg/

  • 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.uva at gmail.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.dekker at uva.nl or m.i.crespo at uva.nl.

    The LEGO homepage can be found at http://www.illc.uva.nl/LoLa/LeGO-Seminar/

  • LogiCIC Seminar

    Date: monthly on Thursdays
    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://www.illc.uva.nl/LoLa/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 (usually Thursdays, exceptionally on Wednesdays in February and March), 16:30-18:00
    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.

    Note that the day on which LIRa lectures are held may vary between terms.

    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.endriss at uva.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.dechesne at tue.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 (veltman at hum.uva.nl) and Martin Stokhof (stokhof at hum.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://www.staff.science.uu.nl/~ooste110/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 http://www.illc.uva.nl/LoLa/DIP-Colloquium/

  • 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