Institute for Logic, Language and Computation

Archives

News Archives 2003

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, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 and 2014, and for current news of course.

Headlines Past Events

Headlines Calls for Papers

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines New Appointments

Headlines Miscellaneous

Headlines Regular Events


Past Events

  • 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

  • 22 December, ILLC Christmas Drinks

    Date and time: Monday 22 December, 16:00

    To illuminate the dark days before Christmas the ILLC throws another modest yet delightful Xmas-drink. The UvA christmas gifts lay ready for you under the christmastree. Next to that there's a beautiful display of Georgian portrets. The drink is at 22 December at 16.00 hours at the third floor of the Euclides building. We hope to welcome you all.

  • 22 December 2003, Workshop on Reasoning about Space

    Location: Room E010, Roeterstraat 11 (Department of Economics), Amsterdam.
    Newsitem added on 7 December 2003.

    The aim of this workshop is to present some recent advances in the field of reasoning about space with a particular emphasis on bringing researchers in various fields together for purposes of looking at unifying logical frameworks (such as, for instance, modal logic) and getting a better sense of the most fruitful avenues for further research.

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

  • 19-21 December 2003, Fourteenth Amsterdam Colloquium, Amsterdam, The Netherlands

    Newsitem added on 6 February 2003.

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

    The Colloquium is organized under the auspices of the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

    For more information and an online registration form, see http://www.illc.uva.nl/AC03/. The preliminary program is available on this site as of October 24th.

  • 19 December 2003, Computational Linguistics in the Netherlands, Centre for Dutch Language and Speech, University of Antwerp

    Newsitem added on 30 November 2003.

    CLIN 2003, the 14th Meeting of Computational Linguistics in the Netherlands, will be held in Antwerp on friday December 19th 2003. It will be organized by the CNTS - Language Technology Group of the University of Antwerp.

    For more information, an online registration form and a preliminary program, see http://cnts.uia.ac.be/clin2003/

  • 18 December 2003, Questions and Answers: Theoretical and Applied Perspectives (2nd CoLogNET-ElsNET Symposium)

    Location: Amsterdam, The Netherlands
    Newsitem added on 15 May 2003.

    This symposium is the second of three devoted to the exploration of the common ground between the "Logic and Natural Language Processing" Area of CoLogNET (Network of Excellence in Computational Logic, http://www.colognet.org/) and ELSNET (Network of Excellence in Human Language Technologies, http://www.elsnet.org/). The topic of this session is 'Questions and Answers'. The symposium will address both the logical foundations underlying these notions, and technological implications for question answering systems.

    The symposium aims at bringing together researchers interested in a combination of theoretical and applied perspectives, and invites an exchange of ideas between computational linguists, computer scientists and logicians. It will feature invited talks by leading researchers from academia and industry as well as a number of contributed talks. Invited speakers are Jeroen Groenendijk (ILLC, University of Amsterdam), Werner Ceusters (Language and Computing) and Karen Spärck Jones (Computer Laboratory, University of Cambridge). The symposium will be co-located with the Fourteenth Amsterdam Colloqium.

    For more information , see the symposium website at http://www-uilots.let.uu.nl/~ctl/workshops/CES03/, or contact the organizer, Raffaella Bernardi, at Raffaella.Bernardi at unibz.it.

  • 15 December 2003, Computing with LLI Seminar, Michael Benedikt

    Speaker: Michael Benedikt (Bell Labs)
    Title: Path Fragments: a Tour of Theory and a Glimpse of Practice
    Date and time: Monday 15 December 2003, 14:00

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

  • 12 December 2003, DIP Colloquium, Wolfram Hinzen

    Speaker: Wolfram Hinzen
    Title: Why are there names?
    Date and time: Friday 12 December 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 12 December 2003, Colloquium on Mathematical Logic, Philip Welch

    Speaker: Philip Welch (Bristol)
    Title: Infinite games of perfect information and Quasi-inductive definitions
    Location: Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    Newsitem added on 4 September 2003.

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

  • 11 December 2003, Logic Tea, Philip Welch, Bristol

    Speaker: Philip Welch, Bristol
    Title: Necessity as a Predicate
    Date and time: Thursday 11 December 2003, 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).

  • 8 and 9 December 2003, DIR-2003 4th Dutch-Belgian Information Retrieval Workshop

    Location: Room Z.011, CWI, Kruislaan 413, 1090 GB Amsterdam
    Target group: researchers from NL and BE(neighboring countries) working in information retrieval and related disciplines
    Newsitem added on 15 September 2003.

    The primary aim of the workshop is to provide a meeting place where researchers from the Netherlands and Belgium (and neighboring countries) who are working in the domain of information retrieval and related disciplines can exchange information and present new research developments. Keynote speakers will include Charlie Clarke (University of Waterloo), Bjørn Olstad (FAST Search, 2bconfirmed), and Bonnie Webber (University of Edinburgh).

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=503 or http://lit.science.uva.nl/DIR/.

  • 5 December 2003, Computing with LLI Seminar, Roberto Sebastiani

    Speaker: Roberto Sebastiani (Trento)
    Title: "More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking
    Date and time: Friday 5 December 2003, 13:30
    Location: Room T.201 (Marx Zaal), Sarphatistraat 104, Amsterdam

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

  • 5 December 2003, DIP Colloquium, Wouter Kusters

    Speaker: Wouter Kusters (Leiden)
    Title: Theoretical and empirical aspects of language complexity
    Date and time: Friday 5 December 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 5 December 2003, 2003 Hybrid Logic Meeting

    Location: Room T-Marx, Sarphatistraat 104, Amsterdam
    Newsitem added on 25 November 2003.

    This year's annual hybrid logics meeting will be organized at ILLC in Amsterdam. The intended purpose of the meeting is to examine some of the new directions in the world of HyLo research as well as to put future of hybrid logic in perspective.

    For more information and a provisional program, see http://staff.science.uva.nl/~bcate/hylo/

  • 4 December 2003, Workshop "Opponent Models in Games", IKAT, Universiteit Maastricht

    Newsitem added on 18 October 2003.

    Playing games is a challenging task. It is even more interesting when a player anticipates the behaviour of the opponent. An important task of playing games is to detect and employ weaknesses in the opponent's strategy. For human players, it is a part of psychology to anticipate the opponent's move. For computers such things belong to the domain of artificial intelligence. Obviously, most of the current game-playing computer programs do not take the peculiarities of the opponent into account. This holds especially for computer programs that play the classical board games such as chess, go, and checkers. In other areas of computer game-playing, opponent-modelling is an integral part of the strategy, for instance in repeated games such as Roshambo and Poker. This workshop deals with the use of opponent models by computers in classical board games, repeated games, and in modern action games.

    For more information, see http://www.cs.unimaas.nl/~donkers/workshop/

  • 3 December 2003, Computing with LLI Seminar, Christof Monz

    Speaker: Christof Monz
    Title: Comparing Document Retrieval Strategies in the Context of Question Answering
    Date and time: Wednesday 3 December 2003, 16:00
    Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 2 December 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Patrik Eklund

    Speakers: Patrik Eklund (Umea University, Sweden & Abo Akademi, Finland)
    Title: Partial orders make monads even more useful
    Date and time: Tuesday 2 December 2003, 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).

  • 1-12 December 2003, The Logic & Automated Reasoning Summer School 2003

    Location: Australian National University (ANU)
    Target group: Students (postgraduate and undergraduate) in logic, senior educators teaching logic, and IT professionals using formal methods
    Costs: Students $120, others $1650
    Newsitem added on 11 July 2003.

    The Australian National University (ANU) has an exciting opportunity for IT professionals, senior educators, and students to enhance their logic and reasoning skills in a two-week intensive summer school. The Logic and Automated Reasoning Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and Australian experts.

    Registration closes Friday 31 October 2003. For more information, see http://arp.anu.edu.au/lss/ or get the brochure at the ILLC office

  • 30 November 2003, ILLC-Day in Bonn

    Speaker: D. de Jongh, M. van Lambalgen, Th. Müller, M. de Rijke, Y. Venema
    Date and time: Sunday 30 November 2003, 11:30 - 18:00
    Location: Mathematisches Institut, Bonn (Germany)

    The ILLC-Day in Bonn will be the second part of a pair of one-day workshops connecting logical research in Bonn and at the ILLC in Amsterdam. The first event was the LiB-Day in Amsterdam (June 30, 2003). We hope that several researchers from the Bonn Forschergruppe Wissensformate will be present for discussions.

    All researchers, graduate students and undergraduate students are cordially invited to join us for the talks.

    For more information, see http://staff.science.uva.nl/~bloewe/ILLC-Day.html

  • 28 November 2003, CEPON colloquia, Vrije Universiteit Amsterdam, Main Building, Room 13A-11/13

    Title: Analytic/Synthetic
    Date and time: Friday 28 November 2003, 13:00-17:30

    A Colloquium on the Philosophy and History of Logic and Language. Speakers include Jan Wolenski (Cracow/NIAS Wassenaar), Sandra Lapointe (Québec/CNRS Paris), Willem R. de Jong (VU Amsterdam) and Wojciech Zelaniec (Zielona Gora).

    For more information, see http://www.ph.vu.nl/~arianna/AS.html

  • 28 November 2003, DIP Colloquium, Fabio Paglieri,

    Speaker: Fabio Paglieri, canceled
    Newsitem added on 15 October 2003.

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

  • 28 November 2003, Colloquium on Mathematical Logic, Clemens Kupke, Philipp Gerhardy

    Speakers: Clemens Kupke, Philipp Gerhardy
    Title: TBA / Refined complexity analysis of cut elimination
    Date and time: Friday 28 November 2003, 16:00-18:15
    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

  • 27 November 2003, Logic Tea, Lorenz Halbeisen

    Speaker: Lorenz Halbeisen (Belfast)
    Title: How much Choice do we need? Some Models of Set Theory
    Date and time: Thursday 27 November 2003, 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).

  • 25 November 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Paul Harrenstein

    Speaker: Paul Harrenstein (Utrecht)
    Date and time: Tuesday 25 November 2003, 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-22 November 2003, 50 years of Studia Logica: Trends in Logic II, The Carlsberg Academy, Copenhagen, Denmark

    Speakers: Johan van Benthem (ILLC) and others
    Newsitem added on 13 July 2003.

    This is the second of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.

    For more information, see http://www.50yrs.philog.ruc.dk/conference2.html

  • 20 November 2003, Logic Tea, Felix Bou Moliner

    Speaker: Felix Bou Moliner(Barcelona)
    Title: Quasi-Bisimulations, a way of Removing the Symmetry of Bisimulations
    Date and time: Thursday 20 November 2003, 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).

  • 19 November 2003, CSCA Lecture, Johan van Benthem

    Speaker: Johan van Benthem (Amsterdam)
    Title: Computation Meets Cognition: from formal information analysis to writing social software
    Date and time: Wednesday 19 November 2003, 16:00-18:00
    Location: Universiteitsmuseum De Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

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

  • 14 November 2003, DIP Colloquium, Hedde Zeijlstra

    Speaker: Hedde Zeijlstra (UvA)
    Title: Requirements for licensing n-words
    Date and time: Friday 14 November 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 14 November 2003, Colloquium on Mathematical Logic, Sonja Smets

    Speaker: Sonja Smets (Brussels)
    Title: From Quantum Physics to Operational Quantum Logic; on the Logicality of Quantum Systems
    Date and time: Friday 14 November 2003, 15:00-17:30
    Location: Room 208, Minnaertgebouw, Utrecht

    Joint meeting with IHFS

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

  • 14 November 2003, Computing with LLI Seminar & LIT/MoL Meeting, Juan Heguiabehere

    Speaker: Juan Heguiabehere
    Title: Building logic toolboxes
    Date and time: Friday 14 November 2003, 13:30
    Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

    Juan Heguiabehere will talk about the importance of implementation and benchmarking in automated reasoning, especially as concerns modal and hybrid theorem proving, and the use of Dynamic Predicate Logic (DPL) and extensions as a programming language.

    Afterwards there will be a meeting of the LIT group with the students from the Master of Logic program. This meeting will be held at the Herengracht 182, starting at 16.00. The meeting is only accessible for LIT and/or MOL members.

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

  • 13 November 2003, Logic Tea, Allard Tamminga, Groningen

    Speaker: Allard Tamminga, Groningen
    Title: Expansion and Contraction of Finite States
    Date and time: Thursday 13 November 2003, 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 November 2003, On the Role of Sense, Tapio Korte, University of Turku

    Speaker: Tapio Korte, University of Turku
    Date and time: Friday 7 November 2003, 13:15-14:45
    Location: Vrije Universiteit Amsterdam, Main Building, 13A-42

    Tapio Korte will argue, against Carnap, Church and Dummett, that the role of sense in Frege's theory of meaning is to act as a bearer of reference, not to mediate between expression and object.

    For the full abstract and more information, see http://www.ph.vu.nl/~arianna/TapioKorte.pdf or contact A.Betti at ph.vu.nl.

  • 7 November 2003, ILLC Lectures (Special), Mark Steedman

    Speaker: Mark Steedman (Informatics, University of Edinburgh)
    Title: Scope Alternation and the Syntax-Semantics Interface
    Date and time: Friday November 7, 2003, 15:00
    Location: (changed) Grote Vergaderzaal, Herengracht 182, Amsterdam

    This talk discusses some interactions of scope alternation with syntactic phenomena including coordination, binding, and word-order in Germanic languages.

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

  • 6 November 2003, CWI INS4 seminar, Peter Grunwald

    Speaker: Peter Grunwald (CWI)
    Title: Updating Probabilities
    Date and time: Thursday 6 November 2003, 16:00
    Location: CWI, Kruislaan 413c, room C001

    (joint work with Joe Halpern, Cornell University, Ithaca, NY)
    As examples such as the Monty Hall and the 3-prisoners puzzle show, applying conditioning to update a probability distribution on a ``naive space'', which does not take into account the protocol used, can often lead to counterintuitive results. We give a detailed explanation of this phenomenon. A criterion known as CAR (``coarsening at random'') in the statistical literature characterizes when ``naive'' conditioning in a naive space works. We provide two new characterizations of CAR. First we show that in many situations, CAR essentially *cannot* hold, so that naive conditioning must give the wrong answer. Second, we provide a procedural characterization of CAR, giving a randomized algorithm that generates all and only distributions for which CAR holds. Both results complement earlier work by Gill, van der Laan and Robins.

    We also consider more generalized notions of update such as Jeffrey conditioning and minimizing relative entropy (MRE). We give a generalization of the CAR condition that characterizes when Jeffrey conditioning leads to appropriate answers, and show that there exist some very simple settings in which MRE essentially never gives the right results. This generalizes and interconnects previous results obtained in the literature on CAR and MRE.

  • 6 November 2003, Logic Tea, Evangelos Tzanis, ILLC

    Speaker: Evangelos Tzanis, ILLC
    Title: The Collatz Conjecture: Properties and Algorithms
    Date and time: Thursday 6 November 2003, 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).

  • 6-8 November 2003, SPR-03; 2nd Int. Workshop on Semantics, Pragmatics and Rhetoric

    Speakers: Henk Zeevat (ILLC, UvA) and others
    Location: Faculty of Philosophy@Donostia, San Sebastián, España
    Costs: € 100,- (€ 60,- for students and accompanying persons) (before October 20, 2003).
    Newsitem added on 15 September 2003.

    SPR-03 is organized by the Institute for Logic, Cognition, Language and Information (ILCLI) of the University of the Basque Country (UPV-EHU).

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=507 or http://www.sc.ehu.es/ilwlaanj/SPR/SPR03.html, email ylplaanj at sf.ehu.es or call +34-943-017451

  • 5 November 2003, DIP Colloquium, Barteld Kooi

    Speaker: Barteld Kooi (Groningen)
    Title: Statistical and Intensional Probability
    Date and time: Wednesday 5 November 2003, 16:00-17:30
    Location: Room 107, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 4 November 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Suzana Andova

    Speaker: Suzana Andova (Twente)
    Title: Discrete-time rewards model-checked
    Date and time: Tuesday 4 November 2003, 14:15-16:00
    Location: Auditorum 12, TU Eindhoven

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

  • 4 November 2003, Meeting of the Spatial Reasoning Group, Spencer Gerhardt

    Speaker: Spencer Gerhardt
    Title: Completeness of temporal logic with interior for Q
    Date and time: Tuesday 4 November 2003, 17:30
    Location: Euclides

    This week Spencer will tell us about his new proof of completeness of temporal logic with interior operator interpreted over rationals, and the relation of this logic to betweenness modality.

    For more information, contact Darko S. at sarenac at stanford.edu

  • 31 October 2003, What do do next: Rational and Social Choice (VvL), Jaarbeurs Utrecht (next to trainstation)

    Speakers: Robert van Rooij (ILLC) and others, special guest: Rohit Parikh (New York)
    Date and time: Friday 31 October 2003, 12:30-17:00

    This theme afternoon, organized by the VvL (the Dutch Society for Logic) features the following talks:
    Robert van Rooij, Cooperative information exchange: Exhaustive interpretation and the division of pragmatic labour.
    Paul Harrenstein, Game-theoretical Consequence.
    Mehdi Dastani, Programming Agent Deliberation.
    Rohit Parikh (special guest, New York): What to do next?

    From 12:30-13:30 a cold lunch will be offered by the Society, available if you registered at least 1 week in advance by e-mailing jve at cwi.nl.

    For abstracts and more information, see http://www.cwi.nl/orgs/vvl/toekomst.html

  • 31 October 2003, Symposium on "the Origin of Novelty", Grote Vergaderzaal, Herengracht 182, Amsterdam

    Date and time: Friday October 31, 2003, 9:00-18:00

    In the framework of the Cognition programme of the Dutch Research Foundation NWO, the University of Amsterdam organises a symposium on the origins of novel knowledge and novel behavior. The symposium is aimed at bringing together ideas on novelty from Artificial Intelligence, Machine Learning, Cognitive Psychology, Evolutionary Biology, Philosophy of Science and Philosophy of Language.

    Registration is free but since the number of participants is limited, those who want to participate must register by sending an email with name, address and affiliation to dr. Maartje Raijmakers (Email: M.E.J.Raijmakers at uva.nl) before 27 October.

    For more information, see http://users.fmg.uva.nl/mraijmakers/novelty/.

  • 31 October - 1 November 2003, The Logic of Time and Modality, PHILOG, Roskilde University (RUC)

    Costs: 75,00 DK/day
    Newsitem added on 13 July 2003.

    Arthur Norman Prior (1914-69) was the founding father of the modern logic of time and modality. There is still a lot to learn from Prior's writings, and of Prior's last book Papers on Time and Tense. The conference "The Logic of Time and Modality", organized by PHILOG, aims to discuss the modern challenges, problems, and applications of the Priorean approach to the logic of time and modality.

    For more information, see http://www.philog.ruc.dk/phiconf3.html

  • 30 October 2003, Workshop: Connecting the Different Faces on Information, Room E.010, Roeterstraat 11 (Department of Economics), Amsterdam

    Newsitem added on 14 October 2003.

    The latest issue of the Journal of Logic Language and Information is on Connecting the Different Faces on Information. This special issue features contributions by Barteld Kooi, Johan van Benthem, Robert van Rooy, Rohit Parikh and Ramaswamy Ramanujam, Vincent Hendricks, and Peter Gruenwald and Paul Vitanyi.

    Rohit Parikh's visit to the Netherlands gives us a wonderful opportunity to bring together many of the authors who contributed to the special issue for a final discussion.

    For more information and a preliminary program, see http://staff.science.uva.nl/~bcate/connecting/

  • 30 October 2003, Colloquium on Mathematical Logic, Gilles Dowek

    Speaker: Gilles Dowek (École Polytechnique, INRIA)
    Title: Eigenvariables, bracketing and the decidability of positive minimal logic
    Date and time: Thursday 30 October 2003, 16:00-17:00
    Location: Room 114, Ruppertgebouw (Trans I, Leuvenlaan 19), Utrecht

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

  • 29 October 2003, Meeting of the Spatial Reasoning Group, Johan van Benthem

    Speaker: Johan van Benthem
    Title: Tutorial on Completeness of S4 for R
    Date and time: Wednesday 29 October 2003, 16:00

    The relevant material for this tutorial can be found in: http://www.dit.unitn.it/~aiellom/publications/topax.pdf

    For more information on the Spatial Reasoning Group, contact D. Sarenac at: sarenac at stanford.edu

  • 27-28 October 2003, Seventh Workshop on Optimality Theory Syntax (WOTS 7)

    Location: Nijmegen
    Newsitem added on 3 May 2003.

    The Workshops on Optimality Theory Syntax (WOTS) played an important role in the past years for bringing together linguists sharing an interest in OT syntax. They provided excellent opportunities for researchers pioneering in OT syntax to present their work in progress and they provided a matrix for lively discussions and fruitful collaboration among those researchers and other participants. This year for the first time WOTS is organized outside Germany, which indicates its still growing international character.

    For more information, see the workshop's webpage at http://www.kun.nl/pionier/wots7.htm
  • 24 October 2003, DIP Colloquium, Jacqueline Lecarme

    Speaker: Jacqueline Lecarme (CNRS)
    Title: Tense and evidentiality in nominals
    Date and time: Friday 24 October 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 22 October 2003, Learning Solutions 2003: Adaptive Intelligence in research and practical applications, Radboud Auditorium, Nijmegen, the Netherlands

    Newsitem added on 26 September 2003.

    Neural networks are computer programs that are able to learn. Their functioning is inspired by the function of the brain. The value added by neural networks is strongest for those problems that lack explicit knowledge. A large number of neural network aided applications has already been realized. Well-known applications are pattern recognition, time series prediction, and process control. Neural networks do not always produce the best solution, however. Better solutions are therefore often obtained through a combination with explicit domain knowledge. Bayesian statistics offers an elegant formalism to combine learning and explicit modeling. Furthermore, statistical methods for quantification of reliability are of great importance. A modern trend is therefore marked by an integrated approach that combines neural networks with methods from statistics and artificial intelligence. The symposium 'Learning Solutions 2003' offers an up-to-date overview of Dutch research in this area.

    For more information, see http://www.snn.kun.nl/nederland/index.php3?page=15

  • 21 October 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Bas Luttik

    Speaker: Bas Luttik (TU Eindhoven)
    Title: Unique Decomposition
    Date and time: Tuesday 21 October 2003, 14:15-16:00
    Location: TU Eindhoven

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

  • 18-22 October 2003, Workshop and Conference on Logic, Algebra and Arithmetic, Teheran,Iran

    Newsitem added on 18 September 2003.

    This event, held under the auspices of the Institute for Studies in Theoretical Physics and Mathematics, will focus on mathematical logic and its applications in algebra and arithmetic. Invited speakers include: L.van den Dries, A.Enayat, Y.Ershov, I.Kalantari, F.-V.Kuhlman, S.Kuhlman, A.Macintyre, A.Pillay, and A.Visser.

    For further information, visit http://www.ipm.ac.ir/logic2003/.

  • 17 October 2003, Festkolloquium in Honour of the 60th Birthday of Wolfram Pohlers, Justus Diller (Laudatio), Peter Koepke, Ieke Moerdijk

    Speaker: Justus Diller (Laudatio), Peter Koepke, Ieke Moerdijk
    Date and time: Friday 17 October 2003, 15:15

    For more information, see http://www.math.uni-muenster.de/logik/events/2003/kolloquium.html

  • 17 October 2003, DIP Colloquium, Livia Polanyi

    Speaker: Livia Polanyi (Palo Alto)
    Title: A Syntax Approach to Discourse Semantics
    Date and time: Friday 17 October 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 17 October 2003, Colloquium on Mathematical Logic, Dimitri Hendriks

    Speaker: Dimitri Hendriks
    Title: Adbmal
    Date and time: Friday 17 October 2003, 16:00-17:30
    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

  • 16 October 2003, Logic Tea, Darko Sarenac, Stanford

    Speaker: Darko Sarenac, Stanford
    Title: Topological interpretation of S4 and some Extensions
    Date and time: Thursday 16 October 2003, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Abstract: We present topological interpretation of modal logic S4 with particular emphasis on its modern use in the theory of spatial reasoning. This interpretation dates back to at least as far as a paper of J.C.C. McKinsey and A. Tarski in the 40's [The algebra of topology, Ann. of Math. (2) 45 (1944), 141--191], but until recently not much active research has been done on the topic. Recent years have seen the revival of research with applications in robotics, AI, and spatial reasoning. In the first part of the lecture, I will introduce the topological interpretation and some of its most interesting properties. If time permits, in the second part I will say something about possible extensions of this approach and some of its uses.

    Prerequisites: Some knowledge of modal logic is assumed, but no (or very little) knowledge of topology.

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

  • 16 October 2003, ILLC Talks, Jean-Yves Beziau, Paulo Veloso, Sheila Veloso

    Speakers: Jean-Yves Beziau, Paulo Veloso, Sheila Veloso
    Date and time: Thursday 16 October 2003, 13:00-15:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Coming Thursday afternoon we will receive the visit of three researchers from Brazil and Suiss, who are working in themes related to modal logic, coming mainly from mathematical and philosophical aspects of the subject:

    • Paulo Veloso and Sheila Veloso (COPPE and IM/UFRJ/Brasil): Filter and Ultrafilter logic
    • Jean-Yves Beziau (Neuchatel/Suiss): Relations between modal logic and paraconsistent logic from the perspective of the square of oppositions
  • 10 October 2003, DIP Colloquium, Bart Geurts

    Speaker: Bart Geurts (Nijmegen)
    Title: Entertaining alternatives: disjunctions as modals
    Date and time: Friday 10 October 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 9-11 October 2003, Proof Theory: Workshop on Logic, Foundational Research, and Metamathematics (WPT'03)

    Location: Münster, Germany
    Newsitem added on 4 August 2003.

    The Workshop on Logic, Foundational Research, and Metamathematics will take place in Münster, Germany, hosted by the Institut für Mathematische Logik und Grundlagenforschung at the University of Münster. It is intended as a forum for the exchange of ideas and interaction between researchers working in different areas of proof theory.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=478 or visit the workshop's homepage at http://www.math.uni-muenster.de/logik/wpt03/

  • 9 October 2003, Belgian-Dutch Artificial Intelligence Symposium for Students 2003 (BNAIS-2003), Science Park Watergraafsmeer, Kruislaan 413, Amsterdam

    Newsitem added on 31 August 2003.

    Student association VIA, for AI, computer science and informatics students of the University of Amsterdam, is organizing the second edition of BNAIS, Belgian-Dutch Artificial Intelligence Symposium for students. This year's BNAIS theme is "Playing God? Creation and control". A wide variety of issues are brought together in this theme. Technical, theoretical as well as ethical considerations will be brought forward. Current and future developments in AI will be discussed, with subjects ranging from the creation of artificial life to controlling that creation, or control in modern day society using AI techniques.

    BNAIS will consist of 3 lectures, around ten workshops, presentation of the yearly Belgian-Dutch award for the best AI Master's thesis, various discussions and a continuous information market.

    For more information, see http://bnais.mine.nu/index.php?lang=en

  • 8 October 2003, CSCA Lecture, Albert Postma

    Speaker: Albert Postma
    Title: Knowing more than you remember
    Date and time: Wednesday 8 October 2003, 16:00-18:00
    Location: Universiteitsmuseum De Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
    Spatial memory - knowing what is where (including your own position) and how to get there - is vitally important for our daily life. Without it we would continuously be searching for tools, vehicles and other important objects and we would not be able to find our way back home or navigate through our surroundings.

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

  • 6-10 October 2003, The Fifth International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia

    Newsitem added on 20 January 2003.

    The fifth Tbilisi Symposium on Language, Logic and Computation will be held in the capital of Georgia, Tbilisi, at the Tbilisi State University from October 6 to October 10, 2003. The Symposium is organized by the Centre for Language, Logic and Speech of the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

  • 4-6 October 2003, 50 years of Studia Logica: Trends in Logic I, Polish Academy of Sciences in Warsaw (Jablonna), Poland

    Speakers: Michael Dunn (USA) and others
    Costs: € 75,-
    Newsitem added on 13 July 2003.

    The 1st of 2 conferences in 50th Anniversary of the leading journal in symbolic logic Studia Logica. Submit papers by August 15 to stud at ifispan.waw.pl

    This is the first of two conferences on the occasion of the 50th Anniversary of the leading journal in symbolic logic Studia Logica. The aim of the conference is to bring together scholars of philosophy, logic, mathematics, and computer science and other discplines who have contributed significantly to what Studia Logica is today. The conference will include lectures by distinguished scholars covering topics within the aim and scope of the journal.

    For more information, see http://www.50yrs.philog.ruc.dk/

  • 1 October 2003, General Mathematics Colloquium, Benedikt Löwe(UvA, ILLC)

    Speaker: Benedikt Löwe(UvA, ILLC)
    Title: Large Cardinals and Foundations of Mathematics
    Date and time: Wednesday 1 October 2003, 11:15
    Location: Room P-0.14, Plantage Muidergracht 24, Amsterdam

    What are large cardinals? What is the correlation between them and the theory of the real numbers? And why do we rarely (if ever) see those sets of real numbers that are influenced by the existence or nonexistence of these huge objects?

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=521 or http://www.science.uva.nl/research/math/Calendar/colloq/#lowe

  • 29 September - 1 October 2003, Sinn und Bedeutung VIII, Johann-Wolfgang-Goethe University, Frankfurt am Main, Germany

    Newsitem added on 19 June 2003.

    The "Gesellschaft für Semantik" (GfS) is pleased to announce its Eighth Annual Meeting "Sinn und Bedeutung VIII". The "Sinn und Bedeutung" meetings aim to provide a platform for semanticists to present recent work. The area of interest includes all topics from current semantic research: formal semantics, cognitive semantics, descriptive semantics, typological semantics, historical semantics, philosophy of language etc.

    Invited speakers include Sigrid Beck (Connecticut), Hans Kamp (Stuttgart) and Robert van Rooy (Amsterdam).

    For more information and registration, see http://www.uni-frankfurt.de/fb10/SuB8.

  • 27 September 2003, 4th International Workshop on the Implementation of Logics

    Location: Almaty, Kazakhstan
    Newsitem added on 10 July 2003.

    Following a series of successful workshops on the implementation of logics held in conjunction with the LPAR conference, there will be a fourth workshop on this topic, to be held in conjunction with LPAR'2003.

    For more information, see the LPAR'2003 website at http://www.lpar.net/2003/

  • 26 September 2003, DIP Colloquium, Johanneke Caspers

    Speaker: Johanneke Caspers (Leiden University)
    Title: The function of melodic elements in Dutch task-oriented dialogue
    Date and time: Friday 26 September 2003, 16:00-17:30
    Location: Room D 118d, Oudemanhuispoort, Nieuwe Doelenstraat 15, Amsterdam

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

  • 26 September 2003, Computing with LLI Seminar, Gabriel Infante López

    Speaker: Gabriel Infante López (Amsterdam)
    Title: Can probabilities be mimicked by rules?
    Date and time: Friday 26 September 2003, 13:30
    Location: Room G1.03, Gebouw G, Nieuwe Prinsengracht 130, Amsterdam

    The talk will be followed by celebrations about the CLLI seminar's five years anniversary; and the presentation of the first annual LIT-award to Juan Heguiabehere---Congratulations!

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

  • 23-24 October 2003, BNAIC'03, Radboud Auditorium and Kasteel Heyendael, Nijmegen

    Newsitem added on 26 September 2003.

    The 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'03) is organised by SNN. BNAIC'03 will be held on Thursday October 23 and Friday October 24, 2003 in the Radboud Auditorium and Kasteel Heyendael, Nijmegen, The Netherlands.

    It will be collocated with the workshop 'Learning Solutions' on Wednesday October 22, 2003. This collocation aims to promote interaction between researchers in AI and industry. BNAIC-papers addressing industrial applications will be offered a poster at the workshop.

    For more information, see http://www.snn.kun.nl/bnaic/index.php3?page=2

  • 23 - 26 September 2003, AI*IA 8th National Conference 2003, University of Pisa, Italy

    Newsitem added on 15 August 2003.

    The Congress of the Italian Ass. for AI(AI*IA) is the traditional two-yearly meeting of researchers working on theory and applications in AI.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=485 or http://www-aiia2003.di.unipi.it/aiia2003/index-eng.html

  • 22-23 September 2003, METHODS FOR MODALITIES 3 (M4M-3), Nancy, France

    Newsitem added on 12 June 2003.

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

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

  • 22-26 September 2003, 10th International Conference on Logic for Programming Artificial Reasoning (LPAR'2003), Amaty, Kazakhstan

    Newsitem added on 10 July 2003.

    Invited speakers include Franz Baader, Serikjan Badaev, Dexter Kozen, Sergei Goncharov and Thomas Wilke.

    For more information, an online registration form and a preliminary program, see http://www.lpar.net/2003/

  • 19 September 2003, Informatiebijeenkomst Europese 6e kaderprogramma.

    Date and time: Friday 19 September 2003, 9:30-10:30
    Location: Nieuwe Achtergracht 166, B.235

    EG Liaison organizes a meeting to present options for shared research between the ILLC and KP6. Please note that the meeting will be held in dutch.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=481 for the full announcement (in dutch), or contact Ingrid van Loon (ingrid at science.uva.nl)

  • 19 September, CSCA Lecture, Barbara Tversky

    Speaker: Barbara Tversky (Stanford)
    Title: Some ways graphics communicate
    Date and time: Friday 19 September, 9:30-11:00
    Location: Lecture Hall 301, Universiteitstheater, Nieuwe Doelenstraat 16, Amsterdam

    Graphics - written language, charts, graphs, diagrams, interfaces - serve a number of functions: to attract interest and adorn, to record information, to promote memory, to organize information in order to facilitate inference and discovery. To do so effectively, they use elements and the spatial relations among them meaningfully, forming a rudimentary semantics and syntax respectively. An examination of graphics produced by children and adults from many cultures reveals common underlying cognitive principles in the use of space and the elements in it to convey meaning.

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

  • 19 September 2003, Colloquium on Mathematical Logic, Ian Hodkinson (London)

    Speaker: Ian Hodkinson (London)
    Title: Random graphs and canonicity of algebras
    Date and time: Friday 19 September 2003, 16:00-17:30
    Location: P.015A, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 19 September 2003, Computing with LLI Seminar, Theo van den Heuvel

    Speaker: Theo van den Heuvel (Polderland)
    Title: Overview of NLP and IE at Polderland
    Date and time: Friday 19 September 2003, 13:30
    Location: Room B2.44, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 18-21 September 2003, First-Order Logic 75 (FOL75), Humboldt University, Berlin, Germany

    Newsitem added on 10 April 2003.

    Seventy-five years ago Hilbert and Ackerman published their Grundzüge der Theoretischen Logik, announcing the start of modern mathematical logic. PHILOG in association with Humboldt University celebrate 75 years of first-order logic by hosting this conference.

    For more information, see http://www.fol75.philog.ruc.dk/

  • 17 September 2003, Some remarks about canonical completions of lattices and some remarks about the orthomodular law., Prof. John Harding

    Speaker: Prof. John Harding (New Mexico State University)
    Date and time: Wednesday 17 September 2003, 16:00-18:00
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The talk is comprised of 2 components: a discussion of canonical completions of bounded lattices with additional operations, and recent developments regarding the motivation behind the orthomodular law.

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

  • 12 september 2003, mini-symposium about D.J. Korteweg en G. de Vries, E.M. de Jager (UvA), A. Maas (Museum Boerhaave, Leiden) and B. Willink (EUR)

    Speakers: E.M. de Jager (UvA), A. Maas (Museum Boerhaave, Leiden) and B. Willink (EUR)
    Date and time: Friday 12 september 2003, 13:45 -
    Location: P.227, Euclides building second floor, Plantage Muidergracht 24, Amsterdam

    Mini-symposium about D.J. Korteweg and G. de Vries, the mathematicians after whom the Math Institute of the UvA is named, and the creators of the Korteweg-de Vries equation which led to important developments in Mathematics and Physics. Following the symposium proper, at 16:25 portraits of the mathematician will be revealed, followed by a reception.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=501 or http://www.science.uva.nl/research/math/News/kdvdag.html

  • 10-13 September 2003, EuroCogSci 03, Osnabrück, Germany

    Newsitem added on 15 May 2003.

    The aim of the conference is the presentation of empirical, theoretical, and analytical work from all areas of interest in cognitive science, such as artificial intelligence, education, linguistics, neuroscience, philosophy, psychology and anthropology. The focus is on interdisciplinary work that is either of interest for more than one of the mentioned research areas or integrates research methods from different fields. Furthermore, applications of cognitive science research in such domains as human-computer interaction, education, knowledge management, or engineering are equally welcome.

    For more information, see the conference website at http://www.eurocogsci03.uos.de/

  • 8 September 2003, MMM Lectures , NICI, Nijmegen

    Title: Je Weet Niet Wat Je Hoort.
    Newsitem added on 16 July 2003.

    The PIONIER Project "Music, Mind, Machine" is about the computational modeling of music cognition with an emphasis on the temporal aspects of music perception and music performance such as rhythm, timing and tempo. This six-year project will be concluded this september with a festive afternoon of lectures on the state-of-the-art of Music Cognition.

    Invited speakers: prof. dr. D. Huron (Ohio State University, Musicology), prof. dr. J. Bharucha (Tufts University, Psychology), Prof. dr. R. Dannenberg (Carnegie-Mellon University, Computer Science) and Prof. dr. J.A. Michon (Leiden University, Psychology).

    For more information, see the project website at http://www.hum.uva.nl/mmm/

  • 5 September 2003, Eighth Workshop on Games in Logic, Languages & Computation

    Location: Academiegebouw, University of Groningen
    Newsitem added on 31 July 2003.

    The Eighth Workshop on Games in Logic, Languages & Computation (GLLC8) will take place in Groningen on Friday September 5, prior to the PhD defence of Barteld Kooi later that day.

    For more information, see http://www.ai.rug.nl/~blom/gllc8/

  • 4-6 September 2003, DiaBruck 2003: 7th Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL)

    Location: Saarland University
    Newsitem added on 25 April 2003.

    DiaBruck 2003 will be the seventh in a series of workshops that aims to bring together researchers working on the semantics and pragmatics of dialogues in fields such as artificial intelligence, formal semantics and pragmatics, computational linguistics, philosophy, and psychology.
    DiaBruck is endorsed by SIGSEM and SIGDial .

    For more information, see the workshop website at http://www.coli.uni-sb.de/diabruck/.

  • 4 September 2003, Annual ILLC Boat Trip

    Date and time: Thursday 4 September 2003, 16:00
    Location: Gather at frontdesk, Building Euclides, Plantage Muidergracht 24

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

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

  • 1 September 2003, DIP Colloquium, Hans van Ditmarsch

    Speaker: Hans van Ditmarsch (Otago)
    Title: Dynamic Doxastic Logic for Defeasible Belief Revision
    Date and time: Monday 1 September 2003, 16:00-17:30
    Location: Room 207B, Oude Turfmarkt 129, Amsterdam

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

  • 1 September 2003, Opening Academic Year 2003-2004

    Date and time: Monday 1 September 2003, 15:00-17:00
    Location: Aula of the UvA, Singel 411, 1012 WN Amsterdam

    The opening of the Academic Year 2003-2004 will take place Monday 1 September, from 15.00 - 17.00. Three lectures will be held for the occasion:
    - Johan van Benthem (university professor), 'De kunst van het kennis maken.'
    - Fleur Zeldenrust (physics student), 'Enthousiasme is besmettelijk.'
    - Sijbolt Noorda (chairmen College van Bestuur) 'Met het oog op overmorgen'
    There will be a musical intermezzo and a reception afterwards.

  • 25-29 August 2003, ESSLLI Workshop: Conditional and Unconditional Modality

    Location: Vienna, Austria
    Newsitem added on 23 February 2003.
    The workshop aims to facilitate the exchange of ideas between researchers working in different linguistic schools and to bridge the gap between l'art pour l'art logic and empirically grounded linguistic analysis. It is held as part of the 15th European Summer School in Logic, Language and Information (ESSLLI).

    For more information and presentation abtracts, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=376, or the ESSLI-2003 site at http://www.logic.at/esslli03/. The papers presented at this workshop may also be found at http://www.illc.uva.nl/MnM/Papers.

  • 25-30 August 2003, Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium, Vienna, Austria

    Newsitem added on 10 July 2003.

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The Kurt Goedel Colloquium (KGC) is the biennial conference of the Kurt Goedel Society (KGS). The joint conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

    For more information, an online registration form and a preliminary program, see http://www.logic.at/csl03/

  • 18-29 August 2003, ESSLLI-2003: 15th European Summer School in Logic, Language and Information, Vienna, Austria

    Newsitem added on 13 June 2002.

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

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

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

  • 18-22 August 2003, Adaptation of Automatic Learning Methods for Analytical and Inflectional Languages

    Location: Vienna, Austria
    Newsitem added on 6 February 2003.

    Automatic (machine) learning approaches to any NLP task became a rich area with a variety of methodologies. During the last years, its development made significant progress in the direction of presenting new methods and, at the same time, their modifications. These modifications are of different nature and dependent on the language under consideration. The aim of the workshop is to present and evaluate various modifications of the automatic learning methods originally developed for English and declared as language independent. We are especially interested in automatic learning methods for the problems of morphological tagging and parsing across languages with high level of inflection. Further, we encourage quantitative and qualitative comparison/evaluation studies across languages on the inputs and the outputs of the mentioned procedures. The workshop encourages reports of work on:

    1. Summarization of morphological and syntactic features relevant for various automatic learning procedures.
    2. Tendencies of improvement of the automatic learning methods. Presentation of implemented modifications and their cross language evaluation.
    3. New/Latest algorithms for automatic learning.
    4. Hybrid approaches (Although, there are trials to apply hybrid approaches, it seems that the true key of how to combine the various parts has still not been found and lies mainly in the success of analyzing the errors of each single component. Studies which present the connection elements for a successful combination of diverse approaches are invited.)

    This workshop is part of ESSLLI'03. For more information, see http://ckl.mff.cuni.cz/~alaf03/

  • 14-20 August 2003, Logic Colloquium 2003 (ASL European Summer Meeting), Helsinki, Finland

    Newsitem added on 8 May 2003.

    Deadline for early registration is May 31st. For more information, see http://www.helsinki.fi/lc2003/

  • 14-20 August 2003, Student and Young Researcher Grants for LC 2003

    Location: Helsinki
    Newsitem added on 18 March 2003.

    Graduate students and young researchers are invited to apply for travel awards to attend the Logic Colloquium 2003 in Helsinki, Finland, August 14-20, 2003. Applications for the following three categories of travel awards should be submitted to the Organizing Committee of the meeting and they should be received before the deadline of April 1, 2003:

    1. Up to full compensation of travel, subsistence, and participation fees for graduate students and young researchers who are nationals of an EU Member State or Associated State (see list of countries below) and active inside a Member State or Associated State at the time of the meeting.
    2. Modest travel awards for graduate students and recent Ph.D.'s who are either students at USA universities or citizens or permanent residents of the USA.
    3. Modest travel awards for graduate students, recent Ph.D.'s and young researchers who are not eligible for either of the previous two categories.

    Category 1 is funded by the European Community (EC) and category 2 by the US National Science Foundation (NSF). Category 3 is funded by the ASL and to some extent by the Organizing Committee directly.

    For more information, see http://www.helsinki.fi/lc2003/awards.html

  • 29 July - 1 August 2003, 1st Düsseldorf Summer Workshop "Philosophy and Cognitive Science"

    Speaker: Prof. Wilfrid Hodges (University of London)
    Location: Heinrich Heine University, Düsseldorf, Germany
    Newsitem added on 23 June 2003.

    This year's Düsseldorf Summer Workshop "Philosophy and Cognitive Science" will be held by Professor Wilfrid Hodges of the School of Mathematical Sciences at the Queen Mary College, University of London. Hodges recent articles on compositionality received wide acclaim. The seminar is both for students as professionals of philosophy, linguistics and cognitive science.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=456 or http://www.cognitivescience.de/seminar/.

  • 8-10 July, 2003, 10th International Conference on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC (TIME-ICTL-2003), Cairns, Queensland, Australia

    Newsitem added on 23 January 2003.

    In the year 2003 the TIME symposium and ICTL will be held as a combined event. The idea is to bring together active researchers from distinct research areas involving representation of, or reasoning with, time. As with previous meetings in these respected series, one of the main goals of this conference will be to bridge the gap between theoretical and applied research in temporal representation and reasoning. Thus, we especially encourage submissions concerning temporal aspects within areas such as Artificial Intelligence, Temporal/Spatial Databases and Applications of Temporal Logic in Computer Science in order to achieve a multi-disciplinary perspective on the topic and to benefit from cross-fertilisation of ideas.

    There are four tracks in the symposium with separate program committees, all overseen by the program chairs. The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and four keynote talks.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=360 or http://time-ictl.cs.uwa.edu.au/

  • 7-11 July 2003, International Conference on Algebraic and Topological Methods in Non-classical Logics, Tbilisi State University, Tbilisi, Georgia

    Newsitem added on 9 February 2003.

    The aim of this conference is to present some recent advances in the use of algebraic, order-theoretic, and topological methods in non-classical logics. We also hope to bring together researchers in the fields of non-classical logics, lattice theory, universal algebra, category theory, and general topology in order to foster collaboration and to get new ideas for further research.

    Deadline for registration: 1 June 2003. For more information, see the conference website at http://piscopia.nmsu.edu/morandi/TbilisiConference/.

  • 7-11 July 2003, SWIFT 2003 "Summer Workshop In Finestructure Theory"

    Speaker: T.Carlson, B.Irrgang, P.Koepke, M.Moellerfeld, W.Pohlers, R.-D.Schindler, P.Welch
    Location: Bonn (Germany)
    Newsitem added on 8 May 2003.

    The SWIFT Summer Workshop will consist of an intense one-week tutorial course on a simplified finestructure theory for Goedel's constructible universe, and of invited and contributed talks. The workshop is equally directed towards specialists in constructibility theory and towards researchers in logic who are interested in a compact introduction to the constructible universe and its finestructure.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=427 or http://www.math.uni-bonn.de/people/logic/Events/SWIFT/

  • 5 July 2003, CSCA Symposium Logic and cognition: some novel interactions, Universiteitsmuseum De Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

    Newsitem added on 27 April 2003.

    The purpose of the symposium is to bring novel logical perspectives on cognition into interaction with newly available empirical methods of investigation, especially with an evolutionary backdrop in mind.

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

  • 4 July 2003, DIP Colloquium, Norman Cook

    Speaker: Norman Cook (Kansai University)
    Title: Subjective Consciousness
    Date and time: Friday 4 July 2003, 16:00-17:30
    Location: (changed) Room 401, Bungehuis, Spuistraat 210, Amsterdam

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

  • 4 July 2003, CSCA Lecture, Prof. Keith Stenning

    Speaker: Prof. Keith Stenning (Edinburgh University)
    Title: How did we get here? A question about human cognitive evolution
    Date and time: Friday 4 July 2003, 20:00-22:00
    Location: Universiteitsmuseum De Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam

    An interpretative approach to understanding human communication contrasts, at least in emphasis, with the generative perspective adopted in Chomsky's classical arguments for the creativity of human language. This talk illustrates the interpretative perspective through recent work on communication and reasoning, and then draws out the consequences of this shift in emphasis for work on the evolution of cognition.

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

  • 30 June - 4 July 2003, Thirtieth International Colloquium on Automata, Languages and Programming (ICALP2003), Eindhoven

    Newsitem added on 10 April 2003.

    ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).

    For more information, an online registration form and a preliminary program, see http://www.win.tue.nl/icalp2003/

  • 30 June 2003, LiB-Day in Amsterdam

    Date and time: Monday 30 June 2003, 10:00-18:30
    Location: Room G202, Nieuwe Prinsengracht 130, Amsterdam

    The LiB-Day in Amsterdam is a joint effort of the logicians from mathematics, computer science, linguistics, and philosophy in Bonn and the researchers at ILLC in Amsterdam to inform each other about the research in logic done in the two places.

    This day will mainly present research from Bonn to the people in Amsterdam; there will be a companion event, the ILLC-Day in Bonn during which researchers from Amsterdam present their research in Bonn. LiB and ILLC intend to develop an active research collaboration from these two meetings, potentially leading to a bilateral research program between Amsterdam and Bonn.

    All researchers, graduate students and undergraduate students from Amsterdam are cordially invited to join us for the talks.

    For more information, see http://staff.science.uva.nl/~bloewe/LiB-Day.html

  • 29 June, ICALP 2003 Satellite Workshop on Quantum Computing

    Location: University of Eindhoven
    Newsitem added on 22 May 2003.

    There will be a one-day workshop about quantum computing on Sunday June 29 at the University of Eindhoven. This will be a satellite workshop of ICALP 03, consisting of about 5 invited talks. Attendance is free, but participants need to register for the workshop at http://www.win.tue.nl/icalp2003/.

    Further information about speakers and program is/will become available at http://www.cwi.nl/themes/ins4/icalp03-quantum/.

  • 27 June 2003, DIP Colloquium, Regine Eckardt

    Speaker: Regine Eckardt (University of Konstanz)
    Date and time: Friday 27 June 2003, canceled

    This talk has been canceled due to overlap with a conference. The talk will take place in the fall of 2003 instead.

  • 27 June 2003, Connecting People: From Animal Grunts to Human Language, Trippenhuis, Kloveniersburgwal 29, Amsterdam

    Date and time: Friday 27 June 2003, 10:00-17:00

    "Connecting people: from animal grunts to human language" is the first of a 5-year series of annual thematic symposia organized by the NWO Cognition programme. Each symposium has a central theme that will be viewed from different cognitive perspectives. We are interested to see how this combination of perspectives may lead to something new, valuable, inspiring and exciting!

    Deadline for registration: 13 June 2003

    Deadline for registration: 13 June 2003. For more information, see http://www.nwo.nl/cognitie/symposium/

  • 25 June, Logic Tea, Joost Joosten, Utrecht University

    Speaker: Joost Joosten, Utrecht University
    Title: Using Interpretations in Comparing Theories
    Date and time: Wednesday 25 June, 15:00-17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 23 June - 4 July 2003, Summer School and Workshop on Proof Theory, Computation and Complexity

    Location: T.U. Dresden, Germany
    Newsitem added on 13 May 2003.

    The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.

    Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.

  • 23-25 June 2003, CONTEXT'03, Stanford, California (USA)

    Newsitem added on 1 September 2002.

    Context affects a wide range of activities in humans and animals as well as in artificial agents and other computer programs. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by the numerous workshops, symposia, seminars, and conferences held recently. The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), will provide a high-quality forum, for discussions about context among researchers active in artificial intelligence and other areas of computer science, cognitive science, linguistics, the organizational sciences, philosophy, and psychology, with a strong emphasis on interdisciplinary research.

    For more information, an online registration form, and a preliminary program, see http://context.umcs.maine.edu/CONTEXT-03/

  • 20-22 June 2003, TARK IX, Bloomington, Indiana, USA

    Newsitem added on 26 April 2003.

    The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.

    TARK IX is held jointly with NASSLLI, so registration details can be found on the NASSLLI site at http://www.indiana.edu/~nasslli/registration.html. For other information including a preliminary program, see the TARK site at http://www.tark.org/.

  • 20 June 2003, Logic and Argumentation, Groningen

    Date and time: Friday, 20 June 2003, 9:00-17:00

    On 20 June 2003, on the occasion of the promotion of J.A. van Laar the day before, the Theoretical Philosophy group of the University of Groningen will host an international symposium on ambiguity and other subjects on the border between logic and argumentation-theory. Speakers include Martin van Hees, Anna Pilatova, Douglas Walton (keynote), Guido Vanackere, Taeda Jovičić, José Plug, Peter Houtlosser en Frans van Eemeren. The day will be concluded with an extended discussion of the thesis of Jan Albert van Laar: The Dialectic of Ambiguity. Location: Filosofisch Instituut, A-Weg 30, Room 201, Groningen.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=450 or contact Erik Krabbe (erik at philos.rug.nl) or Jan Albert van Laar janalbert at philos.rug.nl

  • 20 June 2003, Computing with LLI Seminar, Amit Dubey

    Speaker: Amit Dubey (Saarbrücken)
    Title: Two Studies in Statistical Parsing: Dependency Grammar and Movement
    Date and time: Friday 20 June 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 17-21 June 2003, Second North American Summer School in Logic, Language, and Information (NASSLLI-2003) , Bloomington, Indiana, USA

    Newsitem added on 5 January 2003.

    The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition.

    Note: thanks to some recently received funds to support student attendance, NASSLLI expects to have a reasonable number of $100 registration reductions available.

    For more information regarding the program, registration, accomodations and support, see the conference website at http://www.indiana.edu/~nasslli/.

  • 17-21 June 2003, Reasoning about Space

    Location: Bloomington, Indiana (USA)
    Newsitem added on 28 January 2003.

    Recent years have seen lots of exciting work in spatial reasoning in computer science, AI, and philosophy. The motivation for this work ranges from image analysis and geographical information systems in CS through attempts to exploit properties of space in diagrammatic reasoning, to purely mathematical issues of expressivity of languages with respect to particular spatial domains. As of now, much of the research has been carried out within the respective fields and without much interaction with researchers in other fields.

    The aim of this workshop is to present some recent advances in the field with a particular emphasis on bringing researchers in various fields together for purposes of looking at unifying logical frameworks (such as, for instance, modal logic) and getting a better sense of the most fruitful avenues for further research.

    The workshop is held in the context of the Second North American Summer School in Logic, Language and Information. For more information, see http://www.dit.unitn.it/~aiellom/nasslli03/.

  • 17 June 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Joop Niekus

    Speaker: Joop Niekus (UvA)
    Title: Individual Choice Sequences in the Work of Brouwer
    Date and time: Tuesday 17 June 2003, 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).

  • 16 June-5 July 2003, CSCA Summer School Human Reasoning and cognitive science

    Speaker: Prof. Keith Stenning (Edinburgh University)
    Newsitem added on 27 April 2003.

    The Cognitive Science Center Amsterdam of the UvA organizes an interdisciplinary Summer School for Master's students. Central theme is 'Human reasoning and Cognitive science'.

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

  • 13 June 2003, DIP Colloquium, Cornelia Endriss

    Speaker: Cornelia Endriss ((University of Potsdam)
    Title: The information structural basis of wide scope phenomena
    Date and time: Friday 13 June 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 13 June 2003, Computing with LLI Seminar, Kees Koster

    Speaker: Kees Koster (Nijmegen)
    Title: Taming wild phrases
    Date and time: Friday 13 June 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 6 June 2003, Computing with LLI Seminar, Geert-Jan Kruijff

    Speaker: Geert-Jan Kruijff (Saarbrücken)
    Title: 3-Phase Grammar Learning: Grammar Learning Meets (Computational) Typology
    Date and time: Friday 6 June 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 6 June 2003, Individual choice sequences in the work of L.E.J.Brouwer, Joop Niekus

    Speaker: Joop Niekus
    Date and time: Friday 6 June 2003, 15:00-17:00
    Location: room P 0.15, Euclides, Pl. Muidergracht 24, Amsterdam

    This is a try-out for the ZIC talk of 17 June.

  • 6 June 2003, DIP Colloquium, Rick Nouwen

    Speaker: Rick Nouwen (Utrecht University)
    Title: Dependent Pronouns and Dynamic Distributive Quantification
    Date and time: Friday 6 June 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Nieuwe Doelenstraat 15, Amsterdam

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

  • 6 June 2003, Colloquium on Mathematical Logic, Federico de Marchi

    Speaker: Federico de Marchi (Utrecht)
    Title: Dualising Universal Algebra
    Date and time: Friday 6 June 2003, 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

  • 4 June, Logic Tea, Rosja Mastop, ILLC

    Speaker: Rosja Mastop, ILLC
    Title: Enforcing and Performing
    Date and time: Wednesday 4 June, 15:15-17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 3 June 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Ling Cheung

    Speaker: Ling Cheung (KUN)
    Title: Concise Graphs and Functional Bisimulations
    Date and time: Tuesday 3 June 2003, 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 May 2003, Colloquium on Mathematical Logic, Harry Buhrman

    Speaker: Harry Buhrman (CWI/UvA)
    Title: Simultaneous Message Passing with Quantum Bits
    Date and time: Friday 30 May 2003, 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

  • 26 May 2003, MDL and classification, revisited, Troy Lee

    Speaker: Troy Lee
    Date and time: Monday 26 May 2003, 16:00
    Location: CWI portacabins (Kruislaan 413c), downstairs seminar room (C001), Amsterdam

    Abstract:
    The Minimum Description Length (MDL) Principle is a powerful method for model selection. The theoretical development of MDL has mostly centered around probabilistic modeling. Yet practical applications of MDL often involve models which are best viewed as predictors rather than probability distributions. The standard example is classification, one of the most popular applications of MDL ever since its inception. MDL has been applied to such non-probabilistic models in various ways. We review these approaches and show that, contrary to what is often thought, they can exhibit some rather problematic behaviour: on the theoretical side, it is not known whether the resulting procedures are consistent (none of the existing proof techniques can be applied). On the practical side, the methods can behave quite unreasonably for small data samples. We analyze the reasons for this undesirable behaviour and propose a radical, general and surprising solution to the problem.

  • 26 May 2003, Spinoza Lectures (held in English), Prof. Hubert L. Dreyfus (University of California, Berkeley)

    Speaker: Prof. Hubert L. Dreyfus (University of California, Berkeley)
    Title: From Socrates to A.I.: The Limits of Rule-Based Rationality
    Date and time: Monday 26 May 2003, 20:15
    Location: Aula UvA, Oude Lutherse Kerk, Singel 411 (corner Spui), Amsterdam.
    Costs: None (No reservation required)

    From Socrates to A.I. researchers, it's assumed that intelligence is based on features and rules. Thus, expert system builders assume [...] situation-action rule on the basis of features. But such systems have failed. Dreyfus will argue why.

    For more information, please see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=418 or contact illc at science.uva.nl

  • 23 May 2003, Computing with LLI Seminar, David Harper

    Speaker: David Harper (Robert Gordon University, Aberdeen)
    Title: Query-Based Document Skimming: A User-Centred Evaluation of Relevance Profiling
    Date and time: Friday 23 May 2003, 13:30
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 20 May 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Ana Sokolova , Falk Bartels

    Speakers: Ana Sokolova (TU Eindhoven), Falk Bartels (CWI)
    Title: A hierarchy of probabilistic system types
    Date and time: Tuesday 20 May 2003, 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).

  • 16 May 2003, DIP Colloquium, Henk Verkuyl

    Speaker: Henk Verkuyl (Utrecht University)
    Title: Indexing time. How discrete are we?
    Date and time: Friday 16 May 2003, 16:00-17:30
    Location: Room 015, Bungehuis, Spuistraat 210, Amsterdam

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

  • 16 May 2003, Computing with LLI Seminar, Jan Kleinnijenhuis

    Speaker: Jan Kleinnijenhuis (VU Amsterdam)
    Title: Parsing Political Campaigns
    Date and time: Friday 16 May 2003, 13:30
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 14 May, Logic Tea, Marian Counihan

    Speaker: Marian Counihan
    Title: Logicality and Human Reasoning
    Date and time: Wednesday 14 May, 15:00-17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 9 May 2003, Long Live the Mathematics! Passion for the field., Korteweg-de Vries Institute, Pl. Muidergracht 24, Amsterdam

    Date and time: Friday 9 May 2003, 10:30-17:00
    Costs: None

    The Institute organises an Open Day as the opportunity to make yourself acquainted with its progressive research. Its people are open for questions and discussions about both research as education within the field of mathematics. The program comprises lectures and an informationmarket.

    For more information and submission, see http://www.science.uva.nl/congres/ or call 020-5257865. Brochures can be obtained at ILLC Office.

  • 6 May 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Bas Spitters

    Speaker: Bas Spitters (KUN)
    Title: Constructive and Computer mathematics
    Date and time: Tuesday 6 May 2003, 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).

  • 23-25 April 2003, 8th International Workshop on Parsing Technologies

    Location: Nancy, France
    Newsitem added on 14 April 2003.

    Nancy, "City of Art and History", the historical capital of Lorraine (the north-eastern part of France) welcomes you to the 8th International Workshop on Parsing Technologies. The Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) in Nancy, France will host the 8th International Workshop on Parsing Technologies (IWPT'03) from 23 to 25 April, 2003. IWPT'03 continues the tradition of biennial workshops on parsing technology organised by SIGPARSE, the Special Interest Group on Parsing of the Association for Computational Linguistics (ACL).

    For more information, see http://iwpt03.loria.fr/.

  • 16 April, Logic Tea,

    Speaker: canceled
    Newsitem added on 18 March 2003.

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

  • 12 April 2003, Formal Approaches to Multi-agent Systems (FAMAS'03)

    Location: Warsaw
    Newsitem added on 19 December 2002.

    In recent years, multi-agent systems have come to form one of the key technologies for software development. This workshop aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.

    FAMAS'03 is affiliated with ETAPS 2003, April 5-13, 2003, Warsaw, Poland

    For more information, see http://www.ai.rug.nl/conf/famas or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=347.

  • 12 April 2003, Second International Workshop on Automatic Analysis of Infinite-State Systems (AVIS'03)

    Location: Warsaw, Poland
    Newsitem added on 21 December 2002.

    This workshop is a forum for researchers, students, and practitioners interested in the application of formal methods and tools for the automatic verification of large practical systems.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=348 or visit http://chacs.nrl.navy.mil/AVIS03/.

  • 11 April 2003, DIP Colloquium, Benjamin Shaer

    Speaker: Benjamin Shaer (ZAS, Berlin)
    Title: Left/right contrasts among English temporal adverbials
    Date and time: Friday 11 April 2003, 16:00-17:30
    Location: Room 001 or 107, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 11 April 2003, Colloquium on Mathematical Logic, Georg Moser

    Speaker: Georg Moser (Münster)
    Title: Relating derivation lengths with the slow-growing hierarchy directly
    Date and time: Friday 11 April 2003, 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

  • 8 April 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Maarten Marx

    Speaker: Maarten Marx (UvA)
    Title: Tableaux for Quantified Hybrid Logic
    Date and time: Tuesday 8 April 2003, 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).

  • 5-13 April 2003, ETAPS 2003, Warsaw, Poland

    Newsitem added on 16 January 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.

    Registration deadline is March 31, 2003. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=358 or the ETAPS website at http://www.mimuw.edu.pl/etaps03/

  • 31 March 2003, Seminarie: Logica & Informatica 2003 (SLI-2003)

    Location: Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel
    Target group: Philosophical and mathematical logicians, computer scientists as well as theoretical physicists
    Newsitem added on 18 March 2003.

    Within the framework of a seminar on logic and computer science, the Centre for Logic and Philosophy of Science at the Vrije Universiteit Brussel organizes a small workshop, under the name SLI-2003. The topic of this year's workshop will be devoted to the area of research involving logics dealing with "processes", "changes" or "interactions" in the fields of computer science and quantum physics. We present a program where the talks touch upon current research in: game semantics, dynamic logic, epistemic logic, game theory and quantum logic.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=389 or http://www.vub.ac.be/CLWF/SLI-2003/

  • 28 March 2003, DIP Colloquium, Henkjan Honing

    Speaker: Henkjan Honing (Nijmegen)
    Title: Rhythm and timing: a cognitive approach
    Date and time: Friday 28 March 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

    (In collaboration with the Music & AI seminar)

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

  • 25 March 2003, Logic Tea, Nick Bezhanishvili

    Speaker: Nick Bezhanishvili (ILLC)
    Title: N-Universal Models and Extendible Sets
    Date and time: Tuesday 25 March 2003, 15:00-16:30
    Location: (changed) room G202, Geography Building, Nieuw Prinsengracht 130, Amsterdam

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

  • 21 March 2003, Colloquium on Mathematical Logic, Joost Joosten

    Speaker: Joost Joosten
    Title: Interpretability over Primitive Recursive Arithmetic
    Date and time: Friday 21 March 2003, 16:00-17:00
    Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (Bus 12 from Utrecht Central Station).

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

  • 14 March 2003, DIP Colloquium, Ivana Kruijff-Korbayová

    Speaker: Ivana Kruijff-Korbayová (CoLi, Saarbrücken)
    Title: Information structure in discourse/dialogue
    Date and time: Friday 14 March 2003, 16:00-17:30
    Location: Room 001 (changed), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 14 March 2003, Computing with LLI Seminar

    Title: SIKS/ILLC Symposium on Adaptive Languages for Information Systems
    Date and time: Friday 14 March 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

    Alexander Verrijn-Stuart (Emeritus Leiden University) will talk about A Real Time Information System Language? ``Dynamic adaptation of system characteristics and contents'', while Pieter Adriaans (University of Amsterdam) will address Adaptive - System Management

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

  • 11 March 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Barteld Kooi

    Speaker: Barteld Kooi (RUG)
    Title: Probabilistic Dynamic Epistemic Logic
    Date and time: Tuesday 11 March 2003, 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).

  • 7 March 2003, NVTI Theoryday 2003

    Date and time: 7 March 2003, 09:30-16:40
    Location: Vergadercentrum Hoog Brabant, Radboudkwartier 23, Hoog Catharijne, Utrecht

    Het is ons een genoegen u uit te nodigen tot het bijwonen van de Theoriedag 2003 van de NVTI, de Nederlandse Vereniging voor Theoretische Informatica, die zich ten doel stelt de theoretische informatica te bevorderen en haar beoefening en toepassingen aan te moedigen. De Theoriedag 2003 is een voortzetting van de reeks jaarlijkse bijeenkomsten van de NVTI die acht jaar geleden met de oprichtingsbijeenkomst begon.

    Evenals vorige jaren hebben wij een aantal prominente sprekers uit binnen- en buitenland bereid gevonden deze dag gestalte te geven met voordrachten over recente en belangrijke stromingen in de theoretische informatica. Naast een wetenschappelijke inhoud heeft de dag ook een informatief gedeelte, in de vorm van een algemene vergadering waarin de meest relevante informatie over de NVTI gegeven zal worden, alsmede presentaties van de onderzoekscholen.

    For more information (in dutch), see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=377. For more (english) information please email Jan Willem Klop (J.W.Klop at cwi.nl).

  • 6 March 2003, Third ILLC Alumni Event

    Location: De Burcht-Vakbondsmuseum, Henri Polaklaan 9, Amsterdam
    Newsitem added on 6 February 2003.

    You are kindly invited to the ILLC's Third Alumni Event which will take place Thursday March 6, 2003. The program combines general scientific lectures with social interaction and cultural and musical performances.

    The full text of the invitation, including the program and the reply form, can be found at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=372.

  • 5 March 2003, CSCA Lecture, Prof.dr. Peter Hagoort

    Speaker: Prof.dr. Peter Hagoort (F.C. Donders Centre for Cognitive Neuroimaging)
    Title: On binding, brain and language
    Date and time: Wednesday 5 March 2003, 16:00
    Location: Bestuurskamer (1.01), Bungehuis, Spuistraat 210, Amsterdam

    In visual neuroscience the binding problem refers to the puzzle how spatial information segregation in the brain (form, color, motion) results in a unified percept. In language processing, however, the binding problem refers to the unification of information across time. I will show some of the organizational principles of binding together different types of language-relevant information into a unified representation of the incoming spoken or written signals. Research using EEG and fMRI will be discussed.

    For more information, see the news and events page at http://www.csca.uva.nl or contact Lucy Wenting at L.U.Wenting at uva.nl.

  • 4 March 2003, Logic Tea, Maarten Marx

    Speaker: Maarten Marx (ILLC)
    Title: The Complexity of Modal Reasoning on Finite Trees
    Date and time: Tuesday 4 March 2003, 15:00-16:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 28 February 2003, ACLC-ILLC Workshop

    Date and time: Friday 28 February 2003, afternoon
    Location: Room 004, Bungehuis, Spuistraat 210, Amsterdam

    For both ACLC and ILLC understanding natural language is `core business', but hitherto contact between the two institutes has been limited. Recently several areas have been identified, where we would like to profit from each other's expertise. For example, the formal semanticists working on tense and aspect are very much interested in typology, and conversely functional linguists have become interested in formal models of discourse. During the afternoon, four speakers will introduce topics that might grow into areas of common research. Participants who want to discuss other such topics are most welcome to do so.

    For more information, see the DIP Colloqium page at http://www.illc.uva.nl/dip/, or contact m.nilsenova at hum.uva.nl.

  • 25 February 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Mirna Bognar

    Speakers: Mirna Bognar (Deloitte & Touche, previous affiliation: VU)
    Title: The context cube: the lambda cube with contexts
    Date and time: Tuesday 25 February 2003, 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 February 2003, CWI INS4 Theory Day

    Speakers: Ilan Newman (Haifa University), Gabor Tardos (Renyi Institute, Budapest), Maria Luisa Bonet (UPC Barcelona), David Mix Barrington (U. of Massachusetts)
    Date and time: Thursday 20 February 2003, 11:00-17:00
    Location: Room Z009, CWI, Kruislaan 413, Amsterdam

    Program

    11.00
    Ilan Newman, Haifa University
    Three results on graphs and Property Testing
    13.30
    Gabor Tardos, Renyi Institute, Budapest
    Optimal probabilistic fingerprint codes
    14.30
    Maria Luisa Bonet, UPC Barcelona
    tba
    16.00
    David Mix Barrington, U. of Massachusetts
    Uniform Circuits for Division: Consequences and Problems

    For more information, see http://www.cwi.nl/~roehrig/theory-day-20030220.html.

  • 20 February 2003, Computing with LLI Seminar, Sisay Fissaha

    Speaker: Sisay Fissaha (Saarland)
    Title: AUTOTERM: A tool for terminology extraction
    Date and time: Thursday 20 February 2003, 16:00
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

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

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

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

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

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

  • 14 February 2003, DIP Colloquium, Benjamin Spector

    Speaker: Benjamin Spector ( Laboratoire de Linguistique Formelle, Université de Paris 7; Institut Jean-Nicod, Paris )
    Title: Computing scalar implicatures : local or global?
    Date and time: Friday 14 February 2003, 16:00-17:30
    Location: Room 107, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 14 February 2003, Utrecht-Münster Seminar on Provability Algebras (fourth session)

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

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

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

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

  • 13 February 2003, DIP Colloquium, Gabor Alberti

    Speaker: Gabor Alberti (University of Pecs)
    Title: Lifelong Discourse Representation Structures
    Date and time: Thursday 13 February 2003, 16:30-17:30
    Location: Room 015, Bungehuis, Spuistraat 210, Amsterdam

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

  • 11 February 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Vincent van Oostrom and Dimitri Hendriks

    Speakers: Vincent van Oostrom and Dimitri Hendriks (UU)
    Title: "adbmaL"
    Date and time: Tuesday 11 February 2003, 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).

  • 11 February 2003, Logic Tea, Mart de Graaf

    Speaker: Mart de Graaf
    Title: Comparing EQP and MOD_{p^k}P Using Polynomial Degree Lower Bounds
    Date and time: Tuesday 11 February 2003, 14:30-15:30
    Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 7 February 2003, Computing with LLI Seminar, Dirk Povel

    Speaker: Dirk Povel (Nijmegen)
    Title: The Perception of Tonal Music: Processes and Representations
    Date and time: Friday 7 February 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 7 February 2003, Music & AI Colloquium, Dirk Povel

    Speaker: Dirk Povel
    Newsitem added on 28 November 2002.
  • 31 January 2003, Computing with LLI Seminar, Ivar Vermeulen

    Speaker: Ivar Vermeulen (Amsterdam)
    Title: A Logical Approach to Competition in Industries
    Date and time: Friday 31 January 2003, 13:30
    Location: Room B2.28, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 31 January 2003, DIP Colloquium, Aoju Chen

    Speaker: Aoju Chen (Edinburgh)
    Title: On the universality of paralinguistic meanings of intonation
    Date and time: Friday 31 January 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 28 January 2003, Zuidelijk Interuniversitair Colloquium (ZIC), Pedro d'Argenio

    Speaker: Pedro d'Argenio (Argentina)
    Title: Reachability Analysis of Probabilistic Systems by Successive Refinements
    Date and time: Tuesday 28 January 2003, 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).

  • 24 January 2003, Utrecht-Münster Seminar on Provability Algebras (third session)

    Location: Utrecht
    Newsitem added on 1 October 2002.

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

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

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

  • 21 January 2003, Logic Tea, Bas Terwijn

    Speaker: Bas Terwijn
    Title: Computably Enumerable Reals
    Date and time: Tuesday 21 January 2003, 14:30-15:30
    Location: Room t.b.a., Euclides Building, Plantage Muidergracht 24, Amsterdam

    This will be an informal presentation of results in computability theory on computably enumerable reals and randomness.

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

  • 20 January 2003, Computing with LLI Seminar, Elham Ashoori

    Speaker: Elham Ashoori (University of Teheran, Iran)
    Title: Adaptive Information Filtering Using Plausible Inferences
    Date and time: Monday 20 January 2003, 13:30
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam

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

  • 17 January 2003, DIP Colloquium, Alex Lascarides

    Speaker: Alex Lascarides (Edinburgh)
    Title: Logics of Conversation
    Date and time: Friday 17 January 2003, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 17 January, ILLC's New Year Drinks

    Date and time: Friday 17 January, 17:00-19:00
    Location: Cafe De Jaren, Nieuwe Doelenstraat 20/22, Amsterdam
  • 15-17 January 2003, Fifth International Workshop on Computational Semantics (IWCS-5)

    Location: Tilburg
    Newsitem added on 11 July 2002.

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

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

  • 13 January 2003, Music & AI Colloquium, Dicky Gilbers and Maartje Schreuder

    Speakers: Dicky Gilbers and Maartje Schreuder
    Title: Music in Optimality Theory
    Date and time: Monday 13 January 2003, 16:00-17:30
    Location: Nieuwe Achtergracht 166, room B235, Amsterdam

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

  • 3 January 2003, LSA Workshop on Probabilistic Linguistics

    Location: Atlanta, USA
    Newsitem added on 21 November 2002.

    Schedule

    1. Probabilistic Modeling of Language: An Introduction and Apologia: Dan Jurafsky
    2. Data-Oriented Parsing: Rens Bod
    3. Dynamics and Connectionism: Whitney Tabor
    4. Stochastic Optimality Theory: Paul Boersma
    5. Exemplar Theory: Janet Pierrehumbert
    6. Usage-Based Models: Jeff Elman
    7. General discussion and book presentation

    Special Event:
    The book "Probabilistic Linguistics" (Bod et al. 2003, MIT Press) will be presented at this symposium. For ToC and Introduction, see http://staff.science.uva.nl/~rens/mitbooktoc.html.

    For more information, see http://staff.science.uva.nl/~rens/lsa03.html

Calls for Papers

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

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

    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.

  • 26-29 April 2004, Ciber@RT Bilbao 2004: "Challenges for a Ubiquitous Identity", Valencia, España (deadline: 30 November 2003)

    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.

    There's 1 room for Emerging Technologies: here, practical applications of interaction technologies (software and hardware development) may be submitted. Deadline for submission of abstracts is 30th November 2003

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

  • AWM Essay Contest (deadline: 31 October 2003)

    Newsitem added on 2 October 2003.

    Students are invited to submit essays for the Association for Women in Mathematics' "Biographies of Contemporary Women in Mathematics" contest. The essays are based on interviews with women working in mathematical careers. The contest is open to students in four categories: 6th-8th grade, 9th-12th grade, undergraduate, and graduate.

    Entries must be submitted by OCTOBER 31, 2003. Faculty are urged to invite students to visit the website at http://www.awm-math.org/biographies/contest.html for more information.

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

    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). We invite submission of papers in the form of 300 word abstracts. Deadline for submission is 15 September.

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

  • 24-30 January 2004, SOFSEM 2004, Hotel VZ Merin, Czech Republic (deadline: 18 August 2003)

    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.

    The call for Papers of the 2004 SOFSEM conference (the 30-th in the series) is now open. Deadline for abstracts : 18 August 2003.

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

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

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

MoL and PhD defenses

  • 22 December 2003, Master of Logic defense, Oren Tsur

    Title: Topic - definitional QA using trainable text classifiers
    Date and time: 22 December 2003, 11:00-12:00
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam
    Study Advisors: Dr. Maarten de Rijke, Dr. Khalil Sima'an
  • 18 december 2003, Master of Logic defense, Loredana Afanasiev

    Title: XML query evaluation via CTL model checking
    Date and time: Thursday 18 december 2003, 14:00
    Location: Room 0.19 (changed), Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: M. Franceschet

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

  • 12 December 2003, Master of Logic defense, Gilad Mishne

    Title: Using Conceptual Graphs for Source Code Information Retrieval
    Date and time: Friday 12 December 2003, 13:30-14:30
    Location: Room B2.35, Gebouw B, Nieuwe Achtergracht 166, Amsterdam
    Supervisors: Maarten de Rijke, Maarten Marx
  • 11 december, 2003, PhD defense, Christof Monz

    Title: From Document Retrieval to Question Answering
    Date and time: Thursday 11 december, 2003, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof.dr. Remko Scha (UvA), Prof.dr. Franciska de Jong (UT)
    Copromotor: Dr. Maarten de Rijke (UvA)

    For more information, email Christof Monz (christof at science.uva.nl)

  • 4 December 2003, PhD defense, Juan Heguiabehere

    Title: Building Logical Toolboxes
    Date and time: Thursday 4 December 2003, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof. d. D.J.N. van Eijck
    Copromotor: Dr. Maarten de Rijke

    For more information, email Juan Heguiabehere (juanh at science.uva.nl)

  • 2 December 2003, Master of Logic defense, Guillaume Aucher

    Title: A combined system for update logic and belief revision
    Date and time: Tuesday 2 December 2003, 09:15-10:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Johan van Benthem
  • 24 September, 2003, PhD defense, mw E.C. Brouwer

    Title: Imagining metaphors. Cognitive representation in interpretation and understanding.
    Date and time: Wednesday 24 September, 2003, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: mw. prof. dr. R.J. Bartsch, prof. dr. M.J.B. Stokhof

    Poëtische teksten vormen een probleem voor de semantiek. Brouwer werkt een verklaringsmodel uit en stelt verder dat in de interpretatie van een poëtische tekst een subjectieve, niet-conventionele lezing toelaatbaar en zelfs sociaal wenselijk is.

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

  • 16 September 2003, Master of Logic defense, Helle Hvid Hansen

    Title: Monotonic Modal Logics
    Date and time: Tuesday 16 September 2003, 15:30
    Location: Room M.328, BCP Janssen Instituut, Plantage Muidergracht 12, Amsterdam
    Supervisor: Yde Venema

    This defense is for the title of Doctorandus (Master's) of Mathematics, specialisation: Logic and Foundations. NOTE: The location has changed from room P.327 to M.328.

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

  • 5 September 2003, PhD defense, Barteld Kooi

    Title: Knowledge, Chance, and Change
    Date and time: Friday 5 September 2003, 15:45-17:00
    Location: Academiegebrouw, Broerstraat 5, Groningen
    Promotor: prof. dr. G.R. Renardel de Lavalette
    Copromotor: dr. L.C. Verbrugge
  • 19 August 2003, Master of Logic defense, Chunlai Zhou

    Title: Some intuitionistic provability and preservativity logics and their interrelations
    Date and time: Tuesday 19 August 2003, 14:30
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisors: Rosalie Iemhoff and Dick de Jongh
  • 28 July 2003, Master of Logic defense, Fadillah Tala

    Title: Information Retrieval for Bahasa Indonesia - II
    Date and time: Monday 28 July 2003, 16:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: M. de Rijke
  • 5 June 2003, Master's defense, Evan Goris

    Title: Extending ILM with an operator for Sigma_1-ness
    Date and time: Thursday 5 June 2003, 16:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24
    Study Advisor: Dick de Jongh
  • 6 February 2003, PhD defense, Ivar Vermeulen

    Title: A logical approach to competition in industries
    Date and time: Thursday 6 February 2003, 10:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Prof.dr. W.E. Saris
    Copromotor: Dr. J.F.M. Masuch

    For more information, see http://staff.science.uva.nl/~ivar/phd/

Projects and Awards

  • ESSLLI awards for ILLC GPiL students

    Newsitem added on 2 September 2003.

    Great news! At this years ESSLLI student session both the best paper and the best poster award were won by students of the ILLC GPiL programme. Willem Conradi (MoL 2001/2002) won the best paper award and Wouter Kuijpers (MoL ILLC) and Petrucio Viana (PhD ILLC) won the best poster award. Congratulations.

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

  • LIT Group obtained 2 NWO fundings

    Newsitem added on 25 July 2003.

    The Language & Inference Technology Group is happy to announce that it managed to obtain funding from the NWO for two three year postdoc projects, "Learning Stochastic Tree-Grammars from Tree-Banks" and "Inference for Temporal Question Answering", as part of NWO's annual "open competitie"

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

  • E.W. Beth dissertation award: 2003 winner

    Newsitem added on 20 July 2003.

    The E.W. Beth Dissertation Prize 2003 has been awarded to JASON BALDRIDGE (University of Edinburgh) for the dissertation ``Lexically Specified Derivational Control in Combinatory Categorial Grammar''. An award ceremony will take place during ESSLLI 03 in Vienna, on Monday , August 25 at 20:00 hrs.

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

  • 24 September 2003, AIxIA Dissertation Award

    Date and time: 24 September 2003, 17:10-18:50
    Location: University of Pisa, Italy

    Marco Aiello has won the prize for the best dissertation in the field of AI defended after January 2002 from the Italian Association for Artificial Intelligence (AIxIA). The price consists of 1500 euro. Aiello will be awarded the price on 24 September from 17:10-18:50, during the national conference of the association that this year will be held in Pisa 23-26 of September, 2003.

  • Four ILLC-applications for NWO Cognition programma honoured

    Newsitem added on 26 May 2003.

    Four ILLC-applications for preparatory grants in the NWO Cognition programme (2003) were honoured:

    • Pieter Adriaans & Dick de Jongh: Cochlear implants and their effects on first language learning
    • Reinhard Blutner: Logic, neural networks and optimality theory
    • Michiel van Lambalgen: Reasoning and the brain
    • Robert van Rooy, Frank Veltman & Paul Dekker: The evolution of meaning in a game-theoretical setting

    The Cognition preparatory grants are intended as stimulation for exploring possibilities for interdisciplinary research. All four projects have co-applicants from other universities and/or other fields. The next round for full project proposals is in the fall.

    For more information, please see the NWO Cognition pages at http://www.nwo.nl/cognitie/, or contact the ILLC Buro at illc at science.uva.nl.

  • DFG Grant "Determinacy and Combinatorics"

    Newsitem added on 29 April 2003.

    The Deutsche Forschungsgemeinschaft (DFG) approved the research project "Determinacy and Combinatorics" KO 1353/3-1 of Peter Koepke (RhFWU Bonn) and Benedikt Löwe from 2003 to 2006.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=423 or http://www.math.uni-bonn.de/people/logic/dfg/DK.html

  • Rolf Schock Prize 2003 awarded to Prof. Solomon Feferman

    Newsitem added on 26 May 2003.

    Prof. Solomon Feferman, Stanford University, member of ILLC's Scientific Advisory Board has been awarded the prestigious Rolf Schock Prize 2003 for his contributions to logic and philosophy. The other 2003 laureates are Richard Stanley (mathematics), Susan Rothenberg (visual arts) and Anne Sofie von Otter (musical arts). Among the previous laureates are Dana Scott, Michael Dummett, Andrew Wiles, John Rawls and W.V.O Quine.

  • 2 year extension for NWO project Choice sequences in the work of Brouwer

    Supervisor: Dick de Jongh
    Newsitem added on 27 April 2003.

    The NWO project by Joop Niekus in the Leraar in Onderzoek program on Choice sequences in the work of Brouwer (supervised by Dick de Jongh) will be extended for another two years! Such an extension is a rare occurrence.

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

  • Benedikt Loewe and NWO Project VMOSII

    Newsitem added on 9 March 2003.

    From February 1 to March 31, 2003, Dr Benedikt Loewe will be visiting the ILLC in the NWO-project VMOSII (Verzamelingstheoretische Modelvorming voor Oneindige Spelen van Imperfecte Informatie). The project is a joint project of Johan van Benthem, Peter van Emde Boas, and Benedikt Loewe, and is closely related to the InIGMA project.

    For more information, see http://staff.science.uva.nl/~bloewe/VMOSII.html

Funding, Grants and Competitions

  • European Young Investigators (EURYI) Award

    Newsitem added on 4 November 2003.

    The European Young Investigators (EURYI) Awards are an initiative of 19 European Union Research Organisations from 17 countries, thus contributing to the creation of the European Research Area. The aim of the EURYI Awards is to enable and encourage outstanding young researchers from all over the world to work in an European environment for the benefit of the development of European science and for building up the next generation of leading European researchers.

    The scheme is open to researchers from anywhere in the world between 2 and up to 10 years after obtaining the doctorate. Applicants should have an excellent track record with the potential to become world class leaders in their respective field of research. Applications should be submitted through one of the participating organisations (for the Netherlands: NWO).

    Submission deadline for applications to NWO is 15 December 2003. For more information, see http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5QTJZA?Opendocument&su=no

  • Final Call for Integrated Research Projects in the Cognition Programme

    Newsitem added on 15 May 2003.

    The study of cognitive phenomena like perception, memory, attention, action, language, and problem solving, including relations to their neural substrates and social setting, is one of the fundamental challenges of modern times. The NWO special Programme on Cognition is meant to boost this highly interdisciplinary area across traditional academic boundaries. The programme committee and the steering committee wish to achieve further integration across the cognitive disciplines, and to explore strategic applications. This second Call for Proposals therefore invites strong groups working in different domains of the cognitive sciences to submit proposals for collaborative research projects.

    For this final Call for Integrated Research Projects, projects are envisaged of maximally 400 000 Euro. The committee will pay special attention to the balance between project size and potential benefit for the programme. To decrease effort overall, applicants must submit a preliminary proposal in early October 2003. Only those who submitted a preliminary proposal may submit a full proposal in January 2004. Assessment and ranking of full proposals by the Programme Committee will take place in May 2004.

    For more information, see the NWO Cognition pages at http://www.nwo.nl/cognitie/, or contact the NWO Cognition Programme buro at cognitie at nwo.nl.

  • Competitions: UvA-endpaper and AUV-price for social research

    Newsitem added on 25 April 2003.

    UvA graduates who graduated between 1 July 2002 and 1 June 2003 can compete for the UvA-endpaper award or the AUV price for outstanding contributions to society, possibly winning a €3500,- grant for continuing scientific development, a laptop, or € 1000,-.

    The results of the two competitions will be announced 21 June, at the Universityday. Final entrydate is 6 May (for graduates up to 1 April) or 1 June (for graduates up to 1 June). It is possible to enter third parties.

    For more information, please contact M.Fopma at mfopma at bdu.uva.nl or see http://www.alumni.uva.nl/actueel/.

  • JSPS Postdoctoral Fellowship Program for Foreign Researchers (Gaikokujin Tokubetsu Kenkyuin) 2004-2005

    Newsitem added on 30 April 2003.

    This program was established to assist promising and highly qualified young foreign researchers wishing to conduct research in Japan. It is aimed at providing opportunities for such researchers to, under the guidance of their hosts, conduct cooperative research with leading research groups in universities and other Japanese institutions, thereby permitting them to advance their own research while stimulating Japanese academic circles, particularly young Japanese researchers, through close collaboration in scientific activities. The Japan Society for the Promotion of Science (JSPS) accepts applications until May 30th, 2003.

    For more information, see http://www.jsps.go.jp/e-fellow/postdoctral.html.

  • 15 May 2003, Descartes-Huygens Price of € 23.000,-

    Newsitem added on 30 March 2003.

    The annual price is founded by the Dutch and French government, and will be granted by the KNAW. The price is meant as a coverage for a research stay in the Netherlands for about 6 months. For year 2003 KNAW is looking for a French researcher distinctively active in the fields of Humanities and Social Scienceslauded by colleagues and internationally famed for markmanship. The candidate must or have contributed in benefit to the development of the French-Dutch scientific cooperation. Furthermore will strong preference be given to candidates with their heydays yet to come.

    For submissions and more information, please contact the ILLC Office at illc at science.uva.nl, before 15 May 2003.

  • INTAS Russia calls for proposals

    Newsitem added on 16 March 2003.

    The international association for the promotion of cooperation with scientists from the New Independent States (NIS) of the former Soviet Union (INTAS) has launched a series of calls, making available 25.2 million euro for international scientific research.
    The calls are as follows:

    • Open call for proposals for research projects and networks related to all scientific fields in both fundamental and applied science;
    • Belarus call for proposals in all areas of science. Research teams must include at least one Belarussian partner;
    • CERN call for proposals related to the physics and engineering of the Large Hadron Collider at CERN (European organisation for nuclear research);
    • Call for proposals in the field of spacecraft research and technology at CNES (the French national centre for space studies);
    • GSI call for proposals related to the development of accelerators or experiments for the new international accelerator facility for means of ions and antiprotons
    • GSI (society for heavy ion research).

    In all cases the deadline for submission is 13 June 2003.
    INTAS has also published calls for young NIS scientist fellowships, for which 2.5 million euro is earmarked, and innovation grants, for which 500,000 euro is available. Applications for the grants must be received by 11 July 2003.
    Further information and full text call: http://www.intas.be/.

  • NWO Open Competition

    Newsitem added on 12 November 2002.

    The NWO invites you to make a project proposal regarding "De Open Competitie". Deadline for this proposal is January 29, 2003

    For the full invitation (in dutch), see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=320. More information about the grant and a brief summary of the standard procedure for applying is provided on the NWO website at https://www.iris.nwo.nl/, or contact Ir.drs. M. de Boer at boerm at nwo.nl

Open Positions at ILLC

Open Positions, General

  • 2 Research MSc+BSc Positions in Logic and Computation available

    Location: King's College London
    Target group: A.I., Knowledge Representation, Automated Reasoning, Logic
    Supervisor: Michael Zakharyaschev
    Newsitem added on 26 September 2003.

    The project 'Knowledge Representation and Reasoning: Space, Time, and Knowledge' consists of several independent projects thematically and technically closely connected to each other. All of them belong to one of the most interesting fields of artificial intelligence, which is concerned with developing software capable of qualitative reasoning about the world around us. In the framework of the project we'll be considering some simple models of space, time, and knowledge.

    Students with skills and interests in programming and research are welcome.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=516 or http://www.dcs.kcl.ac.uk/staff/mz/, or email mz at dcs.kcl.ac.uk

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

  • Open Position Scientific Assistant, Institut für Philosophie, Regenburg, Germany

    Date: Duration: 3 years
    Location: Institut für Philosophie, Universität Regensburg, Germany

    At the Institut für Philosophie of the Philosophischen Fakultät I of the Universität Regensburg (Lehrstuhl für Theoretische Philosophie) is an opening available for a scientific assistant. This will be a three-year position starting in the summer of 2004, in the 'C 1 BBesG' salary bracket.

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=538 (in German) or contact dr. Hans Rott (email: hans.rott at psk.uni-regensburg.de, tel: 0941 943 3662, fax: 0941 943 1985).

  • 2 European research student (PhD-)scholarships available for BATMULT

    Location: University of Bergen, Norway.
    Newsitem added on 15 August 2003.

    For the spring term 2004, two European research student (PhD-)scholarships are available in the area of multilingual tools and resources. Support is given for 3 to 12 month research stays at the Bergen Advanced Training Site in Multilingual Tools (BATMULT) at the University of Bergen, Norway.

    For more information, see http://www.hit.uib.no/batmult/. Students who wish to arrive at the beginning of the spring term of 2004 should send in their application before November 1, 2003.

  • PhD Student Positions in Philosophy (Bonn, Germany)

    Newsitem added on 15 September 2003.

    There are PhD positions in philosophy available for the project "Selbstbewusstsein und Begriffsbildung beim Menschen" ("Consciousness and formation of concepts") in Bonn, Germany, for the period of Jan 2004-Dec 2005.

    Deadline: October 15th, 2003. For more information, please see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=505 or contact bloewe at science.uva.nl

  • Open positions at The Intelligent Agents Lab

    Location: Technical University, Muenchen, Germany
    Newsitem added on 8 May 2003.

    Available positions: Post-Docs, PhD students and regular students, starting January 2004. Our research goals include: Real-Time Planning of an Intelligent Agent's Behavior, Technology Fusion, Multi-Objective Algorithm Design and Computer Games.

    Final deadline for applications is 1 September 2003. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=426 or http://www.ai-center.com/jobs/jobs.txt

  • Research MA in Linguistics, University of Amsterdam

    Newsitem added on 6 February 2003.

    The Faculty of Humanities of the University of Amsterdam offers a new MA programme for talented students who are interested in conducting research in one of the many areas of linguistics that are studied in its research institutes. This Research MA in Linguistics offers the opportunity to specialize in a wide range of linguistic subdisciplines and pays serious attention to methodological issues. All courses are taught in English or, in the case of language-specific courses, in the target language. The programme takes two years for selected students with a relevant BA or equivalent, and one year for selected students with a relevant MA or equivalent. Since the University of Amsterdam is interested in attracting talented researchers, tuition rates are competitive.

    Further information about the programmes may be found at http://www.hum.uva.nl/graduateschool/ or requested from graduateschool at hum.uva.nl

  • UD-vacature Logica en Argumentatietheorie Groningen

    Newsitem added on 17 February 2003.

    Bij de Vakgroep Theoretische Filosofie van de RU-Groningen bestaat een vacature voor een Universitair Docent Logica en Argumentatietheorie voor 50% van de werktijd.

    Deadline sollicitaties: 8 Maart 2003. Voor verdere informatie, zie http://213.159.10.120/rug/Vacatures/detail.cfm?Vacature_ID=DBCMTG9C , of mail Prof. dr. E.C.W. Krabbe, email E.C.W.Krabbe at philos.rug.nl.

  • Postdoc position, Faculty of Philosophy, University of Groningen

    Newsitem added on 5 November 2002.

    The Faculty invites applications for a postdoc in the Department of Theoretical Philosophy

    For further information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=311 or the departmental website at http://www.philos.rug.nl/algemeen/tf/tf.htm.

  • Post-Doctoral Fellowships at EPDI

    Newsitem added on 29 October 2002.

    The European Post-Doctoral Institute (EPDI) launches a new call for Post-Doctoral Fellowships. Each year, the EPDI proposes 5 two-year grants in mathematical sciences, with the only requirement for the fellows to spend at least 18 months in a foreign country and from 6 to 18 months at one or several EPDI institutes. Applications are reviewed in January 2003.

    For more information, see the EPDI website at http://seven.ihes.fr/EPDI/index.html,

  • Positions at Mitteleuropa Foundation

    Newsitem added on 29 October 2002.

    The Mitteleuropa Foundation, a research center in cognitive systems and ontology, has a number of posts for Research Fellows and PhD students available.

    For more information, see their recently updated webpages at http://www.mitteleuropafoundation.it.

New Appointments

  • New PhD student at ILLC:

    Newsitem added on 7 September 2003.

    As of 1 september 2003, the ILLC crew will be extended with several new PhD students, staff members and guests:

    • Kata Balogh, PhD student
    • Fabrice Nauze, PhD student
    • Brian Semmes, PhD student
    • Evangelos Tzanis, PhD student
    • Wouter Kuijper, Programmer
    • Gilad Mishne, Programmer
    • Jori Mur, Guest student
    • Ian Hodkinson, Guest
    • Marc Pauly, Guest
    • Felix Bou, Guest

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

  • Paul Vitányi appointed as CWI fellow

    Newsitem added on 20 July 2003.

    Another honour bestowed on a member of ILLC: Paul Vitányi has been appointed as fellow of the Centrum voor Wiskunde en Informatica (CWI). This position is given to "outstanding members of CWI's research staff, enabling them to concentrate completely on research." Vitányi's research group is considered "world leader in quantum computing, distributed algorithmics, algorithmic information theory, learning and inference methods, and reversible adiabatic computing."

    For more information, see http://homepages.cwi.nl/~paulv/fellow.html

  • Johan van Benthem appointed University Professor

    Newsitem added on 17 July 2003.

    The Universiteit van Amsterdam has appointed Johan van Benthem as university professor, to "further interdisciplinary research in the field of information science and cognitive science." The position of university professor is a very prestigious one and is offered to a select number of scholars of international renown, who "give an impuls to scientific developments that transcend traditional disciplines and make an important contribution to the profile of the university."

    The appointment of Johan van Benthem as university professor does not mean that his association with ILLC ends: he will conduct his research as part of ILLC's efforts and he will also continue to supervise PhD students. His participation in various curricula will also continue albeit on a smaller scale.

    The official annnouncement can be found at the UvA site at http://www.uva.nl/actueel/.

  • Staff Changes at ILLC:

    Newsitem added on 9 February 2003.

    Ingrid van Loon will be on maternity leave from February 17 until August 1. During these months she will be replaced by Amanda Collins. Amanda has worked at the bureau of the Faculty of Science for the past two years, and although she is new to the ILLC she has experience in the academic environment. She will be working the same hours as Ingrid, these are Monday, Tuesday, Thursday and Friday from 8.30-17.00hrs. She can be reached at 020-5256090 or collins at science.uva.nl. Ingrid will not be reading her e-mail during her period of absence.

    After working at the ILLC as program manager for a year, Peter Paul de Witte will be leaving the institute. Tanja Kassenaar will take over his job from the first of March. Her time schedule will be Tuesday 9-17, Thursday 9-17 and Friday 9-13 and she can be reached at tkassena at science.uva.nl or 020-5256519 in room P3.12/B2.33.

  • 1 April 2003, Editorship Prepublications Succession

    Newsitem added on 6 April 2003.

    From April 1 2003 onwards, Benedikt Loewe succeeds Dick de Jongh as editor of the ILLC Prepublications.

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

Miscellaneous

  • ASL Newsletter September 2003 available

    Newsitem added on 18 September 2003.

    The September 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 .

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

  • Cognition Newsletter March 2003 available

    Newsitem added on 26 April 2003.
    The March 2003 issue of the NWO Cognition Newsletter is out. It is available at the NWO Cognition pages at http://www.nwo.nl/cognitie/, or locally at http://www.illc.uva.nl/NewsandEvents/Attachments/Cognitienieuwsbrief2.pdf,
  • 21 Juli-17 August 2003, Euclides building closed evenings

    Newsitem added on 23 June 2003.

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

    From July 14 until August 17, 2003 the opening hours of the canteens of the Roeterseilandcomplex (REC) will be:
    Mensa Agora: 09.00 till 16.00
    Kantine A: closed, the machines will be functioning.

  • ASL Newsletter April 2003 available

    Newsitem added on 10 April 2003.

    The April 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 .

  • Pieter Adriaans' Book 'Robot op Zee' published

    Newsitem added on 16 March 2003.

    Pieter Adriaans' pursuit of realising the ultimate schoolboy's dream whilst at the same time accomplishing a scientific project of outstanding caliber, has led him to bravely cross the Atlantic Ocean as a solo sailer. Aided by nothing but his determination and advanced computersystem of own build, he entered the 2000 STAR challenge to sail off from Plymouth. The finish at Newport he'll never make...It's an almost literal version of Plato's doomed syracuse.

    For more info and ordering: http://www.uitgeverijboom.nl/html/catalogus/boek.php3?item=995 Furthermore one copy is available for reading at the glass display@sitcorner of floor 3 ILLC (for reading, not borrowing!).

  • Announcement

    Date: 29-30 May 2003

    Please note that Thursday, May 29 and Friday, May 30 all university buildings will be closed because of "Hemelvaartsdag" on Thursday. In order to enter the building you shall need a "overwerkpas".

  • Landelijk Orgaan Wetenschappelijke Integriteit (LWI) established

    Newsitem added on 26 May 2003.

    The 'Landelijk Orgaan Wetenschappelijke Integriteit' (LOWI) has been established by the KNAW board. The LOWI will deal with complaints about violation of scientific integrity.

    After consultation with the VSNU and the boards of het Universities, the 'Landelijk Orgaan Wetenschappelijke Integriteit (LOWI)' was established by the KNAW board on the 1st of May 2003. The LOWI will deal with complaints about violation of scientific integrity that have been addressed to the board of a university, the board of NWO or the KNAW after the 1st of May 2003. After the addressed board has made a decision about on the complaint, the complainer may consult the LOWI for a second opinion.

    For more information on the LOWI, please contact Amanda Collins, collins at science.uva.nl, tel: 6090.

  • Announcement

    Newsitem added on 18 May 2003.

    Due to all the recent developments around the disease SARS, we wish to be informed on the whereabouts of all ILLC-personnel especially those traveling to countries where travel is not recommended by the World Health Organization. We also wish to be informed about guests we can expect from these area's. We request that you, as soon as you know that you'll be traveling to one of these area's or when you know of a guest who'll be coming from one of the countries would send an email to Martin Stokhof (stokhof at hum.uva.nl) or Amanda Collins (collins at science.uva.nl) informing us of these events.

    More information and advice on SARS and the risk areas, can be found on the websites of the World Health Organization (at http://www.who.int/) and the Ministry of Health (at http://www.minvws.nl/zoeken.html?folder=549).

  • 8 May, Vehicle Marking Action

    Date and time: Thursday 8 May, 11:00-18:00
    Location: Bus parking area, Artis Zoo, Amsterdam

    The police, in cooperation with Carglass BV, Stichting Certificering Motorrijtuigenbeveiliging, Dienst Infrastructuur Verkeer en Vervoer and Datatag, are taking measures to reduce vehicle crime in the Plantage area. On Thursday 8 May, as part of this initiative, people will have will have the opportunity to have their vehicles (cars, bicycles) marked at no cost.

    The event will be made into a minor festivity, with presents and candy for children, and festive flags to guide people to the correct area.

    For more information contact the neighborhood coordinator, Linda Smit.

  • Announcement

    Newsitem added on 15 April 2003.

    The quickly spreading lung disease SARS is cause for alertness for the UvA, since our university has many international contacts involving staff and students.

    The College van Bestuur wishes to impress upon staff members and students with foreign contacts that they should be aware of the spread of the disease, and take precautions where necessary. They recommend postponing visits to risk areas and recalling any staff members or students that are already in those areas. Furthermore, they advice using restaint when inviting guests from risk areas, and postponing already planned visits where possible.

    The Ministry of Health advices people who have been in potential contact with a SARS victim to be alert for the following symptoms: sudden high fevers, aching muscles, coughing, an aching throat and/or shortness of breath. Persons with these symptoms should report to their physicians and notify them of the possibility of SARS.

    More information and advice on SARS and the risk areas, can be found on the websites of the World Health Organization (at http://www.who.int/) and the Ministry of Health (at http://www.minvws.nl/zoeken.html?folder=549).

  • ASL Newsletter January 2003 available

    Newsitem added on 31 January 2003.

    The January 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 .

  • ASL Newsletter November 2002 available

    Newsitem added on 21 November 2002.

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

  • HAPPY NEWS

    Newsitem added on 21 November 2002.

    Dear Friends and Colleagues,

    This is to let you all know that last Friday, November 15 our twin daughters Gaia and Rosa were born. They are still in hospital, together with their mother, but are expected to be released soon.

    With kind regards,

    Jan van Eijck and Heleen Verleur

  • 22 January 2003, Reading group on `Stone Spaces' by Johnstone

    Date and time: Wednesday 22 January 2003, 15:15
    Location: to be announced

    This reading group is intended for researchers and advanced students with an interest in (co)algebraic logic and duality theory. During the first meeting we will discuss the first two sections of Chapter I.

    For more information, contact Yde Venema (yde at science.uva.nl)

  • Information about newsletter for PHILOG

    Newsitem added on 17 October 2002.

    The newsletter for PHILOG - The Danish Network for Philosophical Logic and Its Applications - PHINEWS, now has it's own website, at http://www.phinews.ruc.dk/.

    We invite you to contribute material to PHINEWS. Since the release of PHINEWS volume 2 (October 2002) the subscription list has increased to more than 400 subscribers and still counting. The next volume of PHINEWS is scheduled for March 2003. Deadline for submissions is February 15, 2003.

    For more information, see http://www.philog.ruc.dk/ and of course http://www.phinews.ruc.dk/.

Regular Events

  • Algebra|Coalgebra Seminar

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

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

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

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

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

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

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

  • Cool Logic seminar for Logic Students

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

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

    For more information, contact coollogic.uva at gmail.com.

  • The LeGO (Leerstoel Groepen Overleg) Seminar

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

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

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

  • LogiCIC Seminar

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

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

    For more information and abstracts, see http://www.illc.uva.nl/LoLa/LogiCIC-Seminar/.

  • SMART Cognitive Science Lectures

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

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

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

  • ILLC Colloquium

    Date: semiannually

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

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

  • Seminar on music cognition and computation

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

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

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

  • Logic and Interactive RAtionality (LIRa)

    Date and time: weekly (usually Fridays), 14:30-16: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

  • 2ILLC: the ILLC Double Talks

    Date and time: monthly on fridays, 15:30-17:00

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

    The ILLC Double Talks are organized by Frank Veltman (veltman at hum.uva.nl) and Martin Stokhof (stokhof at hum.uva.nl).

  • 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