These pages provide information about recent developments at ILLC (last update: 8 February 2010) 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. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".

   Headlines Upcoming Events

• (Updated) 10 February 2010, Computational Linguistics Seminar, Karl Magnus Petersson
• 11 February 2010, Viva Informatica!, Room C0.110, Science Park 904, Amsterdam
• 12 February 2010, DIP Colloquium, Regine Eckardt
• 12 February 2010, Computational Social Choice Seminar, Stéphane Airiau
• 17 February 2010, Computational Linguistics Seminar, Raquel Fernández Rovira
• 5 March 2010, DIP Colloquium, Stephan Hartmann
• 5 March 2010, Computational Social Choice Seminar, Bart de Keijzer
• 12 March 2010, DIP Colloquium, Margot Rozendaal
• 25 March 2010, Farewell lecture of dr. P. van Emde Boas, Peter van Emde Boas
• 26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam
• 26 March 2010, DIP Colloquium, Sebastian Sequoiah-Grayson
• 16 April 2010, DIP Colloquium, Peter Ludlow
• 23 April 2010, DIP Colloquium, Stefan Kaufmann
• 6-7 May 2010, Set Theory, Classical and Constructive
• 7 May 2010, DIP Colloquium, Juliet Floyd
• 28 May 2010, DIP Colloquium, Matthew Stone
• 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark
• 9-20 August 2010, ESSLLI 2010 Student Session, Copenhagen, Denmark
• 16-20 August 2010, Workshop on Dependence and Independence in Logic, Copenhagen, Denmark

   Upcoming Events

• (Updated) 10 February 2010, Computational Linguistics Seminar, Karl Magnus Petersson
  Speaker: Karl Magnus Petersson (Max Planck Institute for Psycholinguistics)
  Title: The Neurobiology of Syntax: Recursion and Dynamical Systems
  Date and time: Wednesday 10 February 2010, 16.00
  Location: Room A1.04, Science Park 904, Amsterdam

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

• 11 February 2010, Viva Informatica!, Room C0.110, Science Park 904, Amsterdam

  [In Dutch only]

  Op donderdag 11 februari 2010 organiseren het Instituut voor Informatica (IvI) en het Institute for Logic, Laguage and Computation (ILLC) van de Universiteit van Amsterdam het congres Viva Informatica! voor docenten, scholieren en andere belangstellenden die geïnteresseerd zijn in de actuele ontwikkelingen in het informatica onderzoek.

  Voor meer informatie, zie http://www.science.uva.nl/vivainformatica.

• 12 February 2010, DIP Colloquium, Regine Eckardt
  Speaker: Regine Eckardt (University of Goettingen)
  Title: Speech Acts, Semantics, Self Referentiality
  Date and time: Friday 12 February 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 12 February 2010, Computational Social Choice Seminar, Stéphane Airiau
  Speaker: Stéphane Airiau
  Title: Multiagent Resource Allocation with Sharable Items
  Date and time: Friday 12 February 2010, 16.00
  Location: Room A1.06, Science Park 904, Amsterdam

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

• 17 February 2010, Computational Linguistics Seminar, Raquel Fernández Rovira
  Speaker: Raquel Fernández Rovira (ILLC)
  Date and time: Wednesday 17 February 2010, 16.00
  Location: Room A1.14, Science Park 904, Amsterdam

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

• 5 March 2010, DIP Colloquium, Stephan Hartmann
  Speaker: Stephan Hartmann (University Tilburg)
  Date and time: Friday 5 March 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 5 March 2010, Computational Social Choice Seminar, Bart de Keijzer
  Speaker: Bart de Keijzer
  Title: Enumerating and Designing Weighted Voting Games
  Date and time: Friday 5 March 2010, 16.00
  Location: Room C1.110, Science Park 904, Amsterdam

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

• 12 March 2010, DIP Colloquium, Margot Rozendaal
  Speaker: Margot Rozendaal (University of Amsterdam)
  Date and time: Friday 12 March 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 25 March 2010, Farewell lecture of dr. P. van Emde Boas, Peter van Emde Boas
  Speaker: Peter van Emde Boas
  Date and time: Thursday 25 March 2010, 10:00/15:00
  Location: Aula of the UvA, Singel 411, Amsterdam

  Dr. Peter van Emde Boas (UvA, ILLC) has reached the age that he officially has to retire. On this occasion he will give a farewell lecture in the aula of the UvA (at 15:00).

  On the day of his farewell speech, there will be a colloquium in which some of the subjects are represented in which Peter was active. The colloquium, in the same location, starts at 10:00.

  For more information and a program, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=3155 or contact t.m.v.janssenuva.nl

• 26-28 March 2010, Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa), ILLC, Amsterdam

  The cross-CRP workshop "Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDiSoVa)" will take place at the Institute for Logic, Language and Computation of the University of Amsterdam on 26-28 March 2010.
  
  Members of the CFSC, DiFoS, LINT and VAAG LogICCC projects will participate in this workshop, organized by Jouko Väänänen, which aims to further cross-CRP cooperation.

  For more information, see http://www.illc.uva.nl/lint/midisova.php

• 26 March 2010, DIP Colloquium, Sebastian Sequoiah-Grayson
  Speaker: Sebastian Sequoiah-Grayson (University of Leuven)
  Date and time: Friday 26 March 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 16 April 2010, DIP Colloquium, Peter Ludlow
  Speaker: Peter Ludlow (Northwestern University)
  Date and time: Friday 16 April 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 23 April 2010, DIP Colloquium, Stefan Kaufmann
  Speakers: Stefan Kaufmann (Northwestern University & University of Goettingen)
  Date and time: Friday 23 April 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 6-7 May 2010, Set Theory, Classical and Constructive
  Location: ILLC, Science Park 904, Amsterdam, The Netherlands

  The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

  The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin

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

• 7 May 2010, DIP Colloquium, Juliet Floyd
  Speaker: Juliet Floyd (Boston University)
  Date and time: Friday 7 May 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 28 May 2010, DIP Colloquium, Matthew Stone
  Speakers: Matthew Stone (Rutgers University & University of Potsdam)
  Date and time: Friday 28 May 2010, 16.00-17.30
  Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

• 9-20 August 2010, 22th European Summer School in Logic, Language and Information (ESSLLI-2010), Copenhagen, Denmark

  The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.

  Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

  For more information, see the full Call for Proposals at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2944 or the website (forthcoming) at http://www.hum.ku.dk/esslli2010/.

• 9-20 August 2010, ESSLLI 2010 Student Session, Copenhagen, Denmark

  The Student Session of the 22nd European Summer School in Logic, Language and Information will take place in Copenhagen, Denmark from August 9 to August 20. We invite submissions of papers describing original, unpublished research conducted in the interdisciplinary areas of LOgic and COmputation, LOgic and LAnguage, and LAnguage and COmputation. All (co-)authors must be students (i.e., before the completion of the Ph.D.).

  Deadline for submissions: 19 February 2010. For more information, see http://marija.gforge.uni.lu/esslli2010.html or the ESSLLI 2010 website at http://esslli2010cph.info/.

• 16-20 August 2010, Workshop on Dependence and Independence in Logic, Copenhagen, Denmark

  Dependence and independence are common phenomena, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is their role in logic and - turning the tables - what is the logic of these concepts?

  The possibility of nesting quantifiers, thus expressing patterns of dependence and independence between variables, accounts for much of the expressive power of first order logic. However, first order logic is not capable of expressing all such patterns, and as a consequence various generalizations - such as branching quantifiers, or the various variants of independence-friendly logic - have been introduced during the last fifty years. Dependence logic is a recent formalism, which brings to the forefront the very concept of dependence, isolating it from the notion of quantifier and making it one of the primitive elements of the language. It can also be added to other logics, such as modal logic. This has opened up an opportunity to develop logical tools for the study of complex forms of dependence, with applications to computer science, philosophy, linguistics, game theory and mathematics. Recently there has been an increasing interest in this topic, especially among young researchers.

  The goal of this workshop is to provide an opportunity for researchers to further explore the very notions of dependence and independence and their role in formal logic, inparticular with regard to logics of imperfect information.

  For more information, see http://www.illc.uva.nl/dependence/. This workshop is organized as part of the European Summer School on Logic, Language and Information 2010 in cooperation with the European Science Foundation EUROCORES program LogICCC project LINT (Logic for interaction).

        Back to top of page