Institute for Logic, Language and Computation

Archives

News Archives 2004

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

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

Sections

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

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 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

  • 21 December 2004 21 December 2004, DIP Colloquium, Jelle Gerbrandy

    Speaker: Jelle Gerbrandy
    Title: Bisimulation versus Epistemic Equivalence
    Date and time: 21 December 2004
    Tuesday 21 December 2004, 16:00-17:30
    Location: Room 001 (MFR), Department of Philosophy, Vendelstraat 8, Amsterdam

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

  • 17 December 2004, Cognitieve Linguïstiek Dag, Drift 21, Utrecht

    Newsitem added on 16 March 2004.

    In de afgelopen decennia is er in de taalwetenschap in toenemende mate aandacht besteed aan de relatie tussen taal en cognitie. De Cognitieve Linguïstiek, zoals die is ontwikkeld door o.a. Lakoff, Langacker, Talmy en Fauconnier, beschouwt het menselijk taalsysteem niet als een aparte module, maar als een systeem dat fundamenteel verbonden is met meer algemene aspecten van cognitie. In de analyse van taalverschijnselen wordt een centrale rol toebedeeld aan aspecten als taalgebruik, (culturele) ervaring, en algemene cognitieve processen (zoals analogie en 'image schemas').

    Ook in Nederland en Vlaanderen is er steeds meer belangstelling voor deze benadering van taalwetenschap, ook in aangrenzende disciplines als taalbeheersing en psycholinguïstiek. Om die reden wordt op 17 december 2004 een (informele) lezingendag georganiseerd, de Cognitieve Linguïstiek Dag. Het doel van deze dag is om een platform te bieden voor het werk van cognitief georiënteerde taalwetenschappers.

    Deadline for submissions: 10 september 2004. For more information, see http://www-uilots.let.uu.nl/events/coglingdag.htm

  • 14 December 2004, Logic Tea, Alexandre Costa-Leite

    Speaker: Alexandre Costa-Leite (Neuchatel)
    Title: Paraconsistency and Knowability
    Date and time: Tuesday 14 December 2004, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 14 December 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Francien Dechesne

    Speaker: Francien Dechesne
    Title: IF-logic from a game-theoretical perspective
    Date and time: Tuesday 14 December 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 13-16 December 2004, ILLC's Stanford Visitors: Seminars, Room 3.27, Euclides Building (P), Plantage Muidergracht 24, Amsterdam

    Newsitem added on 9 December 2004.

    Four stanford Ph.D. students: Patrick Girard, Darko Sarenac, Josh Snyder, and Tomasz Sadzik, are visiting the ILLC this week and the week after. On this occasion, we are organizing a series of technical seminars on update, space-time, games and complexity. The seminars will be real working sessions (not 'sales talks'), consisting of a one hour talk followed by discussion among expert students and researchers.

    You are welcome to join one or more of the sessions if you have an interest. Papers will be made available beforehand on the website.

    For more information, a schedule of lectures, and papers, please visit the website at http://staff.science.uva.nl/~oroy/stanford/ For all other matters, contact Olivier Roy at oroy at science.uva.nl.

  • 11 December 2004, Special ILLC Event

    Title: The Dynamics of Reason
    Date and time: Saturday 11 December 2004, 14:00-19:00
    Location: TIN auditorium, Herengracht 168, Amsterdam
    With a workshop around this year's annual Beth Lecturer & Vienna Circle Lecturer Michael Friedman we start a new series of

    *** SPECIAL ILLC EVENTS ***

    You are cordially invited to attend this event that will take place Saturday December 11.

    Michael Friedman (Bloomington & Stanford) is a well-known philosopher of science and historian of philosophy with special interests in Kant and the Vienna Circle. He will speak about his new book "The Dynamics of Reason" which brings together insights on scientific progress from Carnap and Kuhn, in a Kant-inspired perspective.

    Further speakers are Boudewijn de Bruin, Henk de Regt, Jan-Willen Romeyn, Rens Bod, and Johan van Benthem.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=790 or http://staff.science.uva.nl/~oroy/dynamic/

  • 10 December 2004 , DIP Colloquium, Jelle Zuidema

    Speaker: Jelle Zuidema (ILLC/Edinburgh)
    Title: Language, Evolution & the Theory of Games
    Date and time: Friday 10 December 2004 (changed), 16:00-17:30
    Location: Room D118c, Department of Philosophy, Vendelstraat 8

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

  • 10 December 2004, Colloquium on Mathematical Logic, Guram Bezhanishvili

    Speaker: Guram Bezhanishvili
    Title: MacNeille completions in modal logic
    Date and time: Friday 10 December 2004, 16:00-17:00
    Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 8 December 2004, "Dynamic Semantics in Perspective", an afternoon dedicated to the work of Kees Vermeulen

    Date and time: Wednesday 8 December 2004, 13:30--17:00
    Location: Sweelinckzaal, Drift 21, Utrecht

    Lectures by Jan van Eijck & Albert Visser, Rick Nouwen and Frank Veltman.
    The lectures are followed by drinks.

    All are invited, but you are requested to preregister by sending an email to heleen.hoekstra at let.uu.nl

    For more information, please contact marjanv at science.uva.nl.

  • 6 December 2004, Ninth Workshop on Games in Logic, Language, and Computation

    Date and time: Monday 6 December 2004, 13:00-18:00
    Location: Room A-102, UvA Building A, Roeterstraat 15, Amsterdam
    Costs: entrance free

    GLLC9 is an informal workshop about applications of game theory in logic, linguistics, and computer science, and on the logical foundations of game and decision theory. Speakers include Wlodek Rabinowicz (Lund University) and Marc Pauly (Toulouse).

    For more information, a programme and abstracts, see http://staff.science.uva.nl/~debruin, or write to debruin at science.uva.nl

  • 3 December 2004, Colloquium on Mathematical Logic, Agatha Walczak-Typke

    Speaker: Agatha Walczak-Typke (Leeds)
    Title: Stable structures and their non-choice analogues
    Date and time: Friday 3 December 2004, 14:50-15:40
    Location: Hotel Dennenhoeven, Nunspeet (changed)

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

  • 3 December 2004, OzsL Accolade 2004

    Location: Nunspeet
    Newsitem added on 11 November 2004.

    On friday, 3 december 2004 the annual Student Accolade of the OzsL, the Dutch research school in logic, is held, as part of the OzsL schoolweek. The Accolade is a day on which the PhD students of the OzsL communicate on their research and share their experience as a doctoral student. PhD students of the OzsL are hereby warmly invited to submit an abstract for a 15 minute presentation.

    Submission deadline: November 15, 2004.
    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=794 or contact H. J. Sander Bruggink (bruggink at phil.uu.nl) or Joost J. Joosten (Joost.Joosten at phil.uu.nl).

  • 30 November 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Ana Sokolova

    Speaker: Ana Sokolova
    Title: Week bisimulation for action-type coalgebras
    Date and time: Tuesday 30 November 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 30 November 2004, IKAT-SIKS Symposium Games and AI, Universiteit Maastricht, Feestzaal, Bouillonstraat 3, Maastricht

    Newsitem added on 25 November 2004.

    Programme: 14:00 - 14:10: Opening
    14:10 - 14:45: Hiroyuki Iida, Games and Ranking
    14:45 - 15:15: Erik van der Werf, Full Board Evaluation in the Game of Go
    15:15 - 15:30: Break
    15:30 - 16:00: Levente Kocsis, Omaha Hi-Lo Poker
    16:00 - 16:30: Mark Winands, Building a World Champion LOA Program

    For more information, see http://www.cs.unimaas.nl/ikat/symposiumwinands/

  • 29 November - 3 December 2004, OzsL Schoolweek, Hotel Dennenhoeve, Nunspeet

    Newsitem added on 4 November 2004.

    From Monday the 29th of November till Friday the 3rd of December the OzsL Schoolweek will be held in the forests of Nunspeet. The week will consist of two parts:

    • Lectures on Automated Theorem Proving [Aut], Provability Logic [PL], Proof Theory [PT] and Philosophy [Phil]
    • Accolade meeting. PhD students of the OzsL communicate on their research and share their experience as a doctoral student.

    If you are a PhD-student of the ILLC or one of the other participating groups of the OzsL, the group wil pay your registration fee. For others, the fee is € 700. The registration fee includes 4 nights at Hotel Dennenhoeve, as well as Breakfast, lunch and dinner.

    For more information, see the OzsL Schoolweek page at http://godot.phil.uu.nl/~pape/ozsl/schoolweek.php.

  • 29 November 2004, Maagdenhuis op maandag, Johan van Benthem

    Speaker: Johan van Benthem
    Title: Natuurlijke en kunstmatige talen: therapie of huwelijk?
    Date and time: Monday 29 November 2004, 17:30-18:00
    Location: Maagdenhuis, Spui 21, Amsterdam
    Costs: Free

    (dutch only)
    Onder de titel Maagdenhuis op Maandag buigen topwetenschappers van de UvA en hun gasten zich over wat onlangs ontdekt, bedacht of uitgevonden is. Universiteitshoogleraar Johan van Benthem houdt in zijn verhandeling de verhouding tussen natuurlijke talen en kunsstalen nog eens tegen het licht.

    Voor meer informatie, zie http://www.uva.nl/actueel/object.cfm/

  • 26-29 November 2004, Foundations of the Formal Sciences V: Infinite Games, Mathematisches Institut, RhFWU Bonn

    Newsitem added on 6 September 2004.

    Infinite Games have been investigated by mathematicians since the beginning of the twentieth century and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference FotFS V wants to bring together researchers from the various areas that employ infinitary game techniques to talk about similarities and dissimilarities of the different approaches and develop cross-cultural bridges.

    We invite all researchers from areas applying infinitary game-theoretic methods (economists, mathematicians, logicians, philosophers, computer scientists, sociologists) to submit their papers before September 15th, 2004. Topics will include Games in Algebra and Logic, Games in Higher Set Theory, Games in Set-Theoretic Topology, Infinite Games & Computer Science, Infinite Games in Philosophy, Infinite Evolutionary Games, Machine Games, Game Logics, Infinite Games in the Social Sciences.

    For more information, see http://www.math.uni-bonn.de/people/fotfs/V/

  • 25 November 2004, Semantics in the Netherlands day, Radboud University Nijmegen

    Costs: 0,-
    Newsitem added on 21 June 2004.

    The Nijmegen Centre for Semantics (NCS) presents the third Semantics in the Netherlands day. SiN provides a platform for graduate students working on natural language semantics in the Netherlands. This year's edition is hosted by the NCS and will take place Thursday, November 25 at the Radboud University Nijmegen (deadline for submission of 1p PDF abstracts: October 1). The SiNday is the opportunity for graduate students to present their research in any area of natural language semantics and its interfaces with pragmatics, syntax, morphology, logic, computational linguistics, and the like. SiN III will be concluded with an invited lecture by Prof. dr Henriëtte de Swart (Utrecht University).

    Deadline for submissions is October 1st, 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=712 or point a browser at http://www.ru.nl/ncs/sin

  • 23 November 2004, Lectures on occasion of Dick de Jongh's 65th birthday

    Date and time: 23 November 2004, 13:00-18:00
    Location: Herengracht 182, room 0.07

    Preliminary program:

    13.00-13.30 Welcome with tea or coffee.
    13.30-14.00 Albert Visser:
    Dick de Jongh and provability
    14.10-14.40 Rosalie Iemhoff:
    Dick and rules
    14.50-15.05 Ingrid van Loon:
    Dick de Jongh, a master of logic
    15.05-15.20 Tea break
    15.20-15.50 Yoav Seginer:
    A topic from learning theory
    16.00-16.30 Jaap van Oosten:
    Proving maximality results by realizability
    16.40-17.40 Drinks

    For more information mail to anne at science.uva.nl.

  • 22-23 November 2004, SIKS Advanced Course

    Title: The Semantic Web
    Location: Conference center Woudschoten, Zeist
    Newsitem added on 24 October 2004.

    The idea of a "Semantic Web" has rapidly gained visibility on both the academic and the industrial agenda in recent years. Currently, some cornerstone technologies are in place, some applications are beginning to emerge, and many new research challenges have emerged. In this two day course, all these aspects will be highlighted.

    Deadline for registration for SIKS-Ph.D students (who can participate at no charge): 1 November 2004. For more information, including an online registration form, see http://www.siks.nl/sem-web2.html

  • 22 November 2004, Afscheidscollege, "Volledigheid en Onvolledigheid" , Dick de Jongh

    Speaker: Dick de Jongh
    Date and time: Monday 22 November 2004, 14:00
    Location: Aula van de Universiteit, ingang Singel 411, Hoek Spui, Amsterdam

    Het afscheidscollege begint om *14 uur precies*. Na afloop van het college vindt een receptie plaats.

    Dick de Jongh heeft aangegeven graag in toga te gaan, en hierbij het verzoek aan alle collega-hoogleraren hem desgewenst daarin te volgen. In dat geval wordt u verwacht een kwartiertje eerder aanwezig te zijn.

  • 19 November 2004, DIP Colloquium, Fred Keijzer

    Speaker: Fred Keijzer (Groningen)
    Title: Embodied cognition: Opportunities and problems
    Date and time: Friday 19 November 2004, 16:00-17:30
    Location: Room C105, Oudemanhuispoort 4, Amsterdam

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

  • 19 November 2004, Colloquium on Mathematical Logic, Rineke Verbrugge

    Speaker: Rineke Verbrugge (Groningen)
    Title: Strong completeness for non-compact hybrid logics
    Date and time: Friday 19 November 2004, 16:00-17:00
    Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 16 November 2004, MPI Colloquium Series, Ingo Plag

    Speaker: Ingo Plag (Siegen, Germany)
    Title: What constrains possible suffix combinations? The role of grammatical and processing restrictions in derivational morphology
    Date and time: Tuesday 16 November 2004, 15:45
    Location: Room 1.63, Max Planck Institute for Psycholinguistics, Wundtlaan 1, Nijmegen

    There is a long-standing debate about the principles and mechanisms that constrain the combinatorial properties of affixes, in particular of English suffixes. Most recently, Hay has proposed a psycholinguistic model of morphological complexity, according to which an affix which can be easily parsed out in processing should not occur inside an affix which cannot. This model has been called 'complexity based ordering'. The general claim is that affixes can be approximately ordered along a hierarchy of complexity, with more separable affixes at one end, and less separable affixes at the other end. More separable affixes can attach outside less separable affixes, but not vice-versa.

    In this talk, Ingo Plag presents research that tested the predictions of complexity based ordering through an investigation of 30 English suffixes and their potential combinations.

    For abstracts and more information, see http://www.mpi.nl/world/colloquia/col-program.html .

  • 12 November 2004, VvL symposium "Logica in de Lage Landen", Room 414, Jaarbeurs, Utrecht

    Newsitem added on 11 November 2004.

    (dutch only)
    De Vereniging voor Logica en Wijsbegeerte der Exacte Wetenschappen (VvL) nodigt u hierbij uit voor een VvL symposium "Logica in de Lage Landen". Deze gebeurtenis vindt plaats op vrijdag 12 november 2004 in zaal 414 van de de Jaarbeurs in Utrecht. Het programma begint om 12.45 met een broodjeslunch, u aangeboden door de VvL, tijdens de jaarlijkse Algemene Ledenvergadering.

    Alle belangstellenden zijn van harte welkom. De toegang is gratis. Voor het programma en abstracts van de lezingen, zie http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=796.

  • 10 November 2004, CSCA Lecture, Prof. dr. W.T.A.M. Everaerd

    Speaker: Prof. dr. W.T.A.M. Everaerd (UvA)
    Title: Accessibility of emotional memories: autobiographical memories and emotional experience
    Date and time: Wednesday 10 November 2004, 16:00
    Location: University Library, Doelenzaal, Singel 425, Amsterdam
    'Eternal sunshine of the spotless mind', a recent movie, presents a romantic and futuristic neuroscience approach to deleting autobiographical memories. Although the idea of inducing amnesia may be intriguing it seems to be mere speculation in the light of the state of the art in neuroscience. In this lecture I will review the role of autobiographical memories in emotional experience; how do these memories contribute to what is experienced? After that I will discuss an approach to the modulation of emotional memories, which may eventually result in the modulation of emotional experience. I propose that retrieval of past emotional experiences needs hippocampal and amygdaloid transmission as long as this retrieval generates emotional responses. Memories that generate emotions are 'hot', in contrast to cold memories that are not accompanied by arousing emotional reactions. I hypothesize that these hot memories are better consolidated than cold memories. Modulation of emotional memories occurs through the action of stress hormones, which may influence encoding, consolidation as well as retrieval. Let's see where we are at this point in time.

    For more information see the CSCA website at http://www.csca.uva.nl/.

  • 9 November 2004, Logic Tea, Marie Duzi, Tu Ostrava

    Speaker: Marie Duzi, Tu Ostrava
    Title: Epistemic Closure and Inferable Knowledge
    Date and time: Tuesday 9 November 2004, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 9 November 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Georgi Jojgov

    Speaker: Georgi Jojgov
    Title: A stepwise approach to formalizing mathematics
    Date and time: Tuesday 9 November 2004, 14:15-16:00
    Location: TU Eindhoven, MA 1.44

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 8 November 2004, KNAW Themamiddag "Communicatie als Cognitief Proces"

    Date and time: Monday 8 November 2004, 13:30-17:30
    Location: KNAW, Kloveniersburgwal 29, Amsterdam

    (Dutch only)
    Themamiddag met als onderwerp 'Communicatie als cognitief proces'. De sprekers belichten een aantal interdisciplinaire aspecten van het onderzoek, waarbij zij aandacht besteden aan vier onderwerpen:

    • de evolutie en ontwikkeling van communicatief gedrag bij mens en dier
    • communicatie vanuit neurocognitief perspectief
    • gestoorde communicatie, in het bijzonder autisme
    • communicatie tussen en met kunstmatige systemen.

    Aanmelding is open tot 22 Oktober 2004. Voor meer informatie en het programma kunt u kijken op http://www.knaw.nl/cfdata/agenda/agenda_detail.cfm?agenda__id=514 .

  • 2 November 2004, Logic Tea, Tine Wilde

    Speaker: Tine Wilde
    Title: When Art Meets Science
    Date and time: Tuesday 2 November 2004, 17:00-18:00
    Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 29 October 2004, Masterclass 'Cognitive Foundations of Interpretation'

    Speaker: Judith Aissen, Gerhard Jaeger, Barbara Partee, Paul Smolensky
    Location: Trippenhuis, Kloveniersburgwal 29, Amsterdam
    Newsitem added on 6 September 2004.

    As part of the Colloquium 'Cognitive Foundations of Interpretation' the Royal Netherlands Academy of Arts and Sciences organizes a masterclass on 29 October 2004 in Amsterdam, co-sponsored by the Cognition Programme of the Netherlands Organisation for Scientific Research. There are lectures by Judith Aissen, Gerhard Jaeger, Barbara Partee, and Paul Smolensky about topics in the area of linguistic explanation, semantic interpretation and cognitive architecture. The masterclass is intended for PhD students in linguistics and cognitive science and has an advanced level.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=733 or http://www.let.rug.nl/~gerlof/knaw/masterclass.html

  • 29 October 2004, Workshop on Belief Revision: 'Changing Minds', Room A-303, University of Amsterdam, Roetersstraat 15, Amsterdam

    Date and time: Friday 29 October 2004, 13:45-19:45

    Belief revision theory was first developed to give a formal answer to this question, following a long tradition of philosophical work on theory change. In the last two decades, belief revision has become one of the most active areas of research, at the confluence between cognitive science, logic, philosophy, and AI. Nevertheless, the most crucial features of belief revision still remain unsolved - and the main reason lies in a serious lack of integration between the 'formal side' and the 'cognitive side' of the problem, i.e. between approaches first developed in logic, computer science and philosophy, and theoretical models and empirical evidences gathered in the field of cognitive science and experimental psychology.

    This workshop brings together leading experts in several related fields to discuss these issues and compare distinct approaches. Different paradigms need not to merge, since they might turn out to address complementary aspects of belief change. But in this workshop they will be confronted with each other, to clarify differences and synergies - with special emphasis on the primacy of cognitive studies. Belief revision is perhaps the most fundamental of our cognitive skills: therefore, its formal understanding cannot abstract from empirical data on belief change in humans.

    For more information and abstracts, see:

    http://www.unisi.it/ricerca/dip/fil_sc_soc/dot-sc/belrev.html

  • 29 October, Generating Anaphoric Expressions

    Speaker: Kristina Striegnitz (Saarland University)
    Date and time: Friday 29 October, 13:30
    Location: Room F009, Kruislaan 403, Amsterdam

    Discourse anaphora are important devices for achieving cohesion in natural language texts. It is, therefore, important that natural language generation systems are able to correctly use the anaphoric devices provided by natural languages in order generate fluent and natural sounding texts.

    Research in natural language generation has concentrated on one specific class of anaphoric expressions, namely, definite noun phrases referring to a previously mentioned entity. Anaphora that establish a link to an expression which is not co-referent with the anaphoric expression and non-nominal anaphora have not been treated, so far.

    In my talk, I will present the standard approaches to the generation of co-referential noun phrases and will then show how to extend them to other kinds of anaphoric expressions. In particular, I will discuss the generation of bridging descriptions (as in 1) and of additive particles (as in 2).

    (1) Antonia walked towards the house. Suddenly, THE DOOR opened.
    (2) Antonia likes cake. She ALSO likes ice cream.

    For more information, please contact marx at science.uva.nl

  • 27 October 2004 , DIP Colloquium, Claudia Casadio

    Speaker: Claudia Casadio (Università degli studi G. d'Annunzio)
    Title: Quantifiers and Scope in Pregroup Grammar
    Date and time: Wednesday 27 October 2004 (changed), 16:00-17:30
    Location: Room 001, Department of Philosophy, Vendelstraat 8

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

  • 20 October 2004, AI in the Wild, Cognition in dynamic environments, RUG Academiegebouw, Senaatskamer, Broerstraat 5, Groningen

    Date and time: Wednesday 20 October 2004, 11:30

    The symposium 'Artificial Intelligence in the wild' will be organized at the occasion of the 10th Anniversary of the AI Institute Groningen on Wednesday October 20th, before the BNAIC'04 conference.

    The symposium will be focusing on the achievements of the situated & embodied paradigm, in contrast to logic-based approaches. The "wild" environment in this respect covers both the natural and man-made environments and environments in which the physical presence of the human user plays a central role in man-machine interaction. Speakers will be invited who cover a number of views on these topics.

    For more information, see http://www.ai.rug.nl/conf/AI-in-the-Wild/

  • 20 october, MoL room brainstorm session

    Date and time: Wednesday 20 october, 17:15
    Location: MoL room (P.130), Euclides building
    Target group: MoL students

    The main purpose of the meeting is to come up with ideas for biweekly activities to be held in the MoL room for and by the MoL students. Other than that, we are happy to discuss ongoing issues, wishes and complaints (about the room).

  • 15 October 2004, DIP Colloquium, Jason Mattausch

    Speaker: Jason Mattausch (ZAS, Berlin)
    Title: Bias & the Optimization of Grammar
    Date and time: Friday 15 October 2004, 16:00-17:30
    Location: Room C105, Oudemanhuispoort 4, Amsterdam

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

  • 12 October 2004, Logic Tea, Boudewijn de Bruin

    Speaker: Boudewijn de Bruin
    Title: Logic, Games and Paradoxes
    Date and time: Tuesday 12 October 2004, 17:15-18:15
    Location: Room P.017, Euclides, Plantage Muidergracht 24, Amsterdam (changed)

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 8-10 October 2004, North Texas Logic Conference, Denton TX, U.S.A.

    Newsitem added on 22 July 2004.

    Plenary speakers: Andreas Blass, Gregg Hjorth, Julia Knight, Peter Komjath, Ted Slaman and John Steel. Invited speakers: Peter Cholak, John Clemens, Ilias Farah, Matt Foreman, Benedikt Löwe, Itay Neeman, Reed Solomon, Slawomir Solecki, Jindra Zapletal and Martin Zeman

    For more information, see http://www.math.unt.edu/logic/ntlc.html

  • 8 October 2004, Colloquium on Mathematical Logic, Robbert Brak

    Speaker: Robbert Brak (Edinburgh)
    Title: Theorem provers and Agent Interaction Protocols
    Date and time: Friday 8 October 2004, 15:00-17:00
    Location: Room 048, 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-8 October 2004, Secure Multi-Party Protocols (SMP '04)

    Location: Amsterdam
    Newsitem added on 13 September 2004.

    Cryptographic protocols play an important role for building secure distributed systems. Such protocols involve the interaction of several agents with potentially conflicting security goals. The aim of this workshop is to bring together researchers and practitioners from the cryptography and distributed computing areas, from academia and industry, who are working on secure multiparty protocols for distributed systems, in order to engage in a discussion about common goals and important research problems in the overlap of the areas.

    The Secure Multi-Party Protocols (SMP '04) workshop is organized by ECRYPT, the European Network of Excellence in Cryptology, and in connection with DISC 2004, the 18th Annual Conference on Distributed Computing, which takes place October 5-7, in Amsterdam. (The program of October 7 will be partially joint with DISC, and held at the same venue.)

    For more information, see http://www.zurich.ibm.com/~cca/smp2004/

  • 5 October 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jan Hidders

    Speaker: Jan Hidders
    Title: Deciding static properties of XPath expressions
    Date and time: Tuesday 5 October 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 28 September - 1 October 2004, Logic, Games and Philosophy: Foundational Perspectives, Prague, Czech Republic

    Newsitem added on 12 April 2004.

    Games, like logics, are tools for investigating the world, language, and their relationship. Semantic, dialogic, evolutionary, interrogative, argumentative, and pragmatic methods have been included into the toolkit. Following the recent increase in investment on games and game-theoretic methods in logic, language, computation and communication, we still need a better understanding of the possibilities of forming converging methodologies underlying these diverse contemporary currents. The purpose of the Prague Conference on Logic, Games and Philosophy: Foundational Perspectives is to explore the interfaces between logic and games with the eye on philosophical, methodological and foundational issues.

    Deadline for submissions is June 15, 2004. For more information, see http://www.flu.cas.cz/Logica/Aconf/col2004.html or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=682.

  • 28 September 2004, Logic Tea, Barteld Kooi

    Speaker: Barteld Kooi
    Title: The Hangman Paradox in Dynamic Epistemic Logic
    Date and time: Tuesday 28 September 2004, 17:00-18:00
    Location: Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam (changed)

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 24 September 2004, DIP Colloquium, Emar Maier

    Speaker: Emar Maier (Nijmegen)
    Title: De se vs de re belief reports under quantification
    Date and time: Friday 24 September 2004, 16:00-17:30
    Location: Room C105, Oudemanhuispoort 4, Amsterdam

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

  • 24 September 2004, Colloquium on Mathematical Logic, Andrés Perea

    Speaker: Andrés Perea (Maastricht)
    Title: Minimal belief revision leads to backward induction
    Date and time: Friday 24 September 2004, 16:00-17:00
    Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 23-26 August 2004, 17th International Conference on Pattern Recognition (ICPR 2004), Cambridge, UK

    Newsitem added on 22 April 2004.

    The ICPR2004 Theme is "Pattern Recognition in the Digital World", and will be a multi-track international forum for discussions on recent advances in the fields of:

    • Computer Vision and Robotics
    • Pattern Recognition
    • Neural Networks
    • Image and Signal Processing
    • Biomedical, multimedia and e-commerce applications

    Deadline for registration: 6 August 2004

    For more information, an online registration form and a preliminary program, see http://www.ee.surrey.ac.uk/icpr2004/

  • 21-22 October 2004, BNAIC'04, Groningen

    Newsitem added on 20 May 2004.

    The 16th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'04) aims at presenting an overview of state-of-the art research in AI in Belgium and the Netherlands. Topics of interest include cognitive modeling, neural networks and AI in law, music & art. The deadline for submissions is June 1, 2004. The conference is preceded by the workshop "AI in the wild: Cognition in dynamic environments".

    For more information, see http://www.ai.rug.nl/conf/bnaic2004/

  • 15 September 2004, The History of Rhetoric, Jeroen Bons

    Speaker: Jeroen Bons (Utrecht)
    Date and time: Wednesday 15 September 2004, 15:15-17:00
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This lecture will cover the history of classical rhetoric, concentrating on the role of argumentation, and give some perspectives on development into the Middle Ages. It is part of the course "Core Logic" and specifically addressing the students in the M.Sc. programme in logic. Of course, all other ILLC logicians (both students and staff members) are cordially invited as well.

  • 14 September 2004, Logic Tea, Stefan Bold

    Speaker: Stefan Bold
    Title: Sets and Games
    Date and time: Tuesday 14 September 2004, 17:00-18:00
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 11 - 12 September 2004, 1st international workshop on Views On Designing Complex Architectures (VODCA 2004)

    Location: Bertinoro, Italy
    Newsitem added on 3 April 2004.

    Security and management of information are key issues in informatics, and are among its fast-developing fields. On the one hand, this calls for a continuous attention of the researchers to the most recent developments in these areas. On the other hand, it asks those same researchers to come up with novel ideas and insights, while designing their own views for the growth of these fields.

    The workshop aims at providing a platform for young scientist to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information.

    Deadline for submissions is June 25th, 2004. For more information, see http://www-gris.det.uvigo.es/vodca or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=673, or contact s.m.h.j.joosten at tue.nl

  • 10 September 2004, DIP Colloquium, Yoad Winter

    Speaker: Yoad Winter (Technion)
    Title: How strong is the Strongest Meaning Hypothesis?
    Date and time: Friday 10 September 2004, 16:00-17:30
    Location: Room C105, Oudemanhuispoort 4, Amsterdam (changed)

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

  • 10 September 2004, Colloquium on Mathematical Logic, Alexander Leitsch

    Speaker: Alexander Leitsch (Vienna)
    Title: CERES: Cut-Elimination by Resolution
    Date and time: Friday 10 September 2004, 16:00-17:00
    Location: Room 048, 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-11 September 2004, Advances in Modal Logic (AiML-2004), Manchester, UK

    Newsitem added on 4 September 2003.

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

    Invited speakers include: Philippe Balbiani (Toulouse), Keith Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert Stalnaker (MIT). During the conference there will be a special session on "Modal Logics for Knowledge and Action".

    For more information, see http://www.cs.man.ac.uk/aiml04/

  • 2 September 2004, Annual ILLC Boat Trip

    Date and time: Thursday 2 September 2004, 16:30
    Location: Gather at frontdesk, Building Euclides, Plantage Muidergracht 24

    The Master of Logic Programme will be organising an introduction for the new students on Thursday 2nd of September. Part of the Master of Logic programme is a boattrip through the canals of Amsterdam. The boat will depart at 16.30 sharp from behind Euclides (same as last year).

    We would like to invite you all to join the boattrip. However, as we have quite a few new students and as this is the first year we are running the 2nd year programme we may encounter a capacity problem as only 60 people are allowed on the boat. To prevent dissapointment we ask you to register for the boattrip.

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

  • 22-27 August 2004, 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain

    Newsitem added on 10 July 2003.

    ECAI is the more and more becoming a key reference point for assessing a worldwide State-of-the-Art in Artificial Intelligence. The conference brings together researchers from academy, software developers and users from industry and public organizations, offering them invaluable occasions to meet and exchange ideas, thus contributing to making real the upcoming 'Information Society'.

    Along with refereed paper presentations and invited talks by prestigious speakers, the conference will offer, on August 22 through 24, 2004, workshops and tutorials on most advanced topics.

    For more information, see the conference website at http://www.dsic.upv.es/ecai2004/

  • 16-20 August 2004, Workshop: Semantic Approaches to Binding Theory

    Location: Nancy, France
    Newsitem added on 11 December 2003.

    Binding Theory, which is concerned with sentence-internal constraints on anaphora, was originally conceived in syntactic terms as a set of conditions on the distribution of indices. But other researchers have attempted to derive these constraints from lexical semantics or the interpretative procedure rather than the syntax. Some add a semantic component to a syntactic core, but others are more radically semantic.

    The workshop, which is intended for advanced PhD students and researchers, will provide a forum to compare and assess these diverse proposals. We welcome proposals for 45mn contributions (30mn presentation + 15mn discussion), which should be specific, explicit and semantically informed.

    Extended deadline for submissions is March 26, 2004. This workshop is part of ESSLLI 2004. For more information, see the workshop website at http://www.linguistics.ucla.edu/people/schlenker/ESSLLI04.html.

  • 16-20 August 2004, LCMAS04, Nancy, France

    Newsitem added on 31 January 2004.

    The workshop, this year in its second edition, aims at bringing together graduate students and researchers interested in topics related to the use of formal tools when applied to modelling, specifying, verifying, and reasoning about multi-agent systems in which communication and updating play a crucial role. Specifically, the workshop aims at providing a forum for discussing technical issues that arise with formalisms (epistemic, temporal, dynamic and authentication logics and tools) inspired by the needs of modelling information exchanges in multi-agent systems.

    The workshop will be held within the context of ESSLLI04, the 2004 edition of the European Summer School on Logic Language and Computation, to be held in Nancy in August 2004.

    Those wishing to participate in the workshop are invited to submit an original research paper, at or before March 15, 2004. For more information, see http://www.win.tue.nl/~evink/lcmas04.html

  • 09-21 August 2004, ESSLLI-2004: 16th European Summer School in Logic, Language and Information, Nancy, France

    Newsitem added on 3 July 2003.

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

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

    Extended deadline for early registration is May 7th, 2004. For more information and an online registration form, see the website at http://esslli2004.loria.fr/.

  • 9-10 August 2004, Canceled: LAMAS 2 (Second Australasian Workshop on Logic and Multiagent Systems)

    Location: Sheraton Auckland Hotel, Auckland, New Zealand
    Newsitem added on 12 March 2004.

    LAMAS 2 is one the workshops associated with the eighth Pacific Rim International Conference on Artificial Intelligence ( PRICAI ). It is a follow-up workshop to a previous workshop on logic and multiagent Systems ( LAMAS ) held at the University of Otago in October 2002. The workshop aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.

    The LAMAS2 organizers are Hans van Ditmarsch, Stephen Cranefield, Thomas Meyer, and Guido Governatori. The submission deadline is 15 May 2004. Particular topics of interest are: (1) Specification, verification, and synthesis of multiagent systems (2) Belief revision, belief merging, and dynamic epistemic logics (3) Protocols concerning commitment and negotiation (4) Logics of institutional agency (5) Non-monotonic reasoning, automated reasoning, and model checking.

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

  • 24-31 July 2004, Logic Colloqium 2004 (ASL European Summer Meeting), Torino, Italy

    Newsitem added on 10 April 2003.

    For more information, see http://lc2004.unito.it/

  • 19-22 July 2004, 11th Workshop on Logic, Language, Information and Computation (WoLLIC'2004), Paris, France

    Newsitem added on 15 April 2004.

    WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

    For more information, an online registration form and a preliminary program, see http://www.cin.ufpe.br/~wollic/wollic2004/

  • 16 - 18 July 2004, LOFT: Logic and the Foundations of the Theory of Games and Decisions, Leipzig, Germany

    Newsitem added on 30 December 2003.

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

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

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=595 or the conference website at http://www.econ.ucdavis.edu/faculty/bonanno/LOFT.html

  • 14-17 July 2004, LICS 2004, Turku, Finland

    Newsitem added on 19 February 2004.

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

    LICS 2004 will be held in conjunction with the thirty-first International Colloquium on Automata ,Languages, and Programming (ICALP 2004). The LICS Program Chair is H.Ganzinger (email:hg@mpi-sb.mpg.de ). Workshops are planned for July 12 13 and July 18.

    For more information, see the conference website at http://www.dcs.ed.ac.uk/home/als/lics/lics04/.

  • 12-16 July 2004, ICALP 2004, Turku, Finland

    Newsitem added on 19 February 2004.

    The 31st International Colloquium on Automata, Languages and Programming (ICALP 2004) is organized at Turku University by the Department of Mathematics and Turku Centre for Computer Science. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2004 is colocated with the 19th International Conference on Logic in Computer Science (LICS04).

    For more information, see the conference website at http://www.math.utu.fi/ICALP04/.

  • 10-11 July 2004, Knowledge and Games Workshop

    Location: Liverpool
    Newsitem added on 3 April 2004.

    The aim of this workshop is to bring together researchers from the multi-agent systems, logic, and game theory communities in order to discuss work that combines, in some way, formal theories of knowledge and games. The workshop will take place immediately after the European Agent Systems Summer School, which will also be held in Liverpool.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=672 or http://www.csc.liv.ac.uk/~sieuwert/knowledgegames/

  • 5 - 9 July 2004, 6th European Agent Systems Summer School (EASSS'04)

    Location: Liverpool, UK
    Newsitem added on 18 March 2004.

    After successful summer schools on Agent Systems in Utrecht, Saarbrucken, Prague, Bologna and Barcelona, AgentLink III organises the 6th European Agent Systems Summer School in Liverpool, UK., 5 - 9 July 2004.

    EASSS 2004 will consist of a mixture of introductory and advanced courses delivered by internationally leading experts in the agent field, and will cover the full range of theoretical and practical aspects of agent-based computing.

    EASSS'04 is open to anyone from research or industry, both AgentLink members and non-members alike. A registration fee will be charged to cover costs, but some support will also be available for PhD students.

    For more information, see http://www.agentlink.org/happenings/easss/2004/index.html

  • 29 June 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Suzana Andova

    Speaker: Suzana Andova (Twente)
    Title: Equivalences for silent transitions in Probabilistic Systems
    Date and time: Tuesday 29 June 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 25 June 2004, DIP Colloquium, Isidora Stojanovic

    Speaker: Isidora Stojanovic (Stanford)
    Date and time: Friday 25 June 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 25 June 2004, The Plastic Brain, Gertrudiskapel, Utrecht, across Utrecht CS

    Date and time: 25 June 2004, 10:00-17:00

    "THE BRAIN IS MORE CHANGEABLE THAN WE EVER THOUGHT", to quote the special issue of Scientific American, "Better Brains", September 2003. The Dutch national Cognition programme is organizing a scientific symposium around this theme at Friday June 25 in Utrecht, the Netherlands. At the symposium, our distinguished speakers Gregory Ball, Barbara Koenig (to be confirmed), Tom Mitchell and Gregory Quirk will discuss these issues from the points of view of ethology, ethics, artificial intelligence and physiology respectively. Get ready for a stimulating event about seasonal brain changes, the reduction of fear, computers reading our mind and free will.

    Participation is free, but as there is only a limited numbers of seats available registration is obligatory. Registration is possible by sending an e-mail before Monday June 14 to cognition at nwo.nl stating your name and affiliation. You will be informated as soon as possible about your participation.

    For more information, see http://www.nwo.nl/cognitie/symposium/

  • 25 June 2004, DIP Colloquium, David Ahn

    Speaker: David Ahn (ILPS)
    Title: Bi-polar domain restriction in adverbial quantification
    Date and time: Friday 25 June 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 22 June 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Clemens Grabmayer

    Speaker: Clemens Grabmayer (VU)
    Title: Derivability and admissibility of inference rules in abstract Hilbert systems
    Date and time: Tuesday 22 June 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 22 June 2004, Computing with LLI Seminar, Paul Ogilvie

    Speaker: Paul Ogilvie (Language Technologies Institute, CMU)
    Title: Understanding Combination of Evidence in the Language Modeling Framework
    Date and time: Tuesday 22 June 2004, 12:00
    Location: Room F.009, Gebouw F, Kruislaan 403, Amsterdam

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

  • 17 June 2004, Logic Tea, Detlef Prescher

    Speaker: Detlef Prescher
    Title: Probabilistic Grammars
    Date and time: Thursday 17 June 2004, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 11 June 2004, Computing with LLI Seminar, Michael Masuch

    Speaker: Michael Masuch
    Title: Consistency Is a Largely Overrated Concept---Ken Livingston, Mayor of London
    Date and time: Friday 11 June 2004, 16:00
    Location: Room F.009, Gebouw F, Kruislaan 403, Amsterdam

    Michael Masuch will retire at the end of this term, and the LIT group wants to take the opportunity to celebrate. There will be drinks and nibbles after Michael's presentation.

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

  • 10 June 2004, FNWI sitevisit to ILLC

    Date and time: 10 June 2004, 13:00-17:30
    Location: Room P.018, Euclides, Plantage Muidergracht 24, Amsterdam

    On Thursday, June 10th, the Dean of the Faculty of Science and his staff will visit our Institute. The program consists of two parts:

    CLOSED SESSION:
    13.00 -13.30 uur: Reception by institute, lunch
    13.30 -14.45 uur: Board meeting Faculty-Institute

    PLENARY SESSION:
    15.00-15.45: Lecture by Rens Bod and Aline Honingh: "Computational models of Language, Images, and Music"
    15.45-16.15 uur: Meeting in which everybody can ask questions to the management of the Faculty of Science and of the ILLC
    16.15 --17.30: Drinks!!!

    For more information, please contact marjanv at science.uva.nl

  • 10-11 June 2004, Linguistic Perspectives on Numerical Expressions, Utrecht Institute of Linguistics-OTS

    Newsitem added on 16 March 2004.

    Knowledge of language and knowledge of the number system are two cognitive capacities that have been characterized as being genuinely human. A core property which is shared by these two cognitive domains is that of discrete infinity: just like the series of numbers goes on indefinitely (you can always add one more), you can go on building linguistic structures by adding new linguistic material to the already built structure, as in John and Peter and Sue and Betty and ... This property of discrete infinity accounts for the fact that there is no limit in principle to how many words a sentence may contain. In Language and Problems of Knowledge, Noam Chomsky speculates on the idea that the number faculty developed as a by-product of the language faculty. He states that we might think of the human number faculty as essentially an abstraction from human language, preserving the mechanisms of discrete infinity and eliminating the other special features of language. This thought-provoking idea suggests a certain relationship between knowledge of language and numerical knowledge. The general aim of the workshop is to further our understanding of this relationship between the two cognitive systems.

    For more information, a program and an online registration form, see http://www.let.uu.nl/users/Joost.Zwarts/personal/numericals.htm

  • 9 June 2004, DIP Colloquium, Gennaro Chierchia

    Speaker: Gennaro Chierchia (Milan)
    Title: Domain Widening and its implicatures. A new look at negative polarity vs. free choice and the grammar/pragmatics interface
    Date and time: Wednesday 9 June 2004, 17:00-18:00
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 9 June 2004, DIP Colloquium, Gennaro Chierchia

    Speaker: Gennaro Chierchia (Milan)
    Title: Domain Widening and its implicatures: A new look at negative polarity vs. free choice and the grammar/pragmatics interface
    Date and time: Wednesday 9 June 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 8 June 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Martijn Oostdijk

    Speaker: Martijn Oostdijk (Nijmegen)
    Date and time: Tuesday 8 June 2004, 14:15-16:00
    Location: TU Eindhoven, MA 1.41

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 4 June 2004, Computing with LLI Seminar, Maarten Marx

    Speaker: Maarten Marx (Amsterdam)
    Title: A generalization of Kamp's theorem to trees
    Date and time: Friday 4 June 2004, 13:30
    Location: Room F.009, Gebouw F, Kruislaan 409, Amsterdam

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

  • 4 June 2004, DIP Colloquium, Beata Gyuris

    Speaker: Beata Gyuris (ZAS, Berlin)
    Title: A new look at the semantics/pragmatics of contrastive topics in Hungarian
    Date and time: Friday 4 June 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 4-5 June 2004, OzsL School Event, Utrecht

    Newsitem added on 3 June 2004.

    OZSL organizes, in collaboration with the Heyting Foundation a SCHOOL EVENT on June 4 and 5. Everybody is welcome!

    For more information and a program, see http://godot.phil.uu.nl/~pape/ozsl/newsitem.php?news_id=43

  • 28 May 2004, Computing with LLI Seminar, Jan Kors

    Speaker: Jan Kors (Erasmus University Rotterdam)
    Title: Thesaurus-based detection and disambiguation of gene symbols in large text corpora
    Date and time: Friday 28 May 2004, 13:30
    Location: Room F.009, Gebouw F, Kruislaan 409, Amsterdam

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

  • 26 May 2004, Automath Symposium, Auditorium 16, TU Eindhoven

    Speaker: Henk Barendregt, Herman Geuvers, Freek Wiedijk, N.G. de Bruijn, Georgi Jojgov
    Date and time: Wednesday 26 May 2004, 14:30 - 17:45

    An important question is whether computer assisted proofs are acceptable to the scientific community. One can distinguish romantic (human understandable) vs cool (machine verified) proofs. The heart of the matter is whether a proof is reliable. Reliability can be obtained by providing fully formalised proofs that can be algorithmically verified. The methodology of de Bruijn's Automath Project delivers proofs that are reliable and human-readable.

    What is the feasibility of constructing fully formalised proofs for `everyday use' in mathematics? Interactive support from the computer in developing proofs brings us a step forward, but how far can we get? On the occasion of the digitizing of the Automath Archive a short symposium is organised on these matters, as a cooperation of the ZIC-colloquium and the Brouwer Seminar of the Foundations group in Nijmegen.

    All information on the program of this symposium can be found at the website: http://www.win.tue.nl/automath/. For more information, please contact f.dechesne at uvt.nl

  • 24 May 2004, International Workshop on Language Resources: Integration and Development in E-Learning and in Teaching Computational Linguistics., Centro Cultural de Belem, LISBON, Portugal

    Costs: 100 EURO for LREC Conference participants and 170 EURO for other participants
    Newsitem added on 25 January 2004.

    Language resources (LRs) are of crucial importance not only for research and development in language and speech technology but also for teaching purposes. E-learning added a new dimension to the usability of language resources and made them interesting outside the area of computational linguistics.

    This one-day workshop will focus on the integration of LRs in the educational process and the relation between LRs and e-learning. Special attention will be dedicated to the use of LRs in the curriculum of computational linguistics.

    Extended Deadline for abstract submissions is February 15th, 2004. For more information, see http://nats-wiki.informatik.uni-hamburg.de/~cri/lrecwp04/index.html. This workshop is organized in association with the LREC 2004, the 4th International Conference on Language Resources and Evalution.

  • 19 May 2004, Computing with LLI Seminar, Karin Müller

    Speaker: Karin Müller (Amsterdam)
    Title: Semi-Automatic Construction of a Question Treebank
    Date and time: Wednesday 19 May 2004, 13:30
    Location: Room F.009, Gebouw F, Kruislaan 409, Amsterdam

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

  • 14 May 2004, Language and Inference Technology (LIT) Seminar, Walter Daelemans

    Speaker: Walter Daelemans (Antwerp/Tilburg)
    Title: Memory-Based Word Sense Disambiguation
    Date and time: Friday 14 May 2004, 13:30
    Location: Room F.009, Gebouw F, Kruislaan 409, Amsterdam

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

  • 14 May 2004, DIP Colloquium, Hans-Christian Schmitz

    Speaker: Hans-Christian Schmitz (Bonn)
    Title: Optimal accentuation
    Date and time: Friday 14 May 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 14 May 2004, Leve de Wiskunde! Passie voor het vak (Open dag)

    Date and time: Friday 14 May 2004, 11:00-16:30
    Location: Plantage Muidergracht 24, Amsterdam

    On friday 14 May the Korteweg-de Vries Institute for Mathematics and the Institute for Logic, Language and Computation will host an Open Day for teachers of mathematics, students, and other interested parties. 'Leve de Wiskunde' is the opportunity to become acquainted with the renowned research programs in mathematics and logic at the UvA.

    For more information and an online application form, see http://www.science.uva.nl/congres/.

  • Two Days of Truth

    Speaker: Wolfgang Künne (Hamburg), Göran Sundholm (Leiden/NIAS), Jan Wolenski (Cracow/NIAS), Kevin Mulligan (Geneva)
    Date: Friday-Saturday 14-15 May, 2004
    Location: Leiden

    On 14/5 Wolfgang Künne will give an overview of his recent magnum opus "Conceptions of Truth", Oxford U. P., 2003. On 15/5 Sundholm and Wolenski will discuss specific issues in the book, and Mulligan will speak on truth- and -fact-making.

    For more information, see http://www.filosofie.leidenuniv.nl/

  • 14 May 2004, Colloquium on Mathematical Logic, Andreas Weiermann

    Speaker: Andreas Weiermann (Utrecht)
    Title: Classifying the phase transition for Ackermannian Paris Harrington - functions
    Date and time: Friday 14 May 2004, 15:00-17:00
    Location: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

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

  • 14-16 May 2004, Third Flamish-Dutch Congress for Philosophy of Science, ISVW, Leusden

    Newsitem added on 6 May 2004.

    From Friday May 14th to Sunday May 16th the Third Flamish-Dutch Congress for General and Special Philosophy of Science will take place. The congress will be organized by the Dutch Society for Philosophy of Science (NVWF) and hosted by the International School for Philosophy (ISVW) in Leusden.

    For more information (in Dutch), see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=694 or http://www.isvw.nl/programma2_isvw_index.htm.

  • 26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España

    Costs: € 120; € 60 for students
    Newsitem added on 26 September 2003.

    Focus on the challenges posed by cyberculture and the new artistic practices that use digital technologies and emerging technologies for their development. These technologies and the discussions, which they generate, have a wide-reaching social repercussion.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=528 or http://www.ciberart-bilbao.net/congreso_en.htm

  • 23 April 2004, Computing with LLI Seminar, Arjen P. de Vries

    Speaker: Arjen P. de Vries (CWI, Amsterdam)
    Title: Tolerance to Irrelevance: A User-effort Oriented Evaluation of Retrieval Systems without Predefined Retrieval Unit
    Date and time: Friday 23 April 2004, 13:30
    Location: Room F.009, Gebouw F, Kruislaan 409, Amsterdam

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

  • 23 April 2004, DIP Colloquium, Henriette de Swart

    Speaker: Henriette de Swart (Utrecht University)
    Title: Marking and interpretation of negation: a bi-directional OT approach
    Date and time: Friday 23 April 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 22 April 2004, Logic Tea, Alessandra Palmigiano

    Speaker: Alessandra Palmigiano (Barcelona)
    Title: Selfextensional logics, duality and coalgebras
    Date and time: Thursday 22 April 2004, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 20 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jesper Carlström

    Speaker: Jesper Carlström (Stokholm/Nijmegen)
    Title: Interpreting descriptions in intensional type theory
    Date and time: Tuesday 20 April 2004, 14:15-16:00
    Location: TU Eindhoven, Auditorium 12 (please note the unusual location)

    For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).

  • 20 April 2004, ILLC 'TEST-TALKS' MOSAIEK, Fenrong Liu, Reut Tsarfati, Loredana Afanasiev

    Speakers: Fenrong Liu, Reut Tsarfati, Loredana Afanasiev
    Date and time: Tuesday 20 April 2004, 11:30-13:00
    Location: room 3.27, building Euclides, Pl. Muidergracht 24, Amsterdam

    NWO organized three workshops to guide and evaluate the candidates and their proposals. On the 23rd of April the third workshop will take place and it involves talks by the candidates that will be play a role in evaluating the candidates and their proposals for this final round of selection. In this preparatory meeting, the three ILLC candidates will present their talks and invite comments.

    Max duration is 1 hour 30 minutes, up to 30 minutes per candidate. The candidates and titles of talks:
    1) Fenrong Liu; Logic of Social behavior
    2) Reut Tsarfati; Beyond Trees: Morphological and Syntactic Ambiguity Resolution for Hebrew
    3) Loredana Afanasiev;Model checking based algorithms for efficient query evaluation on XML documents

  • 16 April 2004, DIP Colloquium, Andreas Haida

    Speaker: Andreas Haida (Berlin)
    Title: Focus in Interrogatives
    Date and time: Friday 16 April 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 16 April 2004, Computing with LLI Seminar, Jan Hidders

    Speaker: Jan Hidders (ADReM, University of Antwerp)
    Title: Satisfiability of XPath Expressions
    Date and time: Friday 16 April 2004, 13:30
    Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 16 April 2004, Colloquium on Mathematical Logic, Nick Bezhanishvili

    Speaker: Nick Bezhanishvili
    Title: The logic of the Rieger-Nishimura ladder
    Date and time: Friday 16 April 2004, 16:00-17:00
    Location: Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 15 April 2004, Logic Tea, Sieuwert van Otterloo

    Speaker: Sieuwert van Otterloo (Liverpool)
    Title: Preferences in Game Logics
    Date and time: Thursday 15 April 2004, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 15-16 April 2004, Workshop on MODELS IN SCIENCE AND TECHNOLOGY

    Location: 'Soeterbeeck', Ravenstein (NB)
    Target group: PhD-students and Post Docs
    Costs: Euro 185
    Newsitem added on 12 February 2004.

    The goal of the workshop is to inform PhD-students about the standard philosophical views on the logical and methodological function of models in science and technology. Furthermore, it is our objective to confront these views with the ways in which scientists and engineers use models in their everyday scientific work.

    This workshop will be held in the context of the Dutch-Flemish Network for Philosophy of Science and Technology. Speakers include Wilfrid Hodges, Marcel Boumans, Peter van Oosterom, Michiel Korthals and Sjoerd Zwart.

    Participants should register before April 1st,by sending an e-mail to filosofie at tbm.tudelft.nl and by paying the workshop fee of Euro 185. The fee covers accommodation, meals and course material. Registration is definitive only after the workshop fee has been received.

    For more specific information turn to: Sjoerd Zwart (s.d.zwart at tbm.tudelft.nl, tel: 015-2785906).

  • 6 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Gilles Dowek

    Speaker: Gilles Dowek (Ecole Polytechnique, France)
    Title: Cut elimination for axiomatic theories
    Date and time: Tuesday 6 April 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

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

  • 2 April 2004, Computing with LLI Seminar, Caterina Caracciolo and Sebastian Brand

    Speakers: Caterina Caracciolo and Sebastian Brand
    Title: Towards a topic driven access to full text documents / Qualitative Spatial Reasoning
    Date and time: Friday 2 April 2004, 13:30
    Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 2 April 2004, DIP Colloquium, Anna Mlynarczyk

    Speaker: Anna Mlynarczyk (Utrecht)
    Title: An Aspectual Classification of Polish Verbs
    Date and time: Friday 2 April 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 2 April 2004, ILLC Meeting on Intuitionism

    Date and time: Friday 2 April 2004, 13:15-17:00
    Location: Room 3.27, Euclides building, Pl. Muidergracht 24

    It happens that at the ILLC there are presently 6 persons who have some actual relation with intuitionism. A meeting is organized in which they present their interests in an introductory way to each other; other ILLC members are welcome as well.

    For a preliminary program, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=670

  • 1 April 2004, Logic Tea, Francien Dechesne, Universiteit Tilburg/TU Eindhoven

    Speaker: Francien Dechesne, Universiteit Tilburg/TU Eindhoven
    Title: IF-Logic and The Art of Theorem Reconstruction
    Date and time: Thursday 1 April 2004, 17:15-18:30
    Location: Room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).

  • 27 March - 4 April 2004, ETAPS 2004, Barcelona, Spain

    Newsitem added on 4 December 2003.

    The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.

    For more information, see the ETAPS website at http://www.lsi.upc.es/etaps04/

  • 26 March 2004, Language and Inference Technology (LIT) Seminar, Frank Neven

    Speaker: Frank Neven (Limburg)
    Title: Automata, Logic, and XML
    Date and time: Friday 26 March 2004, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

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

  • 26 March 2004, CSCA Symposium on Development of Cognitive Control: Normative Changes and Psychopathology

    Location: University of Amsterdam
    Newsitem added on 11 March 2004.

    On March 26 2004 a symposium will be held on the development of cognitive control. Executive control refers to a domain of cognitive processing that is required for maintaining goal-directed, future-oriented behavior. This symposium focuses on a variety of research on the development of executive control. Applications to normal development as well as to deviant development will be covered.

    For more information and registration, see http://www.csca.uva.nl/.

  • 26 March 2004, Colloquium on Mathematical Logic, Alfred Jurcka ()

    Speaker: Alfred Jurcka (Canceled)
    Title: Cardinal Characteristics of the Continuum
    Date and time: Friday 26 March 2004, 16:00-17:00
    Location: Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 24-28 May 2004, Workshop Quantum Information Processing

    Location: Lorentz Center, Leiden University
    Newsitem added on 5 February 2004.

    In recent years, quantum information science has emerged as a major research area at the intersection of physics, information theory, and computer science. It originated from the realization that information is not a purely abstract concept but depends on the physics of the systems in which it is represented.

    For more information, see http://www.lc.leidenuniv.nl/lc/web/2004/20040524/description.php3?wsid=116

  • 24 March 2004, CSCA Lecture, Brendan McGonigle

    Speaker: Brendan McGonigle (Edinburgh)
    Title: Cognitive systems in evolution and development
    Date and time: Wednesday 24 March 2004, 16:00-17:15
    Location: Trippenhuis, Kloveniersburgwal 29, Amsterdam
    There are strong commonalities in human and non-human primate cognitive organisation. This similarity is the (inevitable) outcome of an adaptive economy principle governing the selection of actions and procedures beyond 'brute force' environmental arbitration and designed to secure the most powerful adaptations for the least investment in resource.

    For more information see the CSCA website at http://www.csca.uva.nl/.

  • 22 March 2004, Mathematical Principles of Fuzzy Logic, Vilem Novak (University of Ostrava)

    Speaker: Vilem Novak (University of Ostrava)
    Date and time: Monday 22 March 2004, 17:00-19:00
    Location: P.014

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=665, or contact either Jan van Eijck (Jan.van.Eijck at cwi.nl) or Benedikt Löwe (bloewe at science.uva.nl).

  • 19 March 2004, DIP Colloquium, Kris de Jaegher

    Speaker: Kris de Jaegher (Brussel)
    Title: Costly signaling conversations in the electronic mail game
    Date and time: Friday 19 March 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 19 March 2004, The Elegant Universe, dr. Brian Greene (Columbia Univerity)

    Speaker: dr. Brian Greene (Columbia Univerity)
    Date and time: Friday 19 March 2004, 20:00
    Location: Aula, Singel 411, Amsterdam

    The Institute for Theoretical Physics cordially invites you to attend the lecture 'The Elegant Universe' by Dr. Brian Greene (Columbia University). The lecture is about the String Theory and the search for the ultimate theory. Dr. Greene is the author of a book with the title 'The Elegant Universe' and he is frequently invited to give lectures.

    Registration: Please contact congres at uva.nl before 16 March next. Please state your name and adress and the free entrance ticket will be send to you.
    For more information, see http://www.science.uva.nl/research/itf/strings/green.html.

  • 17 March 2004, General Mathematics Colloquium, John Kuiper

    Speaker: John Kuiper (Utrecht)
    Title: Brouwer's road to intuitionism
    Date and time: Wednesday 17 March 2004, 11:15-12:15
    Location: Room P.014, Euclides building, Plantage Muidergracht 24, Amsterdam

    In the beginning of the twentieth century a new movement was added to the existing two that attempted to lay a solid foundation for the mathematical building. After Frege, Russell and Couturat, who viewed logic as the ultimate basis for mathematics, and Hilbert's formalist approach in which mathematics is just a manipulation with meaningless signs and symbols, Brouwer worked out earlier ideas by Poincaré and Borel: mathematics has an extra-logical content too.

    For Brouwer, the ultimate basis for all mathematics is the ur-intuition of `the move of time', that is, the experience of the fact that two not-coinciding mental events are connected by a time continuum. Departing from this ur-intuition, the whole of mathematics, hence including set theory and geometry, can be constructed. In is early years as an active mathematician (in his own terms: his `first intuitionistic period', between 1907 and, say, 1914; note that most of his time during those years was spent on topology) his constructivistic requirements were very strict: only that what is constructed by the individual mind (mathematics is essentially languageless) counts as a mathematical object. In this lecture we will work this out for the logical figure of the hypothetical judgement in a mathematical context, and we will see that, in hindsight, Brouwer went too far in his constructivism.

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

  • 16 March 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Luís Cruz-Filipe

    Speaker: Luís Cruz-Filipe (KUN)
    Title: Formalizing Constructive Mathematics in Type Theory
    Date and time: Tuesday 16 March 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

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

  • 15 March 2004, Maagdenhuis op maandag

    Speaker: Rens Bod
    Title: De unificatie van taal, beeld en muziek
    Date and time: Monday 15 March 2004, 17:30-18:00
    Location: Maagdenhuis, Spui 21, Amsterdam
    Costs: Free

    Taal, muziek en beeld lijken essentieel verschillend. Toch is er ook een opvallende overeenkomst. Bij het waarnemen van talige, muzikale en visuele stimuli vindt een structureringsproces plaats dat het best kan worden omschreven als een boom met vertakkingen. Dit doet de vraag rijzen of er een onderliggend model voor perceptie bestaat dat de waargenomen structuur kan voorspellen voor sensorische invoer in het algemeen - of deze nu talig, muzikaal of visueel is. Rens Bod, onderzoeker aan het Institute for Logic, Language and Computation (ILLC) van de UvA, zal deze vraag in zijn voordracht bevestigend beantwoorden.

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

  • 12 March 2004 (changed), DIP Colloquium, Gerlof Bouma

    Speaker: Gerlof Bouma (Groningen)
    Title: Pronoun Resolution in Optimality Theory
    Date and time: Friday 12 March 2004 (changed), 16:00-17:30
    Location: MFR (Room 001), Philosophy Department, Nw. Doelenstraat 15, Amsterdam

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

  • 12 March 2004, Language and Inference Technology (LIT) Seminar, Gianni Amati

    Speaker: Gianni Amati (Rome)
    Title: Parameter-free model and selective application of Query Expansion
    Date and time: Friday 12 March 2004, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

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

  • 12 March 2004, Colloquium on Mathematical Logic, Claire Kouwenhoven

    Speaker: Claire Kouwenhoven (Utrecht)
    Title: The algebraic set theory of the effective topos
    Date and time: Friday 12 March 2004, 16:00-17:00
    Location: Room K11, Wiskundegebouw, Budapestlaan 6, Utrecht (Bus 11 from Utrecht Central Station).

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

  • 11 March 2004, Logic Tea, Krister Segerberg

    Speaker: Krister Segerberg
    Title: The getting of knowledge or some remarks on epistemic logic
    Date and time: Thursday 11 March 2004, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 10-13 March 2004, IAS-8: The 8th Conference on Intelligent Autonomous Systems, The Grand Hotel, Amsterdam

    Newsitem added on 18 October 2003.

    The IAS conferences have been meeting places for researchers on intelligent systems that can directly sense and act in their own environment without demanding detailed supervision from humans. These systems are beginning to enter our daily life in ambient intelligence applications. Many new challenges are emerging to create systems that can operate and interact in human inhabited environments. The goal of the IAS-8 Conference is to exchange and stimulate research ideas about how to bring active, intelligent systems into our daily lives.

    For more information, see http://www.science.uva.nl/events/ias8/

  • 10 - 11 March 2004, Expert workshop "The State of the Art in Modal Logic"

    Date and time: 10 - 11 March 2004, 09:30-
    Location: Room P.017/P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    A group of leading researchers in Modal Logic will meet in Amsterdam, to discuss their contributions to the upcoming Handbook of Modal Logic. The Handbook, edited by Johan van Benthem, Patrick Blackburn and Frank Wolter, will provide an authoritative document concerning the scope and uses of modal logic today, while also creating new perspectives on most promising future research developments.

    10 March: room P.017, 10.00 - (coffee and tea are available at 09:30)
    11 March: room P.018, 09.30 - (coffee and tea area available at 09.00)

    For more detailed information about the Handbook, cf. http://www.csc.liv.ac.uk/~frank/MLHandbook If you are interested in attending some of the sessions, please contact Balder ten Cate <balder.tencate at uva.nl>.

  • 2 March 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jos Baeten

    Speaker: Jos Baeten (Eindhoven)
    Title: A brief history of process algebra
    Date and time: Tuesday 2 March 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

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

  • 2 March 2004, Colloquium on Mathematical Logic, Nicola Gambino

    Speaker: Nicola Gambino (Cambridge)
    Title: Wellfounded Trees, Fixpoints and Free Monads
    Date and time: Tuesday 2 March 2004, 17:00-18:00
    Location: Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 29 February - 5 March 2004, 9th Estonian Winter School in Computer Science, EWSCS'04, Palmse, Estonia

    Target group: PhD students in logic and theoretical computer science
    Newsitem added on 22 October 2003.

    This is the 9th edition of a regional-scope international winter school for (theoretical) computer science. Lecturers include S. Artemov (CUNY), R. Freivalds (U. Latvia), A. Jung (Birmingham), M. Naor (Weizmann) and M. Sudan (MIT / Radcliffe)

    The deadline for registration and submission of abstracts for student talks/posters is 16 Jan. 2004. For more information, a program and an online registration form, see http://www.cs.ioc.ee/yik/schools/win2004/.

  • 27-29 February 2004, 28th Penn Linguistics Colloquium (PLC28), University of Pennsylvania, Philadelphia, PA

    Speaker: Juliette Blevins (University of California, Berkeley)
    Costs: registration by 18 feb. $15 students/$20 non
    Newsitem added on 4 December 2003.

    The Penn Linguistics Colloquium is an annual conference organized by graduate students in the Department of Linguistics at the University of Pennsylvania. Papers on any topic in linguistics and associated fields are welcome.

    Invited speaker is Juliette Blevins, who will speak on "Structure-preserving sound change: How and why?"

    Deadline for submissions is December 8, 2003. For more information and an online submission form, see http://www.ling.upenn.edu/Events/PLC/ or e-mail plc28 at ling.upenn.edu.

  • 27 February 2004, DIP Colloquium, Henriette de Swart ()

    Speaker: Henriette de Swart (Canceled)
    Newsitem added on 10 December 2003.

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

  • 27 February 2004, Computing with LLI Seminar, David Ahn

    Speakers: David Ahn (Rochester and Amsterdam)
    Title: Domain restriction in adverbial quantification
    Date and time: Friday 27 February 2004, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

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

  • 26 February 2004, Logic Tea, Fabio Paglieri

    Speaker: Fabio Paglieri
    Title: AGM Belief Revision vs. Cognitive Models
    Date and time: Thursday 26 February 2004, 17:15-18:30
    Location: Room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).

  • 20 February 2004, Language and Inference Technology (LIT) Seminar, Bart Jacobs

    Speaker: Bart Jacobs (Nijmegen)
    Title: Formal Methods for Smart Cards: an experience report
    Date and time: Friday 20 February 2004, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

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

  • 19 February 2004, Logic Tea, Paul Harrenstein

    Speaker: Paul Harrenstein (Utrecht University)
    Title: Control and Preference in Propositional Logic
    Date and time: Thursday 19 February 2004, 17:15-18:30
    Location: Room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).

  • 13 February 2004, Colloquium on Mathematical Logic, Klaas Pieter Hart

    Speaker: Klaas Pieter Hart (Delft)
    Title: Embeddability of the measure algebra
    Date and time: Friday 13 February 2004, 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

  • 13 February 2004, DIP Colloquium, Jonathan Ginzburg

    Speaker: Jonathan Ginzburg
    Title: The Simplest theory of Interrogative Meaning
    Date and time: Friday 13 February 2004, 16:30-17:30
    Location: Koffiehuis KHL, Oostelijke Handelskade 44, Amsterdam

    On Friday February 13, Jonathan Ginzburg will give a DIP talk at a workshop on Amsterdam research into questions which is held February 13/14. Please notice the unusual time and location.

    Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl. For abstracts and more information, see http://www.illc.uva.nl/dip/.

  • 13-14 February 2004, Questions Workshop in preparation of the Crispi volume

    Location: Koffiehuis KHL, Oostelijke Handelskade 44, Amsterdam
    Newsitem added on 5 February 2004.

    Those who are interested in attending the workshop are kindly asked to (fee-freely) register with: P.J.E.Dekker@uva.nl.

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

  • 13 February 2004, Computing with LLI Seminar, Börkur Sigurbjörnsson

    Speaker: Börkur Sigurbjörnsson (LIT, Amsterdam)
    Title: The Importance of Element Length in XML Retrieval
    Date and time: Friday 13 February 2004, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

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

  • 9 February 2004, CWI Talk, Chih-Jen Lin, National Taiwan University

    Speaker: Chih-Jen Lin, National Taiwan University
    Title: Support Vector Machines for Data Classification
    Date and time: 9 February 2004, 14:00-15:00
    Location: Room Z 009, CWI, Kruislaan 413, 1098 SJ Amsterdam

    Support vector machine (SVM) is a promising technique for data classification and regression. In this talk the speaker will 1) introduce its basic concepts, 2) discuss its current status, and 3) present an example using real-world data sets. Finally, the speaker would like to discuss common mistakes made by users when applying SVM.

    For more information, contact Rudi Cilibrasi (020-5924232, Rudi.Cilibrasi at cwi.nl) or Paul Vitanyi (Paul.Vitanyi at cwi.nl).

  • 6 February 2004, Cognitie Publieksdag "De Toekomst van het Leren", RAI Congrescentrum, Amsterdam

    Costs: EUR 10,- including lunch ( EUR 5,- for students )
    Newsitem added on 20 January 2004.

    Leren in je slaap. Hersentransplantaties. Een leerpil. Geheugenchips waarmee we informatie direct naar de hersenen kunnen downloaden. Toekomstmuziek? Of binnenkort realiteit? Op de Publieksdag "De Toekomst van het Leren" laten vooraanstaande wetenschappers hun licht schijnen op de mogelijkheden én de grenzen van hun vakgebied. Daarnaast kunt u op de Demonstratiemarkt aan de hand van experimenten, video's, proeven en simulaties zelf ervaren welke verrassende dingen er soms gebeuren als we iets leren, onthouden of zien. Een spetterende dag voor iedereen die geïnteresseerd is in hoe wij leren. Ook voor studenten zeer de moeite waard!

    Er zijn slechts een beperkt aantal kaarten beschikbaar. Vol = vol! Voor meer informatie, zie http://www.hersenenenleren.nl/

  • 6 February 2004, Symposium 'Philosophy of Constructive Type Theory', Room 148, WSD-Building 1175, Leiden University

    Newsitem added on 19 January 2004.

    11.00-12.30: Per Martin-Löf (Stockholm), 'Sets, Types and Categories'
    14.00-15.00: B. G. Sundholm( Leiden), 'Three Key Features of Martin-Löf's Philosophy of Logic: Content, Judgement, First-Person Perspective?
    15.00-16.00: A. Ranta (Gothenburg), 'Language: A Type-Theoretical View'
    16.30-17.30: M. Bourdeau (MSH, Paris), 'Categories, Types, and Constructive Reference'
    17.30-18.30: Guido Löhrer (Bern), 'On Ends and Means - Constructive Type Theory as a Guide for Historical and Systematical Interpretation'.

  • 5-7 February 2004, Philosophical Logic Meets Mathematical Logic: From Classical to Quantum

    Location: Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium
    Newsitem added on 19 December 2003.

    Broadly the aim of this workshop is to explore the connections between quantum and other non-classical logics such as modal and dynamic logics, linear logic and multivalued logics. It is our hope to develop closer connections between these areas of research. 

    Invited speakers at this workshop: S. Abramsky, A. Baltag, B. Coecke, D. Foulis, P. Ptak and A. Wilce.

    Deadline for submitting abstracts is January 6, 2004. For more information & the call for contributed talks, see: http://www.vub.ac.be/CLWF/PML-2004

  • 3 February 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Georgi Jojgov

    Speaker: Georgi Jojgov (Eindhoven)
    Title: A Calculus of Tactics and Its Operational Semantics
    Date and time: Tuesday 3 February 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

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

  • 30 January 2004, DIP Colloquium, Regine Eckardt

    Speaker: Regine Eckardt (Berlin)
    Title: Particles in Questions
    Date and time: Friday 30 January 2004, 16:00-17:30
    Location: MFR (Room 001), Philosophy Department, Nw. Doelenstraat 15, Amsterdam

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

  • 30 January 2004, Colloquium on Mathematical Logic, Jan Wolenski

    Speaker: Jan Wolenski (Kraków)
    Title: The status of T-sentences
    Date and time: Friday 30 January 2004, 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

  • 29 January 2004, Logic Tea, Yoav Seginer, ILLC

    Speaker: Yoav Seginer, ILLC
    Title: Learning Theory and Natural Language
    Date and time: Thursday 29 January 2004, 17:15-18:30
    Location: Room P.017, Euclides building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Hartmut Fitz (hfitz at hum.uva.nl).

  • 28 January 2004, The Fifth Amsterdam-Utrecht Workshop: Psycholinguistics

    Location: Room 004, Bungehuis, Spuistraat 210, Amsterdam
    Newsitem added on 20 November 2003.

    This is already the fifth workshop in the series of `Amsterdam - Utrecht workshops', that were initiated to further improve the interaction between the ILLC and OTS. For this occasion, the topic we have decided on is psycholinguistics. The program consists of talks on various subjects in this field such as: acquisition of tense, ellipsis processing, autism and an afternoon session on aphasia. Participation is free, lunch will be arranged for and everyone is welcome!

    For more information, see http://www.geocities.com/rmastop/AU-workshop.html. Information about past meetings is available at http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html

  • 24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic

    Newsitem added on 21 July 2003.

    SOFSEM (SOFtware SEMinar) is an annual five-day international conference devoted to the theory and practice of Computer Science. Its aim is to foster co-operation among professionals from academia and industry working in various areas of Computer Science. The program consists of series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.

    For more information, see the conference website: http://www.sofsem.cz/

  • 23 January 2004, Colloquium on Mathematical Logic, Sergei Artemov

    Speaker: Sergei Artemov (New York)
    Title: Reflexive Combinatory Logic
    Date and time: Friday 23 January 2004, 16:00-17:00
    Location: (Changed!) Opzomerkamer, Academiegebouw, Domplein 29, Utrecht

    We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.

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

  • 20 January 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Peter Grünwald

    Speaker: Peter Grünwald (CWI, Eurandom)
    Title: Shannon information and Kolmogorov Complexity
    Date and time: Tuesday 20 January 2004, 14:15-16:00
    Location: TU Eindhoven, HG 6.96

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

  • 20 January 2004, Tf Lunch meetings, William W. Tait

    Speaker: William W. Tait
    Title: Are there intuitionistic counterexamples to classical mathematical logic?
    Date and time: January 20, 2004, 11:00-13:00
    Location: BG 036, Bestuursgebouw, Uithof, Utrecht

    For more information, see http://www.phil.uu.nl/~jjoosten/tflunch

  • 17-18 January 2004, Annual conference of the Australasian Association of Logic(AAL 2004) , Dunedin, New Zealand

    Costs: NZ$50
    Newsitem added on 24 July 2003.

    The annual conference of the Australasian Association of Logic will be held in Dunedin, University of Otago, on 17 and 18 January, directly prior to the Australasian Computer Science Week (ACSW 2004).

    For more information, see http://www.cs.otago.ac.nz/aal/

  • 9 January 2004, DIP Colloquium, Laura Alonso i Alemany

    Speaker: Laura Alonso i Alemany (University of Barcelona)
    Title: A feature-based characterisation of discourse markers for shallow NLP
    Date and time: Friday 9 January 2004, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 8 January 2004, Logic Tea, Aline Honingh, ILLC

    Speaker: Aline Honingh, ILLC
    Title: Just Intonation in Music: a Group-Theoretic Approach
    Date and time: Thursday 8 January 2004, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/. For more information, please contact Merlijn Sevenster (sevenstr at science.uva.nl) or Hartmut Fitz (hfitz at hum.uva.nl).

  • 7 January 2004, CSCA Lecture, Roelien Bastiaanse

    Speaker: Roelien Bastiaanse
    Title: The role of the verb in sentence production in Dutch
    Date and time: Wednesday 7 January 2004, 16:00-17:15
    Location: Universiteitsmuseum De Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

    This lecture elaborates on how neurolinguistic research on aphasic patients, children with and without language impairments and non-brain-damaged speakers can serve to test hypotheses on the grammatical structure of the Dutch language.

    For more information see the CSCA website at http://www.csca.uva.nl/.

  • Series of Synthese, Kluwer

    Title: New Journal: Knowledge, Rationality and Action
    Newsitem added on 30 December 2003.

    The aim of the section is to provide a platform for researchers in a formal approach to the process comprising rational behaviour: from gathering and representing information, via reasoning and decision making up to acting.

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

Calls for Papers

  • JLLIC Special Issue on Guarded Logics and Decidable Fragments (deadline: 1 December 2004)

    Newsitem added on 2 September 2004.

    It has been almost ten years since Andreka, van Benthem and Nemeti proved the decidability of the guarded fragment of first order logic. Given how expressive guarded quantification is, this result gave logicians a powerful tool for proving the decidability of many formalisms arising in computer science applications, and has generated extensive research into guarded quantification in logics other than first order and into various generalisations of guarded quantification. A wealth of new proof techniques has been developed as a result of this research. This special issue, based on a workshop on guarded fragments held at ESSLLI 2004 in Nancy, aims to reflect new developments in the search for decidable fragments and their applications.

    Deadline for submissions is December 1st, 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=729 or contact nza at cs.nott.ac.uk.

  • Journal of Applied Logic Special Issue on Methods for Modalities (deadline: 31 October 2004)

    Newsitem added on 9 September 2004.

    The workshop `Methods for Modalities' (M4M) organized every two years aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, hybrid logic, temporal logic, etc.

    During 1993 M4M-3, the third instance of the workshop was organized in Nancy, France. We have been invited by the Journal of Applied Logic to prepare a Special Issue containing selected publications from the workshop, in addition to other articles that might fit within the topics of interest of M4M.

    Deadline for submissions is October 31th, 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=741 or contact areces at loria.fr.

  • 26 March - 4 April 2005, 1st World Congress and School on Universal Logic (UNILOG-2005) , Montreux - Switzerland (deadline: 30 October 2004)

    Newsitem added on 9 September 2004.

    Many conferences have been organized on specific techniques (combination of logics, labelled deductive systems, tableaux, etc.) or on some specific classes of logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.). The idea of this event is to put together these various activities in order to promote interaction and to provide access of these different fields to the non-specialist. The school is intended for advanced students and young researchers.

    Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg.

    Contributed papers for the congress can be submitted before October 30, 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=742 or the website at http://www.uni-log.org.

  • 08-19 August 2005, ESSLLI-2005: 17th European Summer School in Logic, Language and Information, Edinburgh, UK (deadline: 15 July 2004)

    Newsitem added on 29 April 2004.

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

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

    The ESSLLI-2005 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 17-th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the fields of language & computation, language & logic, or logic & computation. Submissions should be submitted before July 15th, 2004 at http://www.esslli.org/2005/submission.html.

    For more information, see the full Call for Proposals at http://www.folli.uva.nl/2005/cfp.txt or the ESSLLI website at http://www.esslli.org/.

  • 9-20 August, 2004, ESSLLI-2004 Student Session, Nancy (France) (deadline: 1 March 2004)

    Newsitem added on 13 January 2004.

    This ninth ESSLLI Student Session will provide, like the previous 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, undergraduates (before completion of the Master Thesis) as well as postgraduates (before completion of the PhD degree). Student authors are invited to submit a full paper, not to exceed 7 pages of length exclusive of references, by March 1, 2004 (extended deadline).

    For more information, see the ESSLLI'04 student session website at http://lingua.fil.ub.es/~lalonso/stusESSLLI04/.

  • New Journal "Knowledge, Rationality and Action" (deadline: 13 February 2004)

    Newsitem added on 13 October 2003.

    Kluwer announces a new section of the journal "Synthese", called "Knowledge, Rationality and Action". As of 2004, this section will appear as two separate issues. The aim of the section is to provide a platform for researchers in a formal approach to the process comprising rational behaviour: from gathering and representing information, via reasoning and decision making up to acting.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=537 or http://www.csc.liv.ac.uk/~wiebe/ or refer to Wiebe van der Hoek (ed in Chief) (wiebe at csc.liv.ac.uk)

MoL and PhD defenses

  • 15 December 2004, PhD defense, Hedde Zeijlstra

    Title: Sentential Negation & Negative Concord
    Date and time: Wednesday 15 December 2004, 10:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Hans Bennis, Jeroen Groenendijk
    Copromotores: Hans den Besten, syntax, semantics

    For more information, please contact hedde.zeijlstra at uni-tuebingen.de

  • 7 December 2004, PhD defense, Boudewijn de Bruin

    Title: Explaining Games. On the Logic of Game Theoretic Explanations
    Date and time: Tuesday 7 December 2004, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Johan van Benthem, Martin Stokhof

    For more information, please contact debruin at science.uva.nl

  • 3 december 2004, PhD defense, Sebastian Brand

    Title: Rule-based Constraint Propagation: Theory and Applications
    Date and time: 3 december 2004, 14:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof. Dr K. Apt
  • 26 November 2004, PhD defense, Joost J. Joosten

    Title: Interpretability formalized
    Date and time: Friday 26 November 2004, 14:30
    Location: Academiegebouw, Domplein 29, Utrecht
    Promotores: Prof. dr. Albert Visser and Prof. dr. Dick de Jongh
    Copromotor: dr. Lev D. Beklemishev

    For more information, see http://www.phil.uu.nl/~jjoosten/

  • 7 October 2004, Master of Logic defense, Ji Ruan

    Title: Exploring the Update Universe
    Date and time: Thursday 7 October 2004, 10:30
    Location: Room JK 391, Van der Waals-Zeeman lab, Valckenierstraat 65, Amsterdam
    Supervisors: Johan van Benthem and Jan van Eijck

    For more information, see http://student.science.uva.nl/~jruan/defense.html or contact T.Kassenaar at uva.nl

  • 6 October 2004, Master of Logic defense, Spencer Gerhardt

    Title: A Construction Method for Modal Logics of Space.
    Date and time: Wednesday 6 October 2004, 11:30
    Location: Room P-015b, Plantage Muidergracht 24, Amsterdam
    Supervisors: Johan van Benthem and Dick de Jongh

    For more information, please contact T.Kassenaar at uva.nl

  • 28 September 2004, Master of Logic defense, Thuy Linh Nguyen

    Title: Rank Consistent Estimation: The DOP Case.
    Date and time: Tuesday 28 September 2004, 15:00
    Location: Room P-3.27, Plantage Muidergracht 24, Amsterdam
    Supervisors: Khalil Sima'an and Dick de Jongh

    For more information, please contact T.Kassenaar at uva.nl

  • 17 September 2004, Master of Logic defense, Piotr Labenz

    Title: Event-calculus semantics of Polish aspect
    Date and time: Friday 17 September 2004, 13:00
    Location: room 001 at Philosophy, Vendelstraat 8, Amsterdam
    Supervisor: Michiel van Lambalgen

    For more information, please contact T.Kassenaar at uva.nl

  • 30 August 2004, Master of Logic defense, Fenrong Liu

    Title: Dynamic Variations: Update and Revision for Diverse Agents
    Date and time: 30 August 2004, 10:30
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: J. van Benthem

    For more information, please contact collins at science.uva.nl

  • 25 May 2004, Master of Logic defense, Giosuè Baggio

    Title: Two ERP studies on Dutch temporal semantics
    Date and time: Tuesday 25 May 2004, 16:30
    Location: Room P.327, Euclides, Plantage Muidergracht 24, Amsterdam
    Promotor: M. van Lambalgen
    Copromotor: P. Hagoort

    For more information, please contact T.Kassenaar at uva.nl

  • 18 May 2004, Master of Logic defense, Andreas Zollmann

    Title: A Consistent Estimator for the Data-Oriented Parsing Model
    Date and time: Tuesday 18 May 2004, 14:00
    Location: Room P.327, Euclides, Plantage Muidergracht 24, Amsterdam
    Promotor: Khalil Sima'an
    Copromotor: Detlef Prescher

    For more information, please contact T.Kassenaar at uva.nl

  • 16 March 2004, Master of Logic defense, Be Birchall

    Title: Duality for Distributive Modal Algebras with an application on subdirect irreducibility
    Date and time: Tuesday 16 March 2004, 16:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Yde Venema
    Mentor: Dick de Jongh

    For more information, please contact collins at science.uva.nl

  • 11 February 2004, Master of Logic defense, Katrin Schulz

    Date and time: Wednesday 11 February 2004, 12:00-13:00

Projects and Awards

  • 2004 Bakkenist Jong Talent Afstudeerprijs Informatica

    Newsitem added on 15 November 2004.

    The 2004 Bakkenist Jong Talent Afstudeerprijs (successor to the CIVI afstudeerprijs - a reward of 10000 Euro) has been awarded to our master student mrs. S.D.C. Wehner, who graduated last July on a master thesis on the subject of Quantum Computing. The award ceremony will be held on Thursday 25 November in the building of the Koninklijke Hollandse Maatschapij voor Wetenschappen te Haarlem.

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

  • E.W. Beth Dissertation Prize 2004: John Hale

    Newsitem added on 1 August 2004.

    The E.W. Beth Dissertation Prize 2004 has been awarded to John Hale (Michigan State University) for the dissertation ``Grammar, Uncertainty and Sentence Processing''. An award ceremony will take place during ESSLLI 04 in Nancy, on Thursday 12 August at 20:30 hrs.

    The abstract can be found at: http://www.cs.nott.ac.uk/~nza/beth03. For more information, see the FoLLI site at http://www.folli.org/, or the ESSLLI site at http://esslli2004.loria.fr/

  • NWO project proposal by Rens Bod has been granted

    Newsitem added on 1 July 2004.

    NWO has granted a project proposal by Rens Bod in the Open Competition (NWO Exact). The project will deal with modeling language acquisition and language evolution with the DOP model, and will last three years. Jelle Zuidema (from the University of Edinburgh) will start on August 1st as a postdoc in this project.

    For more information, please contact rens at science.uva.nl

  • DAAD Grant for Brian Semmes "Rationality in Infinite Games"

    Date: May to August 2004
    Supervisor: Dr B. Löwe

    Brian Semmes has received a DAAD (German Academic Exchange Service) grant (A/04/33952) for a extended visit at the RhFWU Bonn (Germany), for a research project entitled "Rationality in Infinite Games" supervised by Benedikt Löwe and Peter Koepke (Bonn).

    For more information, please contact Brian Semmes <bsemmes at science.uva.nl> or Benedikt Löwe <bloewe at science.uva.nl>.

  • NWO has granted 2 PhD positions within the MOZAIEK competition

    Newsitem added on 31 August 2004.

    The Netherlands Organization for Scientific Research (NWO) awards Reut Tsarfati and Loredana Afanasiev with a grant for a 4 year Ph.D position within the MOZAIEK competition. The mozaiek programme is designed to attract more ethnic minority graduates into academic research.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=724 or http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK?Opendocument

  • NWO Vidi Grant for project Robert van Rooij

    Newsitem added on 31 August 2004.

    NWO has awarded Robert van Rooij the prestigious VIDI subsidy for his project "The Economics of Language: Language Use and the Evolution of Linguistic Conventions".

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=725 or contact R.a.m.vanRooij at uva.nl

  • Arthur Elsenaar and Remko Scha Win the 2003 Leonardo Award for Excellence

    Newsitem added on 8 March 2004.

    Arthur Elsenaar and Remko Scha's article "Electric Body Manipulation as Performance Art: A Historical Perspective," published in Leonardo Music Journal 12, has been named the winner of the 2003 Leonardo Award for Excellence.

    lsenaar and Scha's winning article traces the historical development of using electrically manipulated human bodies for theatrical display. Addressing the controversial aspects of this sometimes destructive art form, they extend their inquiry to investigate the implications of electrical executions. More often, they note the stimulating effects of electricity upon the body, studying Transcutaneous Electrical Nerve Stimulation as implemented in the 19th Century by Duchenne and continued in practice today by artists such as Stelarc and co-author Elsenaar. Citing technological advances that enable interactive nerve stimulation, Elsenaar and Scha point toward a future of computer-generated dance and theater performances.

    The Leonardo Award for Excellence was originally established by chemist and inventor Myron Coler and Leonardo publisher Robert Maxwell. The 2003 Leonardo Award for Excellence is co-sponsored by the Technoculture Studies Department and the Art Department at the University of California, Davis, where it will be presented at a prize award lecture on campus during the Spring 2004 session.

    For more information, including downloadable versions of the winning article and three honorable mentions, see http://mitpress2.mit.edu/e-journals/Leonardo/isast/awards.html
  • MoL students progress to next NWO MOZAIEK selection round

    Newsitem added on 26 February 2004.

    We are pleased to announce that three proposals by ILLC master of logic students for the NWO MOZAIEK program have been short-listed (out of 194 submitted proposals only 40 were short-listed). After a second round 18-20 from these 40 will be awarded with a PhD position.

    Candidate: Loredana Afanasiev
    Supervisors: Paul Vitanyi and Maarten de Rijke and Maarten Marx

    Candidate: Reut Tsarfaty (Master of Logic)
    Supervisors: Remko Scha and Khalil Sima'an

    Candidate: Fenrong Liu (Master of Logic)
    Supervisors: Johan van Benthem

    For more information, please contact marx at science.uva.nl

  • PODS 2004 Awards for LIT Member

    Newsitem added on 26 February 2004.

    At PODS 2004, the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, the Best Paper Award and the Best Newcomer Award went to

    XCPath, the first order complete XPath dialect
    Maarten Marx

    Many congratulations to LIT member Maarten Marx on this double success!

    PODS is a very competetive database event; in 2002 the acceptance rate was 22% and in 2003 <20%. For more information, see http://www.sciences.univ-nantes.fr/irin/SIGMODPODS04/

  • Robert van Rooij received the 2004 Hendrik Casimir - Karl Ziegler Research Stipendium

    Newsitem added on 15 February 2004.

    We are happy to announce that Robert van Rooij received the 2004 Hendrik Casimir - Karl Ziegler Research Stipendium awarded by the KNAW. This will enable him to spend some time at the Institut fuer Kommunikationsforschung und Phonetik (IPK) in Bonn (Germany) to enhance the already existing cooperation between the ILLC and the interfacultary research group `Wissensformate: Information, Representation, Kognition' (Formats of Knowledge) in Bonn.

  • NWO Vernieuwingsimpuls 2003 awards for ILLC researchers

    Newsitem added on 4 January 2004.

    NWO has announced the names of the 2003 award winners of their Vernieuwingsimpuls program. We are happy to inform you that two ILLC researchers were among them:

    • Professor Harry Buhrman (ILLC/CWI) has been awarded one of the 26 prestigious VICI grants for his project on "Quantum Information Processing"
    • Dr Maria Aloni has been awarded a VENI grant, for her research on "Semantic Structure and Dynamics in Natural Language Interpretation"
  • NWO-DFG Bilateral Project between Amsterdam and Bonn "Determinacy and Combinatorics"

    Supervisor: Benedikt Löwe, Johan van Benthem (Amsterdam), Peter Koepke (Bonn)
    Newsitem added on 13 December 2003.

    The DFG research project "Determinacy and Combinatorics" (originally situated in Bonn) was expanded into an international NWO-DFG Bilateral Project (DN 61-532) with additional NWO travel money for collaboration between Amsterdam and Bonn on research topics pertaining to infinite games and their applications in infinitary combinatorics.

    The project supervisors are Benedikt Löwe and Johan van Benthem in Amsterdam and Peter Koepke in Bonn. The successful expansion of this project into an official international research collaboration is the first success of the series of Amsterdam-Bonn events between the ILLC and the interest group Logic in Bonn (LiB)

    For more information, see the project page at http://www.math.uni-bonn.de/people/logic/dfg/DK.html.

  • LIT shines at recent retrieval evaluation campaigns

    Newsitem added on 25 November 2003.

    At two recent campaigns aimed at evaluating search engines on a variety of tasks, the Language & Inference Technology (LIT) group performed very well. Last week, LIT obtained a number three position on the Topic Distillation task for web retrieval at the 2003 edition of the Text REtrieval Conference (TREC), held annually at the National Institute for Standards and Technology (NIST), Washington. In addition, very competitive scores were obtained by LIT in both the Question Answering and Robust track.

    Topping off an already very rewarding week, results coming in from the INitiative for the Evaluation of XML Retrieval (INEX), towards the end of last week showed that LIT's submissions were top ranking. More precisely, the LIT submissions for the "content only" task (finding relevant XML elements for a keyword query) ranked 1, 2, and 3 (out of a total of 58 submitted runs). And LIT's submissions for the "content and structure" task (finding relevant elements in XML documents where the elements have to satisfy additional structural constraints) ranked 1, 2, and 5 (out of 38 submitted runs).

    To find out more about LIT's activities, browse to http://lit.science.uva.nl/.

Funding, Grants and Competitions

  • Keetje Hodshon Award 2005

    Target group: For Philosophical research in the field of Linguistics
    Newsitem added on 30 September 2004.

    The Koninklijke Hollandsche Maatschappij der Wetenschappen announces that the J.C. Ruigrok Stichting will award a prize of € 12.000,- for Philosophical research. This year this will be in the field of Linguistics.

    The award is meant as an incouragement for researches who took their doctoral degree in 2000 or after. It will be awarded to only one researcher. He or she should be Dutch or should have done most of his/her research with a Dutch Institute.

    Professors, and other experienced scientists in this area, are requested to submit recommendations for awarding the prize. These recommendations need to be signed by two professors of a Dutch institute and must be with the Koninklijke Hollandsche Maatschappij der Wetenschappen before January 1, 2005.

    For more information and details on the proper way to submit a recommendation for a suitable candidate please contact Ms. Tanja Kassenaar at T.Kassenaar at uva.nl or 020-5256051.

  • Descartes Prize 2004

    Newsitem added on 29 January 2004.

    The Descartes Prize: the European Prize for Outstanding Scientific and Technological Achievements Resulting from European Collaborative Research.

    Named in honour of one of Europe's greatest figures of learning, René Descartes: mathematician, natural scientist, and philosopher, this prize is awarded to research teams who have obtained exceptional results from European collaborative research. The Descartes Prize aims to raise awareness of the scientific achievements of European scientists, highlighting the benefits of working together and the importance of the results achieved. The prize is open to all fields of scientific endeavour.

    Deadline for submissions is 11 May 2004. For more information, see http://www.cordis.lu/science-society/descartes/home.html or http://fp6.cordis.lu/fp6/call_details.cfm?CALL_ID=124

  • NWO Call for Application-oriented Cognitive Research Projects

    Date: Continuous Submission from February 1, 2004

    The Special Programme for the Cognitive Sciences combines forces with the Technology Foundation STW and invites strong groups working in different domains of the cognitive sciences to submit proposals for application-oriented cognitive research projects with clear innovative qualities. For this Call for Application-oriented Cognitive Research Projects, a budget with a maximum of 2.25 million euro is available.

    Proposals must be submitted electronically to NWO (cognitie at nwo.nl). Proposals should be written in accordance with the Guidelines for the STW Open Technology Programme. In addition to these guidelines, it is compulsory to write a supplement in which fulfilment of the specific criteria as formulated by the programme committee should be explained. Completion of the assessment procedure will take approximately 8 months. It is possible to submit proposals from February, 1, 2004, until the available budget for the application-oriented cognitive research proposals is exhausted.

    For further information on the NWO Special Programme for the Cognitive Sciences, please email cognitie at nwo.nl or visit the NWO Cognitie website at http://www.nwo.nl/cognitie/. For further information on the STW OTP procedure, please contact: Mw. Dipl. Phys. C.N.M. Jansz 030 - 6001 290 margriet at stw.nl or Dr. R.D.T. Janssen 030 - 6001 313 rik at stw.nl

  • Doorstart COST: European Co-operation in the field of Scientific and Technical Research

    Newsitem added on 20 January 2004.

    Founded in 1971, COST is an intergovernmental framework for European Co-operation in the field of Scientific and Technical Research, allowing the co-ordination of nationally funded research (NWO) on a European level. COST Actions cover basic and pre-competitive research as well as activities of public utility and have the character of coordination/network actions.

    COST has clearly shown its strength in non-competitive research, in pre-normative co-operation and in solving environmental and cross-border problems and problems of public utility. It has been successfully used to maximize European synergy and added value in research co-operation and it is a useful tool to further European integration, in particular concerning Central and Eastern European countries.

    Deadline: continuous

    For more information, see http://cost.cordis.lu/src/home.cfm

  • NWO schrijfsubsidie voor KP6

    Newsitem added on 18 January 2004.

    The NWO has once again made available subsidies for preparing KP6-applications. Deadlines are June 1st, September 1st and December 1st 2004. Be advised that the criteria have changed slightly since last year.

    For more information (in Dutch), see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5G3MMM?Opendocument

Open Positions at ILLC

  • Vacancy for assistant professor at ILLC

    Newsitem added on 16 September 2004.

    Within the ILLC there is a vacancy for an Assistant Professor (Universitair docent) in Computational Logic. Application deadline: October 15.

    Candidates from all areas on the borderline of logic and computer science will be considered. For example, both specialists in algorithmics, and researchers in logic programming, automated theorem proving, or computational semantics are invited to apply. The candidate is expected to open up a new research line and to acquire external funds for it.

    Teaching duties include undergraduate teaching in the bachelor program of artificial intelligence, where the course in logic programming is one of the main responsibilities. At the master level teaching duties will depend on the research interests of the succesful applicant.

    The closing date for application is 15 October 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=754 or contact Prof. dr. F. Veltman at f.veltman at uva.nl.

  • PhD and Postdoc positions at Department of Philosophy

    Newsitem added on 8 March 2004.

    The Department of Philosophy, UvA, has several PhD positions available, of which one is at the Institute for Logic, Language and Computation. Deadline for applications: April 1st, 2004. Applications should be accompanied by a research proposal, curriculum vitae, and grade lists.

    For more information, see http://www.uva.nl/actueel/vacatures.cfm or contact Prof. Maarten Stokhof at m.j.b.stokhof at uva.nl

Open Positions, General

  • Vacancies at the University of Twente

    Newsitem added on 19 September 2004.

    At the Distributed and Embedded Systems group of the University of Twente we have a number of vacancies at PhD and Post-Doc level. We are also looking for candidates with a background in mathematics or computational logic who are interested in security in general and in one of the following three topics in particular:

    • formal verification of protocols
    • distributed trust management
    • (languages for) privacy protection

    For more information, see http://dies.cs.utwente.nl/vacancies/, http://wwwhome.cs.utwente.nl/~etalle/ and http://www.ctit.utwente.nl/vacancies/.

  • Ubbo Emmius PhD Scholarships

    Location: Groningen
    Newsitem added on 4 November 2004.

    Two ``Ubbo Emmius'' scholarships are being offered by the Faculty of Philosophy in Groningen, the Netherlands, to non-Dutch students who wish to work for a Ph.D. in philosophy. Deadline for applications is December 13th, 2004.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=791 or http://www.rug.nl/filosofie/vacatures/wetenschappelijk/faculteit/, or contact bloewe at science.uva.nl

  • European Master in Language and Communication Technologies

    Newsitem added on 8 July 2004.

    The Faculty of Computer Science at the Free University of Bozen-Bolzano, Italy, and the Department of Computational Linguistics and Phonetics (CoLi) of Saarland University, Germany, offer a distributed European Master in Language and Communication Technologies, as part of their individual Master of Science Programmes in Computer Science (Laurea Specialistica in Informatica) and Language Science and Technology (M.Sc.), respectively. Students of the European Master enrol in one of the two universities and are required to spend at least one semester at the other university; both universities adopt the ECTS credit system. In the context of the European Master Programme the Free University of Bozen-Bolzano co-operates with ITC-irst of Trento, while the Saarland University cooperates with the German Centre for Artificial Intelligence (DFKI); these centres are connected by more than 10 years of close partnership.

    Human communication is at the heart of the information society and, in a richly multilingual area such as the European Union, full participation requires multilingual facilities for creating, exchanging and accessing information across language borders, throughout Europe and beyond. During the last few years, Language and Communication Technologies have seen a rapid increase in development at both research and industrial levels due to the fast growth of the Internet, of speech-based technologies, and the success of mobile communication. This has caused an acute need for continuous advancements in multilingual human language processing, cross-lingual information access, and multimodal human computer interaction. New expertise, skills and professional profiles are needed which can answer the growing requirements of our societies in the Human Language and Communication Technologies area.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=715 or http://www.inf.unibz.it/msc/

  • PhD Studentship in Logic and Computation, Manchester Metropolitan University, deadline June 18th

    Newsitem added on 8 June 2004.

    The Department of Computing and Mathematics has one, three year, PhD studentship available in Logic and Computation starting in September/October 2004. The project is focused on investigation of logical consequence in non-standard logics, originating in AI and Computer Science. The prime focus of the research will be logical inference in modal intransitive and multi-modal logics. The studentship will be supervised by Dr.Vladimir Rybakov.

    The closing date for applications is Friday the 18th of June 2004. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=707, or contact marjanv at science.uva.nl or V.Rybakov at mmu.ac.uk.

  • Postions in Philosophy, Politics and Economics

    Location: University of Groningen
    Newsitem added on 11 March 2004.

    The research programme "Modelling Freedom: Formal Analysis and Normative Philosophy", carried out at the University of Groningen in the Netherlands, aims to contribute to the further explication and understanding of concepts of freedom by engendering an interaction between philosophical and rational choice approaches to freedom. The programme covers a wide spectrum of issues, ranging from the conceptual analysis of freedom to significant contemporary social and political applications.

    The research programme has in total five openings in the area of philosophy, politics and economics: three full-time PhD positions, and two full-time postdoctoral positions.

    (Extended) closing date for application: 14 April 2004. Further details about the vacancies, as well as information about how to apply, can be found at http://www.rug.nl/corporate/vacatures/vacatureInternEngelse or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=659. More information on the research program can be found at http://www.philos.rug.nl/~vanhees/vici.

  • PhD and Postdoc positions at Department of Philosophy

    Newsitem added on 8 March 2004.

    The Department of Philosophy, UvA, has several PhD positions available, of which one is at the Institute for Logic, Language and Computation. Deadline for applications: April 1st, 2004. Applications should be accompanied by a research proposal, curriculum vitae, and grade lists.

    For more information, see http://www.uva.nl/actueel/vacatures.cfm or contact Prof. Maarten Stokhof at m.j.b.stokhof at uva.nl

  • Postdoctoral Research Fellowship at Boole Centre for Research in Informatics (University College Cork, Ireland)

    Newsitem added on 18 December 2003.

    A PostDoctoral Research Fellowship will shortly become available in the Boole Centre for Research in Informatics at University College Cork. It will be tenable from March, 2004 onwards for a period of up to two years. The fellowship is being offered in an area related to the Theory of Computation/Mathematical Foundations of Computation.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=591 or contact a.seda at ucc.ie

  • Open Position for Temporary Lecturer in Philosophy at Reading

    Location: University of Reading, UK
    Newsitem added on 13 November 2003.

    Applications are invited for a Temporary Lectureship in the Department of Philosophy, from 1 January 2004 for one year. The successful applicant will be capable of teaching courses at undergraduate level in Theory of Knowledge (second year course), and Wittgenstein (earlier and later) and Philosophy of Language (both third year courses).

    The position is a Lecturer Grade A position, £22,191 per annum (pay award pending) Full-time, Fixed-term for 1 year.
    Closing date for applications 28 November 2003. It is anticipated that interviews will take place between 8 and 12 December 2003.

    For more information, see http://www.reading.ac.uk/Jobs (Ref: AC0349).

  • Open Researcher Level B position at National ICT Australia: Knowledge Representation and Reasoning

    Newsitem added on 9 February 2004.

    National ICT Australia Limited (NICTA) invites applications from highly motivated researchers for appointment as Researchers (Level B). The positions are to work within the Knowledge Representation and Reasoning Program (KRR) in traditional areas of knowledge representation for a fixed term period of two to three years. Preference will be given to applicants with a strong background in logic. Research conducted in the KRR program includes, but is not limited to, the following:

    • Nonmonotonic reasoning
    • Belief revision and merging
    • Negotiation and games
    • Ontologies
    • Cognitive robotics and planning
    • Multi-agent systems
    • Logic programming

    The full vacancy announcement is available as PDF from http://nicta.com.au/jobs/research/KRR_B1.pdf. For more information about NICTA and the KRR program, go to http://www.nicta.com.au and http://nicta.com.au/programs/krr/kr.html.

  • Research MA's in Linguistics

    Newsitem added on 27 November 2003.

    The University of Amsterdam offers a two-year Research MA in Linguistics and a one-year MA in General Linguistics. Both programmes are taught in English or, in the case of language-specific courses, in the target language. Since the University of Amsterdam is interested in attracting talented students, the tuition rates are competitive.

    The Research MA in Linguistics is directed towards students of proven ability who are interested in conducting research in one of the many areas of linguistics that are studied in the research institutes of the University of Amsterdam. The programmes offer students the opportunity of specializing in a wide range of linguistic subdisciplines studied from various theoretical perspectives. The programme lasts two years for selected students with a relevant BA or equivalent, and one year for selected students with a relevant MA or equivalent.

    The MA in General Linguistics also offers a wide range of specializations, and is aimed at students with a BA in Linguistics or an equivalent programme, involving at least three years of full-time study at university level. The programme lasts one year.

    For more information, see http://www.hum.uva.nl/graduateschool or send an email to graduateschool at hum.uva.nl.

New Appointments

  • New ILLC PhD student: Chantal Bax

    Newsitem added on 2 September 2004.

    As of September 1, Chantal Bax is appointed a PhD student at the Faculty of Humanities. She will work under the supervision of Martin Stokhof on "Subjectivity after Wittgenstein".

    Her contact details:
    phone 020 525 4529
    E-mail C.Bax at uva.nl

  • New ILLC Lecturer: Maricarmen Martinez

    Newsitem added on 2 September 2004.

    As of September 1, Maricarmen Martinez is appointed lecturer in the field of Mathematical Logic for the period of one year.

    Her contact details:
    room P-3.28
    phone 020-525 5361
    E-mail: mmartine at science.uva.nl

  • New ILLC Postdoc: Jelle Zuidema

    Newsitem added on 2 September 2004.

    As of August 1, Jelle Zuidema is appointed a NWO postdoc position on the project 'Unsupervised Grammar Induction' in cooperation with Rens Bod.

    His contact details:
    room P-3.12
    phone 020-525 536
    E-mail jzuidema at science.uva.nl

  • New ILLC PhD Students: Olivier Roy, Mark Ka-Wo Chan and Stefan Bold

    Newsitem added on 2 September 2004.

    As of September 1, Olivier Roy (Canada) and Ka-Wo Chan (Hongkong) started their PhD program at the Faculty of Sciences. Olivier will be mentored by Johan van Benthem, Mark Ka-Wo Chan will be mentored by Yde Venema. Stefan Bold is a PhD (joint) student of the University of Bonn and the UvA, working under supervision of Benedikt Loewe.

    Their contact details:
    Olivier Roy and Mark Ka Wo Chan
    room P-3.11
    phone 020-525 5356
    E-mail oroy at science.uva.nl and kchan at science.uva.nl

    Stefan Bold
    room P-3.21
    phone 020 525 6054
    E-mail sbold at science.uva.nl

  • New ILLC Guest: Sieuwert van Otterloo

    Newsitem added on 2 September 2004.

    From September 1 until October 31, Sieuwert van Otterloo(PhD) is a guest at our institute, working in the field of 'Games and Logic", mentored by Johan van Benthem.

    His contact details:
    room P-3.18
    phone 020 525 6508
    E-mail sotterlo at science.uva.nl

  • Change of Directors at ILLC

    Newsitem added on 4 March 2004.

    We would like to let you know that Martin Stokhof has stepped down as scientific director to the Institute for Logic, Language and Computation. He passed this position on to Frank Veltman (professor Logic and Cognition) as of the 1st of March.

  • Administrative Changes at ILLC

    Newsitem added on 1 December 2003.

    As of 1 december 2003, Tanja Kassenaar will, at her own request, end her work as programme manager for the Master of Logic program, and return to her old place of work at the ILLC office. She will continue to do the administration for the MoL program, and she will also remain first contact for the students. The coordination of the program will come in hands of Amanda Collins, whom most of you know as she replaced Ingrid van Loon during her maternity leave.

    The complete schedule of ILLC's administrative staff can be found at

Miscellaneous

  • Corrido[o]r: A look into a part of the philosophical community at Vendelstraat 8, second floor, Tine Wilde

    Newsitem added on 20 December 2004.

    Website CORRIDO[O]R can give visitors, for example students, head hunters eagerly scouting about for genius talent, mothers who have lost their clever child, politicians searching for bright quotes, or visiting smart professors from competing universities, and the like, a glimpse behind the scenes of the everyday practices of a group of philosophers in the Universiteit van Amsterdam.

    In order to look behind and beyond the scenes, it is desirable that one has a view on the scenes themselves. Thus, I - an artist/philosopher who occupies room 222 - took photographs i.e., I made an overview - of what someone sees when he opens the door of a particular room, situated on the second floor at the right of Vendelstraat 8. I am convinced that a philosophy department should have a perspicuous organisation, one that is intelligible and transparent for the outside world, so that students, head hunters, mothers and children, politicians and professors know what they can expect.

    This website is part of a larger project and as such will play a role in an exhibition next year. For more information, see the website at http://www.illc.uva.nl/hum/corrido(o)r/ or contact m.wilde at uva.nl

  • Noorderlicht (VPRO Radio) on AI and music cognition

    Newsitem added on 6 September 2004.

    VPRO reporter Sam Verhaert decided to test 'The Continuator', interactive music software made by Francois Pachet of Sony Computer Science Laboratories, and invited Henkjan Honing (ILLC), Music critic Koen Schouten (Volkskrant) and pianist Albert van Veenendaal to do an informal, yet musical version of the Turing Test.

    For the full broadcast of 31 August 2004, see http://noorderlicht.vpro.nl/wetenschap/ (For a short fragment, see http://www.hum.uva.nl/mmm/hh/ under 'News Clippings').

  • Why do some melodies stick in your mind?

    Newsitem added on 15 November 2004.

    It is a phenomenon not yet fully understood. Since if we would, we could make a computer model that generates songs that would be guaranteed to stick. Luckily, in this case, few people would mind.

    Nieuwslicht (the science program of Vara Television) of 12 November contained a short item on related music cognition research.

    For more information, see http://www.nieuwslicht.nl/ (or http://www.hum.uva.nl/mmm/)

  • ASL Newsletter September 2004 available

    Newsitem added on 7 October 2004.

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

  • 28 October 2004, goodbye party Ruud Roël

    Date and time: Thursday 28 October 2004, 14:00-16:00
    Location: Room P.227, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Op donderdag 28 oktober as. neemt Ruud Roël afscheid als docent Informatica. Om dit afscheid niet onopgemerkt voorbij te laten gaan, zijn van 14.00 tot 16.00 uur in zaal P.227 verschillende feestelijkheden gepland. Aansluitend vindt een receptie plaats in gebouw Euclides. Een gedetailleerd programma wordt t.z.t. bekend gemaakt.

  • 26-28 October 2004, Life's longing for itself, lectures by Doyne Farmer

    Date and time: 26-28 October 2004, 19:30-20:30
    Location: Place: Lecturehall A and C, Building A, Roeterseiland 15

    Professor Doyne Farmer of the Santa Fe Institute for Nonlinear Studies presents a miniseries of lectures (on 26, 27, and 28 October) titled: "Life's longing for itself: On propagation, prediction, purpose and progress"

    The physicist (at present mostly economist) Doyne Farmer is one of the pioneers of chaos theory. He was involved in developing some fundamental aspects of the theory, but also in developing a number of interesting applications. He is well-known as one of the founders of the succesful Prediction Company, a firm whose business is automatic trading of financial instruments based on time series based directional forecasting methods. An inspiring lecturer on the multidisciplinary adventures on the intersection of between mathematics, natural science, economics and the social sciences.

    The series is a joint initiative of the:
    Institute for Theoretical Physics (FNWI)
    Institute for Interdisciplinary Studies (IIS)
    and the Department of Quantitative Economics (FEE)

    For more information, see http://www.science.uva.nl/research/itf/index.php. A poster is available at http://www.science.uva.nl/research/itf/doyneposter.doc

  • 26 October - 14 December 2004, Een Interdisciplinaire Collegereeks

    Speakers: Johan van Benthem and Robbert Dijkgraaf
    Title: Denkpatronen, hoe wiskunde en logica werken
    Date and time: Tuesdays, 26 October - 14 December 2004, 19:00-21:30
    Location: Room A404, Gebouw A, Roeterstraat 15, Amsterdam
    Target group: students (alfa, beta en gamma) and other interested parties
    Costs: free for students and UvA-lecturers, € 150 for teachers and UvA-alumni, € 210 for others.

    (dutch only)
    Logicus en universiteitshoogleraar Johan van Benthem en mathematisch fysicus Robbert Dijkgraaf geven acht weken lang hun visie op de thama's 'tellen', 'oneindig', 'symmetrie', 'bewijzen', 'paradoxen', 'waarschijnlijkheid', 'voorspelbaarheid' en 'spelen'. Vanuit hun eigen ervaring en viesie spreken zij over de 'onredelijke effectiviteit' van de wiskunde om de structuren om ons heen te vatten. Zij illustreren de rol van de moderne wiskunde en logica in alle mogelijke disciplines door onconventioneel, dwars door alle traditionele grenzen, juist de samenhang van de ideeënte benadrukken.

    For more information, see http://www.iis.uva.nl/ or call the secretariat of the IIS (Institute for Interdisciplinary Studies) at 020-525 5190.

  • The Haskell Road to Logic, Maths and Programming, Kees Doets and Jan van Eijck

    Newsitem added on 1 August 2004.

    From the cover:
    The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell.

    Texts in Computing Vol.4
    King's College Publications, 2004
    x+426 pp

    For more information, see http://homepages.cwi.nl/~jve/HR/

  • ASL Newsletter April 2004 available

    Newsitem added on 15 April 2004.

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

  • Reading group on Formal and Cognitive Approaches to Music

    Date: Every month, next meeting 28 May

    For more information and if you like to be listed on the mailing list, contact Aline Honingh: ahoningh at science.uva.nl

  • 2004, Muziekcognitie in Hoe?Zo!

    Newsitem added on 24 June 2004.

    Hoe?Zo!, het Teleac/NOT wetenschapsprogramma, besteedde op 28 mei 2004 aandacht aan muziekcognitie -- musicologisch onderzoek naar het computationeel modelleren van ritme & timing in muziek. Wat maakt een ritme spannend, sloom of hip? En wat is het juiste tempo?

    De uitzending (15 min) is te beluisteren op http://www.teleac.nl/radio/index.jsp?nr=radio_vervolg

  • ASL Newsletter January 2004 available

    Newsitem added on 19 February 2004.

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

  • Honing at Chicago

    Newsitem added on 15 April 2004.

    In May 2004 dr H. Honing will be a visiting professor at the Music and Cognitive Science departments of Northwestern University, Chicago, lecturing on music cognition.

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

  • 23 April 2004, Invitation opening exhibition ' One Installation'

    Speakers: Tijmen van Grootheest and Martin Stokhof
    Date and time: Friday 23 April 2004, 18:00-20:00
    Location: Arti et Amicitiae, Rokin 112, Amsterdam

    Arti et Amicitiae is a society specially for visual artists. This special exhibition is the completion of a course at Gerrit Rietveld Academie, given by ILLC-member Tine Wilde, that investigated the relationships between [visual] art and philosophy [of language].

    While entrance is free, you have to have a copy of the http://www.illc.uva.nl/NewsandEvents/Attachments/TinaWildeUitnodiging2.pdf in order to get in. For more information, see http://www.tinewilde.com/CoursesLectures.htm

  • ILLC Publications Archives move to UvA-DARE server

    Newsitem added on 8 January 2004.

    After long and faithful service, the Beta Preprint Server is finally being retired. The electronic ILLC Publication Archives are moving to the new UvA-DARE server.

    The Digital Academic Repository of the Universiteit van Amsterdam (UvA-DARE) is a service which is part of a national and international network of scientific and scholarly information services. The repository makes sure that references to your publications become available within this international network of information services, hereby increasing the visibility of your publications.

    Information on how to submit documents to the new server is available at the ILLC Support and Information pages.

    For more information, see http://www.illc.uva.nl/SupportandInfo/prepubproc.html or http://dare.uva.nl/.

  • H.C. Longuet-Higgins (1923-2004)

    Newsitem added on 3 April 2004.

    Prof. Hugh Christopher Longuet-Higgins, who proposed the field of the 'Cognitive Sciences' in the seventies, has passed away earlier this week at the age of 81.

    Longuet-Higgins's career began as a theoretical chemist applying a more rigorous use of quantum mechanics to chemistry than had heretofore been customary. Having done all the chemistry he wanted to do by the age of 40, work that was recognized by his election to be a Fellow of the Royal Society, he joined Donald Michie and Richard Gregory in founding the Department of Machine Intelligence and Perception in Edinburgh University in 1967. Longuet-Higgins brought a thorough knowledge of the mathematics of the continuum to enrich that environment, and it has always informed his work in Artificial Intelligence, together with that of some at least of his students, of whom Geoffrey Hinton is perhaps best known. Longuet-Higgins has worked on various aspects of perception, including pose-recovery in machine vision, speech and the perception of music. His work on developing computational models of music understanding was recognized in the nineties by the award of an Honorary Doctorate of Music by Sheffield University.

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

  • LIT Leaves ILLC

    Newsitem added on 3 April 2004.

    As of April 1, 2004 the Language and Inference Technology (LIT) group of Maarten de Rijke, is no longer part of the ILLC. They are now part of the Informatics Institute of the Universiteit van Amsterdam.

    Maarten joined ILLC in 1998, and in 2001 he and Michael Masuch founded the LIT group. The group quickly grew to become an award-winning group of over 20 people pursuing foundational, experimental, and applied research in intelligent information access.

    At the Informatics Institute, Maarten has taken up a professorship in Information Processing and Internet. The following people have left the ILLC along with Maarten de Rijke: Loredana Afanasiev, David Ahn, Caterina Caracciolo, Sisay Fissaha, Massimo Franceschet, Evan Goris, Willem van Hage, Gabriel Infante-Lopez, Valentin Jijkoun, Jaap Kamps, Maarten Marx, Gilad Mishne, Rob Mokken, Karin Mueller, Stefan Schlobach, Borkur Sigurbjornsson, Maarten Stol, and Petrucio Viana.

    The LIT group has moved out of the B building to the Watergraafsmeer, where the Informatics Institute is housed. Their new address is:
    Informatics Institute
    Kruislaan 403
    1098 SJ Amsterdam
    tel: +31 (0)20 525 7561
    http://lit.science.uva.nl/

  • ASL Newsletter November 2003 available

    Newsitem added on 4 December 2003.

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

  • 200 September 3, Principles of Constraint Programming, Krzysztof R. Apt

    Costs: US$50 or £35
    Newsitem added on 13 August 2003.

    The book 'Principles of Constraint Programming', by Krzysztof R. Apt., is now available.

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

  • Question Answering Reading Group

    Date: Every other Thursday at 10:30, starting Feb. 5th
    Location: Room B.235

    In February The LIT group will start a reading group for question answering. We intend to meet every other Thursday (starting 5th of February), and discuss recent papers regarding QA; please join us if you are interested, and forward to other people who may be interested as well.

    For more information, see http://lit.science.uva.nl/News/qa.html

  • 9 January - 1 February 2004, Exhibition New Members Arti et Amicae 2003

    Date and time: 9 January - 1 February 2004, 18:00-20:00
    Location: Arti et Amicitae, Rokin 112, Amsterdam

    Arti et Amicitiae is a society specially for visual artists. You are most cordially invited to be present at the opening of the exhibition of the new members. The exhibition includes a contribution by ILLC member Tine Wilde: "The CAVE-Models and Meaning: 'A Room is Brought to Sound', based on her current work with the CAVE project at SARA.

    For more information, see http://www.tinewilde.com/Inprocess.htm or http://www.arti.nl/, or view the original invitation at http://www.illc.uva.nl/NewsandEvents/Attachments/TinaWildeUitnodiging.pdf .

  • Small Brouwer Exposition

    Newsitem added on 7 December 2003.

    There is some L.E.J. Brouwer material displayed near the reading room on the second floor and near the service counter on the first floor of the University Library (Singel 425, Amsterdam).

  • Wim Blok (1947-2003)

    Newsitem added on 8 December 2003.

    This week the sad and totally unexpected news has come to us that our respected colleague Wim Blok has died in a fatal accident. Obituary by several ILLC members (Dec 8th, 2003)

  • Pictures ILLC Boattrip

    Newsitem added on 2 October 2003.

    Thanks to Loredana, the ILLC Boattrip has now been immortalized in the form of a huge picture collection. You can view them for yourself at http://www.illc.uva.nl/NewsandEvents/Boattrip/.

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 Wednesdays
    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).

  • 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