Institute for Logic, Language and Computation

Archives

News Archives 2001

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, 2002, 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

  • 20 December 2001, A Farewell to the Spinoza project 'Logic in Action'

    Location: Agnietenkapel, Oudezijds Voorburgwal 231
    Newsitem added on 15 November 2001.

    In October 1996, the Dutch national research organization NWO awarded one of its annual Spinoza grants to Johan van Benthem, professor of logic at the Universiteit van Amsterdam. This grant led to the project 'Logic in Action', whose general aims were the study of information flow and the promotion of logic within the information sciences.

    5 years and 2 million guilders later the project is coming to an end. On December 20 there will be a one-day event to officially close 'Logic in Action' and reflect on the future. We are pleased to invite you to attend.

    The full text of this announcement may be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=75, or on the LiA website at http://www.illc.uva.nl/lia/farewell.html. For more information and registration, please contact Ingrid van Loon at ingrid at science.uva.nl.

  • 19 December 2001, Computing with LLI Seminar, Yoad Winter and Khalil Sima'an

    Speakers: Yoad Winter (Technion) and Khalil Sima'an (Amsterdam and Tilburg)
    Title: Building a Corpus of Modern Hebrew Text
    Date and time: Wednesday 19 December 2001, 13:00
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

    ABSTRACT: We describe the process of building the first tree-bank for Modern Hebrew texts. A major concern in this process is the need for reducing the cost of manual annotation by the use of automatic means. To this end, the joint utility of an automatic morphological analyzer, a probabilistic parser and a small manually annotated tree-bank was explored. An initial tree-bank that consists of 500 annotated sentences from a daily newspaper is described. The annotation scheme that underlies the tree-bank analyses integrates morphology and syntax. An existing morphological analyzer and a language-independent probabilistic parser were applied to this tree-bank. Based on the results of some experiments with these tools, a semi-automatic procedure for future enlargement of the tree-bank is outlined.

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

  • 18 December 2001, Zuidelijk Interuniversitair Colloquium (ZIC), Dirk van Dalen

    Speaker: Dirk van Dalen
    Title: Brouwer's Continuity Principle
    Location: Room HG 6.96, TU Eindhoven
    Newsitem added on 7 December 2001.

    In 1918 Brouwer published a principle that was basic for the theory of choice sequences: the continuity principle, which says that all mappings from choice sequences of natural numbers to natural numbers are continuous. A foundational argument for the principle was not given. Since then a number of arguments have been put forward to provide a foundational basis for the principle. None of these have been absolutely successful to the degree that we accept the axioms for arithmetic. We will look into this matter and see what can be done. Also the case of the lawlike sequences is considered. Furthermore a pedestrian proof of the Kreisel-Lacombe-Shoenfield-Tscheitin theorem (all functions from recursive functionals to natural numbers are continuous) will be sketched, using a technique, now known as Ishihara's trick.

  • 17 - 19 December 2001, The Thirteenth Amsterdam Colloquium, Amsterdam

    Newsitem added on 4 October 2001.

    The Thirteenth Amsterdam Colloquium will be held from December 17-19 at the Universiteit van Amsterdam. The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of semantics of natural and formal languages. The spectrum of topics covered ranges from descriptive (semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations).

    For more information, see the conference website at http://www.illc.uva.nl/ac2001

  • 14 December 2001, Thematic Afternoon on Constructivism, De Rode Hoed, Keizersgracht 102, 1015 CV Amsterdam

    Newsitem added on 6 November 2001.

    Provisional Programme
    13.30-13.45 Reception with tea, coffee
    13.45-14.00 Introduction by the chairman of the Arend Heyting Foundation
    14.00-15.00 F. Richman, Constructive algebra (1st Arend Heyting Lecture)
    15.00-15.45 Tea
    15.45-16.45 A. Simpson, After the Interval
    16.50-17.35 J. van Oosten, Modified realizability

    For more information, see http://staff.science.uva.nl/~anne/heyting.html

  • 13 December 2001, Computing with LLI Seminar, Canceled

    Speaker: Canceled
    Newsitem added on 9 November 2001.

    Our planned seminar with Joe Halpern (Cornell) on A computer scientist looks at game theory, will now be part of the workshop on Games and Logic, on December 12.

  • 13 December 2001, Computing with LLI Seminar (informal meeting), Tadeusz Litak

    Speaker: Tadeusz Litak (Jagiellonian University, Cracow)
    Title: Modal logic and Kripke semantics.
    Date and time: Thursday 13 December 2001, 17:15
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 12 December 2001, Workshop on Games and Logic

    Date and time: Wednesday 12 December 2001, 10:00-16:30
    Location: Room G.018, Nieuwe Prinsengracht 130, Amsterdam

    For a program and abstracts of the talks, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=95.

  • 11 December 2001, Complexity lower bounds for Positivstellensatz proofs , D. Grigoriev

    Speaker: D. Grigoriev (University of Rennes)
    Date and time: Tuesday 11 December 2001, to be announced
    Location: TU Delft, room to be announced

    Recently an approach to NP-coNP problem based on proof systems using the Nullstellensatz was developed and there were shown complexity lower bounds for the proofs in such systems. In the talk a stronger proof system which relies on the Positivstellensatz is introduced and complexity lower bounds for several problems like the knapsack or the parity principle are established. These results could be also treated independently of the complexity theory as the lower bounds in the Positivstellensatz.

    For more information, see http://ssor.twi.tudelft.nl/~dima

  • 7 December 2001, Colloquium on Mathematical Logic, Benno van den Berg

    Speaker: Benno van den Berg
    Title: Weak W-Types
    Date and time: Friday 7 December 2001, 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

  • 7 December 2001, Multimodal Communication with Embodied Agents

    Location: Room Z.009, CWI, Kruislaan 413, Amsterdam
    Costs: none
    Newsitem added on 29 November 2001.

    The one-day symposium is aimed at bringing together people working on topics related to multimodal conversation with embodied agents. We wish to keep the event informal and interactive, but of high professional level. Selected participants will have the opportunity to present and/or demo their current work. We expect participants working in different fields, including (but not limited to) computer graphics, image processing, artificial intelligence, natural language processing, speech technology and psychology.

    For more information and a program, see the symposium webpage at http://fdlwww.kub.nl/~krahmer/workshp.htm.

  • 30 November 2001, DIP Colloquium, Elena Karagjosova

    Speaker: Elena Karagjosova (Saarbrücken)
    Title: The role of modal particles in utterance illocution and context update
    Date and time: Friday 30 November 2001, 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/.

  • 30 November 2001, Colloquium on Mathematical Logic, Jaco van de Pol

    Speaker: Jaco van de Pol (CWI)
    Title: Equational Binary Decision Diagrams
    Date and time: Friday 30 November 2001, 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

  • 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

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

  • 29-30 November 2001, METHODS FOR MODALITIES 2 (M4M-2), Amsterdam

    Newsitem added on 1 September 2001.

    The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc.

    Deadline for submissions: 12 october 2001

    For more information, see the conference website at http://staff.science.uva.nl/~m4m.

  • 23 November 2001, Computing with LLI seminar, canceled

    Speaker: canceled
    Newsitem added on 1 September 2001.
  • 23 November 2001, workshop "Learning Logic and Grammar"

    Date and time: Friday November 23 2001, 9:00-18:00
    Location: Room 605, P.C. Hoofthuis, Spuistraat 134, Amsterdam

    On Friday, November 2001, a workshop "Learning Logic and Grammar" is held in Amsterdam. The aim of the workshop is to find and establish cross-connections between the OTS (Utrecht) and ILLC (Amsterdam) research groups.

    For more information and a preliminary program, see http://www.illc.uva.nl/LLaG/.

  • 23 November 2001, Colloquium on Mathematical Logic, Bas Spitters

    Speaker: Bas Spitters (Nijmegen)
    Title: Intuitionistic Measure Theory
    Date and time: Friday 23 November 2001, 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

  • 16 November 2001, Computing with LLI Seminar, Dick de Jongh

    Speaker: Dick de Jongh (Amsterdam)
    Title: Logic programs and intermediate logic
    Date and time: Friday 16 November 2001, 13:30
    Location: Room M.328, Plantage Muidergracht 12, Amsterdam

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

  • 16 November 2001, DIP Colloquium, Fred Landman

    Speaker: Fred Landman (Tel Aviv University)
    Title: Indefiniteness and the type of sets
    Date and time: Friday 16 November 2001, 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/.

  • 16 November 2001, Colloquium on Mathematical Logic, Bas Luttik

    Speaker: Bas Luttik (CWI)
    Title: On the Expressiveness of the Choice Quantifier
    Date and time: Friday 16 November 2001, 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

  • 9 November 2001, Computing with LLI seminar, Giovanna Corsi

    Speaker: Giovanna Corsi (Bologna, Firenze)
    Title: Counterpart semantics: a foundational study on quantified modal logic.
    Date and time: Friday 9 November 2001, 13:30
    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#November9 .

  • 9 November 2001, DIP Colloquium, Manfred Krifka

    Speaker: Manfred Krifka (Humboldt Universität Berlin)
    Title: Lexical Representations and the Nature of the Dative Alternation
    Date and time: Friday 9 November 2001, 15:00-16:30
    Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

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

  • 9 November 2001, Colloquium on Mathematical Logic, Ieke Moerdijk

    Speaker: Ieke Moerdijk
    Title: Linear Set Theory
    Date and time: Friday 9 November 2001, 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

  • 7 November 2001, Computing with LLI Seminar, Gwen Kerdiles

    Speaker: Gwen Kerdiles (Amsterdam)
    Title: Saying It with Pictures: a logical landscape of conceptual graphs
    Date and time: Wednesday 7 November 2001, 16:00
    Location: Room 107, Philosophy Department, Vendelstraat 7

    For abstracts and more information, see http://lit.science.uva.nl/News/seminar01-2.html#November7 . The thesis of Gwen Kerdiles and an extended abstract of it are available online at http://www.science.uva.nl/~kerdiles.

  • 6 November 2001, Extra Talk, Alexander Esenin Volpin

    Speaker: Alexander Esenin Volpin
    Title: Logical-Mathematical Proofs and Intuitive Thinking
    Date and time: Tuesday 6 November 2001, 13:15-15:00
    Location: Room P019, Euclides building, Plantage Muidergracht 24

    Alexander Esenin Volpin has worked from the seventies and eighties on a very radical approach to the Foundations of Mathematics: ultra-intuitionism (see e.g. "The ultra-intuitionistic criticism and the anti-traditional program for foundations of mathematics" in "Intuitionism and Proof Theory", Kino, Myhill, Vesley eds., North-Holland, 1970). Although highly onorthodox and never fully understood, his work did inspire a considerable number of people, among which Parikh, Ehrenfeucht, Vopenka to logical work realizing some of his ideas in formal settings.

  • 5 November 2001, Computing with LLI Seminar, Peter Baumgartner

    Speaker: Peter Baumgartner (Uni Koblenz)
    Title: FDPLL: A First-Order Davis-Putnam-Logemann-Loveland
    Date and time: Monday 5 November 2001, 11:00
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 2 November 2001, Computing with LLI seminar, Frank van Harmelen

    Speaker: Frank van Harmelen (AI, Vrije Universiteit)
    Title: The Semantic Web: a challenge for applied logicians (and others)
    Date and time: Friday 2 November 2001, 13:30
    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#November2 .

  • 2 November 2001, DIP Colloquium, Filip Buekens

    Speaker: Filip Buekens (KUB Tilburg)
    Title: Practical Reasoning, Indexicals and Dynamic Intentions
    Date and time: Friday 2 November 2001, 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-26 October 2001, BNAIC-01, De Rode Hoed in Amsterdam

    Newsitem added on 1 September 2001.

    The 13th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'01) is organised by the University of Amsterdam under the auspices of BNVKI/AIABN (Belgian-Dutch Association for AI) and SIKS (School for Information and Knowledge Systems), in close collaboration with the Foundation for Neural Networks (SNN). BNAIC is an annual conference and will in 2001 be held on Thursday 25 October and Friday 26 October at "De Rode Hoed" in Amsterdam.

    For more information, see the conference website at http://www.swi.psy.uva.nl/bnaic01/.

  • 25 October 2001, workshop Corpus Gesproken Nederlands

    Newsitem added on 1 September 2001.

    The CGN focuses on creating of a databank for the contemporary dutch language, as it is spoken in Vlaanderen and the Netherlands. In connection with the intermediate evaluation of the CGN that takes place this year, a workshop will be organized. The program, location and other information will be made available in september. Participation will be free of charge.

    For more information, see http://www.elda.fr.

  • 22-26 October 2001, OzsL Schoolweek

    Newsitem added on 1 September 2001.

    The OzsL Schoolweek/Accolade 2001 takes place from October 21--26 in Hotel Dennenhoeve in Nunspeet. The aim of the event is to bring together the Dutch logic community and to provide an up-to-date overview of the projects carried out within the school. The varied program includes tutorials, workshops, short presentations and discussion sessions.

    For more information, a preliminary program and an online registration form, see http://www.ozsl.uva.nl/Archive/2001/schoolweek.html.

  • 19 October 2001, Computing with LLI seminar, Sandro Etalle

    Speaker: Sandro Etalle (University of Twente)
    Title: A proof-theoretic approach for the specification and the validation of security protocols
    Date and time: Friday 19 October 2001, 13:30
    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#October19 .

  • 19 October 2001, DIP Colloquium, Claire Gardent

    Speaker: Claire Gardent (CNRS, Nancy, France)
    Title: A non-incremental algorithm for generating definite descriptions
    Date and time: Friday 19 October 2001, 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/.

  • 16 - 21 October 2001, RELMICS 6, Oisterwijk (near Tilburg), the Netherlands

    Newsitem added on 1 September 2001.

    RELMICS 6: Relational Methods in Computer Science, together with a workshop of the COST action TARSKI: Theory and Applications of Relational Systems as Knowledge Instruments.

    The purpose of this series of international workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work.

    For more information, see http://cwis.kub.nl/~fsw_2/fww/home/swart/rmcs.htm.

  • 12 October, 2001, Computing with LLI seminar, Piek Vossen

    Speaker: Piek Vossen (Irion Technologies)
    Title: WordNet, EuroWordNet and the Global Wordnet: Design, content and usage
    Date and time: Friday 12 October, 2001, 13:00
    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#October12 .

  • 12 oktober - 9 november 2001, Didactiek voor promovendi met onderwijstaken

    Date and time: Fridays, 12 oktober - 9 november 2001, 9:00-17:00
    Target group: New promovendi that have to teach a course for the first time
    Costs: E 737,39 / f 1.625,-

    For more information, please contact the coordinator of the Team Hoger Onderwijs, drs Carla Laan (tel: 020-5251287, email: carlalaan at educ.uva.nl) or visit the CNA website at http://www.cna.uva.nl/universitaire%20didact.%20ondersteuning.htm

  • 12 October 2001, Oration Frank Veltman and Michiel van Lambalgen

    Date and time: Friday 12 October 2001, 14:30
    Location: Aula der Universiteit, Singel 411, Amsterdam

    Vrijdag de 12e oktober 2001, des namiddags om 2.30 uur, zullen de Hooggeleerde Heren dr. F.J.M.M. Veltman, benoemd tot Hoogleraar in de Logica en Cognitiewetenschap, & dr. M. van Lambalgen, benoemd tot Hoogleraar in de Logica en Cognitiewetenschap, hun hoogleraarsambt openlijk aanvaarden door het uitspreken van een rede in de Aula der Universiteit, Singel 411, hoek Spui.

  • 5 October 2001, Computing with LLI seminar, Christof Monz and Jaap Kamps

    Speakers: Christof Monz (Amsterdam) and Jaap Kamps (Amsterdam)
    Title: WordNet, and usage: a practical introduction
    Date and time: Friday 5 October 2001, 13:30
    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#October5 .

  • 5 October 2001, DIP Colloquium, Brian McGuinness

    Speaker: Brian McGuinness
    Title: What was Wittgensteins's Overall Intellectual Project?
    Date and time: Friday 5 October 2001, 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/.

  • 27 September 2001, SIKS Masterclass 'Modeling and simulating work practice'

    Date and time: Thursday 27 September 2001, 10:00-16:00
    Target group: PhD students
    Costs: none for SIKS-members and members of related researchschools

    The goal of the Masterclass is to inform SIKS Ph D students and other interested persons about work that has been done in the USA, particularly at NASA, in the area of modelling and simulating work practice at a level of detail that permits a more dynamic analysis and representation. The presentations will be given by Dr. William J. Clancey and Maarten Sierhuis (who will defend his thesis on this subject the next day). The Masterclass will be a mixture of theoretical and practical/operational issues. As the masterclass is part of the "advanced components stage" of SIKS' educational program, all SIKS- Ph.D- students are strongly encouraged to participate.

    Deadline for registration: September 20, 2001

    For more information and a program, see http://www.siks.nl/act/dehoog.html. To register, please send an email to Mrs. S.M. van Loo at vanloo at swi.psy.uva.nl.

  • 23 - 28 September 2001, The Fourth International Tbilisi Symposium on Language, Logic and Computation, Borjomi, Georgia

    Newsitem added on 1 September 2001.

    The fourth Tbilisi Symposium on Language, Logic and Computation will be held in the mountain resort Likani, situated in the Borjomi Canyon, from 23 to 28 September. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

    Deadline for registration was August 22. For more information, an online registration form and a preliminary program, see http://www.illc.uva.nl/Borjomi

  • 13 September 2001, Logic Tea, Marc Pauly

    Speaker: Marc Pauly (CWI)
    Title: Tea vs. Beer, and Other Socio-Logical Issues
    Date and time: Thursday 13 September 2001, 14:30-16:00
    Location: Room P.016, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For further information and abstracts, see http://staff.science.uva.nl/~debruin/Logic_tea.

  • 4 July 2001, Logic Tea, Cancelled

    Speaker: Cancelled (was: Ben Rodenhäuser (Master Of Logic Program, UvA))
    Title: Title: Logical Update Problems
    Newsitem added on 31 January 2001.

    For further information and abstracts, see http://staff.science.uva.nl/~debruin/Logic_tea.

  • 14 September 2001, Computing with LLI seminar, Heinrich Wansing

    Newsitem added on 31 December 2001.

    14 September 2001, Computing with LLI seminar, Heinrich Wansing
    Speaker: Heinrich Wansing (Dresden)
    Title: Anti-realism, the Knowability Paradox, and Constructive Negation
    Date and Time: Friday 14 September 2001, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~kamps/CLLI/seminar01-2.html#September14.

  • 13 September 2001, talk by Anton Benz

    Newsitem added on 31 December 2001.

    13 September 2001, talk by Anton Benz
    Speaker: Anton Benz (Humboldt University)
    Title: Perspectives and Mutual Updates for Dialogue
    Location: Room P.327, Euclides, Plantage Muidergracht 24
    Date and Time: Thursday September 13 2001, 12.30 - 14.30

  • 13 September 2001, Annual boat trip to welcome 17 new international Logic students

    Newsitem added on 31 December 2001.

    13 September 2001, Annual boat trip to welcome 17 new international Logic students
    Place of departure: Nieuwe Achergracht (back side of Plantage Muidergracht 24)

    To welcome 17 new international Logic students (see below) ILLC organizes its annual boat trip on Thursday September 13. The boat leaves at 4pm from the back side of the Euclides Building, and will return there around 5.30pm. Drinks and snacks are served on board.

  • 7 September 2001, Computing with LLI seminar, Katsumi Sasaki

    Newsitem added on 31 December 2001.

    7 September 2001, Computing with LLI seminar, Katsumi Sasaki
    Speaker: Katsumi Sasaki (Nanzan)
    Title: Cut-free sequent systems for interpretability logics
    Date and Time: Friday 7 September 2001, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~kamps/CLLI/seminar01-2.html#September7.

  • 7 September 2001, DIP Colloquium, Rick Nouwen

    Newsitem added on 31 December 2001.

    7 September 2001, DIP Colloquium, Rick Nouwen
    Speaker: Rick Nouwen (Utrecht University)
    Title: A resolution logic for plural pronouns
    Date and Time: Friday September 7 2001, 15.00-17.00
    Location: Nieuwe Achtergracht 166, Room B2.40
    Abstract: available at http://home.student.uva.nl/balder.tencate/dip/dip070901.html

  • 6 September 2001, talk by Alistair Butler

    Newsitem added on 31 December 2001.

    6 September 2001, talk by Alistair Butler
    Speaker: Alistair Butler (University of York)
    Title: Control and Exhaustification
    Date and Time: Thursday 6 September 2001, 13.15-15.00
    Location: Philosophy Department, Nieuwe Doelenstraat 15, room to be announced.

  • 27 August 2001, work-in-progress presentation Stanford visitors

    Newsitem added on 31 December 2001.

    27 August 2001, work-in-progress presentation Stanford visitors
    Data and Time: Monday August 26, 15:00
    Location: Euclides building, room to be announced

    The Stanford Ph.D. students and post-docs visiting the ILLC at this time will present work in progress, in particular on modal logic and graph theory. Details will follow as soon as possible.

    For more information, and for any suggestions, please contact Boudewijn de Bruin at debruin@science.uva.nl.

  • 23-25 August 2001, Workshop GOTTLOB FREGE, Leiden

    Newsitem added on 31 December 2001.

    23-25 August 2001, Workshop GOTTLOB FREGE, Leiden
    Date: 23-25 August 2001
    Location: Leiden University, WSD Complex, building 1175, room 148.
    Organized by the Chair of Logic, Faculty of Philosophy, Leyden University

    Those who are interested to participate, please notify Göran Sundholm (b.g.sundholm@let.LeidenUniv.nl) before August 20th. For more information, see the program at http://www.illc.uva.nl/NewsandEvents/frege2001.html

  • 13-24 August 2001, ESSLLI XIII, Helsinki

    Newsitem added on 31 December 2001.

    13-24 August 2001, ESSLLI XIII, Helsinki

    The 13th Summer School in Logic, Language and Information will take place at the University of Helsinki, Helsinki, Finland, during two weeks in August, from August 13 until 24.
    For information, see http://www.helsinki.fi/esslli/.

  • 12 July 2001, Bèta lecture by Dr. Jasper Stokman, UvA

    Newsitem added on 31 December 2001.

    12 July 2001, Bèta lecture by Dr. Jasper Stokman, UvA
    Title: "Many Body Systems in Mathematics and Physics"
    Speaker: Dr. Jasper Stoknan, Korteweg-de Vries Institute for Mathematics, UvA
    Date and Time: Thursday 12 July 2001, 4.45 to 5.45 p.m. (reception afterwards)
    Location: Plantage Muidergracht 24, room 227

    Please refer to http://www.science.uva.nl/org/Nieuws/Evenementen/betalecture/doc_en.html for more information about the lecture and the curriculum of Dr. Stokman. We kindly ask you to let us know if you will attend this lecture, by sending an email to info@science.uva.nl.

  • 8-10 July 2001, TARK VIII, Siena, Italy

    Newsitem added on 31 December 2001.

    8-10 July 2001, TARK VIII, Siena, Italy

    The eight conference on Theoretical Aspects Of Rationality And Knowledge will take place at the University of Siena, Certosa di Pontignano, Italy, on July 8-10 2001. Information, a program, and registration forms are available at the TARK website, at http://www.econ-pol.unisi.it/tark/.

  • 4 July 2001, Launch of the Book 'Modal Logic' by Patrick Blackburn, Maarten de Rijke and Yde Venema

    Newsitem added on 31 December 2001.

    4 July 2001, Launch of the Book 'Modal Logic' by Patrick Blackburn, Maarten de Rijke and Yde Venema
    Location: Room E020, Faculty of Economics and Econometric, Roetersstraat 11, Amsterdam
    Date and Time: Wednesday, July 4, 2001, 14.30-17.45

    After years of preparation, the text book Modal Logic by Patrick Blackburn, Maarten de Rijke and Yde Venema has finally appeared (with Cambridge University Press). To celebrate this, the authors are organizing a Book Launch! At this event, three leading researchers in modal logic and its neighbours will give talks surveying the state of the art, and there will be an opportunity to buy the book at a 35% discount.

    Program:
      14.30 - 15.15 Mai Gehrke
      15.15 - 16.00 Erich Graedel
      16.00 - 16.30 break + book sell
      16.30 - 17.00 Johan van Benthem
      16.30 - 17.00 Johan van Benthem
      17.00 - 17.45 drinks

    For more information, please contact Maarten de Rijke (mdr@science.uva.nl) or Yde Venema (yde@science.uva.nl).

  • 15 June 2001, Computing with LLI seminar, Gertjan van Noord

    Newsitem added on 31 December 2001.

    15 June 2001, Computing with LLI seminar, Gertjan van Noord
    Speaker: Gertjan van Noord (Groningen)
    Title: Alpino: Wide-coverage Computational Analysis of Dutch
    Date and Time: Friday June 15, 2001, 13.15
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24 Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~mdr/CALG/Local/seminar01-1.html#June15.

  • 15 June 2001, DIP Colloquium, Reinhard Muskens

    Newsitem added on 31 December 2001.

    15 June 2001, DIP Colloquium, Reinhard Muskens
    Speaker: Reinhard Muskens (Tilburg University)
    Title: Combining Signs
    Date and Time: Friday June 15 2001, 15.00-17.00
    Location: Philosophy Department, MFR ground floor (a.k.a. Room 001) Nieuwe Doelenstraat 15, Amsterdam
    Abstract: available at http://home.student.uva.nl/balder.tencate/dip/dip150601.html

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 8 June 2001, Computing with LLI seminar, Reiner Hähnle

    Newsitem added on 31 December 2001.

    8 June 2001, Computing with LLI seminar, Reiner Hähnle
    Speaker: Reiner Hähnle
    Title: Design Pattern-Driven Generation of Formal Specifications
    Date and Time: Friday June 8, 2001, 13:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~mdr/CALG/Local/seminar01-1.html#June8.

  • 8 June 2001, DIP Colloquium, Raffaella Bernardi and Oystein Nilsen

    Newsitem added on 31 December 2001.

    8 June 2001, DIP Colloquium, Raffaella Bernardi and Oystein Nilsen
    Speakers: Raffaella Bernardi and Oystein Nilsen (UiL OTS, Utrecht university)
    Title: Quantifier Scope and Adverb Order in Type Logic Grammer
    Date and Time: Friday June 8th 2001, 15.00-17.00
    Location: Philosophy Department, MFR ground floor (a.k.a. Room 001) Nieuwe Doelenstraat 15, Amsterdam
    Abstract: available at http://home.student.uva.nl/balder.tencate/dip/dip080601.html

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 6 June 2001, Computing with LLI seminar, Jean-Yves Beziau

    Newsitem added on 31 December 2001.

    6 June 2001, Computing with LLI seminar, Jean-Yves Beziau
    Speaker: Jean-Yves Beziau (Stanford)
    Title: On some connections between paraconsistent and modal logics
    Date and Time: Wednesday June 6 2001, 16.00-17.00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~mdr/CALG/Local/seminar01-1.html#June6.

  • 1 June 2001, Colloquium on Mathematical Logic, Jan Willem Klop et. al

    Newsitem added on 31 December 2001.

    1 June 2001, Colloquium on Mathematical Logic, Jan Willem Klop et. al
    Speakers: Jan-Willem Klop, Inge Bethke, Roel de Vrijer and Henk Barendregt
    Title: to be announced
    Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
    Date and Time: Friday June 1 2001, 14.00-16.00

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

  • 28 May - 1 June 2001, SIKS PhD Course 'Combinatory Methods and Intelligent Systems'

    Newsitem added on 31 December 2001.

    28 May - 1 June 2001, SIKS PhD Course 'Combinatory Methods and Intelligent Systems' (B4/B5)
    Target group: SIKS PhD students
    Time: Monday May 28 to Friday June 1st, full day program
    Location: Conference Center 'de Queeste', Dodeweg 8, Leusden
    Costs: none for SIKS PhD students, f 1200,- for other SIKS members or PhD students
    Early registration deadline: April 26th, 2001

    More information, a provisionary program and a registration form are now available at http://www.siks.nl/act/b4b501.html

  • 22 May 2001, Algebraic Logic Meeting

    Newsitem added on 31 December 2001.

    22 May 2001, Algebraic Logic Meeting
    Date and Time: 22 May 2001, 10.00 - 17.00
    Location: ILLC, Plantage Muidergracht 24, Amsterdam, Room P327

    Speakers and Titles:

    Roger Maddux A Brief History of Relation Algebras
    Mohamed El Bachraoui  A Representability Theorem for Relation Algebras
    Eva Hoogland Beth Definability
    Agnes Kurucz Three-Dimensional Modal Logic
    Yde Venema TBA
    Ian Hodkinson Strongly representable atom structures

    For further information, see http://staff.science.uva.nl/~yde/activities/alm.html.

  • 7 June 2001, Logic Tea, Eva Hoogland

    Speaker: Eva Hoogland (UvA)
    Title: Beth Definability
    Date and time: Thursday June 7 2001, 15:30-16:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For further information and abstracts, see http://staff.science.uva.nl/~debruin/Logic_tea.

  • 18-19 May 2001, the Utrecht-Münster Contact.

    Newsitem added on 31 December 2001.

    18-19 May 2001, the Utrecht-Münster Contact.
    Joint meeting of the Colloquium on Mathematical Logic with guests from the Institut für Mathematische Logik und Grundlagenforschung.

    Location: Rooms 043 (friday) and 036 (saturday), Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
    Date and Time: Friday 18 May 2001, 13.00-17.30, and Saturday 19 May 2001, 10.00-12.30

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

  • Tuesday 15 May 2001, 11.00, Computing with LLI Seminar, Joseph Halpern

    Newsitem added on 31 December 2001.

    Tuesday 15 May 2001, 11.00, Computing with LLI Seminar, Joseph Halpern
    Speaker: Joseph Halpern (Cornell)
    Title: Plausibility Measures and Default Reasoning
    Date/Time: May 15, 2001, 11:00
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam;

    Abstract:
    We introduce a new formalism for reasoning about uncertainty that we call {\em plausibility}. Plausibility is a generalization of probability: the plausibility of a set is just an element of some arbitrary partial order (instead of being an element of [0,1], as in the case of probability). We believe that plausibility will provide a reasonable generalization of probability that will allow more qualitative reasoning. We focus on one application of plausibility measures: default reasoning.

    Defaults are statements like ``Birds typically fly''. In recent years, a number of different semantics for defaults have been proposed---involving such things as preference rankings, extreme probabilities, and possibility measures---that have been shown to be characterized by the same set of axioms, known as the KLM properties (for Kraus, Lehmann, Magidor). The fact that such disparate approaches were all characterized by the same axioms was viewed as quite surprising. We show that the KLM properties are almost inevitable, given some minimal properties. In the framework of plausibility measures, we can give a necessary condition for the KLM axioms to be sound, and an additional condition necessary and sufficient to ensure that the KLM axioms are complete. This additional condition is so weak that it is almost always met whenever the axioms are sound. In particular, it is easily seen to hold for all the proposals made in the literature.

    In the literature, the focus has been on propositional default reasoning. We briefly consider the first-order case as well. Here it turns out that there are significant differences between the various proposals. Again, using plausibility helps us understand what is going on.

    The talk is completely self-contained. (In particular, no previous knowledge of default reasoning is presumed.) It represents joint work with Nir Friedman.

  • Monday 14 May, 15.00, talk on temporal logic, Denis Therien

    Newsitem added on 31 December 2001.

    Monday 14 May, 15.00, talk on temporal logic, Denis Therien
    Title: Decidability questions in temporal logic
    Speaker: Denis Therien (McGill; on leave at University of Tubingen)
    Date and Time: Monday, May 14, 15.00 hours (sharp)
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Abstract:
    Linear temporal logic is the most fundamental formalism used in computer-aided verification for specifying properties of both hardware and software. Much attention has been devoted to classifying temporal properties according to their syntactical complexity. For example, one defines a fragment of the global logic, e.g. by restricting which operators are allowed, and then tries to understand the expressive power of that fragment. An important question is thus to decide for a given property if it is expressible or not in a given fragment. Such problems are in general very difficult to resolve. Recently, natural subclasses of temporal formulas have been algebraically characterized. We will survey some of these results. In particular, we will show that the levels of the Since/Until hierarchy are decidable, using algebraic methods.

    For further information, please contact Yde Venema, yde@science.uva.nl.

  • Monday 14 May, 16.00, new reading group on Ariel Rubinstein's Modeling Bounded Rationality

    Newsitem added on 31 December 2001.

    Monday 14 May, 16.00, new reading group on Ariel Rubinstein's Modeling Bounded Rationality
    Location: Multifunctionele Ruimte, Dept. of Philosophy, Vendelstraat 8, Amsterdam
    Date and Time: Monday, 14 May, 16.00
    Reading: Introduction, Chapters 1,2, last Chapter with comments by Herbert Simon.

    The reading material will be made available for xeroxing at the Euclides library. Although the group is more or less a follow-up of earlier game theory meetings, we would like to welcome new interest in particular. For more information, please send a mail to Jaap Kamps (kamps@ccsom.uva.nl) or Boudewijn de Bruin (debruin@science.uva.nl). Information on the book may be found at http://www-mitpress.mit.edu/book-home.tcl?isbn=0262681005 and http://www.princeton.edu/~ariel/books.html.

  • 11 May 2001, Abductive Reasoning In Science symposium, University of Groningen

    Newsitem added on 31 December 2001.

    11 May 2001, Abductive Reasoning In Science symposium, University of Groningen
    Location: Room 2.01 of the Faculty of Philosophy of the University of Groningen, Aweg 30.

    The program is as follows:
    10.00 reception/coffee
    10.30 Paul Thagard : Emotion in abductive inference
    11.30 John Woods: A conceptual map for abduction
    12.30 lunch
    13.30 Atocha Aliseda: Lacunae and empirical progress
    14.15 Joke Meheus: Formal logics for abductive reasoning
    15.15 break/tea
    15.30 Dov Gabbay: Abduction and Antiformulas
    16.30 Continuation of discussion with Alexander van den Bosch (*)
    17.15 Drinks

    (*) Alexander van den Bosch will defend his dissertation on the day before: this event has a separate entry.

    If you intend to come to the symposium, please send an e-mail before April 10 to Theo@philos.rug.nl. For the location of the Faculty/Aula consult the homepage at http://www.philos.rug.nl/aweg/index.htm

  • 27 April 2001, Colloquium on Mathematical Logic, Rosalie Iemhoff

    Newsitem added on 31 December 2001.

    27 April 2001, Colloquium on Mathematical Logic, Rosalie Iemhoff
    Speaker: Rosalie Iemhoff (University of Amsterdam)
    Title: to be announced
    Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
    Date and Time: Friday April 27 2001, 14.00-16.00

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

  • 20 April 2001, Computational Logic Seminar Double Talk, Andrew Bagdanov, Gabriel Gaston Infante

    Newsitem added on 31 December 2001.

    20 April 2001, Computational Logic Seminar Double Talk, Andrew Bagdanov, Gabriel Gaston Infante
    Speaker: Andrew Bagdanov (ISIS, UvA)
    Title: Content-free Document Genre Classification using First Order Random Graphs
    Date and Time: April 20, 2001, 13.30
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Speaker: Gabriel Gaston Infante (University of Twente)
    Title: Continuous Time Logic with Average Time
    Date and Time: April 20, 2001, 15:00
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    For abstracts and more information, see http://staff.science.uva.nl/~mdr/ACLG/Local/seminar01-1.html#April20.

  • 20 April 2001, DIP Colloquium, Helen de Hoop

    Newsitem added on 31 December 2001.

    20 April 2001, DIP Colloquium, Helen de Hoop
    Speaker: Helen de Hoop, Leiden University
    Title: Optional Word Order Variation in Dutch
    Date and Time: Friday April 20th, 2001, 15.00-17.00
    Location: Philosophy Department, MFR ground floor (a.k.a. Room 001)
    Abstract: available at http://home.student.uva.nl/balder.tencate/dip/dip200401.html

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 12 April 2001, Colloquium on Mathematical Logic, Volodya Shavrukov

    Newsitem added on 31 December 2001.

    12 April 2001, Colloquium on Mathematical Logic, Volodya Shavrukov
    Speaker: Volodya Shavrukov
    Title: Branches of the $E$-tree and jump pseudo-hierarchies
    Location: Room 467(!), Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
    Date and Time: Thursday April 12 2001, 13.00-15.00
    Abstract: available at this link

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

  • 5-6 April 2001, Workshop 'Tableaux for Dynamic and Modal Logics'

    Newsitem added on 31 December 2001.

    5-6 April 2001, Workshop 'Tableaux for Dynamic and Modal Logics'
    Title: Tableau for Dynamic And Modal Logics.
    Date and Time: Thursday April 5 and Friday April 6, 2001, starting at 10:00.
    Location: (Thursday) Euclides Building, Plantage Muidergracht 24, Room P.016; (Friday) Roetersstraatcomplex, Roetersstraat 15, Room A.102

    The Computational Logic and Dissemination of Logic groups at ILLC, University of Amsterdam are holding a small informal workshop on 'Tableau Methods With Applications To Dynamic And Modal Logics. The aim of the workshop is explore links between recent local work and recent work elsewhere and to exchange ideas. The workshop is to be held in Amsterdam, at ILLC, on Thursday April 5 and Friday April 6.

    'We would like to invite you to come over and take part in this event. Thanks to sponsorship from the Spinoza project Logic in Action, we can cover your local expenses and part of your travel expenses. Also, if you wish, we can book your hotel for you. We realize this is rather short notice, but please note that this is an informal event.'

    Further details, with a schedule of the program and electronic links to draft papers, can be found at: http://www.cwi.nl/~jve/tableaux/. This workshop is sponsored by the Spinoza project Logic in Action.

  • 30 March 2001, DIP Colloquium, Anton van der Wouden

    Newsitem added on 31 December 2001.

    30 March 2001, DIP Colloquium, Anton van der Wouden
    Speaker: Anton van der Wouden (Groningen University)
    Title: Particles in Dutch
    Place: Philosophy Department, MFR ground floor (a.k.a. Room 001), Nieuwe Doelenstraat 15, Amsterdam
    Date and Time: Friday March 30th, 2001, 15.00-17.00

    Abstract:
    We present preliminary results from our investigations into the particles of Dutch. After giving an overview of the general framework, we elaborate on two sub-topics:
    1. modal particles and the mental lexicon;
    2. variation vs. protypicality in focus particles.

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 30 maart 2001, Colloquium on Mathematical Logic, Arnold Beckman

    Newsitem added on 31 December 2001.

    30 maart 2001, Colloquium on Mathematical Logic, Arnold Beckman
    Speaker: Arnold Beckmann (University of Münster)
    Title: The use of well-foundedness principles in weak arithmetics
    Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
    Date and Time: Friday March 30 2001, 14.00-16.00

    Abstract:
    Well-foundedness principles play an important role in the study of provability strength for a lot of mathematical theories like (fragments of) arithmetic or set theory. We will summerize what is known about well-founded principles in weak arithmetic like Buss's bounded arithmetic.

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

  • Friday 23 March 2001, NVTI Theory Day 2001

    Newsitem added on 31 December 2001.

    Friday 23 March 2001, NVTI Theory Day 2001

    The Dutch Society for Theoretical Computer Science (NVTI) will hold their annual Theory Day on Friday 23 March 2001. The meeting will take place in the Jaarbeurs Utrecht conference hall, close to the CS Utrecht train station.

    As in previous years, a number of prominent speakers will speak on recent and significant developments in the field of theoretical computer science. This year, the speakers will be:

    • Prof.dr. R. Milner (University of Cambridge)
    • Prof.dr. D. Harel (The Weizmann Institute of Science, Israel)
    • Prof.dr. K. Apt (CWI, Universiteit van Amsterdam)
    • Prof.dr. A. Siebes (Universiteit Utrecht)

    In addition to the scientific contents the Theory Day will also have an informative component, namely a general meeting in which the most relevant information concerning the NVTI will be given, as well as presentations of the Research Schools associated with the NVTI.

    For more information, see the homepage of the NVTI.

  • 22 March 2001, Computational Logic Seminar, Rosella Gennari

    Newsitem added on 31 December 2001.

    22 March 2001, Computational Logic Seminar, Rosella Gennari
    Speaker: Rosella Gennari
    Title: Soft Constraint Frameworks
    Date and Time: Thursday March 22, 2001, 16:00
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract:
    Due to their 2-valued semantics, in some real-life situations, hard constraints may not be sufficient to model a problem:

    • information is incomplete, undetermined or uncertain, in that we can only set a preference on values up to a certain degree of knowledege/ignorance;
    • there exist no solutions to the problem, because the whole hard constraint set is inconsistent;
    • the problem is too difficult to solve, yet we need to find an instantiation for all variables that satisfies the given constraints, ``as many/much as possible''; in particular, that happens whenever there are fixed resource bounds.

    Hence, ``soft'' constraints come to be handy: loosely speaking, given a domain variable, a soft constraint is just like a hard one except that the former can assign, to each domain tuple, a ``preference'' or ``uncertainty'' degree further than 0 or 1. Fuzzy and semiring-based constraints are examples of soft constraints.

    Different authors have cooked up their own frameworks to define and compute with soft constraints. The best known is the semiring-based framework, by Bistarelli et al., Journal of ACM '97 - a semiring is just a universal algebra with two binary functions and two constants. In their seminal paper, Bistarelli et al. claim that all existing soft constraint frameworks can be translated into their semiring-based one; above all, partial and fuzzy constraint frameworks. Unfortunately, the semiring that they use to translate fuzzy and partial constraints is not the correct one; a simple example explains what goes wrong and why.

    Lately, I've been working on a general framework for soft constraints and, above all, on a translation between constraint frameworks for `preserving solution sets'.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 16 March 2001, Computational Logic Seminar, Marco Aiello

    Newsitem added on 31 December 2001.

    16 March 2001, Computational Logic Seminar, Marco Aiello
    Speaker: Marco Aiello
    Title: Intervening at the Right Moment: Ontological Overhearing
    Date and Time: March 16, 2001, 13:30
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract:
    The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, intervenes with appropriate information or by acting helpfully. The behavior of the latter agent, which is quite common in human interaction, is called overhearing. We present an agent architecture modeling the overhearing behavior. In particular, we focus on overhearing based on ontological reasoning, that is, the overhearer semantically selects pieces of communication according to his own knowledge (ontologically organized) and goals. Internally, the overhearer is split in two sub-agents. One is the overhearing agent which, using a formal ontology, classifies the overheard communication. The other one is the suggester agent whose goal is to make appropriate suggestions at the appropriate time point. We present a formal language for the interaction of the two sub-agents.

    A prototype of the architecture implemented using Jack Intelligent Agents is briefly described and preliminary experimental results are discussed.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 13 March 2001, Computational Logic Seminar, Luciano Serafini

    Newsitem added on 31 December 2001.

    13 March 2001, Computational Logic Seminar, Luciano Serafini
    Speaker: Luciano Serafini (Trento)
    Title: A Logic for context: Syntax, semantics and calculus
    Date and Time: March 13, 2001, 13.30
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract:
    The importance of the notion of context has emerged in several disciplines (e.g. philosophy of language, AI, computer science, cognitive linguistics, theories of mental representation) with different motivations. In the last ten years, the Mechanized Reasoning Group, leaded by Fausto Giunchiglia, has been developing a formal logic of contextual reasoning, which was successfully applied to many problems arising in the above disciplines. The goal of this talk is to give an introductory view of this work, focusing on the formal aspects. We briefly introduce, some of the most well-known approaches to modeling context (and contextual reasoning) in Philosophy, AI and Cognitive Science. We then introduce the general principles of contexts, called *Locality* and *Compatibility* We introduce a semantics for locality and compatibility called Local Models Semantics (LMS) and a calculus for LMS, called Multi-Context Systems (MCS). The above formalism support propositional contestual reasoning. We therefore propose a generalization to the quantified case.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 9 March 2001, Computational Logic Seminar, Djoerd Hemstra

    Newsitem added on 31 December 2001.

    9 March 2001, Computational Logic Seminar, Djoerd Hemstra
    Speaker: Djoerd Hiemstra (UTwente) Title: Statistical Language Models for Information Retrieval
    Date and Time: March 9, 2001, 13.30
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract:
    Information Retrieval (IR) probably was the first area of natural language processing in which statistics were successfully applied. Two models of ranked retrieval developed in the late 60s and early 70s are still in use today: Salton's vector space model and Robertson/Sparck-Jones' probabilistic model. However, the real breakthrough of statistical models in natural language processing did not come from the IR community, but from the speech recognition community in the 70s and 80s. Many of the statistical techniques that were first successfully applied for speech, like Shannon's noisy channel model, n-gram models and hidden Markov models are used today in all sorts of applications, like e.g. part-of-speech tagging, optical character recognition, statistical translation, stochastic context free grammars, etc.

    In this talk I will show that statistical language models originally developed for speech can be used to model ranked retrieval as well. The application to IR has characteristics of both the vector space model and the probabilistic model of IR and gives a probabilistic interpretation of:

    • tf.idf term weighting
    • relevance weighting of query terms
    • Boolean-structured queries

    The model can easily be extended with additional statistical processes, like for instance statistical translation to model cross-language information retrieval, i.e. to search for documents in a language other than the query.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 2 March 2001, Second ILLC Alumni Event

    Newsitem added on 31 December 2001.

    2 March 2001, Second ILLC Alumni Event
    Date and Time: Friday March 2nd, 2001, 16:00-22.00
    Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Target: ILLC alumni and current ILLC staff/students

    Friday March 2nd, 2001, ILLC organizes its second Alumni Event.
    You are cordially invited for this event, which promises to be even more successful than last year's.

    The aim of the ILLC Alumni Event is to bring former and present staff, PhD students and MSc students together in an informal atmosphere. Besides the social get-together, there is a program of information and celebration, which you can find below.

    The meeting takes place in the Agnietenkapel, Oudezijds Voorburgwal 231 in Amsterdam. A route description will be sent to you after registration.

    Program
    16.00 - 16.30 Coffee and Tea
    16.30 - 18.00 Project Presentations: ILLC and Industry
    18.00 - 19.15 Cold Buffet
    19.15 - 20.15 Special session for ILLC's prize and project winners
    20.15 - 21.00 Henk Barendregt, Nijmegen University: "Beyond Truth and Meaning"
    21.00 - 22.00 Drinks

    We look forward to your participation!

  • 1 March 2001, Computational Logic Seminar, Edwin Mares

    Newsitem added on 31 December 2001.

    1 March 2001, Computational Logic Seminar, Edwin Mares
    Speaker: Edwin Mares (Victoria University of Wellington)
    Title: Provability and Relevance
    Date and Time: March 1, 2001, 15.15
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract:
    R# is a version of Peano arithmetic based on the relevant logic R. A startling feature of R# is that it can be shown using a finite model that 0=1 is not provable in it. This raises the question of the status of Goedel's second incompleteness theorem in R#. Unfortunately, this question has proved extremely difficult to answer. This paper will explore this problem and a series of related problems to do with provability predicates in relevant arithmetic. These results show that Loeb's theorem is particularly dangerous from a relevant point of view.

    This talk will presuppose no knowledge of relevant logic -- everything you need to know about relevance will be explained. It will, however, assume some basic familiarity with Peano arithmetic and Goedel's incompleteness theorems.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 23 February 2001, Computational Logic Seminar, Felix Costa (Lisbon)

    Newsitem added on 31 December 2001.

    23 February 2001, Computational Logic Seminar, Felix Costa (Lisbon)
    Speaker: Felix Costa(Lisbon)
    Title: Analog Computation in Continuous Time
    Date and Time: February 23, 2001, 13.00
    Location: Room P.327, ILLC, Plantage Muidergracht 24, Amsterdam

    Abstract
    We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuous time. We show that several classical computation classes have natural analog counterparts, including the primitive recursive functions, the elementary functions, the levels of the Grzegorczyk hierarchy, and the arithmetical and analytical hierarchies.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 23 February 2001, DIP Colloquium, Gerhard Jaeger (Utrecht University)

    Newsitem added on 31 December 2001.

    23 February 2001, DIP Colloquium, Gerhard Jaeger (Utrecht University)
    Speaker: Gerhard Jaeger (Utrecht University)
    Title: On the semantics of as and be
    Place: Philosophy Department, MFR ground floor (a.k.a. Room 001)
    Date and Time: Friday February 23th, 2001, 15.00-17.00

    Abstract:
    This paper deals with a series of semantic contrasts between the copula be and the preposition as two functional elements that both head elementary predication structures. It will be argued that the meaning of as is a type lowering device shifting the meaning of its complement NP from generalized quantifier type to property type (where properties are conceived as relations between individuals and situations), while the copula be induces a type coercion from (partial) situations to (total) possible worlds. Paired with van der Sandt's (1992) theory of presupposition accommodation, these assumptions will account for the observed contrasts between as and be.

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 16 February 2001, Computational Logic Seminar

    Newsitem added on 31 December 2001.

    16 February 2001, Computational Logic Seminar
    Title: Equational Binary Decision Diagrams
    Speaker: Jaco van der Pol (CWI)
    Location: ILLC, Plantage Muidergracht 24, Amsterdam, Room P.327
    Date and Time: Februari 16, 2001, 13.30-14.30

    Abstract:
    How to decide boolean combinations of equalities? As an alternative to Shostak's congruence closure, we extended binary decision diagrams with equalities. Combined with Ackerman's function elimination this does the job. We describe how EQ-BDDs provide a "canonical enough", albeit not unique, representation of propositions over equalities. Then, using wishful thinking, we describe how to extend EQ-BDDs with algebraically defined functions.

    For more information, see http://www.illc.uva.nl/~mdr/ACLG/Local/seminar01-1.html.

  • 2 february 2001, Debat over de toekomst van de logica

    Newsitem added on 31 December 2001.

    2 february 2001, Debat over de toekomst van de logica (Debate on the Future of Logic)
    Date and Time: Friday 2 february 2001, from 13.00 onwards, with drinks afterwards.
    Location: Stadskasteel Oudaen, Oude Gracht 99, Utrecht
    Organisers: VvL, with SIKS and OzsL.

    Na een lange radiostilte nodigt de VvL u hierbij uit voor een groots evenement: een VvL thema middag over De Toekomst van de Logica, nu niet op de traditionele zaterdag, maar op vrijdag 2 februari 2001, in de Theaterzaal van Stadskasteel Oudaen, Oude Gracht 99, Utrecht. Stadskasteel Oudaen bevindt zich op 10 minuten loopafstand van Utrecht CS. Mede-organisatoren van deze middag zijn de onderzoeksscholen OzsL en SIKS. Programma en verdere informatie over VvL en over de vragen die ter tafel liggen is te vinden op de web site van de Vereniging voor Logica. Alle belangstellenden zijn van harte welkom. De toegang is gratis. Komt allen! Een voorzet tot discussie wordt gegeven in een pamflet dat u vindt op de web site.

  • 26 January 2001, DIP Colloquium, Bernhard Schwarz (IMS Stuttgart)

    Newsitem added on 31 December 2001.

    26 January 2001, DIP Colloquium, Bernhard Schwarz (IMS Stuttgart)
    Canceled!
    Speaker: Bernhard Schwarz (IMS Stuttgart)
    Title: Saying "Even" in German
    Former Date and Time: Friday January 26th, 2001, 15.00-17.00

    Abstract:
    It is known that in certain contexts even gives rise to ambiguity. For example, I doubt that he even knows Italian can be taken to suggest either that Italian is hard or that Italian is easy. Some have credited this ambiguity to the scope taking options for even, whereas others have posited a lexical ambiguity. Both accounts have been taken to carry over to German, where the two readings are expressed with different lexical items, namely sogar for the "hard" reading and auch nur for the "easy" reading. I first show that none of the accounts in question correctly applies to German in that they fail to capture the meaning of auch nur. I then argue that auch nur marks its host sentence as the most informative among the alternative assertions and discuss how various restrictions on the use of auch nur might come about.

    More information can be found on the DIP (Discourse Processing) homepage, or by contacting the DIP Colloquium organizing committee at DIP@hum.uva.nl

  • 25 January 2001, Computational Linguistics and Logic workshop

    Newsitem added on 31 December 2001.

    25 January 2001, Computational Linguistics and Logic workshop
    Title: Linear Logic and Linguistics
    Speakers: Christian Retore, Francois Lamarche, Gianfranco Mascari and Gerhard Jaeger
    Topics: Proof theory, category theory, linear logic, substructural logic, categorial grammar, Petri Nets
    Location: Utrecht, Trans 10, room 1.01
    Date and Time: Thursday 25 January 2001, 13.00 - 17.00

    Thursday 13.00 -17.00 a workshop on Linear Logic and Linguistics will take place. The workshop is organised by the group of Computational Linguistics of the UiL-OTS in collaboration with the Mathematics Department on the occasion of Quintijn Puite's promotion. For the whole program and further background information, look at: http://www-uilots.let.uu.nl/conferences/workshop_CLL.html.

  • 15 january - 21 february 2001, guest lectures of Saul Kripke

    Newsitem added on 31 December 2001.

    15 january - 21 february 2001, guest lectures of Saul Kripke
    Titel: Gödel's Theorem & Recursive Functions, An exposition of the elementary theory from a logical and philosophical standpoint.
    Speaker: Saul Kripke, Philosophy/CKI, Utrecht
    Dates: 15 january - 21 february 2001, mondays and wednesdays
    Time: Mondays 15.30 - 17.30, wednesdays 9.00 - 11.00

    New Location: Due to the large number of people showing an interest in this course, new accomodations had to be found. All classes will be held at the Uithof in Utrecht. Please visit this page for the exact location of each weeks lectures.

    For more information, see http://staff.science.uva.nl/~jjoosten/krip/krip.html.

  • 19 January 2001, ACCS seminar Quantum Computing

    Newsitem added on 31 December 2001.

    19 January 2001, ACCS seminar Quantum Computing

    On january 19, 2001, from 14:30 - 17:00 o'clock, the Amsterdam Centre for Computational Science organizes a seminar on "Quantum Computing".
    Speakers:
    Prof. H. Buhrman, "Quantum Communication Complexity" (ILLC and CWI)
    Prof. P. Stamp, "Decoherence and Quantum Entanglement" (UU)
    Prof. H. Mooij, title to be announced (TUD)
    Location: University of Amsterdam, Institute of Computer Science, Kruislaan 403, 1098 SJ Amsterdam, Room F013

    For more information on ACCS, see http://www.science.uva.nl/research/accs/

  • 10 May 2001, Logic Tea, Rosalie Iemhoff

    Speaker: Rosalie Iemhoff (UvA)
    Title: Provability Logic
    Date and time: Thursday May 10 2001, 15:30-16:30
    Location: Room P.014, Euclides Building, Plantage Muidergradcht 24, Amsterdam;

    For further information and abstracts, see http://staff.science.uva.nl/~debruin/Logic_tea.

  • 12 January 2001, DIP Colloquium

    Newsitem added on 31 December 2001.

    12 January 2001, DIP Colloquium
    Speaker: Paul Dekker (University of Amsterdam)
    Title: Peirce puzzle
    Place: Euclides Building, P3.27
    Date: Friday January 12th, 2001
    Time: 15.00-16.30

    ABSTRACT:
    A puzzle due to (and solved by) Charles Sanders Peirce has recently regained the interest of semanticists. The puzzle has been reformulated by Stephen Read and Brendan Gillon against the background of the following situation.

    One-thousand people can participate in a sweep-stakes, and each participant is required to bring in one dollar. It seems the following two sentences can be asserted truthfully in this situation:
      (1) Someone wins $1.000 if everyone takes part.
      (2) Someone wins $1.000 or someone will not take part.
    However, it seems the following two sentences are difficult to accept in the very same situation:
      (3) Someone wins $1.000 if he takes part.
      (4) Someone wins $1.000 or he will not take part.
    Surprisingly, the natural translations of the four sentences in first order logic are fully equivalent. Apparently, something must be dubious somewhere. Are our intuitions about (1)-(4) dubious? Is the natural translation of (1)-(4) into first order logic dubious? Or is first order logic dubious itself?

    In my talk I will answer both of the three questions. I will argue that Peirce's own, intuitively correct, observations about the puzzle can be seen to follow from independently motivated principles governing the use of conditional sentences and that of indefinite noun phrases.

  • 12 January 2001, Drinks at the new CCSOM/MoL head quarters

    Newsitem added on 31 December 2001.

    12 January 2001, Drinks at the new CCSOM/MoL head quarters

    Friday January 12, you are invited for a drink at the new head quarters of CCSOM and the Master of Logic students: rooms 2.27 - 2.39 at the second floor of Building B; Nieuwe Achtergracht 166 (Roeterseiland). The happening starts at 16.30.

    Reasons for this party:

    • the new year
    • the new accommodation of CCSOM and the Master of Logic students
    • the introduction of some new members of staff
    • the arrival of 6 international students from Turkey, Iran, Iceland, Finland and Germany
    • the DIP Colloquium that will take place from 15 - 16.30 that afternoon

Calls for Papers

  • 16 - 21 October 2001, RELMICS 6, Oisterwijk (near Tilburg), the Netherlands (deadline: 15 August 2001)

    Newsitem added on 31 December 2001.

    16 - 21 October 2001, RELMICS 6, Oisterwijk (near Tilburg), the Netherlands
    Deadline: August 15, 2001

    The purpose of this series of international workshops is to bring together researchers from various subdisciplines of Computer Science, Mathematics and Philosophy, all of whom use relational methods as a conceptual and methodological tool in their work.

    For more information, see http://cwis.kub.nl/~fsw_2/fww/home/swart/rmcs.htm.

  • 23 - 28 September 2001, The Fourth International Tbilisi Symposium on Language, Logic and Computation, Borjomi, Georgia (deadline: 30 April 2001)

    Newsitem added on 31 December 2001.

    23 - 28 September 2001, The Fourth International Tbilisi Symposium on Language, Logic and Computation, Borjomi, Georgia
    Call for Papers
    Deadline: 30 April

    The fourth Tbilisi Symposium on Language, Logic and Computation will be held in the mountain resort Likani, situated in the Borjomi Canyon, from 23 to 28 September. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

    The Symposium welcomes papers on current research in all aspects of Linguistics, Logic and Computation, including but not limited to:

    • Natural language semantics/pragmatics
    • Algebraic and relational semantics
    • Natural language processing
    • Logic in AI and natural language
    • Natural language and logic programming
    • Automated reasoning
    • Natural language and databases
    • Information retrieval from text
    • Natural language and internet
    • Constructive and modal logic

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

  • 20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland (deadline: 9 April 2001)

    Newsitem added on 31 December 2001.

    20-24 August 2001, ESSLLI Workhop on Logic and Games, Helsinki, Finland
    Call for Papers
    New Deadline: April 9th, 2001

    Games have been utilized within logic for a variety of different purposes such as semantic evaluation games, model comparison games, and proof games. On the other hand, logic has become increasingly important in game theory, in particular for the epistemic foundation of game-theoretic solution concepts. As the TARK and LOFT conferences show, interaction between logic and game theory has become more diverse in recent years, exploring game logics, the use of game-theory in multi-agent systems, game-theoretic accounts of natural language phenomena, and the role of language in defining preferences.

    The workshop is part of the 13th European Summer School in Logic, Language and Information (ESSLLI) which takes place at the University of Helsinki from August 13 until August 24, 2001 (http://www.helsinki.fi/esslli). The workshop aims to provide a forum for advanced Ph.D. students and other researchers from game theory and logic to present their research on (1) game- theoretic techniques applied to logic, and (2) logical models or analyses of games and game-theoretic problems. We specifically invite presentations in any of the following areas:

    1. Logical analysis of games, e.g. modeling knowledge, belief, and information flow in games; applications of epistemic and dynamic logic to games
    2. Logic games, e.g. model comparison games, semantic evaluation games, Independence-friendly logic
    3. Game logics, e.g. extensions of program logics and modal logics to investigate the structure of games in general
    4. The role of language and logical definability in games, and connections between natural language and games generally
    5. Logical approaches to multi-agent systems with a special focus on game-theoretic aspects

    For more information, see http://www.cwi.nl/~pauly/GameLogic/call-esslli.

  • 13-24 August 2001, ESSLLI-2001 Student Session, Helsinki, Finland (deadline: 18 February 2001)

    Newsitem added on 31 December 2001.

    13-24 August 2001, ESSLLI-2001 Student Session, Helsinki, Finland
    Thirteenth European Summer School in Logic, Language and Information, Student Session
    First Call for Papers
    Deadline: February 18th, 2001

    We are pleased to announce the Student Session of the 13th European Summer School in Logic, Language and Information (ESSLLI 2001) organized by the University of Helsinki under the auspices of the European Association for Logic, Language and Information (FoLLI). ESSLLI 2001 will be held at the University of Helsinki in August 2001. We invite submission of papers for presentation at the ESSLLI 2001 Student Session and for appearance in the proceedings.

    Purpose:
    This sixth ESSLLI Student Session will provide, like the other editions, an opportunity for ESSLLI participants who are students to present their own work in progress and get feedback from senior researchers and fellow-students. The ESSLLI Student Session encourages submissions from students at any level, from undergraduates (before completion of the Master Thesis) as well as postgraduates (before completion of the PhD degree). Papers co-authored by non-students will not be accepted. Papers may be accepted for full presentation (30 minutes including 10 minutes of discussion) or for a poster presentation. The accepted papers will be published in the ESSLLI 2001 Student Session proceedings, which will be made available during the summer school.

    For more information, see the Student Session webpage and the main ES SLLI 2001 website.

MoL and PhD defenses

  • 18 December 2001, Master of Logic defense, Andreas Giannakoulopoulos

    Title: Leaping Frogs and Human Noises: An OT theory of Cultural Change
    Date and time: Tuesday 18 December 2001, 17:15
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24
    Supervisor: Henk Zeevat
  • 13 december 2001, PhD defense, Marc Pauly

    Title: Logic for Social Software
    Date and time: Thursday 13 december 2001, 10:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotores: Prof. dr. J.A.F.K. van Benthem, Prof. dr. J. van Eijck
  • 11 December 2001, Master of Logic defense, Mehmet Giritli

    Title: From 3-SAT to {2+p},{3}-SAT
    Date and time: Tuesday 11 December 2001, 15:00
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam
    Supervisor: Breanndán Ó Nualláin
  • 14 November 2001, PhD defense, Gwen Kerdiles

    Title: Saying it with Pictures: a logical landscape of conceptual graphs
    Date and time: November 14, 2001, 14:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotores: Prof. dr. J.A.F.K. van Benthem, Prof. dr. A.M.K. Preller
    Copromotor: Prof. dr. F.J.M.M. Veltman
  • 13 November 2001, PhD defense, Allard Tamminga

    Title: Belief Dynamics (Epistemo) logical Investigations
    Date and time: November 13, 2001, 10:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof. dr. F.J.M.M. Veltman
    Copromotor: Prof. dr. H. Rott
  • 29 October 2001, Master of Logic defense, Darrin Hindsill

    Date and time: Monday 29 October 2001, 15:00
    Location: Room 107, Philosophy Department, Vendelstraat 8, Amsterdam
    Supervisor: Michiel van Lambalgen
    Darrin's Master's Thesis can be found online at http://www.illc.uva.nl/Publications/reportlist.php?Series=MoL#MoL-2001-12
  • 2 October 2001, Master of Logic defense, Marcello Vavassori

    Title: Isn't my question a real question: A pragmatic approach to polar questions
    Date and time: October 2, 2001, 13:00-14:00
    Supervisor: Robert van Rooy
    Marcello Vavassori's Master's Thesis can be found online at http://www.illc.uva.nl/Publications/reportlist.php?Series=MoL#MoL-2001-10
  • Thursday 6 September 2001, PhD Defense of Ronald de Wolf

    Newsitem added on 31 December 2001.

    Thursday 6 September 2001, 12:00
    PhD Defense of Ronald de Wolf
    Place: Oude Lutherse Kerk, Singel 411, Amsterdam
    Title dissertation: Quantum Computing and Communication Complexity
    Promotores: Prof.dr. H.M. Buhrman, Prof.dr.ir. P.M.B. Vitányi

  • Friday 20 July 2001, time to be announced

    Newsitem added on 31 December 2001.

    Friday 20 July 2001, time to be announced
    Master of Logic Defense of Alexander Bergo
    Place: Room 3.27, Euclides Building, Plantage Muidergracht 24
    Title: to be announced
    Supervisor: Maarten de Rijke

  • Tuesday 3 July 2001, Master of Logic Defense of Benjamin Rodenhäuser

    Newsitem added on 31 December 2001.

    Tuesday 3 July 2001, 15:00
    Master of Logic Defense of Benjamin Rodenhäuser
    Place: Room 3.27, Euclides Building, Plantage Muidergracht 24
    Title: to be announced
    Supervisor: Johan van Benthem

  • Wednesday 27 June 2001, Master of Logic Defense of Jon Ragetli

    Newsitem added on 31 December 2001.

    Wednesday 27 June 2001, 16:00
    Master of Logic Defense of Jon Ragetli
    Place: Room 3.27, Euclides Building, Plantage Muidergracht 24
    Title: Towards Concept-based Structuring of Electronic Scientific Information
    Supervisor: Maarten de Rijke

  • Wednesday 20 June 2001, PhD Defense of Eva Hoogland

    Newsitem added on 31 December 2001.

    Wednesday 20 June 2001, 12:00
    PhD Defense of Eva Hoogland
    Place: Oude Lutherse Kerk, Singel 411, Amsterdam.
    Title dissertation: Definability and Interpolation: Model-theoretic investigatio ns
    Promotor: Dick de Jongh
    Co-promotor: Yde Venema

  • Friday 18 May 2001, Master of Logic Defense of Rasa Leijting-Paulekaite

    Newsitem added on 31 December 2001.

    Friday 18 May 2001, 10:00
    Master of Logic Defense of Rasa Leijting-Paulekaite
    Place: Room 105, Department of Philosophy, Nieuwe Doelenstraat 15
    Title: Intentional Identity and the Edelberg Asymmetry
    Supervisors: Paul Dekker, Henk Zeevat

  • Tuesday 15 May 2001, PhD Defense of Rosalie Iemhoff

    Newsitem added on 31 December 2001.

    Tuesday 15 May 2001, 12:00
    PhD Defense of Rosalie Iemhoff
    Place: Oude Lutherse Kerk, Singel 411, Amsterdam.
    Title dissertation: Provability Logic and Admissible Rules
    Promotor: Anne Troelstra
    Co-promotores: Dick de Jongh, Albert Visser

  • Thursday 10 May 2001, PhD Defense of Alexander van den Bosch

    Newsitem added on 31 December 2001.

    Thursday 10 May 2001, 14:15
    PhD Defense of Alexander van den Bosch
    Place: the Aula of the University of Groningen, Broersstraat 5, Groningen
    Title dissertation: Rationality in Discovery - A Study of Logic, Cognition, Computation and Neuropharmacology
    Promotores: Th.A.F. Kuipers, R. Vos
    Abstract: see http://www.philos.rug.nl/~vdbosch/thesis.html

  • Wednesday 9 May 2001, PhD Defense of Erik de Haas

    Newsitem added on 31 December 2001.

    Wednesday 9 May 2001, 12:00
    PhD Defense of Erik de Haas
    Place: Oude Lutherse Kerk, Singel 411, Amsterdam.
    Title dissertation: Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective
    Promotor: Peter van Emde Boas
    Co-promotor: Pieter Adriaans

  • Thursday 25 January 2001, PhD Defense of Maria Aloni

    Newsitem added on 31 December 2001.

    Thursday 25 January 2001, 10:00
    PhD Defense of Maria Aloni
    Place: Oude Lutherse Kerk, Singel 411, Amsterdam.
    Title dissertation: Quantification under Conceptual Covers

  • Monday 15 January 2001, Master of Logic Defense of Jason Mattausch

    Newsitem added on 31 December 2001.

    Monday 15 January 2001, 16:00
    Master of Logic Defense of Jason Mattausch
    Place: PCHH 319
    Title: Optimisation in Discourse Generation
    Supervisor: Henk Zeevat

Projects and Awards

  • NWO Talent stipendium winners

    Newsitem added on 1 September 2001.

    The ILLC is pleased to announce that Rosalie Iemhoff, Wim van Dam and Ronald de Wolf have all won a NWO TALENT stipendium. Rosalie will go to Sam Buss in San Diego and both Wim and Ronald will become postdocs at Prof U. Vazirani's EECS Department of the Univ. California at Berkeley.

  • Johan van Benthem is 1 van de 4 prijswinnaars van de landelijke essay competitie "Wetenschap in Beweging"

    Newsitem added on 31 December 2001.

    Johan van Benthem is 1 van de 4 prijswinnaars van de landelijke essay competitie "Wetenschap in Beweging" van de 'Hollandse Maatschappij van Wetenschappen' (een oud geleerd genootschap uit 1752), tezamen met James MacAlester, Herman Philipse (Leiden) en Arie Rip (Twente). Met deze essays wordt in 2002 een breed debat gestart over toekomstige wetenschapsindeling, en nieuwe contacten tussen wetenschap en maatschappij.
    Meer informatie: http://www.holmij.nl/Uitslag.htm.
    Een ps.file van het stuk van Johan van Benthem is te vinden op: http://staff.science.uva.nl/~johan/H-mij.ps.

  • Robert van Rooy (Theory of interpretation) has received a KNAW fellowship

    Newsitem added on 31 December 2001.

    Robert van Rooy (Theory of interpretation) has received a KNAW fellowship; the title of his project is

    Games, Relevance, and Meaning

    The goal of the research project is to develop a quantitative theory of interpretation of natural language as a generalization and refinement of current qualitative perspectives, and to use it to determine the relevance and interpretation of a wide range of communicative acts. Two mutually dependent subordinate objectives are distinguished:

    1. to define appropriate quantitative notions of RELEVANCE of sentences in both cooperative and non-cooperative settings of communicative interactions;
    2. to determine the OPTIMAL interpretation of sentences in terms of game theoretical equilibria of interactive situations between speakers and hearers who try to maximize communicative relevance, while minimizing their effort to do so.
  • NWO has granted both ILLC proposals in the "Vernieuwingsimpuls"

    Newsitem added on 31 December 2001.

    NWO has granted both ILLC proposals in the "Vernieuwingsimpuls":

    • Paul Dekker: Formal Language Games
    • Rens Bod : Towards a Unifying Model for Linguistic, Musical and Visual Processing

    The projects consist of 1 senior researcher and approximately a Postdoc and a Ph.Dstudent or 2 PhD-students plus extra computer support each.

  • ILLC Staff projects approved in the "NWO open competition" (round 2000)

    Newsitem added on 31 December 2001.

    In the "NWO open competition" (round 2000), the following projects in which ILLC staff is involved have been approved of:

    • K.R. Apt (Uva/CWI): ALMA-0 and New Foundations for Declarative Programming (2 PhD students + 0.4 fte non-scientific personnel for 4 years, total of kf 604)
    • K.R. Apt (Uva/CWI), F. Arbab(CWI), E.B.G. Monfroy (CWI): Coordination-Based Parallel Constraint Solving
    • P.M.B. Vitanyi(CWI): Universal Learning (1 postdoc for 4 years + 1 PhD student + 0,25 fte non-scientific personnel for 4 years, total of kf 680)
    • M. de Rijke (UvA), K.R. Apt (Uva/CWI): Simulation and Testing for Feature Interaction (1 postdoc for 4 years + 1 PhD student + 0,5 fte non-scientific personnel for 4 years, total of kf 597)
    • Y.Venema (UvA), B.P.F. Jacobs (KUN), J.J.M.M. Rutten (CWI): Coalgebraic Model Logic: Theory and Applications
    • J.F.A.K. van Benthem (UvA): "De kennis en rationaliteitsaannamen van speltheoretische oplossingsconcepten" (1 PhD student, B. de Bruin)

    Furthermore Maarten de Rijke obtained an NWO grant of Kf 25 to subsidize the replacement of his lecturing duties.

Funding, Grants and Competitions

  • 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".

  • NGI student thesis prize

    Newsitem added on 1 September 2001.

    The NGI (platform for ICT-professionals) offers a price of 10.000,- Dutch Guilders for the best computer science student thesis. All entries have to be submitted by 1 October 2001.

    For more information and contest rules, see the NGI website at http://www.ngi.nl.

  • NIAS research fellowships

    Newsitem added on 31 December 2001.

    NIAS research fellowships
    Applications for NIAS research fellowships for the academic year 2002/2003 have to be submitted to the institute before July 1st, 2001. Application forms can be obtained from the secretary to the Scholarship Committee, drs J.J.M. Hooghuis (email: Hooghuis@nias.knaw.nl). More information on NIAS can be found at the NIAS website at http://www.nias.knaw.nl.

  • DESCARTES Prize for High-Level Research Work, Deadline 6 April 2001

    Newsitem added on 31 December 2001.

    DESCARTES Prize for High-Level Research Work, Deadline 6 April 2001
    The Descartes Prize is one the activities of the Improving human potential. programme (IHP) which, in turn, is one of the specific programmes of the Fifth Framework programme of the European Community for research, technological development and demonstration activities (1998-2002). The Descartes Prize rewards outstanding scientific and technological achievements resulting from European collaborative research. It is open to all fields of scientific endeavour.

    Participants must be teams from, at a minimum, two institutes established in two different Member States (or in a Member State and an Associated State). As an indicative guide the monetary awards should amount to an average of some 50,000 euro per team associated in the Descartes Prize winning work. (Up to a total of 1,000,000 euro in prize money may be awarded in any given year).

    More information on proposal submissions and guidelines for the Descartes prize can be obtained from

    European Commission
    Directorate-General Research
    Descartes Prize
    rue de la Loi/Wetstraat 200
    B-1049 Brussels
    Fax +32-2-2963270
    E-mail: improving@cec.eu.int

    or at the following URL: http://www.cordis.lu/improving/calls/descartes_200002.htm. Deadline for submissions is 6 April 2001.

  • Uitnodiging tot indiening van subsidieaanvragen

    Newsitem added on 31 December 2001.

    Uitnodiging tot indiening van subsidieaanvragen
    Het gebiedsbestuur Exacte Wetenschappen (GBE) van NWO nodigt onderzoekers in de disciplines astronomie, informatica en wiskunde hierbij uit om onderzoeksvoorstellen in te dienen in het kader van de projectruimte voor de Open Competitie 2001. Het betreft:

    • onderzoeksvoorstellen zonder programmatische randvoorwaarden, eventueel inclusief de voor het onderzoek benodigde apparatuur.
    • onderzoeksvoorstellen op het terrein van drie informatica-prioriteitsthema's, eventueel inclusief de voor het onderzoek benodigde apparatuur.
    • investeringsvoorstellen voor apparatuur tussen de kf 100 en Mf 2.

    De deadline is 1 februari 2001. Onderzoekers in de natuurkunde kunnen hun voorstel indienen bij FOM, volgens de richtlijnen die FOM daarbij hanteert. Meer informatie is te vinden in de aparte Call for Proposals (als PDF-file), en tevens op de NWO/EW- en FOM websites.

    ILLC leden die een voorstel willen indienen worden verzocht Peter Blok hiervan op de hoogte te brengen.

  • Summer Fellowships for Innovative research on Information Technology

    Newsitem added on 31 December 2001.

    Summer Fellowships for Innovative research on Information Technology
    The Social Science Research Council announces the availability of Summer Fellowships for innovative research on information technology, international cooperation and global security.
    date of submission: January 22nd.
    Information: Peter Blok

  • 2e ronde Vernieuwingsimpuls

    Newsitem added on 31 December 2001.

    2e ronde Vernieuwingsimpuls
    De 2e ronde Vernieuwingsimpuls wordt versneld uitgevoerd. De UvA mag in deze ronde 16 aanvragen indienen.

    Zoals als eerder meegedeeld heeft NWO besloten de tweede tranche Vernieuwingsimpulsgelden vervroegd en verhoogd ter beschikking te stellen. Gezien onze uitermate goede ervaringen in de eerste ronde is het aanbevelingswaardig goed na te denken hoe wij de inhoud van deze ruif verder op onze bordjes terecht kunnen doen komen.

    Het slechte nieuws is dat de randvoorwaarden zijn aangescherpt. Zo is onder meer de volgende (nieuwe!) passage in de brochure opgenomen:

    "Met de voordracht van een kandidaat geeft de universiteit tevens aan bereid te zijn deze bij toekenning van een Vernieuwingsimpuls premie als wetenschapper bij deze universiteit aan te stellen. Voort impliceert dit ook dat de betreffende universiteit de kandidaten na afloop opneemt in de vaste wetenschappelijke staf, tenzij de evaluatie in het voorlaatste jaar negatief uitvalt".

    Een andere wijziging is de grotere nadruk op bewezen ervaring met het formuleren en uitvoeren van een onderzoekprogramma. Dit was m.i. in de vorige ronde impliciet reeds een belangrijk criterium, gelet op het feit dat zich onder de gelukkigen veel onderzoekers met veel ervaring bevonden (KNAW-fellows en dergelijke). Een derde noviteit is de mogelijkheid om aanbevelingsbrieven in het Engels toe te voegen.

    Ten overvloede: het betreft projecten uit te voeren door een jonge, veelbelovende, gepromoveerde en en verder zijn/haar sporen reeds verdiend hebbende onderzoeker die leiding kan geven en wetenschappelijk risico wil nemen. Omvang per project: ongeveer Mf 1.5 (zegge anderhalfmiljoen gulden), uit te geven in 5 jaar.

    De aanvragen, die relatief bescheiden van omvang kunnen zijn, moeten bij de FNWI op 8 januari 2001 ten burele gearriveerd zijn en bij de FGW op 11 december 2000.

    Indien u een kandidaat heeft, laat het Martin Stokhof of mij z.s.m. weten. Wij zijn gaarne behulpzaam bij het uitwerken van de plannen en begroten van het budget. Voor informatie en de orginele call kunt u ook bij mij terecht.
    Peter Blok

  • Funds available for student or teacher exchanges.

    Newsitem added on 31 December 2001.

    As part of long-term UVA cooperative education projects, there are funds available for student or teacher exchanges with the Freie Universitaet Berlin, University College London and New York University.

  • KNAW conference subsidies

    Newsitem added on 1 September 2001.

    The KNAW will not subsidize visits to conferences abroad in 2001. However, the budget for organizing conferences has been enlarged.

    For more information, contact Peter Blok at pblok at science.uva.nl.

  • NWO equipment funding

    Newsitem added on 1 September 2001.

    For equipment costing more than 250 guilders you can apply for funding from the NWO equipment funding programme. The deadline for applications for the 2000-2001 programme is september 2001.

    For more information, see http://www.nwo.nl/alw/programmas/investeringen.

  • Admission fees for PhD students at ILLC-funded events

    Newsitem added on 1 September 2001.

    The director has decided that all current ILLC PhD-students will from now on have free admission to all scientific events which are organized with ILLC funding. This does not mean that the PhD-students do not have to register. They will be filed as paying participants and should only register if they are really present.

    The management is aware of the fact that ILLC's financial contributions will have to increase a bit, but the measure prevents us from pumping money around and may encourage PhD-students to participate in more events than before.

    The admission fee for ESSLLI will be refunded if no other funding is found; ILLC pays maximally the reduced registration fee for early registration.

  • Beurzen die je op weg helpen

    Newsitem added on 1 September 2001.

    The guide "Beurzen die je op weg helpen" ("scholarships that can help you") of the NUFFIC is available for perusal at Peter Blok's room. The information in the guide is mainly of interest for promovendi.

Open Positions at ILLC

  • Postdoc Position in the Computational and Applied Logic Group (ILLC, UvA)

    Newsitem added on 4 October 2001.

    The Computational and Applied Logic Group at the University of Amsterdam is searching for a highly qualified candidate with a PhD in computer science or mathematics for a postdoc position in the following research area:

    • computational logic, with an emphasis on both theoretical research on description logics as well as implementation and evaluation of automated reasoning systems for description logics.

    The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=46. Applicants should submit an application letter together with a full resume including a list of publications, a statement of research interests, and the names and email addresses of at least three references to Maarten de Rijke at mdr at science.uva.nl by October 22, 2001.

  • PhD positions available at the ILLC (UvA)

    Newsitem added on 1 September 2001.

    Within the section Logic and Computer Science of the Institute for Logic, Language and Computation of the University of Amsterdam two 4-year Ph.D. research positions are available in a project on imperfect information games recently granted by the Dutch National Science foundation NWO.

    The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=36. Applications, should be sent before November 5th. For more information and applications please contact Peter van Emde Boas (peter at science.uva.nl) or Johan van Benthem (johan at science.uva.nl). A project description is available upon request.

  • Fulltime Assistant Professorship available in the Computational and Applied Logic Group

    Newsitem added on 31 December 2001.

    Fulltime Assistant Professorship available in the Computational and Applied Logic Group
    Institute for Logic, Language and Computation, Universiteit van Amsterdam

    The `Computational and Applied Logic' group of the Institute for Logic, Language and Computation seeks to employ a fulltime assistant professor. The group's research interests range from automated reasoning, constraint programming, satisfability checking, and formal verification to digital libraries, information retrieval, computational semantics, and knowledge engineering. The group is strongly internationally oriented, and currently consists of 15 people; it is expected to grow substantially over the next year.

    Deadline for applications: August 31, 2001.
    For more information, please visit http://www.illc.uva.nl/NewsandEvents/openpos-12jul2001.html.

  • Fulltime Lecturer Position available in the Logic and Cognitive Science Group

    Newsitem added on 31 December 2001.

    Fulltime Lecturer Position available in the Logic and Cognitive Science Group
    Institute for Logic, Language and Computation, Universiteit van Amsterdam

    The `Logic and Cognitive Science' group of the Institute for Logic, Language and Computation seeks to employ a fulltime lecturer. The `Logic and Cognitive Science' group teaches courses, both introductory and advanced, in Philosophy and Artificial Intelligence, and participates in the international Master's programmes `Master of Logic' and `Master of Logic, Language and Argumentation'. The group's research is concerned with cognitive processing, in particular perception, natural language processing and reasoning, and involves logic, linguistics, psychology and artificial intelligence.

    Deadline for applications: August 31st, 2001.
    For more information, see http://www.illc.uva.nl/NewsandEvents/openpos-9jul2001.html.

  • Two PhD Positions and one Postdoc Position in the Cognitive Systems and Information Processing Group

    Newsitem added on 31 December 2001.

    Two PhD Positions and one Postdoc Position in the Cognitive Systems and Information Processing Group
    Project: 'Towards a Unifying Model for Linguistic, Musical and Visual Processing'
    Institute for Logic, Language and Computation, Universiteit van Amsterdam

    The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is searching for highly motivated candidates for two fully funded four-year PhD positions and one two-year Postdoc position, in the following research areas:

    • Postdoc position in linguistic processing
    • PhD position in musical processing
    • PhD position in visual processing

    Deadline for applications: July 28, 2001.
    For more information, see the original notice at http://www.illc.uva.nl/NewsandEvents/openpos-27jun2001.html.

  • Two Postdoc Positions in the Computational and Applied Logic Group

    Newsitem added on 31 December 2001.

    Two Postdoc Positions in the Computational and Applied Logic Group
    Project: 'Computing with Meaning'
    Institute for Logic, Language and Computation, Universiteit van Amsterdam

    The Computational and Applied Logic 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 two postdoc positions, one in each of the following research areas:

    • computational logic (with an emphasis on implementation and evaluation of automated reasoning systems)
    • natural language processing (with an emphasis on logic-based approaches to information retrieval tasks such as question-answering, navigation, and summarization)

    Deadline for applications: July 15, 2001.
    For more information, see the original notice at http://staff.science.uva.nl/~mdr/Projects/ComputingwithMeaning/postdocpositionsad.html.

  • Two Fully Funded PhD Positions in the Computational and Applied Logic Group

    Newsitem added on 31 December 2001.

    Two Fully Funded PhD Positions in the Computational and Applied Logic Group
    Project: 'Computing with Meaning'
    Institute for Logic, Language and Computation, Universiteit van Amsterdam

    The Computational and Applied Logic Group at the University of Amsterdam is searching for highly motivated candidates with a first degree in computer science, computational linguistics, or a related discipline, for two fully funded four-year PhD positions, one in each of the following research areas:

    • computational logic (with an emphasis on implementation and evaluation of automated reasoning systems)
    • natural language processing (with an emphasis on logic-based approaches to information retrieval tasks such as question-answering, navigation, and summarization)

    Deadline for applications: July 15, 2001.
    For more information, see the original notice at http://staff.science.uva.nl/~mdr/Projects/ComputingwithMeaning/phdpositionsad.html.

  • For the ILLC the faculty has two PhD positions available

    Newsitem added on 31 December 2001.

    Notice: Second Call! Extended Deadline!
    For the ILLC the faculty has two PhD positions available. Research of vacancy number 18124 will either focus on Bioinformatics or Quantum computing. Vacancy number 18125 will be in the field of Constructive and Intensional Logic.

    Deadline for applications: July 7th, 2001.
    For more information, see http://www.illc.uva.nl/NewsandEvents/openpos-apr2001.html.

  • PostDoc position "Formal Language Games", ILLC/University of Amsterdam

    Newsitem added on 31 December 2001.

    PostDoc position "Formal Language Games", ILLC/University of Amsterdam

    The ILLC/Department of Philosophy of the University of Amsterdam offers a two and a half year research position, for a PostDoc to work on the project "Formal Language Games." The PostDoc will work an NWO Vernieuwingsimpuls project, with Dr. Paul Dekker as the principal investigator. A description of the project is available in Postscript and PDF format.

    We sollicit applications for this position from candidates with a PhD. (now, or soon) in natural language semantics, pragmatics, discourse and dialogue, and/or game theory, and with proven expertise in the areas covered by the project.

    The application should comprise:

    • a short (up to one page) proposal for a research project that falls within the confines of the general project
    • a curriculum vitae
    • one or two relevant publications (or references to
    • such publications)
    • reference(s) for recommendation

    Submissions packages should be here in Amsterdam before April 16, 2001. Applications should be sent to:

    Dr. Paul Dekker
    ILLC/Department of Philosophy
    Nieuwe Doelenstraat 15
    NL 1012 CP, Amsterdam
    The Netherlands
    email: dekker@hum.uva.nl

Open Positions, General

  • Post-doctoral Fellowships in Leipzig

    Location: University of Leipzig, Leipzig, Germany
    Newsitem added on 21 November 2001.

    Under the auspices of the German Federal Ministry of Education and Research, the German overnment's Program for Investment in the Future and the Alexander von Humboldt Foundation, the University of Leipzig invites applications for ten post-doctoral fellowships of between one and three years in the period April 2002-March 2005. Fellows will be required to be resident in Leipzig. They will work on a highly innovative interdisciplinary project in formal ontology involving philosophers, computer scientists and medical information scientists. The work of the project will be carried out in English.

    Please send a CV, three letters of reference, and a writing sample giving evidence of strong formal skills to the director of the project: Barry Smith, Department of Philosophy, 135 Park Hall, University at Buffalo, Buffalo, NY 14260-4150. The deadline for applications for fellowships beginning in 2002 is December 15, 2001. Further information is available at: http://www.ontology.uni-leipzig.de.

  • 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.

  • Announcement

    Newsitem added on 1 September 2001.

    PhD and postdoc positions are available in the area of formal methods for object-oriented languages, at the University of Nijmegen, The Netherlands.
    The emphasis lies on using proof tools (esp. PVS) for Java(Card) program verification.

    More information can be found at: http://www.cs.kun.nl/~bart/LOOP/vacancies/.

  • Open Research Positions in Saarbrücken

    Newsitem added on 1 September 2001.

    There are open positions at the OMEGA Group of the AG Siekmann Department of Computer Science, Saarland University & German Research Center for Artificial Intelligence (DFKI) in Saarbrücken, Germany.

    The full text of this announcement can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=27. For more information, see http://www.ags.uni-sb.de/~chris/jobs/job.html.

  • Open Position for UD Artificial Intelligence at the VU

    Newsitem added on 31 December 2001.

    Open Position for UD Artificial Intelligence at the VU
    The Faculty of Exact Sciences of the VU (Amsterdam) is looking for an UD Artificial Intelligence (v/m) for the Department of Artificial Intelligence, for a two year period. Applications should be submitted before June 21. For more information, see the original vacature text (in dutch).

  • EU-fellowship to Japan for Community researchers

    Newsitem added on 31 December 2001.

    EU-fellowship to Japan for Community researchers

    The EU grants 24 month bursaries to carry out research in Japan in any of the natural or exact sciences. The bursary will also include intensive Japanese language training"

    Objective and Approach:
    The objective is to enable young researchers and engineers from the Community (and Associated States) to participate in high-level industrial research in public and private laboratories in Japan. The approach is to grant bursaries for a period of 24 months to carry out research in any of the natural or exact sciences. The bursary will also include intensive Japanese language training. Applications from female scientists will be encouraged.

    Deliverables:
    Increased level of participation of young European researchers in Japanese industrial research activities, leading to the construction and strengthening of links between that country and the Community.

    Specific criteria:
    Eligibility criteria: candidates should be nationals of, and established in, an EU member state or a state associated to the 5th Framework Programme and not be more than 32 years of age.

    Selection criteria:
    The selection will be made based on the relevance of the subjects to Community RTD policy, the industrial interest of the projects and the experience and professional training of the candidates.

    Dates:
    De eerst volgende deadline is 1 maart 2001. Start van de fellowship is dan (vermoedelijk) rond september 2001. Binnen het 5e kaderprogramma is er dan nog 1 volgende deadline, namelijk 1 maart 2002 (met dan weer een start rond 2002).
    Let op: Op de sluitingsdatum moet het voorstel uiterlijk om 17.00 uur in Brussel zijn, ongeacht de manier van verzenden of bezorging. De poststempeldatum is niet meer relevant!

    De oproep, Werkprogramma, de Guide for Proposers deel I en II en andere documenten die u nodig hebt voor het voorbereiden en schrijven van een voorstel kunt u downloaden van http://www.cordis.lu/inco2/calls/199907.htm. Voor advies en verdere informatie kunt U zich wenden tot Liaison & Contracten i.o., Carolien Zijderveld, Tel. 6931/2092

New Appointments

  • 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/.

  • Announcement

    Newsitem added on 18 October 2001.

    We are happy to announce that Mr. Maarten Smakman, student business economics at the UvA, will be working at the ILLC-office during the next few months. Maarten will work in room P 3.29 (tel: 020-5256051), and can be contacted at msmakman at science.uva.nl.

  • ILLC Guest: Giovanna Corsi

    Newsitem added on 1 September 2001.

    Giovanna Corsi (Bologna, Firenze) will be a guest of the ILLC from September to December 2001. She is an authority on quantified modal logic. She will reside at Plantage-Muidergracht 24.

  • 26 August 2001 - september 2001, visits of Stanford Ph.D. students and post-docs

    Newsitem added on 1 September 2001.

    A number of Stanford Ph.D. students and post-docs will visit ILLC from August 26 through the beginning of September. They would like to meet with ILLC staff and Ph.D. students informally. I have suggested that they arrange this privately by contacting you via email. In addition, there will be a more general meeting where they present work in progress on Monday August 27, at 3 p.m.

    For more information, and for any suggestions, please contact Boudewijn de Bruin at debruin at science.uva.nl.

  • ILLC welcomes 17 new international Logic students this year (academic year 2001-2002)

    Newsitem added on 1 September 2001.

    See http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=29 for more information.

  • Dr. Leen Torenvliet appointed associate professor

    Newsitem added on 1 September 2001.

    We are very happy to announce that dr. Leen Torenvliet has been appointed associate professor, starting July 1, 2001. Leen has been with de department since February 1st 1983. His research and teaching activities concern Algorithmics and Complexity theory. He is leader of this ILLC-project, and additionally contibutes to ILLC's administration by supervizing the budget for computational equipment. Apart from all that, he is a Dilbert-fan!

  • New Professor Pure Mathematics and Foundations of Mathematics

    Newsitem added on 31 December 2001.

    New Professor Pure Mathematics and Foundations of Mathematics

    Dick de Jongh has taken over the chair in Pure Mathematics and Foundations of Mathematics from Anne Troelstra. Dick has been member of staff since 1968 and till recently he was associate professor in the same group. He will be project leader in the ILLC project Intensional and Constructive Logic, together with Johan van Benthem. He is also Deputy Scientific Director of ILLC.

  • 1 March 2001, Caterina Caracciolo, PhD student

    Newsitem added on 31 December 2001.

    1 March 2001, Caterina Caracciolo, PhD student

    As of March 1 the ILLC crew has been extended with Caterina Caracciolo. She has joined us as a PhD student working on the Logic and Language Links project. Prior to her current position Caterina was affiliated with the University of Pisa and with the Text Mining and Lexical Systems Lab. Synthema s.r.l. Caterina's background is in logic and philosophy. As a student she spent a year in Amsterdam as an exchange student. After graduating she specialized in data mining, with a special interest in text mining issues. Caterina's email is ccaracci@science.uva.nl, and her office is room P.325 in the Euclides Building.

  • 1 March 2001, Mr. Joop Niekus, Leraar-in-Onderzoek (Teacher in Research) program of NWO

    Newsitem added on 31 December 2001.

    1 March 2001, Mr. Joop Niekus, Leraar-in-Onderzoek (Teacher in Research) program of NWO

    Starting March 1, Mr. Joop Niekus will be working at the ILLC. He will be conducting research here during two years for 1 day a week in the Leraar-in-Onderzoek (Teacher in Research) program of NWO. His subject is Brouwer's Choice Sequences. Joop Niekus finished his master studies (doctoraal) with Troelstra in 1984 and has been a high school teacher since. The contact person at the ILLC for this project is Dick de Jongh. For the time being Mr. Niekus' office will be Plantage-Muidergracht 24, rm. 328.

  • Drs Gertjan van der Hoeven has joined us on February 1st, 2001.

    Newsitem added on 31 December 2001.

    Drs Gertjan van der Hoeven has joined us on February 1st, 2001.
    After completing his undergaduate studies in mathematics here in Amsterdam, Gertjan worked in industry as a programmer and consultant. He is returning to academia to work as a programmer on the NWO funded project Simulation and Testing for Feature Interaction (STeFI). His office is room 328 in the Euclides building, Plantage Muidergracht 24.

  • Prof. dr. Felix Costa guest at ILLC.

    Newsitem added on 31 December 2001.

    Prof. dr. Felix Costa from the Instituto Superior Tecnico (Lisbon, Portugal) is a guest of Peter van Emde Boas this week (February 21-25, 2001). He will meet with several people in our institute.

  • Carlos Areces and Maarten Stol have joined us on January 1, 2001.

    Newsitem added on 31 December 2001.

    Carlos Areces and Maarten Stol have joined us on January 1, 2001.
    As most of you know, Carlos defended his PhD thesis here at ILLC in October last year. Maarten studied artificial intelligence at the Universiteit van Amsterdam. You can read a few paragraphs he has written to introduce himself.

    Both Carlos and Maarten will be working on the NWO funded project Simulation and Testing for Feature Interaction (STeFI) for 2 and 4 years, respectively. For the time being their office is 322 at Plantage Muidergracht 24.

  • Jaap Maat granted an NWO postdoc position.

    Newsitem added on 31 December 2001.

    Jaap Maat (leerstoelgroep Taalfilosofie) has been granted an NWO postdoc position for research into Leibniz's opinions on formal and natural languages.

  • Harry Buhrman appointed full professor Algorithmics and Complexity Theory.

    Newsitem added on 31 December 2001.

    Harry Buhrman has been appointed full professor Algorithmics and Complexity Theory, in particular of physical systems. His speciality is Quantum Computing. The size of the appointment is 0.2 fte; he will stay at CWI for 0.8 fte.

  • Michiel van Lambalgen and Frank Veltman appointed as full professor in the field of Philosophical Logic and Cognitive Science.

    Newsitem added on 31 December 2001.

    The university has appointed Michiel van Lambalgen and Frank Veltman as full professor in the field of Philosophical Logic and Cognitive Science, in the faculty of humanities. They will together occupy the chair formerly held bij Hans Rott. Congratulations to both!

Miscellaneous

  • ASL Newsletter November 2001 available

    Newsitem added on 29 November 2001.

    The November 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/.

  • 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.

  • 5 October 2001, Workshop 'RSI en Promovendi' ('RSI and PhD students').

    Date and time: Friday 5 October 2001, 15:00-17:00
    Location: room 2.04, Service- en Informatiecentrum, Binnengasthuisstraat 9
    Target group: PhD students
    Costs: none

    For more information, please contact Ans Renkers (tel: 020-5252469, email: a.rekers at bdu.uva.nl) or see http://www.uva.nl/onderzoek/workshops_trainingen.cfm.

  • 28 September 2001, Workshop 'Omgaan met de media' ('dealing with the media')

    Date and time: Friday 28 September 2001, 13:30-17:00
    Location: room 2.04, Service- en Informatiecentrum, Binnengasthuisstraat 9
    Target group: PhD students
    Costs: none

    Registration: by email to a.rekers at bdu.uva.nl specifying 'Promovendi-media'. For more information, please contact Ans Rekers (tel: 020-5253469, email: a.rekers at bdu.uva.nl) or see http://www.uva.nl/onderzoek/workshops_trainingen.cfm

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

    Newsitem added on 1 September 2001.

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

  • Announcement

    Date: 15 juli-31 august 2001

    As happens every year during the holiday season (15 juli-31 august) the Euclides building and the other buildings of the Roeterseilandcomplex will be closed during the evenings. Closing times are as is normal for fridays.

  • 11 July 2001, Workshop 'Universities and the Research Enterprise: Contracts and Negotiations'

    Newsitem added on 31 December 2001.

    11 July 2001, Workshop 'Universities and the Research Enterprise: Contracts and Negotiations'
    Target group: project leaders and senior management of research institutes
    Time: Wednesday July 11th, 14:00-18:00
    Location: Location: room 2.04, Service & Informatiecentrum (building BG3), Binnengasthuisstraat 9, Amsterdam
    Information: graces@bdu.uva.nl
    telefoon: 525 2595
    Trainer: drs Lotte Jaspers (University of Amsterdam, i.o. Liaison & Contracten) and Richard Tomlin (University of Newcastle, GB/Community of Science Inc., Baltimore, USA)
    Subscription deadline: July 2nd (Max. 20 applicants)

    Universities are increasingly internationally oriented, and contract activities are more and more an integral part of the university setting. Managing research contracts in an international context puts specific demands on an organization. In this workshop, we analyze the role and function of the university as executor of contract research, and consider the various (contract) relationships which might result, with an eye to related legal notions.

  • 18 May 2001, Workshop Octrooi

    Newsitem added on 31 December 2001.

    18 May 2001, Workshop Octrooi
    Target group: UvA promovendi (note: workshop will be in dutch)
    Time: Friday 18 may 2001 from 13.00-16.00 hour
    Location: room 2.04, Service & Informatiecentrum, Binnengasthuisstraat 9
    Costs: none
    Information: sdvtraining@bdu.uva.nl
    telefoon: 525 2595
    Trainer: Bureau Liaison & Contracten i.o.
    Subscription deadline: 8 May

    Kennis die aan de universiteit gegenereerd wordt, kan naast een wetenschappelijke waarde ook een maatschappelijke waarde vertegenwoordigen. Zo kunnen bijvoorbeeld bedrijven de nieuwe kennis gebruiken om innovaties van hun producten te realiseren. Bij de overdracht van kennis naar zulke bedrijven is het belangrijk dat het eigendom daarvan goed geregeld is met behulp van bijvoorbeeld de auteurswet of door middel van een octrooi. Daarbij zijn een aantal belangrijke beslispunten van belang waarvan de eerste al in het begin van het onderzoekstraject liggen. In deze workshop komen de vele aspecten van bescherming van onderzoeksresultaten aan de orde. In de vorm van een door het Bureau voor de Industriële Eigendom (de Octrooiraad) ontwikkelde management simulatie wordt op een interactieve manier over de voor- en nadelen en eventuele valkuilen van (octrooi-)bescherming gediscussieerd.

    For more information, consult the webpage of the Career Advice Centre (LAC) at http://www.uva.nl/voorzieningen/lac/training.workshop.html.

  • 11 May 2001, Workshop Research and the financial future for PhD students

    Newsitem added on 31 December 2001.

    11 May 2001, Workshop Research and the financial future for PhD students
    Target group: Foreign english speaking PhD students
    Time: Friday 11 may 2001 from 13.00-16.00 hour
    Location: room 2.04, Service & Informatiecentrum, Binnengasthuisstraat 9
    Costs: none
    Information: sdvtraining@bdu.uva.nl
    telefoon: 525 2595
    Trainer: Bureau Liaison & Contracten i.o.
    Subscription deadline: 17 April 2001

    This workshop focuses on the opportunities for finance for present, but also future research. Topics in the workshop are: organization of finance in research, finance opportunities (like fellowships, patent, subsidy), strategy and method for obtaining finance, networking and self employment. The language is English

    For more information, consult the webpage of the Career Advice Centre (LAC) at http://www.uva.nl/voorzieningen/lac/training.workshop.html.

  • ILLC Promotion Steps Information Page Available

    Newsitem added on 31 December 2001.

    ILLC Promotion Steps Information Page Available
    The procedure for promotions at the University of Amsterdam is a long and somewhat complicated one, starting years before the actual PhD defense. The ILLC now has a page available at http://www.illc.uva.nl/SupportandInfo/promotion.html which aims to give an overview of the steps involved, and some of the pitfalls to be avoided. The information here is aimed at ILLC promovendi, and covers not only UvA formal procedures, but also ILLC regulations, the process of printing the dissertation, compensations which you are elegible to receive, etcetera, etcetera.

    Important Note: this page also contains information about things you should do (or should have done) at the _start_ of your tenure, so please read it even if you are not yet working on preparing your PhD defense.

  • Winners FoLLI Outstanding Dissertation Award 2000

    Newsitem added on 31 December 2001.

    The FoLLI Outstanding Dissertation Award Committee has revealed the names of the two winners of the year 2000. They are:

    • Jelle Gerbrandy, Bisimulation on Planet Kripke, University of Amsterdam
    • Khalil Sima'an, Learning Efficient Disambiguation, University of Amsterdam.
  • ILLC business cards

    Newsitem added on 31 December 2001.

    ILLC business cards:
    In case you wish to obtain ILLC business cards or if you would like to order more of the cards you already received, please send an e-mail to: illc@science.uva.nl.

  • Two documents relevant for `meerjarenplanning 2001-2004'.

    Newsitem added on 31 December 2001.

    Two documents relevant for `meerjarenplanning 2001-2004' can be found here and here.

  • Local mirror of the Stanford Encyclopedia of Philosophy

    Newsitem added on 31 December 2001.

    We now have a local mirror of the Stanford Encyclopedi a of Philosophy.

    The Stanford Encyclopedia of Philosophy is the first dynamic encyclopedia. In a dynamic encyclopedia, each entry is maintained and kept up to date by an expert or group of experts in the field (the authors are given direct electronic access to a copy of their entry). Unlike static reference works which are fixed on the printed page or on CD-ROM and which often become outdated soon after they are published, this reference work is responsive to new research, for it constantly changes with the addition of new entries and the modification of existing entries. (You can, however, cite fixed editions which are made and archived on a quarterly basis.) Moreover, the entries and subsequent updates are refereed by the members of a distinguished Editorial Board before they are put online. Whenever an author uploads a new entry or modifies an existing entry, the new material is stored off-line until it is approved by the Editorial Board member in charge of that entry.

    Editor: Edward N. Zalta. Contact person for the local mirror: Maarten de Rijke.

  • (La)TeX CD-ROMs available from the ILLC Buro

    Newsitem added on 1 September 2001.

    We have received a copy of the CTAN CD-ROM set from the Dutch TeX Users Group, containing many (freeware and shareware) TeX and LaTeX systems and utilities, for multiple platforms. People interested in borrowing this CD-Rom should contact the ILLC Buro.

    This set of 3 CD ROMs is a nearly complete mirror of the "Comprehensive TeX Archive Network" (CTAN). CTAN is a network of several ftp servers containing a collection of TeX software. Here you will find complete TeX systems for various operating systems, macro packages like LaTeX, and utilities and tools around TeX.

    The CTAN backbone servers are the ftp servers ftp://ftp.tex.ac.uk in UK, ftp://ctan.tug.org in the USA and ftp://ftp.dante.de in Germany. This set of CD ROMs was produced in September 2000 from ftp://ftp.dante.de by DANTE, Deutschsprachige Anwendervereinigung TeX e.V.

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