Archives

Institute for Logic, Language and Computation


News Archives 2005

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Sections

Headlines Past Events

Headlines Calls for Paper

Headlines Past Conferences

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines Past appointments

Headlines Miscellaneous

Headlines Former Regular Events

Past Events

  • 20 December 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt
    ,

    Speaker: Henk Barendregt
    (Nijmegen), <em>postponed</em>
    Title: Topics in Typed Lambda Calculus (250th and final ZIC!)
    Date & Time: Tuesday 20 December 2005, 16:00-17:00
    Location: Dorgelozaal (Traversegebouw), TU Eindhoven

    Due to illness of ZIC-initiator and organiser Rob Nederpelt, we have decided to postpone the 250th and last ZIC, announced for Tuesday December 20.

    The ZIC colloquium started in september 1986, and we are currently approaching the 250th talk in this series! In the light of several developments, and because it is always good to end on a high note, we have decided to let this 250th talk be the final one. To say goodbye to the ZIC and to celebrate its succesful history, this last talk will be a special event. There will be drinks afterwards!

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

  • 19-21 December 2005, The Fifteenth Amsterdam Colloquium, Amsterdam, The Netherlands

    Speaker: Beck, Francez, Krifka, Moss
    Date: 19-21 December 2005
    Location: Amsterdam, The Netherlands
    Deadline: 1 September 2005

    The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).

    CALL FOR REGISTRATION
    Please note that also ILLC staffmembers and ILLC students who want to participate, need to register online.
    For more information and a registration form, see http://www.illc.uva.nl/AC05/

  • 16 December 2005, China Workshop at ILLC

    Date & Time: Friday 16 December 2005, 14:00-
    Location: Vakbondsmuseum De Burcht, Henri Polaklaan 9, 1018 CP Amsterdam (across
    the entrance of Artis)

    On December 16th, ILLC and the Institute for Logic and Cognition (ILC) of the Sun Yat Sen University in Guangzhou (China) will officially sign a cooperation agreement for the next five years.

    In honor of this this occasion a minisymposium on 'Logic and Cognition' is held. You are all cordially invited (*) to attend both the workshop and the ceremony. Both are held in vakbondsmuseum "de Burcht".

    One of the speakers at the symposium will be Prof. Ju Shier, director of the Institute for Logic and Cognition. He is accompanied by Prof. Liang Qingyin, vice-president of Sun Yat Sen University. Bboth the dean of the Faculty of Science, Prof. Karel Gaemers, and the dean of the Faculty of Humanities, Prof. Aafke Hulk will attend the ceremony.

    For more information, see here.

  • 13 December 2005, Logic Tea, Henkjan Honing

    Speaker: Henkjan Honing (UvA)
    Title: From Time to Time: The Representation of Timing and Tempo in Music
    Date & Time: Tuesday 13 December 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 12 December 2005, Logic and Game Reading Group, Special Event, Martin van Hees (University of Groningen, Department of Philosophy)

    Speaker: Martin van Hees (University of Groningen, Department of Philosophy)
    Title: Intentions, Utility and Rationality
    Date & Time: Monday 12 December 2005, 15:00-16:30
    Location: P3.27, Euclides Building, Plantage Muidergracht, Amsterdam

    My object here is twofold. In the first part I will try to explain why it is important for rational choice theory to incorporate intentions in its framework. In doing so I shall not yet go into the question whether intentions can be defined in terms of strategies, preferences, or beliefs or in any other ingredient of the existing models; I simply introduce intentions as an extra variable and then introduce some conditions that one might impose on them. I argue that the conditions that I use reveal new information about the behaviour of rational individuals and that intentions thus do indeed add something to rational choice theory.

    Whereas the first part is somewhat formal, the second part is of a more informal nature. Here I will address the question of how certain intentions are to be defined in terms of specific rational choice models. It is argued that a particular class of intentions, viz. intentions that have autonomous effects, cannot be modelled by standard rational choice theory in a satisfactory way.

    For more information:

  • 8 December 2005 (), Colloquium on Mathematical Logic, Greg Restall

    Speaker: Greg Restall (Melbourne)
    Title: Proofnets for S5: sequents and natural deduction for modal logic
    Date & Time: Thursday 8 December 2005 (<em>Changed!</em>), 16:00-17:00
    Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
    (Bus 12 from Utrecht Central Station).

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

  • 9 December 2005, ILLC Workshop "Whither DOP?", Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Date & Time: 9 December 2005, 10:00-18:00
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Now that the DOP approach has entered its 15th year from its original conception, the time has come to critically look back and think afresh about the future. What went astray with DOP's statistical estimator and has it been solved? What are the problems related to DOP's productive units, and how can they be redressed? What else is still to be done in DOP? And how far can the model be stretched?

    DOP has led to statistical extensions of Lexical-Functional Grammar, Head-driven Phrase-Structure Grammar and Tree-Adjoining Grammar. It has been applied to machine translation, speech understanding, music analysis, problem-solving and equational reasoning. Can it be extended to other fields of cognition? What are the counter-examples that DOP has to face? And what is its relation with frameworks like Case-Based Reasoning and Probabilistic Inductive Logic Programming?

    This workshop aims to provide an informal discussion platform on DOP and is open to everyone. Each talk will discuss one or more open problems and will be followed by ample discussion. The workshop is also meant to give an overview of the projects and/or recently founded research groups on DOP at the University of Amsterdam, the University of St Andrews, at Dublin City University and the University of Essex.

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

  • 7 December 2005, Colloquim Musicology, prof. dr. Steven Mithen (University of Reading)

    Speaker: prof. dr. Steven Mithen (University of Reading)
    Title: The Cognitive Origins of Music and Language
    Date & Time: Wednesday 7 December 2005, 10:00-20:00
    Location: Herengracht 182/Turfdraagsterpad 17 (CREA Theater), Amsterdam

    This seminar and lecture by prof. dr. Steven Mithen (University of Reading) are centered round his new book 'The Singing Neanderthals: The Origins of Music, Language, Mind & Body' that addresses the question: What is the point of music, and where did our capacity for it come from?

    The seminar will bring together a variety of experts from fields ranging from cognition, evolutionary psychology and linguistics to philosophy, musicology, anthropology and archeology. A number of respondents will be invited to comment on (chapters of) the book.

    The lecture is open to the general public. Participation in the seminar will be on the basis of registration. For more information, see here or http://www.hum.uva.nl/mmm/origins/. Addendum: video fragments are now online at the latter location.

  • 7 December 2005, CSCA-Lecture, Steven Mithen

    Speaker: Steven Mithen (Archaeology, University of Reading)
    Title: The cognitive origins of music and language
    Date & Time: Wednesday 7 December 2005, 10:00-15:00 and 20:00-22:00
    Location: Seminar: Herengracht 182, UvA, Amsterdam;
    Lecture: Crea Theater, Turfdraagsterpad 17, Amsterdam

    The lecture and seminar by prof. dr. Steven Mithen (University of Reading) are centered around his latest book "The Singing Neanderthals: The Origins of Music, Language, Mind and Body" that addresses the question: What is the point of music, and where did our capacity for it come from? The book offers a thought-provoking answer, weaving together diverse strands of evidence in a smart rejoinder to those, like Steven Pinker, who have dismissed music's evolutionary significance. In doing so, it offers new perspectives on the origins and relationship between language and music, and their place in the development of the modern mind.

    The lecture is open to the general public. Participation in the seminar will be on the basis of registration. A registration form can be found at http://www.hum.uva.nl/mmm/origins For more information, see the aforementioned site, or the CSCA website at http://www.csca.uva.nl/.

  • 6 December 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Tonny Hurkens

    Speaker: Tonny Hurkens
    Title: Phinary numbers
    Date & Time: Tuesday 6 December 2005, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

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

  • 2 December 2005, DIP Colloquium, Anna Pilatova

    Speaker: Anna Pilatova
    Title: Possible Worlds, Proper Names, and Necessity
    Date & Time: Friday 2 December 2005, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 2 December 2005, Colloquium on Mathematical Logic, Jamie (Murdoch) Gabbay

    Speaker: Jamie (Murdoch) Gabbay (King's College, London)
    Title: One-and-a-Halfth order logic
    Date & Time: Friday 2 December 2005, 16:00-17:00
    Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
    (Bus 12 from Utrecht Central Station).

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

  • 2 December 2005, ILPS Seminar, Roeland Ordelman

    Speaker: Roeland Ordelman
    (Twente)
    Title: Speech Recognition in Multimedia Information Retrieval
    Date & Time: Friday 2 December 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Dec02 .

  • 1 December 2005, Computational Social Choice Seminar, Krzysztof Apt

    Speaker: Krzysztof Apt
    Title: On the order of strategy elimination procedures in strategic games
    Date & Time: 1 December 2005, 16:00
    Location: Room P1.14, Euclides Building, Plantage Muidergracht 24, Amsterdam

    We provide elementary and uniform proofs of order independence for various strategy elimination procedures for finite strategic games, both for dominance by pure and by mixed strategies. The proofs follow the same pattern and focus on the structural properties of the dominance relations. They rely on Newman's Lemma and related results on the abstract reduction systems.

    The talk is an account of the following article: K.R. Apt, ``Uniform Proofs of Order Independence for Various Strategy Elimination Procedures'', Contributions to Theoretical Economics, 4(1), Article 5, 48 pages, http://xxx.lanl.gov/abs/cs.GT/0403024.

    For more information, please contact Ulle Endriss ().

  • 1 December 2005, Uniform Interpolation in Modal Logics
    , Marta Bilkova

    Speaker: Marta Bilkova
    (Math.Inst., Czech Acad.Sc.)
    Date & Time: Thursday 1 December 2005, 15:15-17:00
    Location: Room P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

    We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts' proof of uniform interpolation in intuitionistic propositional logic. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible. We can present such a proof of the uniform interpolation theorem for normal modal logics K, T, GL, S4Grz and K4Grz. It provides an explicit algorithm constructing the interpolants.

    For more information, contact Yde Venema at .

  • 29 November 2005, Logic Tea, Martin van Hees

    Speaker: Martin van Hees (Groningen)
    Date & Time: Tuesday 29 November 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 28 November 2005, Logic and Game reading group, Special Event, Ondrej Majer

    Speaker: Ondrej Majer (Prague)
    Title: Evaluation Games for Fuzzy Logics
    Date & Time: 28 November 2005, 16:30-17:30
    Location: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    The aim of the contribution is to provide two kinds of game theoretical semantics for fuzzy logics with special attention to Lukasiewicz logic. The first one of the proposed semantics is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with so called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a non zero sum game (bargaining fuzzy game). Finally a basic kind of information independence logic is introduced and the differences from the classical IF logic are discussed.

    For more information, contact

  • 28 November 2005, Colloquium on Mathematical Logic, Daisuke Ikegami

    Speaker: Daisuke Ikegami (Nagoya)
    Title: A characterization of Sacks measurability in terms of Sacks absoluteness
    Date & Time: Monday 28 November 2005, 11:30-12:30
    Location: Room P.327, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 25 November 2005, ILPS Seminar, Massimo Franceschet

    ,
    Enrico Zimuel

    Speaker: Massimo Franceschet
    (Amsterdam)

    Enrico Zimuel (Pescara)
    Title: Comparing query evaluation strategies for navigational XPath
    Date & Time: Friday 25 November 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov25 .

  • 23 November 2005, Computational Linguistics Seminar, Jelle Zuidema

    Speaker: Jelle Zuidema
    Title: Data-Oriented Language Learning - from weights to frequencies and back again
    Date & Time: 23 November 2005, 16:00
    Location: Room P.327, Euclides building, Plantage Muidergracht 24, Amsterdam

    Stochastic Tree Substitution Grammars (STSGs), such as used in Data-Oriented Parsing, have great linguistic advantages, essentially merging "construction grammar" with "probabilistic linguistics". However, from a computational linguistics perspective, they pose a number of computational challenges that have not yet been satisfactorily solved.

    Two fundamental and related problems are "the problem of estimation" -- estimating the weights of an STSG from observed subtree frequencies in a tree bank -- and "the problem of expectation" -- calculating the expected subtree frequencies when generating trees using an STSG with known weights. A linguistic desideratum for estimation is that it converges to the maximally general STSG out of the possibly many correct ones. I will briefly discuss why none of the existing estimation methods fulfills this desideratum. I will then present my recent work on the problem of expectation and discuss how its solution directly suggests an alternative approach to the first problem.

    For more information, see http://staff.science.uva.nl/~jzuidema/CLS/

  • 22 November 2005, Logic Tea, Murdoch J. Gabbay

    Speaker: Murdoch J. Gabbay (King's College London)
    Title: a-Logic
    Date & Time: Tuesday 22 November 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 21-23 November 2005, Basic Course "Research methods and methodology for Information and
    Knowledge Systems (IKS)"

    Date: 21-23 November 2005
    Location: Conference Center Woudschoten, Zeist
    Target audience: (SIKS) Ph.D. Students

    On 21, 22, and 23 November 2005, the School for Information and Knowledge Systems (SIKS) organizes the annual three-day course "Research methods and methodology for IKS". The location will be Conference center Woudschoten in Zeist. The course will be given in English. Although the course is primarily intended for SIKS-Ph.D. students, other participants are not excluded.

    The primary goal of this hands-on course is to enable Ph.D. students to make a good research design for their own research project. To this end, it provides an interactive training in various elements of research design, such as the conceptual design and the research planning. But the course also contains a general introduction to the philosophy of science (and particularly to the philosophy of mathematics, computer science and AI). And, it addresses such divergent topics as "the case-study method", "elementary research methodology for the empirical sciences" and "empirical methods for computer science".

    For more information, see http://www.siks.nl/

  • 19-21 November 2005, ESF Exploratory Workshop

    Title: Understanding the Dynamics of Knowledge (UDK 2005)
    Date: 19-21 November 2005
    Location: Certosa di Pontignano, Siena, Italy

    This ESF Exploratory Workshop aims to explore various co-related features of knowledge dynamics in human and artificial agents, including evolution of concepts, cognitive development and learning, and short-term dynamics such as belief change and information update. Both individual and social dynamics of knowledge will be explored, and their interplay analyzed. Formal and computational models will be compared with socio-cognitive theories of knowledge change, and with empirical findings in psychology, anthropology, and social sciences.

    For more information, see here or the workshop website at http://www.media.unisi.it/cirg/udk

    Registration is open until half october: you can register online at http://conference.unisi.it/gest-congressi/web/online_ing.asp?id_cong=658

  • 18 November 2005, DIP Colloquium, Peter Bosch

    Speaker: Peter Bosch (Osnabrück)
    Title: Productivity, Polysemy, and Predicate Indexicality
    Date & Time: Friday 18 November 2005, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 18 November 2005, Colloquium on Mathematical Logic, Jaap van Oosten

    Speaker: Jaap van Oosten (Utrecht)
    Title: A general form of relative recursion
    Date & Time: Friday 18 November 2005, 16:00-17:00
    Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 18 November 2005, ACLC Seminar, Harald Clahsen

    Speaker: Harald Clahsen (Essex)
    Title: Grammatical Processing in Language Learners
    Date & Time: Friday 18 November 2005, 15:15-16:30
    Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 18 November 2005, ILPS Seminar, Sander Canisius

    Speaker: Sander Canisius
    (Tilburg)
    Title: Local classification vs. global inference for sequence labelling in
    natural language processing
    Date & Time: Friday 18 November 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov18 .

  • 18 November 2005, Cool Logic, Edgar Andrade-Lotero and Raul Leal Rodriguez

    Speaker: Edgar Andrade-Lotero and Raul Leal Rodriguez
    Title: Baby Category Theory II
    Date & Time: 18 November 2005, 13:15
    Location: MoL room

    Raul has given a general introduction. This talk will go over the basic technical stuff (still for everybody)

    For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

  • 17 November 2005, An interdisciplinary approach to coalition formation, Agnieszka Rusinowska (Nijmegen)

    Speaker: Agnieszka Rusinowska (Nijmegen)
    Date & Time: 17 November 2005, 16:00 - 17:00
    Location: Room P-3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

    For more information, see here or contact Krzysztof Apt () or Ulle Endriss ().

  • 15 November 2005, Logic Tea, Dale Jacquette

    Speaker: Dale Jacquette (Pennsylvania State University)
    Title: Logical Models of Scientific Law
    Date & Time: Tuesday 15 November 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 15 November 2005, HAI tea, Remko Scha

    Speaker: Remko Scha
    Title: Visual Gestalt Perception as Structural Disambiguation
    Date & Time: 15 November 2005, 16:00
    Location: Room P 0.18, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Probabilistic data-oriented methods have become increasingly successful in mastering the structural ambiguity of natural language utterances. We are now investigating whether similar methods can be used to model visual Gestalt perception. This talk will sketch the most important issues involved in that research agenda.

    For more information, see the HAI Tea website: http://www.science.uva.nl/onderwijs/studieprogramma/haitea/

  • 15 November 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Iris Loeb and Herman Geuvers

    Speaker: Iris Loeb and Herman Geuvers
    Title: Natural deduction via graphs
    Date & Time: Tuesday 15 November 2005, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

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

  • 8 November 2005, Logic Tea, Tomoyuki Yamada

    Speaker: Tomoyuki Yamada (Hokkaido University)
    Title: Acts of Commanding and Changing Obligations
    Date & Time: Tuesday 8 November 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 4 November 2005, Cool Logic, Edgar Andrade-Lotero and Raul Leal Rodriguez

    Speaker: Edgar Andrade-Lotero and Raul Leal Rodriguez
    Title: Baby Category Theory
    Date & Time: 4 November 2005, 13:15
    Location: The MoL room

    Edgar and Raul will give an introduction to Category Theory for everybody. This talk is a preliminary for the MoL Category Theory course, and part of the Cool Logic series, for and by Master of Logic students.

    For more information, see http://student.science.uva.nl/~ckissig/mol/cool_logic.xml.html

  • 4 November 2005 - 7 November 2005, 7th Augustus de Morgan Workshop,
    Interactive Logic: Games and Social Software

    Date: 4 November 2005 - 7 November 2005
    Location: King's College, London
    Deadline: 4 October 2005

    Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

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

  • 4 November 2005, ILPS Seminar, Veronique Hoste, canceled

    Speaker: Veronique Hoste, canceled
    Date: Friday 4 November 2005

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Nov04 .

  • 2 November 2005, CSCA-Lecture, Luc Steels

    Speaker: Luc Steels (Computer Science, Free University of Brussels)
    Title: The recruitment theory of language origins
    Date & Time: Wednesday 2 November 2005, 16:00
    Location: Doelenzaal, UB, Singel 425, Amsterdam

    On November 2nd, prof. dr. Luc Steels will be holding a CSCA lecture on language origins. He is, among other things, founder and director (from 1983) of the VUB Artificial Intelligence Laboratory and is now working as professor in Computer Science at the Free University of Brussels.

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

  • 2 November 2005, Discussiebijeenkomst Cognitie & Creatie

    Date & Time: Wednesday 2 November 2005, 13:30-
    Location: KNAW, Kloveniersburgwal 29, Amsterdam

    (dutch only)
    De Commissie Wetenschap en Kunst van de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW) organiseert op woensdagmiddag 2 november 2005 een discussiebijeenkomst over de benadering van muziek, literatuur, po~zie en beeldende kunst vanuit de cognitiewetenschappen.

    Harald Baayen (RU) en Jan de Roder (UM) zullen spreken over de rol van cognitie in po~zie en beeldende kunst. Henkjan Honing (UvA) en Emile Wennekes (UU) zullen de relatie tussen cognitie en muziek onder de loep nemen. Filosoof en psycholoog Jaap van Heerden zal de middag voorzitten.

    Voor meer informatie, zie here

  • 1 November 2005, Logic Tea, Göran Sundholm

    Speaker: Göran Sundholm (Leiden)
    Title: The Expulsion of the Judging Subject from Logical Paradise:
    The History of Logic from Aristotle until the Present Day.
    Date & Time: Tuesday 1 November 2005, 16:15-17:00
    Location: Room P.227, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 1 November 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Smile Markovski

    Speaker: Smile Markovski
    Title: Applications of Quasigroup String Transformations in Cryptography and Coding Theory
    Date & Time: Tuesday 1 November 2005, 14:15-16:00
    Location: Room HG 6.29, TU Eindhoven

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

  • 31 October - 1 November 2005, Foundations! Seminars, Dana Scott

    Speaker: Dana Scott
    Title: 3 Seminars
    Date & Time: 31 October - 1 November 2005, 10:00-11:00 and 13:30-14:30
    Location: Room N1012, Brouwer Institute, Nijmegen

    For abstracts and more information, see http://foundations.cs.ru.nl/fndswiki/Seminars

  • 28 October 2005, ILPS Seminar, Claudia Hauff

    Speaker: Claudia Hauff
    (Magdeburg)
    Title: Utilizing Scale-Free Networks in Link Structure Analysis and
    Scientific Publication Search
    Date & Time: Friday 28 October 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Oct28 .

  • 28 October 2005, Diamant Day

    Date: Friday 28 October 2005
    Location: Brouwer Institute, Nijmegen

    One-day lecture series on Constructive Interactive Mathematics, featuring Dana Scott, Freek Wiedijk, Wim Hesselink/Jaap Top and Jeremy Avigad.

    For the lunch, please register before 21 October. For more information and a preliminary program, see http://www.cs.ru.nl/fnds/diamant/.

  • 26-29 October 2005, Workshop on Logic and Semantics

    Date: 26-29 October 2005
    Location: Jadavpur University, Kolkata (Calcutta), India

    The Calcutta Logic Circle celebrates the centenary year of Russell²s seminal essay by organizing a workshop in its 2005 Autumn Meeting in Kolkata where various issues in the interface between logic and semantics will be discussed. Speakers are: W Hodges, P Pagliani, T Poston, A Mukherjee, A Kumar Sen, R Mukhopadhaya, A Chatterjee, B Löwe.

    For more information, see here.

  • 21 October 2005, DIP Colloquium, Arie Verhagen

    Speaker: Arie Verhagen (Leiden)
    Title: Intersubjectivity in grammatical meaning
    Date & Time: Friday 21 October 2005, 15:15-17:00
    Location: Room 101, Bungehuis, Spuistraat 210, Amsterdam

    The lecture will be followed by comments/discussion by Michiel van Lambalgen and Wolfram Hinzen

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

  • 21 October 2005, ILPS Seminar, Leonie IJzereef

    Speaker: Leonie IJzereef
    (UvA)
    Title: Biomedical Retrieval: How Can a Thesaurus Help?
    Date & Time: Friday 21 October 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Oct21 .

  • 18 October 2005, Logic Tea, Martin Bentzen

    Speaker: Martin Bentzen
    Title: The Semantics of Imperatives
    Date & Time: Tuesday 18 October 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 18 October 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Ronald Middelkoop

    Speaker: Ronald Middelkoop
    Title: Cooperation-Based Invariants for OO Languages
    Date & Time: Tuesday 18 October 2005, 14:15-15:30
    Location: TU Eindhoven, HG 5.95

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

  • 14 October 2005, Colloquium on Mathematical Logic, Nikolay Vereshchagin

    Speaker: Nikolay Vereshchagin (Moscow University, CWI)
    Title: Game semantics for intuitionistic propositional calculus IPC
    Date & Time: Friday 14 October 2005, 16:00-17:00
    Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 13 October 2005, Colloquium Muziekwetenschap, drs. Desmond Haneveer

    Speaker: drs. Desmond Haneveer (Rijksuniversiteit Groningen)
    Title: Popmuziek en Muziekwetenschap
    Date & Time: 13 October 2005, 15:30-17:00
    Location: Universiteitstheater, Zaal 301, Nieuwe Doelenstraat 16, Amsterdam

    A colloquium presenting current research in music from a variety of perspectives using different research methodologies.

    For more information, see http://www.hum.uva.nl/mmm/cmw.html#2005 or here (dutch only).

  • 7 October 2005, ILPS Seminar, Wouter Alink

    Speaker: Wouter Alink
    (CWI)
    Title: XIRAF: An XML Information Retrieval Approach to Digital Forensics
    Date & Time: Friday 7 October 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Oct07 .

  • 30 September 2005, Colloquium on Mathematical Logic, Edwin Mares

    Speaker: Edwin Mares
    Title: Semantics for Quantified Substructural Logic
    Date & Time: Friday 30 September 2005, 16:00-17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 26 September 2005, Logic Tea, Yuri Gurevich

    Speaker: Yuri Gurevich
    Title: Interactive Algorithms
    Date & Time: Monday 26 September 2005, 17:15-18:15
    Location: Room P.017 or P.227, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 23 September 2005, ACLC Seminar, Kriszta Szendroi & Ad Neeleman

    Speaker: Kriszta Szendroi (Utrecht) & Ad Neeleman (London)
    Title: Radical pro drop and the morphology of pronouns
    Date & Time: Friday 23 September 2005, 15:15-16:30
    Location: Room 420, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 23-25 September 2005, TRENDS IN LOGIC III; International Conference in memoriam A. Mostowski, H. Rasiowa and C. Rauszer, Warsaw (23) and Ruciane-Nida (24-25)

    Date: 23-25 September 2005
    Location: Warsaw (23) and Ruciane-Nida (24-25)
    Deadline: 15 June 2005

    The conference will be held under the auspices of Studia Logica, Fundamenta Informaticae and Polish Association for Logic and Philosophy of Science.

    Conference goals: To gather the former students and collaborators of Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer, to recall their scientific and methodological heritage, to review the impact of their results on the foundations of mathematics and computer science and to discuss future developments of logic and its applications.

    For more information: see http://www.studialogica.org/mrr.html or email .

  • 20 September 2005, Logic - Connecting Stanford and ILLC (Update Modelling Seminar)

    Speaker: Floris Roelofsen, Tomasz Sadzik, Patrick Girard, Johan van Benthem
    Date & Time: Tuesday 20 September 2005, 9:00-13:00
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This informal seminar on current research is open to everyone

    For more information, see http://www.illc.uva.nl/lgc/UMS.html

  • 19 September 2005, Games in Logic, Language and Computation Workshop

    Date: Monday 19 September 2005
    Location: room D028, Roeterseiland, Nieuwe Achtergracht 129, Amsterdam
    Costs: free

    The eleventh episode of the workshop series "Games in Logic, Language and Computation" is a one day workshop in which a strong line-up of international speakers (including Wilfrid Hodges, Michael Wooldridge and Bernard Walliser) will present aspects and applications related to logic, game theory, social science and computer science.

    For more information, see http://staff.science.uva.nl/~sotterlo/gllc/

  • 16 September 2005, ILPS Seminar, Valentin Jijkoun

    Speaker: Valentin Jijkoun
    Title: Graph transformations for Natural Language Processing
    Date & Time: Friday 16 September 2005, 13:30-14:00
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Sep23 .

  • 16 September 2005, TFG-MARA Meeting on Multiagent Resource Allocation

    Date: Friday 16 September 2005
    Location: Budapest
    Costs: free

    This is the second in a series of meetings on Multiagent Resource Allogation, The meeting is part of the 3rd AgentLink Technical Forum. Topics addressed by the meeting include negotiation and auctions, fair division, preference modelling, protocol design, complexity issues, and simulation. This edition will include an Invited Tutorial on Fairness and Uncertainty, and several contributed talks.

    Everybody is welcome to attend, but please note that the registration deadline is September 7th, 2005. If interested, please get in touch with Ulle Endriss ().

    For more information and a preliminary programme, visit the MARA website at http://www.illc.uva.nl/~ulle/MARA/.

  • 14-17 September 2005,
    Automated Reasoning with Analytic Tableaux and Related Methods
    (TABLEAUX 2005)
    , Koblenz, Germany

    Date: 14-17 September 2005
    Location: Koblenz, Germany

    Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.

    This event is co-located with the FTP'2005 conference.

    For more information, see http://tableaux2005.uni-koblenz.de/

  • 14-17 September 2005,
    International Workshop on First-Order Theorem Proving (FTP 2005)
    , Koblenz, Germany

    Date: 14-17 September 2005
    Location: Koblenz, Germany
    Deadline: 27 May 2005

    FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.

    For more information, see http://ftp2005.uni-koblenz.de/.

  • 12-16 September 2005, The Sixth International Tbilisi Symposium
    on Language, Logic and Computation, Batumi, Georgia

    Date: 12-16 September 2005
    Location: Batumi, Georgia
    Deadline: 1 May 2005

    The sixth Tbilisi Symposium on Language, Logic and Computation will be held in the Black Sea coastal resort Batumi from September 12 to September 16, 2005. 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. Everybody who has been at previous occasions can confirm that these symposia constitute an unforgettable experience.

    For the general program 30 papers can be accepted for presentation. Deadline for submission of abstracts: 1 May 2005

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

  • 11-15 September 2005, First International Summer School on Constraint Programming

    Date: 11-15 September 2005
    Location: Hotel Villa del Mare, Acquafredda di Maratea, Italy

    The first international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.

    Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises. Lecturers will evaluate the work of the students. This will provide the participants with a useful feedback, and will allow Ph.D. students to use the school to cover some of their coursework.

    Registration deadline is July 31 (June 30 for early registration). For more information including a program, see http://slash.math.unipd.it/cp-school-2005/

  • 9 September 2005, DIP Colloquium, Nathan Salmon

    Speaker: Nathan Salmon (UCSB)
    Title: Terms in Bondage
    Date & Time: Friday 9 September 2005, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 9 September 2005, ILPS Seminar, Steven Schockaert

    Speaker: Steven Schockaert
    (Gent)
    Title: Fuzzy Temporal Reasoning for Question Answering Systems
    Date & Time: Friday 9 September 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-2.html#Sep09 .

  • 7 September 2005, Annual ILLC Boat Trip

    Date & Time: Wednesday 7 September 2005, 17:00
    Location: Gather at frontdesk, Building Euclides, Plantage Muidergracht 24

    We are happy to announce that also this year the ILLC welcomes the (35!!!) new Master students with a boattrip, followed by a small reception, at Wednesday September 7. The boat leaves at 17.00 hrs from the back of the Euclides building (Plantage Muidergracht 24), exact location to be announced. Starting 18.30 hrs you are invited to have a drink in the canteen of Euclides.

    For more information, contact the ILLC Buro at .

  • 7 September 2005, Interfacing Probabilistic and Epistemic Update

    Date: Wednesday 7 September 2005
    Location: Room P3.27, Euclides Building,
    Plantage Muidergracht 24, Amsterdam

    A workshop 'Interfacing Probabilistic and Epistemic Update' will be held on September 7th at the ILLC. Its aim is to investigate shared topics between the communities in dynamic epistemic logic and in Bayesian update. The speakers are open-minded spokespersons for both traditions.

    For more information, see here or the workshop site at http://www.illc.uva.nl/lgc/IPEU.html

  • 5-7 September 2005, AMLaP Conference on Architectures and Mechanisms of Language Processing, Gent, Belgium

    Date: 5-7 September 2005
    Location: Gent, Belgium
    Deadline: 16 May 2005

    AMLaP is an annual international conference which has established itself as the premier European venue for interdisciplinary research into how people process language. The conference aims to bring together psychological, computational, and theoretical perspectives on the cognitive architectures and mechanisms which underly any aspect of human language processing, from lexical processing, parsing and interpretation, through to discourse level mechanisms. Contributions to AMLaP which explicity relate empirical and experimental findings and computational mechanisms are especially encouraged. Topics relevant to the conference include (but are not limited to): computational models, cross-linguistic studies, language production, statistical mechanisms, corpus-based studies, discourse, lexical processing, parsing and interpretation, learning mechanisms, connectionist models, computer simulations and models of acquisition.

    For more information see http://www.amlap2005.ugent.be/

  • 2-3 September 2005, Workshop on Language Evolution:
    Formal Modelling meets Empirical data, Room A404, building A, Roeterstraat 15, Amsterdam

    Date & Time: 2-3 September 2005, 9:00-18:00
    Location: Room A404, building A, Roeterstraat 15, Amsterdam

    On September 2nd and 3d, the ILLC will host an intensive workshop on language evolution. 21 invited speakers, from mainly Great Britain and the Netherlands, will present both biological and linguistic, and both empirical and formal approaches. The workshop is organised in 4 sessions:
    (1) The evolution of speech,
    (2) Interactions between learning and evolution,
    (3) Social learning and conventional meaning, and
    (4) The evolution of syntax.

    Students and staff are very welcome to attend and partipate in the discussions. Participation is free, but registration on the workshop webpage is required.

    For more information, an online registration form and a preliminary program, see http://staff.science.uva.nl/~jzuidema/LEFE05/

  • 22-25 August 2005, Computer Science Logic (CSL 05), Oxford, England

    Date: 22-25 August 2005
    Location: Oxford, England

    Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The 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, see http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/.

  • 15 - 19 August 2005, workshop Belief revision and dynamic logic

    Date: 15 - 19 August 2005
    Location: Edinburgh, UK
    Deadline: 9 March 2005

    The workshop "Belief revision and dynamic logic" is organized as part of ESSLLI 2005 and will take place 8-19 August, 2005, in Edinburgh. The workshop organizers are Andreas Herzig, IRIT-CNRS, Toulouse, and Hans van Ditmarsch, University of Otago, New Zealand. The submission deadline is: March 9, 2005. The accepted papers will appear in the workshop proceedings published by ESSLLI. A selection of papers might be published in a special issue of the Journal of Applied Non-Classical Logics.

    For more information, see http://www.irit.fr/~Andreas.Herzig/Esslli05/

  • 08-19 August 2005, ESSLLI-2005:
    17th European Summer School in Logic, Language and Information, Edinburgh, UK

    Date: 08-19 August 2005
    Location: Edinburgh, UK
    Deadline: 15 July 2004

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

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

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

    For more information, see the ESSLLI website at http://www.esslli.org/.

  • 5-7 August 2005, FG-MOL 2005, Edinburgh, Scotland

    Date: 5-7 August 2005
    Location: Edinburgh, Scotland
    Deadline: 1 April 2005

    FG-MOL 2005 is the 10th conference on Formal Grammar and the 9th Meeting on the Mathematics of Language, to be held in conjunction with the European Summer School in Logic, Language and Information. FG-MOL provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

    Deadline for early registration: 31 May 2005 (but note that deadline for housing requests is 31 January)

    For more information, see http://www.formalgrammar.tk/

  • 7-11 August 2005, The 22nd International Conference On Machine Learning (ICML 2005), Bonn, Germany

    Date: 7-11 August 2005
    Location: Bonn, Germany
    Deadline: 11 February 2005

    The 22nd International Conference on Machine Learning (ICML 2005) will be held in Bonn (Germany), 7-11 August 2005. The conference will bring together researchers to exchange ideas and report recent progress in the field of machine learning. ICML 2005 will be co-located with ILP 2005 (August 11-13) and will take place directly after IJCAI 2005, which will take place in Edinburgh (Scotland, July 30 - August 5).

    The ICML 2005 Organizing Committee invites proposals for tutorials, to be held on August 7 and 11. Tutorials should provide an introduction and/or a review of the state-of-the-art of a topic that is of interest to attendants of a machine learning conference. These could be on particular research topics within the two fields, but could also be on topics from other research fields if the proposal makes clear why this is considered to be an important topic for researchers from other areas. A tutorial must be broad enough to cover a research area in which there is a significant publication activity in the community. Presentations that focus on the presenters' own research results or commercial presentations are not eligible. Submission deadline for tutorial proposals is Feb 11, 2005.

    For more information on the conference, see http://icml2005.ais.fraunhofer.de/.

    For more information, see here .
  • 5-11 August 2005, Logic in Hungary, Budapest, Hungary

    Date: 5-11 August 2005
    Location: Budapest, Hungary
    Deadline: 11 May 2005

    We take great pleasure in announcing that the Janos Bolyai Mathematical Society is going to organize a conference on mathematical logic in Budapest, Hungary, during the period August 5 - 11, 2005. With this conference we would like to celebrate the unique event that two great Hungarian logicians, L. Kalmar and R. Peter, both have their centenary of birth in 2005.

    For more information, see here or http://www.renyi.hu/lh05

  • 29 July 2005, ILPS Seminar, Christof Monz

    Speaker: Christof Monz
    (Maryland)
    Title: Iterative Translation Disambiguation for Cross-Language
    Information Retrieval
    Date & Time: Friday 29 July 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-1.html#Jul29 .

  • 28 July - 3 August 2005, Logic Colloquium 2005 (ASL European Summer Meeting), Athens, Greece

    Date: 28 July - 3 August 2005
    Location: Athens, Greece

    For more information, see http://www.math.uoa.gr/~lc2005/.

  • 19-22 July 2005,
    12th Workshop on Logic, Language, Information and Computation
    (WoLLIC'2005)
    , Florianópolis, Santa Catarina, Brazil

    Date: 19-22 July 2005
    Location: Florianópolis, Santa Catarina, Brazil

    This is the twelfth in a series of workshops to foster interdisciplinary research in pure and applied logic.

    For more information, see http://www.cin.ufpe.br/~wollic/wollic2005/

  • 8 July 2005, ILPS Seminar, Leif Azzopardi

    Speaker: Leif Azzopardi (Glasgow)
    Title: The Assumptions of Language Modelling
    Date & Time: Friday 8 July 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://ilps.science.uva.nl/Seminar/seminar05-1.html#Jul08 .

  • 8 July 2005,
    CSCA Symposium Cognitive development:
    from human evolution to child language acquisition
    , The Trippenhuis, Kloveniersburgwal 29, Amsterdam

    Date: 8 July 2005
    Location: The Trippenhuis, Kloveniersburgwal 29, Amsterdam

    One of the big debates in contemporary cognitive science concerns the issue of the relative contributions of `mature' and `nurture' in cognitive development. In many books and articles, Mike Tomasello has advocated the role of `nurture', in particular in the area of language acquistion. The symposium hosts proponents and opponents of Tomasello's views, and will highlight the controversial issues.

    The aim of the symposium, held on July 8th, 2005, is a critical but constructive evaluation of professor Tomasello's work, highlighting convergences and differences with other traditions in developmental studies (such as generative linguistics).

    For more information, an online registration form and a preliminary program, see http://www.csca.uva.nl/csca/object.cfm/

  • 7 July 2005, CSCA Lectures, Michael Tomasello

    Speaker: Michael Tomasello (Max Planck, Leipzig)
    Title: FRIJDA lecture 'Constructing a Language'
    Date & Time: Thursday 7 July 2005, 20:00-22:00
    Location: Allard Pierson museum, Oude Turfmarkt 127, Amsterdam

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

  • 6-9 July 2005,
    Eighth European Conference on Symbolic and Quantitative Approaches
    to Reasoning with Uncertainty (ECSQARU-2005)
    , Barcelona, Spain

    Date: 6-9 July 2005
    Location: Barcelona, Spain

    The biannual ECSQARU conferences are a major forum for advances in the theory and practice of reasoning under uncertainty. Contributors are expected to come both from researchers interested in advancing the technology and from practitioners who are using uncertainty techniques in applications. The scope of ECSQARU includes, but is not limited to, fundamental issues, representation, inference, learning, and decision making in qualitative and numeric paradigms.

    Deadline for early registration: 20 May 2005

    For more information, an online registration form and a preliminary program, see http://www.ecsqaru.org/ECSQARU2005/

  • 5 July 2005, Logic Tea, Tero Tulenheimo

    Speaker: Tero Tulenheimo (Lille/Helsinki)
    Title: IF Modal Logics
    Date & Time: Tuesday 5 July 2005, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 5 July 2005, Context Representation and Reasoning

    Date: Tuesday 5 July 2005
    Location: Paris, France
    Deadline: 25 March 2005

    Most of the results in knowledge representation and automated reasoning are based on the assumption that knowledge is stored in an unique homogeneous block. In the last decade, with the advent of the web and the ubiquitous connectivity, it becomes more and more relevant in many application areas to have the capability to represent and reason on knowledge bases which are not organized as a monolithic entity, but in which knowledge is scattered in a large set of local and autonomous inter-related contexts. In more recent years, a number of approaches to context representation and reasoning have been proposed in the different application areas, possibly under different names. This workshop has the main objective to allow the exchange of these experiences among expert in the different application areas.

    This workshop is held in conjunction with the 5th International and Interdisciplinary Conference on Modeling and Using Context. For more information, see here, http://sra.itc.it/events/crr05/ or http://www.context-05.org/.

  • 5 July 2005, The Semantics/Pragmatics Distinction: What Is It, and Does It Really Matter?

    Date: Tuesday 5 July 2005
    Location: Paris, France
    Deadline: 25 March 2005

    Workshop held in conjunction with CONTEXT 05, the Fifth International Interdisciplinary Conference on Modeling and Using Context.

    The aim of the workshop is to examine the relationships among the different criteria used in distinguishing pragmatic phenomena from semantic ones, to elicit proposals for new criteria, and to discuss the relevance and the applications of the semantics/pragmatics distinction.

    Paper submission deadline is 25 March 2005. For more information, see http://spworkshop.online.fr/

  • 27-28 June 2005, Workshop Spanish project "C@lculus"

    Date: 27-28 June 2005

    Workshop of the Spanish project "C@lculus" (project leader: Maria Manzano (Un. de Salamanca), ILLC associate: Dick de Jongh).

    For a full project description, a program and abstracts, see http://www.illc.uva.nl/NewsandEvents/c@lculus.html.

    For more information, see here .
  • 25 June 2005, First Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR)

    Date: Saturday 25 June 2005
    Location: Room A404, UvA Roeterseiland Complex, Amsterdam

    Both Paris and Amsterdam host a lively group of young researchers in logic, language and theories of rationality. It's time to bring them together!

    The PALMYR will be a one day workshop. Young researchers from Paris will give presentations about their current interests; each presentation being commented by a fellow researcher from Amsterdam. There will be a mirror event in Paris next fall, where Amsterdam young researchers will give presentations and Paris colleagues will comment.

    For more information, see http://www.illc.uva.nl/PALMYR/, or contact the organizers at or .

    For more information, see here .
  • 24 June 2005, ACLC Seminar, Joep Leerssen

    Speaker: Joep Leerssen (UvA)
    Date & Time: Friday 24 June 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 20-24 June 2005, Logica 2005, Hejnice, Czech Republic

    Date: 20-24 June 2005
    Location: Hejnice, Czech Republic

    This event, organized by The Institute of Philosophy of the Academy of Sciences of the Czech Republic, is the nineteenth in a series of annual international symposia devoted to logic. The invited speakers are: M. Detlefsen, Y. Gurevich, G. Priest, and H. Rott.

    For more information, see http://www.flu.cas.cz/Logica/Aconf/log2005.html

  • 17 June 2005, DIP Colloquium, Cleo Condoravdi

    Speaker: Cleo Condoravdi
    Title: Not knowing or caring who
    Date & Time: Friday 17 June 2005, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain

    Date: 15-18 June 2005
    Location: Barcelona, Spain

    This meeting shares the goals of the Tbilisi conference with the same title, held in July 2003, as well as those of the Patras conference on many-valued logics and residuated structures, held in June 2004.

    In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.

    For more information, an online registration form and a preliminary program, see http://www.mat.ub.es/~logica/meeting2005/.

  • 10 June 2005, ACLC Seminar, Wouter Kusters

    Speaker: Wouter Kusters (ACLC; Meertens/UvA)
    Title: Gender complexities and simplification
    Date & Time: Friday 10 June 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 10 June 2005, ILPS Seminar, Nicu Sebe

    Speaker: Nicu Sebe (Amsterdam)
    Title: Multimodal Emotion Recognition
    Date & Time: Friday 10 June 2005, 13:30
    Location: Room F.013, Informatics Institute, Kruislaan 403, Amsterdam

    Joint event with the ISLA colloquium.

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Jun10 .

  • 10-12 June 2005, TARK X, Singapore

    Date: 10-12 June 2005
    Location: Singapore
    Deadline: 11 February 2005

    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, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems.

    TARK X will occur as part of an 8-week program "Uncertainty and Information in Economics", organized by the IMS institute of Singapore. For more information on the programme, see http://www.ims.nus.edu.sg/Programs/uie/. For more information on TARK-X, see the TARK conference site at http://www.comp.nus.edu.sg/~tark05/.

  • 8-12 June 2005, CiE 2005: New Computational Paradigms, Euclides building, UvA, Amsterdam

    Date: 8-12 June 2005
    Location: Euclides building, UvA, Amsterdam
    Costs: € 0-120

    The conference CiE2005 will cover many aspects of "Computability in Europe" (CiE), with a particular focus on New Computational Paradigms. These include prominently higher mathematical models of computation (e.g., infinitary computation or real computation), and connections between computation and physical systems (e.g., quantum computation, neural nets, molecular computation).

    There will be tutorials on Quantum Computing (H. Buhrman) and Computable Analysis (K. Weihrauch). Invited Speakers include: Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens / Los Angeles CA), Uwe Schöning (Ulm), Viggo Stoltenberg-Hansen (Uppsala)

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

  • 7 June 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Lionel Mamane

    Speaker: Lionel Mamane
    Title: Surreal Numbers in Coq and Type Theory
    Date & Time: Tuesday 7 June 2005, 14:15-16:00
    Location: TU Eindhoven, HG 8.61

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

  • 3 June 2005, Colloquium on Mathematical Logic, Joel Hamkins

    Speaker: Joel Hamkins
    Title: Forcing axioms arising from a modal view of set theory
    Date & Time: Friday 3 June 2005, 15:00-17:00
    Location: <em>(Changed!)</em>
    Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 2 June 2005, DIP Colloquium, Nicholas Asher

    Speaker: Nicholas Asher
    Title: Principles and Constraints in SDRT
    Date & Time: Thursday 2 June 2005, 10:00-11:30
    Location: Room 221, BG5 (Binnengasthuis 5, above Atrium), Amsterdam

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

  • 31 May 2005, Logic Tea, Clemens Kupke

    Speaker: Clemens Kupke
    Title: Coalgebra Automata
    Date & Time: Tuesday 31 May 2005, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 27 May 2005 , Colloquium on Mathematical Logic, Andreas Weiermann

    Speaker: Andreas Weiermann (Utrecht)
    Title: Analyzing Ramsey's theorem for pairs via non standard models
    Date & Time: Friday 27 May 2005 <em>(changed!)</em>, 16:00-17:00
    Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
    (Bus 12 from Utrecht Central Station).

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

  • 27 May 2005, ILPS Seminar, Wim Martens

    Speaker: Wim Martens (Limburg)
    Title: Tractable Typechecking of Simple XML Transformations
    Date & Time: Friday 27 May 2005, 13:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#May27 .

  • 27 May 2005, ACLC Seminar, Umberto Ansaldo

    Speaker: Umberto Ansaldo (ACLC, UvA)
    Title: Workshop "Ecological and evolutionary perspectives on
    language"
    Date & Time: Friday 27 May 2005, 10:00-15:00
    Location: Room 101, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 24 May 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Peter van Rossum

    Speaker: Peter van Rossum
    Title: MathSAT - combining Boolean satisfiability solving and
    mathematical reasoning
    Date & Time: Tuesday 24 May 2005, 14:15-16:00
    Location: TU Eindhoven, HG 8.61

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

  • 17 May 2005, Call for ILLC PhD & MSc students

    Date & Time: Tuesday 17 May 2005, 17:00
    Location: The entrance to Euclides building, Plantage Muidergracht 24

    For the upcoming issue of the ILLC magazine we will feature a group picture of all the Master's and PhD students, under the title "Next Generation of the ILLC". All PhD and MoL students are kindly requested to take part in this picture.

    Note that there is no logic tea that week. The session should take about 15 minutes. Please do your best to attend since there will not be any other alternative dates.

  • 13 May 2005, ACLC Seminar, Robert DeKeyser

    Speaker: Robert DeKeyser (Pittsburgh)
    Date & Time: Friday 13 May 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 13 May 2005, ILPS Seminar, Marko Smiljanic & Maurice van Keulen

    Speaker: Marko Smiljanic & Maurice van Keulen (Twente)
    Title: Schema Matching in a Large Scale Personal Schema Based Query
    Date & Time: Friday 13 May 2005, 13:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#May13 .

  • 13 May 2005, Leve de Wiskunde

    Date: Friday 13 May 2005
    Location: (<em>changed!</em>) A Building, Roeterstraat 15, Hal A
    Deadline: 29 March 2005

    De derde aflevering van Leve de Wiskunde!, georganiseerd door KdVI en ILLC, zal plaats hebben op vrijdag 13 mei. Tijdens de lunchpauze zal er, zoals vorige jaren, een informatiemarkt zijn in de open ruimte en op de gangen van de 2e verdieping van gebouw Euclides. We verwachten hier ook een aantal organisaties van buiten onze instituten. Maar uiteraard zal er plaats (maar niet onbeperkt) zijn voor onderzoeksgroepen en individuen van KdVI en ILLC om zich op deze markt te presenteren.

    Voor meer informatie en een programma, zie http://www.science.uva.nl/congres/

  • 12-17 May 2005, International e-Conference on Computer Science

    Speaker: Prof.dr. H.A. (Erik) Proper (the Netherlands)
    & Prof. Reda A. Ammar (USA)
    Date: 12-17 May 2005
    Deadline: 17 February 2005

    The aim of IeCCS 2005 is to bring together leading scientists of the international Computer Science community and to attract original research papers of very high quality. You can attend the Conference from your office PC or from any internet-enabled computer you may choose. Topics to be covered include (but are not limited to):
    Symbolic and Algebraic Manipulation, Analysis of Algorithms, Problem Complexity, Mathematical Logic, Formal Languages, Data Structures, Data Bases, Information Systems, Artificial Intelligence, Expert Systems, Simulation and Modeling.

    Invited speakers include Prof.dr. H.A. (Erik) Proper (the Netherlands) and Prof. Reda A. Ammar (USA).

    Deadline for paper submission is April 10, 2005. For more information, see: http://www.ieccs.net/.

  • 10 May 2005, Logic Tea, Reut Tsarfaty

    Speaker: Reut Tsarfaty
    Title: Aspectual Choice in Modern Hebrew
    Date & Time: Tuesday 10 May 2005, 17:15-18:30
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 29 April 2005, Colloquium on Mathematical Logic, Emil Jerabek

    Speaker: Emil Jerabek (München)
    Title: Admissible rules of modal logics
    Date & Time: Friday 29 April 2005, 16:00-17:00
    Location: Room P.014, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
    (Tram 9 from Central Station, to Plantage Badlaan.)

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

  • 28 April 2005, Colloquium on Mathematical Logic, C. Tapp

    Speaker: C. Tapp (München)
    Title: Georg Cantor, the founder of set theory, in contact with catholic
    + theologians of his time
    Date & Time: Thursday 28 April 2005, 15:30-16:30
    Location: Room K11 (Algemeen Colloquium), Wiskundegebrouw, Budapestlaan 6, Utrecht
    (Bus 11 from Utrecht Central Station)

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

  • 28-30 April 2005, LACL 2005: Fifth International Conference on
    Logical Aspects of Computational Linguistics, Bordeaux, France

    Date: 28-30 April 2005
    Location: Bordeaux, France

    LACL-2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics. It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.

    For more information, an online registration form and a preliminary program, see http://lacl.labri.fr/

  • 26 April 2005 (), Logic Tea, Chantal Bax

    Speaker: Chantal Bax
    Title: Subjectivity after Wittgenstein
    Date & Time: Tuesday 26 April 2005 (<em>Changed!</em>), 17:15-18:15
    Location: Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 26 April 2005, Zuidelijk Interuniversitair Colloquium (ZIC), J-J. Ch. Meyer

    Speaker: J-J. Ch. Meyer
    ()
    Title: On the Semantics of (Multi) Agent Programming
    Date & Time: Tuesday 26 April 2005, 14:15-16:00
    Location: TU Eindhoven, HG 8.61

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

  • 22 April 2005, DIP Colloquium, Simon Kirby

    Speaker: Simon Kirby
    Title: Iterated Learning and the Origins of Linguistic Structure
    Date & Time: Friday 22 April 2005, 17:00-18:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 22 April 2005, ACLC Seminar, Silke Hamann

    Speaker: Silke Hamann (Berlin)
    Title: The Dutch labio-velar fricative system and what Germans make of it
    Date & Time: Friday 22 April 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 22 April 2005, ILPS Seminar, Ronny Lempel

    Speaker: Ronny Lempel
    (Israel)
    Title: Search Engines are Closing in on Databases
    Date & Time: Friday 22 April 2005, 13:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Apr22 .

  • 15 April 2005, DIP Colloquium, Jelle Gerbrandy

    Speaker: Jelle Gerbrandy
    Title: Logics for Games
    Date & Time: Friday 15 April 2005, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 14 April 2005, Colloquium Muziekwetenschap, prof. dr Marc Leman (Universiteit Gent)

    Speaker: prof. dr Marc Leman (Universiteit Gent)
    Title: Alternatives to subjectivism in musicology
    Date & Time: 14 April 2005, 15:30
    Location: Universiteitstheater, zaal 301

    This talk is about the first chapter of a book which the author is currently finishing. The chapter introduces the problem of music signification and aims at analyzing the main themes of a new theory of music mediation. First, he introduces the distinction between direct involvement with music and description of this involvement. In both cases, it seems that subjective engagement with music is important. In a second section, the question is asked to what extent a subjectivist approach can contribute to a theory of music mediation. The position of subjectivism, however, is difficult to maintain because of its weak philosophical foundations in skepticism. Therefore, an alternative account, based on human action, is proposed. Finally, this alternative is considered in view of three foundations, namely linguistic descriptions, corporeal descriptions and the call for technology-mediated access to music.

    Marc Leman is hoogleraar aan de afdeling Musicologie van de Vakgroep Kunst-, Muziek-, en Theaterwetenschappen van de Universiteit Gent (UGent). Hij is vakgroepvoorzitter en directeur van het onderzoeksinstituut IPEM. Hij heeft het statuut van onderzoeks-professor in de Systematische Musicologie, en zijn onderzoeksactiviteiten omvatten de methodologische en epistemologische grondslagen van de systematische muziekwetenshap.

    For more information, see http://www.musicology.nl/

  • 12 April 2005 (), Logic Tea, Balder ten Cate

    Speaker: Balder ten Cate
    Title: Playing with ultrafilter extensions
    Date & Time: Tuesday 12 April 2005 (<em>changed</em>), 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 8 April 2005, Colloquium on Mathematical Logic, D.C. McCarty, The Logic Program, Indiana University

    Speaker: D.C. McCarty, The Logic Program, Indiana University
    Title: An Incompleteness Argument from the 19th Century
    Date & Time: Friday 8 April 2005, 16:00
    Location: Room 048, Bestuursgebouw, Heidelberglaan 6, Utrecht
    (Bus 12 from Utrecht Central Station).

    Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.

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

  • 8 April 2005, ACLC Seminar, Lisa Lim

    Speaker: Lisa Lim
    Title: Singapore English: Variation, contact and change
    Date & Time: Friday 8 April 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 5 April 2005, Logic Tea, Rosja Mastop

    Speaker: Rosja Mastop
    Title: Ross' problem vindicated in a constructive update semantics
    Date & Time: Tuesday 5 April 2005, 17:15-18:15

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

  • 5 April 2005, Statistical Inference, the Problem of Induction, and the Realism Debate, Jan-Willem Romeyn

    Speaker: Jan-Willem Romeyn
    Date & Time: Tuesday 5 April 2005, 16:00
    Location: Department of Psychology, Roeterstraat 15, A 102

    Science infers general statements and predictions from limited bodies of empirical evidence, and it therefore faces the problem of induction. Statistics plays an important role in how science solves this problem. In my talk I first make precise what role it plays, and then investigate the extent to which, in this role, it can support the realist ambitions of science.

    The first task involves a critical analysis of the logical empiricist views of Carnap, and a reformulation of inductive inferences as Bayesian logical arguments. The second involves a reversed application of De Finetti's representation theorem, and a rather delicate mix of his strict subjectivism with the frequentist theory. However, these reform measures do not yet go far enough. In the last part of the talk will argue that scientists have good reasons for employing underdetermined statistical models.

    For more information, please contact

  • 4 April 2005, Logic Tea, D.C. McCarty, The Logic Program, Indiana University

    Speaker: D.C. McCarty, The Logic Program, Indiana University
    Title: An Incompleteness Argument from the 19th Century
    Date & Time: Monday 4 April 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

    Paul du Bois-Reymond was a noted mathematician and philosopher of the second half of the 19th Century, publishing on differential equations, analysis and the foundations of mathematics. His magnum opus, "General Function Theory", appeared in 1882 and contained what its author claimed to be a demonstration that mathematics is absolutely incomplete, that is, that there are mathematically meaningful and significant propositions A such that neither A nor not-A will ever be demonstrated by mathematicians. His arguments for this claim are not based on the idea of a formal system but on a detailed analysis of mathematical cognition. We will describe that analysis and assess for their cogency du Bois-Reymond's incompleteness arguments.

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

  • 2-10 April 2005, ETAPS 2005, Edinburgh, Scotland, UK

    Date: 2-10 April 2005
    Location: Edinburgh, Scotland, UK

    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:

    • FOSSACS 2005: Foundations of Software Science and Computation Structures
    • FASE 2005: Fundamental Approaches to Software Engineering
    • ESOP 2005: European Symposium on Programming
    • CC 2005: International Conference on Compiler Construction
    • TACAS 2005: Tools and Algorithms for the Construction and Analysis of Systems

    a number of satellite workshops, and other events.

    For more information, see the ETAPS website at http://www.etaps05.inf.ed.ac.uk/

  • 1 April 2005, DIP Colloquium, Tatjana Heyde-Zybatow

    Speaker: Tatjana Heyde-Zybatow (Leipzig)
    Title: Achievements: Experimental studies and semantic analysis
    Date & Time: Friday 1 April 2005, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

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

    Date: 26 March - 4 April 2005
    Location: Montreux - Switzerland
    Deadline: 30 October 2004

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

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

    Contributed papers for the congress can be submitted before October 30, 2004. For more information, see here or the website at http://www.uni-log.org.

  • 24 March 2005, DIP Colloquium, Kai-Uwe Kühnberger

    Speaker: Kai-Uwe Kühnberger (Osnabrück)
    Title: First-Order Inferences and Neural Networks
    Date & Time: Thursday 24 March 2005, 15:00-16:00
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 22 March 2005, Logic Tea, Jouko Vaananen,

    Speaker: Jouko Vaananen, <em>canceled</em>
    Date & Time: Tuesday 22 March 2005, 17:00-18:00

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

  • 21 March 2005, GLLCX

    Date & Time: Monday 21 March 2005, 10:30-15:30
    Location: (<em>Changed!</em>) Room QZ103, Department of Philosophy, Tilburg University

    The tenth edition of the workshop on Games in Logic, Language and Computation (GLLCX) will be held on Monday, March 21, and will be hosted by the Department of Philosophy of Tilburg University. In connection with the PhD-defense of Francien Dechesne, this workshop will have a special focus on logic with imperfect information.

    Speakers include Gabriel Sandu (Helsinki), Xavier Caicedo (Bogota), Theo Janssen (Amsterdam), Barteld Kooi (Groningen), Elias Thijsse (UvT) and Johan van Benthem (Amsterdam).

    For more information including a program and abstracts, see http://www.uvt.nl/faculteiten/fww/GLLCX/

  • 18 March 2005, Colloquium on Mathematical Logic, Xavier Caicedo Ferrer

    Speaker: Xavier Caicedo Ferrer
    Title: The Logic of Extended Objects
    Date & Time: Friday 18 March 2005, 16:00-17:00
    Location: Room P.016, 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 or here.

  • 18 March 2005, ACLC Seminar, Paul Boersma

    Speaker: Paul Boersma
    Title: A listener-oriented account of hache-aspiré in French
    Date & Time: Friday 18 March 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 18 March 2005, ILPS Seminar, Gosse Bouma

    Speaker: Gosse Bouma (Groningen)
    Title: Question Answering Using Dependency Relations
    Date & Time: Friday 18 March 2005, 13:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar18 .

  • 15 March 2005, M,P.I. Colloquium Series, Nick Chater

    Speaker: Nick Chater (Warwick)
    Title: Statistical Language Learning: Analysis of an 'Ideal' Language Learner
    Date & Time: Tuesday 15 March 2005, 15:45
    Location: Room 1.63, Max Planck Institute for Psycholinguistics,
    Wundtlaan 1, Nijmegen

    For more information, see http://www.mpi.nl/world/colloquia/.

  • 15 March 2005, Logica Symposium: Waarheid in Taal

    Date: Tuesday 15 March 2005
    Location: Trippenhuis (KNAW)
    Target audience: Iedereen met een interesse in logica
    Costs: E 5,- (incl. lunch en borrel)

    (dutch only)
    Hoe universeel is taal? Die vraag kunnen we figuurlijk bekijken: wat hebben alle talen gemeen? Wat is de overeenkomst tussen mensentaal en robottaal? Of we bekijken hem letterlijk: hoe praat je met buitenaardse wezens? Als we bij dit soort vragen iets doorgraven en net onder het oppervlak kijken, zien we al gauw dat er logica in verborgen ligt. Logica steekt bij veel vakgebieden de kop op.

    Het symposium "Waarheid in Taal" van 15 maart 2005 zal vanuit vakgebieden zo divers als filosofie, informatica en logica licht op deze vraagstukken laten vallen. Onderzoekers, alumni en studenten worden van harte uitgenodigd om sprekers uit het hele land hun verrassende kijk op de zaak uit de doeken te zien doen.

    Plaats van het gebeuren is het Trippenhuis van de Koninklijke Nederlandse Academie van Wetenschappen (KNAW) in Amsterdam. Het programma omvat 5 sprekers, een lunchbuffet en een borrel. De organisatie is in handen van de Natuurwetenschappelijke Studievereniging Amsterdam, in samenwerking met de Vereniging voor Logica. De entreeprijs bedraagt E 5,-. Inschrijven is verplicht. Er kunnen 150 mensen deelnemen.

    Zie voor meer informatie http://www.science.uva.nl/~waarheid/

  • 14 March 2005, DIP Colloquium, Hans Kamp

    Speaker: Hans Kamp (IMS Stuttgart)
    Title: Temporal Reference in and outside of Attitudinal Contexts
    Date & Time: Monday 14 March 2005, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 13 March 2005, Paradisolezingen in 2005, Johan van Benthem

    Speaker: Johan van Benthem
    Title: 'Converseren is rekenen', Informatiestroom voor oplettende mensen
    Date & Time: Sunday 13 March 2005, 11:00-13:00
    Location: Paradiso, Weteringschans 6-8, Amsterdam

    (Dutch only)
    Informatie stroomt zodra we taal gebruiken, of andere handelingen verrichten waaruit voor anderen 'iets valt af te lezen'. Het doseren van die stroom is de sleutel tot effectief sociaal handelen - waar alles draait om verschillen in kennis, geheimhouding, en discretie. Dit soort verschijnselen zijn goed te modelleren met moderne logische technieken, met een scheutje inspiratie uit de informatica. Want communicatie lijkt erg op programmeren van taalhandelingen. Een indruk van hoe dit werkt en waar nu de grens ligt.

    For abstracts and more information, see http://www.nwo.nl/nwohome.nsf/pages/NWOP_68HEUU .

  • 11 March 2005, ILPS Seminar, Claire Gardent

    Speaker: Claire Gardent (CNRS & LORIA, France)
    Title: Generating and selecting grammatical paraphrases
    Date & Time: Friday 11 March 2005, 13:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Mar11 .

  • 11 March 2005, Publieksdag "Philosophy of Information", Grote Zaal van Cristofori, Prinsengracht 583, Amsterdam

    Date & Time: Friday 11 March 2005, 13:30-17:30
    Location: Grote Zaal van Cristofori, Prinsengracht 583, Amsterdam

    If we are to believe Hollywood, the reality we live in can be replaced by a computer model. Films and series such as "The Lawnmower Man", "The Matrix" and "Star Trek" (the Holodeck) have as their underlying premise that reality and consciousness are composed solely of information, and that that information can easily be manipulated using computers. Those following the rapid development of computer games have to conclude that the perfecting of interfaces is eroding the difference between game and reality. Happily (or regretfully) science itself has not quite reached this stage, but exciting things are happening nevertheless.

    At the symposium Philosophy of Information John McCarthy, Keith Devlin, Pieter Adriaans and Tine Wilde will discuss the current state of affairs. Science is achieving new insights by viewing part of reality as a computational process. Taking this approach to its extremes, this begs the philisophical question: is it only a metaphore, a useful model, or something more? Is information going to turn out to be the science-of-everything?

    For more information, an online registration form and a program, see http://www.klpoll.nl/pages/project.phtml?project=66

  • 11 March 2005, DIP Colloquium, Kriszta Szendroi

    Speaker: Kriszta Szendroi (Utrecht)
    Title: Interpretative ambiguity and children
    - resolving the paradox of the acquisition of focus
    Date & Time: Friday 11 March 2005, 10:30-12:00
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 8 March 2005, Logic Tea, Brian Semmes

    Speaker: Brian Semmes
    Title: Infinite Games and \Delta_3^0 Functions
    Date & Time: Tuesday 8 March 2005, 17:00-18:00

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

  • 8 March 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Jan van Eijck

    Speaker: Jan van Eijck
    Title: Logics for Epistemic Updating
    Date & Time: Tuesday 8 March 2005, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

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

  • 4 March 2005, ACLC Seminar, Nikolaus Ritt

    Speaker: Nikolaus Ritt (Vienna)
    Title: Memetic linguistics: principles, prospects, problems
    Date & Time: Friday 4 March 2005, 15:15-16:30
    Location: Room 401, Bungehuis, Spuistraat 210, Amsterdam

    For abstracts and more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 25 February 2005, ILPS Seminar, Keith Van Rijsbergen

    Speaker: Keith Van Rijsbergen
    (Glasgow)
    Title: The logic of information retrieval
    Date & Time: Friday 25 February 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Feb25 .

  • 25 February 2005, Workshop on Modal Logic, Model Theory and (Co)Algebras

    Date: Friday 25 February 2005
    Location: Room I301 and I401, Nieuwe Achtergracht 170, Amsterdam

    On the occasion of the PhD defense of Balder ten Cate (on the 24th at noon in the Aula of the University of Amsterdam), a workshop will take place on February 25, 2005, on modal logic, model theory and (co)algebras. The speakers will include Johan van Benthem, Mai Gehrke, Valentin Goranko, Ian Hodkinson, Maarten Marx, Jouko Vaananen and Yde Venema.

    For more information, see http://staff.science.uva.nl/~bcate/ml-workshop/

  • 22 February 2005, M,P.I. Colloquium Series, Charles Goodwin

    Speaker: Charles Goodwin (UCLA)
    Title: Multimodality in discourse
    Date & Time: Tuesday 22 February 2005, 15:45
    Location: Room 1.63, Max Planck Institute for Psycholinguistics,
    Wundtlaan 1, Nijmegen

    For more information, see http://www.mpi.nl/world/colloquia/.

  • 18 February 2005 (), ILPS Seminar, Balder Ten Cate

    Speaker: Balder Ten Cate
    Title: Modal Logic with Propositional Quantifiers
    Date & Time: Friday 18 February 2005 (<em>changed</em>), 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Feb11 .

  • 18 February 2005, ILLC/ACLC seminar on Modality

    Date & Time: Friday 18 February 2005, 13:00-16:30
    Location: PC Hoofthuis 105, Amsterdam

    Friday, February 18, 2005 (in the afternoon), four speakers of both ILLC and ACLC will present a paper on the subject of Modality.

    For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/

  • 15 February 2005, Logic Tea, Ichiro Hasuo

    Speaker: Ichiro Hasuo
    Title: Formal Languages as Coalgebraic Behavior
    Date & Time: Tuesday 15 February 2005, 17:15-18:15
    Location: Room P.017, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 11 February 2005, DIP Colloquium, Isidora Stojanovic

    Speaker: Isidora Stojanovic (Stanford)
    Title: Indexicals and Direct Reference: Against the Received View
    Date & Time: Friday 11 February 2005, 16:00-17:30
    Location: room 001, Department of Philosophy, Vendelstraat 8, Amsterdam

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

  • 8 February 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Russel O'Connor

    Speaker: Russel O'Connor
    Date & Time: Tuesday 8 February 2005, 14:15-16:00
    Location: TU Eindhoven, HG 6.29

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

  • 3 February 2005, ACLC Seminar, Juan Uriagereka

    Speaker: Juan Uriagereka (Maryland and Basque Country)
    Title: Iterative Expressions and the Theory of Grammar
    Date & Time: Thursday 3 February 2005, 15:15-16:30
    Location: Bungehuis 420, Amsterdam

    This talk is devoted to a problem posed by iterative expressions, common in colloquial speech, of the sort in 'I'm very very tired.' In a nutshell, the problem is that expressions of this sort mean very similarly in all languages (typically emphasis, but also a few, arguably related, notions involving extension of some characteristic space); as cognitive grammarians have pointed out, this is an a priori puzzle for any theory that assumes the essential arbitrariness of the syntax/semantics interface. My solution to this puzzle implies treating the relevant expressions in Markovian fashion.

    For more information, see http://www.hum.uva.nl/aclc/object.cfm/

  • 3 February 2005, Mini-Colloquium on Modeling Human Communication

    Date & Time: Thursday 3 February 2005, 14:00-16:30
    Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam

    This mini-colloquium centers around the work of prof. Gün Semin (Academy professor, KNAW & Department of Social Psychology, VU). Prof. Semin is Academy Professor at the KNAW and in the Department of Social Psychology at the VU.

    Program:
    14.00: Gün Semin, "Language as a tool to implement cognition"
    15.00: Robert van Rooij, Commentary
    15.20: Maarten de Rijke, Commentary
    15.40: Rens Bod, Commentary
    16.00: General discussion

    For more information, see http://semin.socialpsychology.org/ or contact

  • 28 January 2005, DIP Colloquium, Fred D'Agostino

    Speaker: Fred D'Agostino (Groningen/Queensland)
    Title: Judgment and Decision with Multiple Criteria:
    A Research Program at the Intersection of Psychology, Sociology,
    Economics, Philosophy, and Jurisprudence
    Date & Time: Friday 28 January 2005, 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 2005, ILPS Seminar, Massimo Franceschet

    Speaker: Massimo Franceschet
    Title: An XPath benchmark for XMark
    Date & Time: Friday 28 January 2005, 13:30-14:30
    Location: Room F.009, Informatics Institute, Kruislaan 403, Amsterdam

    For abstracts and more information, see http://lit.science.uva.nl/Seminar/seminar05-1.html#Jan28 .

  • 26 January 2005, CSCA Lecture, Margaret Boden

    Speaker: Margaret Boden (Sussex)
    Date & Time: Wednesday 26 January 2005, 20:00
    Location: Roetersstraat 15, Psychology Building (A), room

    Boden is one of the most influential researchers and authors in cognitive science. Within this extensive area she has, as a psychologist and a philosopher, particularly been engaged in intelligence, creativity and development. In her research, natural intelligence or creativity is often compared with computer models of the mind or of intelligence.

    Although biological evolution did not bring us computers, Boden will focus on the question if a computer model of the mind can take into consideration evolutionary development of the human mind.

    Response will be by Cyriel Pennartz

    For more information, please contact

  • 21 January 2005, Colloquium on Mathematical Logic, R. Yavorsky

    Speaker: R. Yavorsky (Steklov, Moscow)
    Title: Gurevich abstract state machines: theory and practice
    Date & Time: Friday 21 January 2005, 16:00-17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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

  • 21 January 2005, Colloquium on Mathematical Logic, Bart Kastermans

    Speaker: Bart Kastermans (Ann Arbor, Michigan)
    Title: A weak form of diamond and cardinal characteristics related to
    the symmetry group of the natural numbers
    Date & Time: Friday 21 January 2005, 16:00-17:00
    Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
    (Bus 12 from Utrecht Central Station).

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

  • 14 January 2005, DIP Colloquium, Cory Wright

    Speaker: Cory Wright (UCSD)
    Title: The Adequacy Thesis and minimalist explanations of truth
    Date & Time: Friday 14 January 2005, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 12-14 January 2005,
    Sixth International Workshop on Computational Semantics (IWCS-6)
    , Tilburg, Netherlands

    Date: 12-14 January 2005
    Location: Tilburg, Netherlands

    The aim of this event is to bring together researchers interested in any aspects of the computation of meaning in natural language, in multimedia objects, and in multimodal messages.

    For more information, see http://let.uvt.nl/research/TI/sigsem/iwcs/iwcs6/

  • 11 January 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Erik Poll

    Speaker: Erik Poll
    Date & Time: Tuesday 11 January 2005, 14:15-16:00
    Location: TU Eindhoven, HG building, room t.b.a.

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

Calls for Paper

  • 31 July-11 August 2006, ESSLLI-2006:
    18th European Summer School in Logic, Language and Information, Malaga, Spain

    Date: 31 July-11 August 2006
    Location: Malaga, Spain
    Deadline: 17 June 2005

    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-2006 is organised under the auspices of the European Association for Logic, Language and Information (FoLLI).

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

    For more information, see the ESSLLI website at http://esslli2006.lcc.uma.es/.

    the full Call for Proposals at here or
    For more information, see here .
  • 30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, Wales

    Date: 30 June - 5 July 2006
    Location: Swansea, Wales
    Deadline: 15 December 2005

    CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005. CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
    - practical and feasible barriers, e.g., centred around the P vs. NP problem;
    - computable barriers connected to models of computers and programming languages;
    - hypercomputable barriers related to physical systems.

    For more information, see here or http://www.cs.swansea.ac.uk/cie06/

    The Programme Committee cordially invites all researchers (European and non-European) in the area of Computability Theory to submit their papers for presentation at CiE 2006. Submission Deadline is December 15th, 2005.

  • (ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2

    Date: June 28-July 1st, 2006
    Location: University of Nancy 2
    Deadline: 15 December 2005
    Authors are invited to submit abstracts of papers that they wish to present at the conference. Deadline for Submissions: December 15th, 2005.
  • 29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, Italy

    Date: 29-31 May 2006
    Location: Rome, Italy
    Deadline: 11 December 2005

    The 6th Int. Conference on Algorithms and Complexity covers research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures.

    For more information, see http://www.dsi.uniroma1.it/~ciac/.

    Authors are invited to submit an extended abstract, to arrive before December 11, 2005.
  • 21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, Seattle

    Date: 21-23 May 2006
    Location: Seattle
    Deadline: 3 November 2005

    The 38th ACM Symposium on Theory of Computing (STOC 2006), sponsored by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), will be held in Seattle, WA, May 21 to 23, 2006. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, randomness in computing, parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational game theory, quantum computing and other alternative models of computation, and theoretical aspects of areas such as databases, information retrieval, and networks.

    For more information, see http://www.cs.washington.edu/stoc06/

    Papers presenting new and original research on the theory of computation are sought. Submission deadline: 5:59 pm EST, Thursday, November 3, 2005.
  • 15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, China

    Date: 15 - 20 May 2006
    Location: Beijing, China
    Deadline: 17 December 2005

    TAMC06 is a new annual conference focusing on theory and applications of computation. It is organized as part of the Grand China NSF International Joint Project after which the conference is named, and is supported by the Chinese National Science Foundation, and the Institute of Software of the Chinese Academy of Sciences. Previously two annual meetings were held in 2004 and 2005, with enthusiastic participation from researchers all around the world. TAMC 06 will be a much larger international conference. The scope of the conference will include algorithms, complexity, models of computation, and computability. The conference will be interdisciplinary in nature, and bring together researchers and students with an interest in computer science, mathematics and logic, and applications to the physical sciences.

    For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm

    The submission deadline for papers is 17th, December, 2005.
  • 22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), Tokyo

    Date: 22-24 March 2006
    Location: Tokyo
    Deadline: 14 November 2005

    SALT 16 will be held March 22-24, 2006 at the Komaba campus of the University of Tokyo under the auspices of the Center for Evolutionary Cognitive Sciences. SALT has provided a leading annual international forum for semantics for the past 15 years. 2006 will mark the first time for it to be held outside the United States.

    For more information, see here or http://research.nii.ac.jp/salt16/

    Submission deadline for papers is November 14, 2005 (Japan time).
  • 22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, Austria

    Date: 22-24 February 2006
    Location: Vienna University of Technology, Austria
    Deadline: 14 November 2005

    The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

    For more information, see http://www.kr.tuwien.ac.at/wlp06/

    Authors are invited to submit an extended abstract or a system description before November 14, 2005.
  • 19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal

    Date: 19-21 January 2006
    Location: Coimbra, Portugal
    Deadline: 30 November 2005

    This meeting aims at bringing together mathematicians and computer scientists with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and contributed talks. Courses include "Category Theory", "Proof Interpretations", "Computations with Ordinals, and Models of Set Theory" and "Provable Recursion and Arithmetical Independence Results"

    For registration or more information, see http://www.mat.uc.pt/~kahle/dl06/ or contact the organizers at .

    Participants wishing to give a talk at the meeting are requested to submit an abstract of 1 page (LaTeX or plain text, or ps or pdf) to by 30 November 2005.

  • 16 December 2005, The 16th Meeting of Computational Linguistics in the Netherlands (CLIN 2005), Amsterdam

    Date: Friday 16 December 2005
    Location: Amsterdam
    Deadline: 21 October 2005

    CLIN 2005, the 16th meeting of computational linguistics in The Netherlands will take place on Friday December 16, 2005, in Amsterdam, prior to the Amsterdam Colloquium. The CLIN 2005 program will consist of contributed papers, poster presentations, as well as two invited talks, by Edward Hovy (ISI, USC) and Hermann Ney (RWTH).

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

  • 1-2 December 2005, METHODS FOR MODALITIES 4 (M4M-4), Berlin - Adlershof, Germany

    Date: 1-2 December 2005
    Location: Berlin - Adlershof, Germany
    Deadline: 1 September 2005

    The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc.

    For more information and registration information, see the M4M homepage at http://m4m.loria.fr/

    To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. We strongly encourage young researchers and students to submit papers and posters, especially for experimental and prototypical software tools which are related to modal logics. Deadline for submissions: September 1st, 2005

  • ESSLLI2005 workshop: Foundations of Natural Language Grammar

    Date: August 16th- 20th, 2005
    Location: Edinburgh
    Deadline: 9 March 2005

    Both logic and computation bring standards to bear on grammar formalism which raise challenges for its psychological interpretation. In recent years approaches have consolidated their methodology in ways which are sometimes similar, sometimes distinct. On the one hand, opposing views often sustain an essentially common methodology: amongst these are the disputes over the relationship between syntax and semantics within a grammar, the number of levels to be articulated in a grammar, and the nature of the mappings between them. On the other hand, in recent years, there has been growing interest across a number of theoretical frameworks in defining grammar formalisms for natural language which make available stronger forms of psychological interpretation of the formalism than is standard, giving rise to new ways of articulating the relationship between grammar formalism and natural-language data. This workshop aims to provide a forum for explicit discussion of these and other foundational issues in articulating grammar formalisms for natural language.

    Authors are invited to submit an abstract of not more than two pages for a contribution to the workshop. Deadline is March 9th 2005.

    For more information, see http://semantics.phil.kcl.ac.uk/ldsnl/

    For more information, see here .
  • 8-19 August, 2005, ESSLLI-2005 Student Session, Edinburgh, UK

    Date: 8-19 August, 2005
    Location: Edinburgh, UK
    Deadline: 15 February 2005

    We are pleased to announce the Student Session (StuS) of the 17th European Summer School in Logic, Language and Information (ESSLLI'05, 8-19 August, Edinburgh, http://www.macs.hw.ac.uk/esslli05/). This is going to be the 10th Student Session (StuS) in the history of ESSLLIs. The aim of the StuS is to give an opportunity to students at all levels (undergraduate, graduate, postgraduate) to present their work to an expert, yet friendly audience, and get feedback from them. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation.

    This year, unlike in the past, papers can be submitted for oral OR poster presentation separately. Student authors are invited to submit a full paper, not to exceed 7 pages of length exclusive of references, by February 15th, 2005. For more information and the technical details of the submission, see: http://www.sissa.it/~gervain/StuS.html or write to:

  • 31 July or 1 August 1 2005, LCMAS 2005 3rd International Workshop on Logic and communication in MultiAgent Systems

    Date: 31 July or 1 August 1 2005
    Deadline: 1 August 2005

    The third edition of the LCMAS workshop series aims at bringing together researchers interested in topics related to the use of formal tools when applied to modelling, specifying, verifying, and reasoning about multi-agent systems in which communication and updating play a crucial role. Specifically, the workshop aims at providing a forum for discussing technical issues arising in the use of formalisms epistemic, temporal, dynamic and authentication logics, and related techniques) inspired by the needs of modelling information exchanges in multi-agent systems. The workshop will be held as a satellite workshop of IJCAI05, the 19-th edition of the biannual international joint conference on Artificial Intelligence. Previous editions of the workshop were held in Eindhoven in 2003 (as satellite workshop of ICALP), and in Nancy in 2004 (as satellite workshop of ESSLLI). Papers from the workshops were published in both occasions in the ENTCS series.

    For more information, see http://www.win.tue.nl/~evink/lcmas05.html

    For more information, see here .
  • 15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain

    Date: 15-18 June 2005
    Location: Barcelona, Spain
    Deadline: 30 March 2005

    In recent years the interest in non-classical logics has been growing. Motivations from computer science, natural language reasoning and linguistics have played a significant role in this development. The semantic study of non-classical logics is a field where no single overarching paradigm has been established, and where a variety of techniques are currently being explored. An important goal of this meeting is to promote the cross-fertilization between the fundamental ideas connected with these approaches. Thus, we aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research.

    For more information see http://www.mat.ub.es/~logica/meeting2005/

    The scientific programme of the congress will include a few invited lectures and will provide ample time for contributed papers and interaction between participants. Researchers whose interests fit the general aims of the conference are encouraged to participate. Deadline for submissions is March 30, 2005

  • 25-26 July 2005, Workshop on Formal Models of Resource-Bounded Agents (FMRBA'05)

    Date: 25-26 July 2005
    Location: Utrecht
    Deadline: 14 March 2005

    Much of the work in formal logical modelling of agents assumes idealised rational agents with unrestricted memory and unbounded time available for reasoning. This is unrealistic, since the agents are ascribed capabilities which they do not possess (e.g. ability to derive any theorem of classical propositional logic). Recently, there has been growing interest in formal models of resource-bounded agents. While this work has been presented at agents and logics conferences and workshops (IJCAI, AAMAS, EUMAS) and published in journals, such as the Journal of Autonomous Agents and Multi-Agent Systems, this emerging community has lacked a forum for discussion. The aim of this workshop is to bring together researchers working on models of resource-bounded agents to assess the state of the art and identify open problems.

    Deadline for paper submission is the 14th of March 2005. Topics of interest include general frameworks for modelling resource bounded agents, models of resource bounded agent architectures and models of resource bounded agent capabilities.

    This workshop will be co-located with AAMAS 2005. For more information, see the workshop web page at http://www.agents.cs.nott.ac.uk/events/fmrba05/

  • Questions and Answers: Theoretical and Applied Perspectives. Special issue of the Journal of Applied Logic

    Deadline: 31 January 2005

    We have been invited by the "Journal of Applied Logic" to prepare a Special Issue stimulated by the 2nd CoLogNET-ELSNET Symposium on "Questions and Answers: Theoretical and Applied Perspectives".

    Based on the successful symposium experience, we invite papers on both theoretical issues involved in question answering or practical issues involved in querying systems for integrated structured domains (like databases, ontologies,..) as well as for open domain sources (like web-based documents).

    (changed) Submissions deadline is February 28th, 2005. For more information, see here.

Past Conferences

  • 19 December 2005, Symposium "Processes, terms and cycles", Turing room (Z011), CWI, Kruislaan 413, Amsterdam

    Date: Monday 19 December 2005
    Location: Turing room (Z011), CWI, Kruislaan 413, Amsterdam

    On Monday December 19, 2005, there is a one-day symposium "Processes, terms, and cycles: steps on the road to infinity" in honour of Jan Willem Klop. The symposium celebrates Jan Willem's 60th birthday, and the 25th anniversary of his connection with the CWI.

    The following renowned national and international friends of Jan Willem will lecture on his symposium: Zena Ariola, Arvind, Henk Barendregt, Jan Bergstra, Nachum Dershowitz, Marianiola Dezani, Roger Hindley, Jean-Jacques Levy, Ronan Sleep.

    The complete program and the registration form can be found via: http://www.cwi.nl/events/2005/jwklop/. Please register before December 1, 2005.

  • 16-17 December 2005, Recherches Québecoises en Logique, Université du Québec à Montréal (UQÀM)

    Date: 16-17 December 2005
    Location: Université du Québec à Montréal (UQÀM)
    Costs: Free

    "Recherches Québecoises en Logique" is intended at fostering Québec's logic researches. For the first edition, priority is given to young researchers (phds or postdocs). There will be six talk and one tutorial.

    The event is hosted by Université du Québec à Montréal's Canada Research Chair in Philosophy of Logic and Mathematics, held by Mathieu Marion.

    For more information, see http://www.illc.uva.nl/Montreal/ or contact: Olivier Roy (), Patrick Girard () or Mathieu Marion ()

  • 7-8 December, 2005, THE THIRD EUROPEAN WORKSHOP ON MULTI-AGENT SYSTEMS, Flemish Academic Center for Science and the Arts, Brussels, Belgium

    Date: 7-8 December, 2005
    Location: Flemish Academic Center for Science and the Arts, Brussels, Belgium

    In the last 15 years we have seen a significant increase of interest in agent-oriented technology. This field is now set to become one of the key technologies in the 21st century and will underpin much of the next generation of computing that seeks to address issues in Ambient Intelligence, Pervasive and Ubiquitous Computing, Complex Systems, Grid Computing, Services Oriented Computing, Semantic Web and many other areas.

    It is therefore crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed.

    For more information, see http://como.vub.ac.be/eumas2005/

  • 4-16 December 2005, Logic Summer School, Canberra, Australia

    Date: 4-16 December 2005
    Location: Canberra, Australia
    Costs: $1,650/$120 per person (professionals/students), scholarships available

    The Automated Reasoning Group in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.

    The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.

    Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at

  • 30 November - 2 December 2005, EmCAP Kick-off Meeting, Barcelona

    Date: 30 November - 2 December 2005
    Location: Barcelona

    EmCAP (Emergent Cognition through Active Perception) KickOff meeting will be held November 30 - December 2, 2005 in Barcelona.

    For more information, see http://www.iua.upf.edu/mtg/emcap/

  • 25 November 2005, VvL Symposium "Proofs and Problems", Beatrixgebouw, room 412, Jaarbeurs, Jaarbeursplein 6, Utrecht

    Date & Time: Friday 25 November 2005, 13:30-17:00
    Location: Beatrixgebouw, room 412, Jaarbeurs, Jaarbeursplein 6, Utrecht

    The Vereniging voor Logica (VvL) organizes a symposium "Proofs and Problems" on Friday November 25, 2005, in the Jaarbeurs in Utrecht, Beatrixgebouw, room 412. Participation is free, registration not necessary. You are very welcome to attend.

    For more information, a programme and abstracts see http://www.ai.rug.nl/orgs/vvl/toekomst.html

  • 17-19 November 2005, Understanding the Dynamics of Knowledge, Siena, Certosa di Pontignano

    Date: 17-19 November 2005
    Location: Siena, Certosa di Pontignano

    "Integrating Models of Knowledge Change, Development and Evolution in Cognitive Science, Epistemology, Artificial Intelligence, Philosophy, Logic and Developmental Psychology"

    For more information, see http://linus.media.unisi.it/cirg/udk/

  • 17-18 October 2005, BNAIC'05, Brussel, Belgium

    Date: 17-18 October 2005
    Location: Brussel, Belgium

    The 17th Belgian-Dutch Conference on Artificial Intelligence (BNAIC'05) will be held at the Royal Flemish Academy of Belgium for Science and the Arts in Brussels and is organized by the Computational Modeling Lab of the Vrije Universiteit Brussel and the Theoretical Computer Science Group of the Universiteit Hasselt, under the auspices of the Belgian-Dutch Association for Artificial Intelligence.

    The conference aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. Topics of interest include logic in AI, games, natural language learning and AI in law, music & art, amongst others.

    For more information, see http://como.vub.ac.be/bnaic2005/

  • 19-22 September 2005, WI-IAT'05, Compiegne University of Technology, France

    Date: 19-22 September 2005
    Location: Compiegne University of Technology, France

    IAT 2005 provides a leading international forum to bring together researchers and practitioners from diverse fields, to examine the design principles and performance characteristics of various approaches in intelligent agent technology, and increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains.

    The 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05) will be jointly held with The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05). Web Intelligence (WI) has been recognized as a new direction for scientific research and development to explore the fundamental roles as well as practical impacts of Artificial Intelligence (AI) and advanced Information Technology (IT) on the next generation of Web-empowered products, systems, services, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence.

    For more information, including online registration forms, see http://www.comp.hkbu.edu.hk/WI05/ or http://www.comp.hkbu.edu.hk/IAT05/.

MoL and PhD defenses

  • 7 December 2005, Master of Logic defense, Gustavo Lacerda de Melo

    Title: Automating Normal Science; Reusing Exemplars in Quantitative
    Date & Time: Wednesday 7 December 2005, 15:00
    Location: room E 003, Roeterstraat 11, 1018 WB Amsterdam
    Supervisor: Rens Bod

    For more information, please contact

  • 6 December 2005, Master of Logic defense, Scott Grimm

    Title: The Lattice of Case and Agentivity
    Date & Time: Tuesday 6 December 2005, 17:00
    Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Supervisor: Henk Zeevat

    For more information, please contact

  • 29 November 2005, PhD defense, Peter Zoeteweij

    Title: Composing Constraint Solvers
    Date & Time: 29 November 2005, 14:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Krzysztof R. Apt and Farhad Arbab

    For more information, please contact

  • 26 September 2005, Master of Logic defense, Teresita Mijangos Martinez

    Date & Time: Monday 26 September 2005, 18:15-19:45
    Location: Room 3.27, Euclides Building, Plantage Muidergracht 24,
    Amsterdam
    Supervisor: Dr K.R. Blutner
    Mentor: Prof.dr. D.H.J. de Jongh
  • 8 September 2005, PhD defense, Anna Pilatova

    Title: A User's Guide to Proper Names
    Date & Time: Thursday 8 September 2005, 13:15
    Location: Academiegebouw, Groningen

    For a PDF and abstract of the dissertation, see http://www.illc.uva.nl/Publications/reportlist.php?Series=DS&Year=2005

  • 29 August 2005, Master of Logic defense PhD defense, Samson de Jager

    Title: Analysing the Complexity of Games on Graphs
    Date & Time: Monday 29 August 2005, 17:30
    Location: Room P0.17, Euclides Building, Plantage Muidergracht 24
    Supervisor: Dr. Benedikt Loewe
  • 29 August 2005, Master of Logic defense PhD defense, Floris Roelofsen

    Title: Logical Perspectives on Distributed Knowledge and its Dynamics
    Date & Time: Monday 29 August 2005, 16:00
    Location: Room P0.17, Euclides Building, Plantage Muidergracht 24
    Supervisor: Prof. Johan van Benthem
  • 21 June 2005, Master of Logic defense, Michael Franke

    Title: Pseudo-Imperatives
    Date & Time: Tuesday 21 June 2005, 10:00
    Location: Room C2.10, Roeterseiland Complex, Amsterdam
    Supervisor: Dr. Robert van Rooij
    Mentor: Dr. Robert van Rooij

    For more information, please contact

  • 13 June 2005, Master of Logic defense, Vincent Kieftenheld

    Title: Notions of Strong Compactness without the Axiom of Choice
    Date & Time: Monday 13 June 2005, 15:00
    Location: Room P3.27, Euclider Building, Plantage Muidergracht 24, Amsterdam

    Thesis Committee: Rob van der Waall, Stefan Bold, Joel Hamkins, Benedikt Loewe, Maricarmen Martinez

  • 1 June 2005, PhD defense, Rosja Mastop

    Title: What can you do? Imperative mood in semantic theory
    Date & Time: Wednesday 1 June 2005, 14:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: F. Veltman & M. Stokhof
  • 19 April 2005, PhD defense, Willem Jan van Hoeve

    Title: Operations Research Techniques in Constraint Programming
    Date & Time: 19 April 2005, 12:00
    Location: Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Krzysztof R. Apt
  • 22 March 2005, PhD defense, Clemens Grabmayer

    Title: Relating Proof Systems for Recursive Types
    Date & Time: Tuesday 22 March 2005, 13:45
    Location: Aula, Vrije Universiteit, de Boelelaan 1105
    Promotor: Prof.dr J.W.Klop
    Copromotor: dr R.C. de Vrijer
  • 25 February 2005, Master of Logic defense, Boaz Leskes

    Title: Value of Agreement, a new boosting algorithm
    Date & Time: Friday 25 February 2005, 11:00
    Location: room P-3.27, Plantage Muidergracht 24, Amsterdam
    Supervisor: Leen Torenvliet

    For more information, please contact

  • 24 February 2005, PhD defense, Balder ten Cate

    Title: Model theory for extended modal languages
    Date & Time: Thursday 24 February 2005, 12:00
    Location: Aula UVA, Oude Lutherse Kerk, Singel 411, Amsterdam

    For more information, please contact

  • 23 February 2005, Master of Logic defense, Evangelos Tzanis

    Title: Algebraizing Hybrid Logic
    Date & Time: Wednesday 23 February 2005, 15:15
    Location: room P-3.27 Plantage Muidergracht 24, Amsterdam
    Supervisor: Peter van Emde Boas

    For more information, please contact

  • 8 February 2005, PhD defense, Jelle Zuidema

    Title: The Major Transitions in the Evolution of Language
    Date: Tuesday 8 February 2005
    Location: Edinburgh

    Jelle Zuidema, who works as a researcher at the ILLC since August, has successfully defended his PhD thesis at the University of Edinburgh. The thesis concerns "The Major Transitions in the Evolution of Language", and will be available soon at http://staff.science.uva.nl/~jzuidema/ .

  • 26 January 2005, Master of Logic defense, Reut Tsarfaty

    Title: An investigation of Aspect Semantics in Modern Hebrew
    Date & Time: Wednesday 26 January 2005, 16:00-17:00
    Location: Room P.327, Euclides, Plantage Muidergracht 24, Amsterdam

    For more information, please contact

Projects and Awards

  • Boudewijn de Bruin wins Praemium Erasmianum research prize

    The Praemium Erasmianum Foundation yearly awards a maximum of five prizes with a value of EURO 3000 in recognition of a extraordinary dissertation from young scholarly researchers in the humanities. We are very proud that Boudewijn de Bruin is one of the researchers who wins this prize in 2005 for his ILLC thesis "Explaining Games. On the Logic of Game Theoretic Explanations".

    For further information on the Praemium Erasmianum Foundation, see http://www.erasmusprijs.org/ and on Boudewijn, who now resides in Groningen: http://www.philos.rug.nl/~debruin/

  • E.W. Beth Dissertation Prize 2005: Ash Asudeh

    The E.W. Beth Dissertation Prize 2005 has been awarded to Ash Asudeh from the University of Canterbury for the thesis 'Resumption as Resource Management'. (PhD awarded in the year 2004 at the Stanford University). An award ceremony will take place during ESSLLI 05 in Edinburgh.

    An abstract and a downloadable version of the dissertation can be found on the homepage of Ash Asudehwith at: http://www.ling.canterbury.ac.nz/personal/asudeh/ For more information, see the FoLLI site at http://www.folli.org/, or the ESSLLI site at http://www.macs.hw.ac.uk/esslli05/

  • Boaz Leskes receives UvA Thesis award 2005

    Computer Science student Boaz Leskes (FNWI) received the 5th UvA Thesis Award at the Universityday on Saturday June 11th, for his thesis 'The value of agreement: a new boost algorithm'. The award was presented to him by Jit Peters, Deacon of the Faculty of Law and head of the award committee. This is the third year in a row that an FNWI student wins the UvA Thesis award.

    In his thesis Boaz Leskes, supervised by Leen Torenvliet, develops an entirely new model for automated learning. Not only did Leskes conceive and develope the mathematical basis for this model, he also puts it into practice with extensive programming.

    For more information, see the (dutch) announcement at http://www.science.uva.nl/actueel/object.cfm/. The thesis and an abstract can be found on the ILLC website in the Publications section at http://www.illc.uva.nl/staging/Publications/.

  • EU Research Proposal Granted

    Sixth Framework Programme of the European Union (EU-FP6-IST) granted a research proposal in the field of Music Cognition, entitled 'Emergent Cognition through Active Perception' (EmCAP). The project involves a consortium by Dr Sue Denham, Prof Mike Denham and Dr Eduardo Miranda (University of Plymouth), Dr Henkjan Honing (University of Amsterdam, Institute for Logic, Language and Computation), Prof Istvan Winkler (Institute for Psychology, Hungarian Academy of Sciences), and Prof Gustavo Deco and Prof Xavier Serra (University Pompeu Fabra, Barcelona, Music Technology Group & Computational Neuroscience Group).

    Project start date: 1 October 2005.
    For more information, see http://www.hum.uva.nl/mmm/jobs.html

  • Aline Honingh receives "Nicola Ugo Stame" award 2004

    The Committee of the 4th Conference "Understanding and Creating Music" (UCM'2004) honored Aline Honingh with the "Nicola Ugo Stame" award 2004 for young scientists.

    For more information, please contact

  • The cognitive revolution in music research

    The Dutch Science Foundation (NWO-GW) granted a research proposal in the context of the NWO-programme "Foundations of the Humanities". The research will explicate and evaluate the impact of the cognitive revolution on music research, as well as explore the possibilities of a new paradigm for music research in which the humanities and cognitive sciences interact.

    For more information, see http://www.hum.uva.nl/mmm/ under "News".

  • 2004 Bakkenist Jong Talent Afstudeerprijs Informatica

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

    For more information, contact Peter van Emde Boas ()

Funding, Grants and Competitions

  • Fulbright grants Deadline: December 1, 2005

    The Fulbright Program provides grants for Graduate Students, Scholars and Professionals, and Teachers and Administrators from the U.S. and other countries.

    For information (in Dutch only):

  • Academische Jaarprijs: Battle of the Universities

    Beste collega's,

    Graag attendeer ik jullie op de Academische Jaarprijs van NRC Handelsblad ("Battle of the Universities"). Vertaling van wetenschappelijk onderzoek naar een breed publiek. Teams van studenten en onderzoekers van de 14 Nederlandse universiteiten worden uitgedaagd het maatschappelijk belang van wetenschappelijk onderzoek op een onorthodoxe maar begrijpelijke manier onder de aandacht van een breed publiek te brengen.

    Deelnemende teams worden geacht een plan op te stellen voor de vertaling van wetenschappelijk onderzoek uit het afgelopen academisch jaar (2004-2005), bekroond of gepubliceerd als doctoraalscriptie, proefschrift, boek, artikel in een wetenschappelijk tijdschrift. De teams moeten bestaan uit tenminste twee personen, en voor de helft bestaan uit studenten.

    Inzendingen dienen via de decaan (p/a I. van Loon) te verlopen. De decaan dient de inzendingen uiterlijk 1 november a.s. aan de rector van de UvA te bezorgen.

    Voor informatie: zie http://www.academischejaarprijs.nl/ of neem contact op met Ingrid van Loon (6090/)

  • Heineken Prizes 2006

    I would like to draw your attention to the opening of the nominations for the prestigious Heineken Prizes 2006. These prizes, worth USD 150,000.- each, reward outstanding scientific achievement in the fields of biochemistry and biophysics, medicine, environmental sciences, history and cognitive science. Both institutes and individual researchers may nominate suitable candidates for these prizes until January 1, 2006.

    You will find digital versions of the nomination forms and background information on the Heineken Prizes 2006 on our website: http://www.knaw.nl/heinekenprizes.

  • E. W. Beth Dissertation Prize 2005

    Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information.

    Submissions are invited for 2004. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2004. The dissertations will be judged on the impact they made in their respective fields, breadth and originality of the work, and also on the interdisciplinarity of the work. Ideally the winning dissertation will be of interest to researchers in all three fields.

    The full text of this announcement can be found at here. Deadline for submissions is March 15, 2005.

  • Tweede ronde Mozaiek

    (Dutch only)
    In 2005 gaat een tweede ronde van het Mozaiek programma van NWO van start. Dit programma beoogt meer afgestudeerden uit minderheidsgroepen in de wetenschap te laten instromen middels een promotieplaats. Hiertoe stelt NWO in 2005 4 miljoen euro beschikbaar om ca. 20 promotieplaasten te financieren.

    Het afgelopen jaar heeft het ILLC drie kandidaten aangemeld, waarvan er twee, Loredana Afanasiev en Reut Tsarfati, een promotieplaats hebben gekregen. De derde, Fenrong Liu, heeft later, naar aanleiding van deze aanmelding, alsnog via de Universiteit van Amsterdam zelf een promotieplek gekregen.

    Meer informatie kunt u vinden op here. Gedetailleerde informatie over de doelgroep, procedure en criteria vindt u verder in de brochure Mozaiek 2005. Brochure en aanmeldingsformulier (en Veelgestelde Vragen) zijn downloadbaar via 'subsidie aanvragen' op de website http://www.nwo.nl/kleurrijktalent/.

    Contactpersoon voor het Mozaiekprogramma bij NWO is mw.dr. W.A. van Donselaar, .

Open Positions at ILLC

  • PhD position at ILLC

    The ILLC invites applications for a PhD position in the field of Mathematical Logic for research on the (mathematical) theory of modal logic and/or set theory.

    We are looking for candidates with a strong background in mathematical logic and an interest in writing a dissertation on the (mathematical) theory of modal logic, or on set theory (for instance, descriptive set theory or infinite games). We will give preference to candidates presenting an interest in both areas, and especially to those who present a proposal for research that combines these areas. While the focus of the appointment is on research training, it will include moderate teaching duties in courses on mathematical logic in the MSc in Logic and/or the BSc in Mathematics.

    Deadline for applications is 1 July 2005. For more information, see here or http://www.uva.nl/vacatures/object.cfm/

  • Post-Doctoral and PhD position in Music Cognition

    The Music Cognition Group, Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, is looking for highly qualified candidates for a Post-Doctoral and a PhD position to work on a three-year research project in the field of Music Cognition, entitled 'Emergent Cognition through Active Perception' (EmCAP). The project is funded by the Sixth Framework Programme of the European Union.

    Deadline for applications is 22 July 2005.
    Project start date: 1 October 2005.
    For more information, see http://www.hum.uva.nl/mmm/EmCAP/

  • PhD position at ILLC

    The ILLC is seeking candidates for a PhD fellowship. We are looking for candidates with a strong background in at least one of the disciplines relevant to the research program of ILLC, and with an interest to write a dissertation in philosophy of language or in philosophical logic.

    The appointment will be for a period of three years in the department of Philosophy of the Faculty of Humanities and should lead to a dissertation. The salary will be in accordance with the university regulations for academic personnel, and will range from € 2,179 (first year) up to a maximum of € 2,394 (final year) gross per month.

    The job reference code for this position is 05-3016. Applications should be sent to the director of ILLC, prof. dr. F.J.M.M. Veltman, p/a Plantage Muidergracht 24, 1018 TV Amsterdam. Please include a curriculum vitae, a list of MA or Msc-scores, and a proposal for a research project (max. 2000 words). Closing date is April 18, 2005.

    See http://www.illc.uva.nl/Research/ for information about the research program of ILLC. Further information about the PhD position can be obtained from prof. dr. F.J.M.M. Veltman, telephone +31-20-525 4564, e-mail .

  • Vacature voor Projectbeheerder bij ILLC/IvI

    Target audience: Vooralsnog allen bestemd voor interne UvA kandidaten

    Binnen IvI & ILLC is een vacature voor een Projectbeheerder voor 20-24 uur per week (voor een periode van drie jaar), in het kader van de NWO HEFBOOM-projecten. De werkzaamheden zijn pluriform en zijn te karakteriseren als een combinatie van secretarieel, administratief, organisatorisch werk en management. Deze vacature is bedoeld voor interne (UvA-)-kandidaten. Met ontslag bedreigde medewerkers hebben voorrang.

    Sollicitaties kunnen schriftelijk of per email ingediend worden vóór 15 januari 2005. Voor meer informatie, zie here of neem contact op met dr. S.F.M. van Vlijmen HEFBOOM-projectleider, e-mail , telefoon 020-525 7584 of 06-24539660.

  • PhD position at ILLC

    The ILLC/Department of Philosophy of the Universiteit van Amsterdam offers a PhD position with the project "The Economics of Language. Language Use and the Evolution of Linguistic Conventions", which is an NWO funded Vidi project, with Dr. Robert van Rooij as the principal investigator. The PhD position will be mainly about the evolution of linguistic conventions.

    We sollicit applications for this position from candidates with a master degree (now, or soon) in formal linguistics (e.g. semantics, but also philosophy of language), learning and dynamical systems, and/or game theory, and with proven expertise in the areas covered by the project.

    Applications should be sent before january 20, 2005 to Robert van Rooij. For more information including a description of the project, see here or contact Robert van Rooij at

Open Positions, General

  • Assistant Professorship (part-time) in theoretical philosophy,
    Basel, Switzerland

    The University of Basel has a vacancy for an Assistant Professorship (part-time, 50%). Successful candidates should have a PhD in philosophy and intend to do the Habilitation, be enthusiastic about teaching and willing to assist in administrative tasks. The appointment starts on April 1, 2006 and comes with 2 hours of teaching duty per week.

    Applications must be received before December 31, 2006. For more information, see here.

  • Visiting and postdoctoral positions in "Logic in
    Quantum Computation", Lisbon, Portugal

    The Center for Logic and Computation of the Department of Mathematics of Instituto Superior Tecnico, Lisbon, Portugal, invites applications for visiting scientists and postdoctoral positions. There are no teaching duties associated with these positions.

    The visiting scientist positions are for three to six months (grant of around two thousand Euro per month). Applicants should have a strong research record in topics relevant to the QuantLog project.

    The postdoctoral positions are for one year (grant of around fifteen hundred Euro per month), with the possibility of renewal upon mutual agreement. Applicants should have a recent PhD and show high research potential in the areas of quantum computation, information and logic.

    Messages of intent should be sent by December 9, 2005 to Amilcar Sernadas in order to get detailed information about the formal application procedure and deadline. The selection process will take place in early January, 2006. Positions can start in February, 2006. For more information, see http://clc.math.ist.utl.pt/positions2006START.html.

  • Coordinator position (postdoctoral) at the "Centre
    for Metacomputation" in Oxford (4 year position)

    The recently-founded "Centre for Metacomputation" at Oxford is looking for a 4-year senior postdoc to help coordinate the activities of the centre. Topics of interest include types for quotation or reflection, termination analysis, compositional model checking of (higher-order) programs, and games semantics for aspect-orientation.

    The closing date for receipt of applications is 6th December 2005. For more information, see http://web.comlab.ox.ac.uk/oucl/jobs/platform.

  • Positions: Postdoc, Research Scientist, Research Professor
    in Computational Semantics, UW, Seattle

    The Turing Center is a newly established center at the University of Washington in Seattle. The center investigates problems at the crossroads of natural language processing, machine learning, Web search, and the Semantic Web. We are looking for candidates with strong NLP credentials and interest in semantics and/or machine translation. Multiple positions are open.

    For more information, see http://www.turing.washington.edu/ or email

  • Visiting Assistant Professor positions, University of
    California at Irvine

    Applications are invited for several Visiting Assistant Professor positions, renewable up to three years, in the following areas of research: A) applied and computational mathematics; B) analysis and PDE (includes mathematical physics); C) geometry and topology (includes geometric analysis); D) logic and set theory; E) probability; and F) algebra and number theory (includes algebraic and arithmetic geometry). VAPs teach no more than five quarter classes per year, at a current annual salary of $46,300. Applicants must possess a Ph.D., and strong promise in research and teaching is required. Appointments will be effective July 1, 2006, or later.

    The review process starts December 15, 2005, and will continue until positions are filled. Instructions for the electronic application process can be found at: http://ps.uci.edu/employment/apply.html

  • Szegoe Assistant Professorship, Stanford University

    The Stanford University Department of Mathematics expects to make one or more Szegoe assistant professor appointments. These appointments are for a term of three years beginning in September 2006. Research fields to be considered are: (1) analysis, (2) algebra, number theory, or logic, (3) geometry or topology, (4) combinatorics, (5) applied mathematics or probability, (6) financial mathematics.

    Applicants are expected to show outstanding promise in research as well as strong interest and ability in teaching. They must have received the PhD prior to the start of the appointment, but not before 2004.

    Deadline for Applications: December 15, 2005. For more information, see http://www.mathjobs.org/jobs/Stanford/434 or http://math.stanford.edu/

  • Tenure-Track Assistant Professorship in Mathematics (Set
    Theory and Topology), Miami University (Ohio)

    The Department of Mathematics and Statistics invites applications for a tenure track position at the Assistant Professor level starting in Fall 2006.

    The successful candidate must have completed a Ph.D. in Mathematics before the starting date. Duties include a continuing research program and effective teaching at the graduate and undergraduate levels. Applicants in all areas of mathematics will be considered. However, strong preference will be given to candidates in areas connected with the research interests of the department -- in particular, those in Algebra, Analysis, Applied Mathematics, Graph Theory and Combinatorics, Optimization, Set Theory, and Topology.

    Applications will be accepted until the position is filled; however, screening of applications will begin on December 5, 2005. For more information, see http://unixgen1.mcs.muohio.edu/~MathStat/math_ad.html.

  • 2006-2007 IBM Herman Goldstine Memorial Postdoctoral Fellowship

    The Mathematical Sciences Department of the IBM Thomas J. Watson Research Center invites applications for its 2006-2007 Herman Goldstine Memorial Postdoctoral Fellowship for research in mathematical and computer sciences. Areas of active research in the department include: algorithms, coding theory, cryptography, data mining, dynamical systems and differential equations, high-performance computation, numerical analysis, optimization, probability theory, scientific computing, statistical analysis, supply-chain and operations management, and queueing networks. Fellows interact closely with department members but are free pursue their own research.

    Candidates must have a Ph.D. after September 2001 or should receive one before the second half of 2006. One fellowship will be awarded with stipend between $95,000 and $115,000 (depending on area and experience).

    Applications must be received before December 31, 2005. Complete details and the application procedure are available at http://www.research.ibm.com/math/goldstine.html.

  • Assistant Professor, Philosophy of Science

    Location: Virginia Tech, Blacksburg VA

    Tenure track; AOS: Philosophy of Science; AOC: open. We especially encourage applications from candidates who can help us build upon existing connections with units in the natural and social sciences and play a role in the interdisciplinary Science and Technology Studies Ph.D. program. The department has teaching needs at all levels of logic. 2 courses per semester, undergraduate and graduate. Evidence of teaching ability required. Salary: competitive. Ph.D. completed by August 10, 2006.

    Interested candidates should complete a brief on-line application at http://www.jobs.vt.edu/ [Posting No. 043046] and send a complete dossier to Chair, Philosophy of Science Search Committee, Department of Philosophy (0126), Virginia Tech, Blacksburg, VA 24061. We will begin reviewing dossiers November 30, 2005. Interviews will be conducted at the Eastern Division APA.

  • PhD student positions in computer science, Kyoto University

    School of Informatics, Kyoto University has five positions for Ph.D students with scholarship for three years.

    See http://www.i.kyoto-u.ac.jp/2005/eng/education/program.html for more details. The application deadline for the next year starting October, 2006, will be Dec. 20, 2005.

  • Lectureship, Postdoctoral fellowship and PhD positions in Computational Musical Analysis / Computational Linguistics

    The School of Computer Science at the University of St Andrews (Scotland, UK) is seeking candidates for a Lectureship (permanent), a Postdoctoral Fellowship (2 years) and two fully funded PhD Studentships (3.5 years each) to reinforce the recently formed Cognitive Systems research group led by Professor Rens Bod.

    Possible areas of expertise/research include but are not limited to computational musical analysis, data-oriented parsing, unsupervised language learning, case-based reasoning and cognitive modeling.

    Closing Date for Lectureship and Postdoc: 24 November 2005
    Closing Date for the two PhD Studentships: 24 December 2005
    For more information, see here or the webpage of the Cognitive Systems group at http://cogsys.dcs.st-and.ac.uk/

  • Vacant PhD-position at Programming Research Group. UVA

    There is a vacancy for a PhD POSITION (4 yr) ON THE SEMANTICS OF MULTI-THREADED FLOW OF CONTROL within the Programming Research Group, Informatics Institute, University of Amsterdam.

    For more information, see here or contact dr. Inge Bethke at .

  • PhD position on the semantics of multi-threaded flow of control, University of Amsterdam

    The Programming Research Group (Informatics Institute, University of Amsterdam), guided by prof.dr. Jan Bergstra, is responsible for education and research in the area of programming methods and supporting software tools. Recently NWO has approved the new research project `Thread Algebra for Strategic Interleaving' for which the PRG are looking for a PhD candidate.

    Candidates should have a Masters degree in Computer Science or Mathematics (or comparable qualification) and have an interest in the field of formal methods. Appointment will be for a period of four years. Salary starts at € 2179 gross per month in the first year and increases to € 2517 gross per month in the fourth year.

    Application deadline is September 1, 2005. For more information, see here or contact dr. Inge Bethke at .

  • PhD positions at the Department of Computer Science at the
    University of Liverpool

    Applications are invited for a number of PhD positions to be held at the Department of Computer Science, The University of Liverpool, Liverpool, UK. Only EU/UK citizens are eligible. The studentship is available to start from October 2005, and its duration will be for 3 years.

    Deadline for applications is April 29, 2005. For more information, see http://www.csc.liv.ac.uk/~sazonov/2005_studentship.html

  • PhD-position Theoretical Computer Science at VU Amsterdam

    In the Section of Theoretical Computer Science of the Vrije Universiteit in Amsterdam there is a PhD-position available on the research project "Proving Equations For Cyclic Objects". Supervisors J.W. Klop and R.C. de Vrijer. Applications by May, 1, 2005.

    For more information, see http://www.cs.vu.nl/tcs/vacancies-en.html

  • Positions in Research Group on Mathematical Linguistics, Spain

    A few nearly permanent research positions may be available starting in 2005-2006 in the Research Group on Mathematical Linguistics (GRLMC) at Rovira i Virgili University (Tarragona, Spain). They will be funded partly by the host university and partly by the Spanish Ministry for Education and Science under the so-called Ramon y Cajal scheme.

    Positions will have a duration of 5 years. The main duty of the job is research, with possible supervising and doctoral teaching too. Applicants should have at least 2 years of Postdoc experience.

    Expressions of interest are welcome until March 23, 2005. They should contain the researcher's CV and mention "2005-6" in the subject box. The outcome of the preselection will be reported immediately after. Preselected candidates will be given full support in the application process by the host institute. The deadline for completing the whole process is April 2, 2005.

    For more information, see the GRLMC website at http://www.grlmc.com (under 'Jobs') or send an email to Carlos Martin-Vide at .

  • Post-Doctoral Positions in French Labs

    The IHPST is willing to support application of excellent candidates in the following domains: philosophy of biology, logical modelling, philosophy of physics (emergence and complexity, philosophy of quantum mechanics).

    The offer only concerns foreign young searchers (limit of age: not older than 35 at December, 31, 2005). For more information and the application documents (in French), see http://www.recherche.gouv.fr/appel/2005/acpostdoc.htm.

  • Permanent Senior Research Position in Philosophy of Social Sciences

    Location: CNRS (Centre National de la Recherche Scientifique), France

    There is a job opportunity in the domain of Philosophy of Social Sciences. The I.H.P.S.T. is ready to support the application of suitable candidates in the process, and to incorporate the elected person.

    The profile is: Strategic Interaction and Collective Norms.
    It would be suitable for a confirmed scholar, dedicated to the following topics: epistemic conditions of coordination (common knowledge a.s.o.), emergence of norms (as studied in evolutionary game theory), normative economics. Competence in decision theory, game theory and formal tools of economic modelization is required. Suitable candidates ought to be willing to work in a philosophical research environment.

    For more information, see the full text at here or the original announcement at http://gestionoffres.dsi.cnrs.fr/fo/offres/detail-en.php?offre_id=172

  • Lecturer in Mathematical Logic and Philosophy of Mathematics at the Bristol Institute for Research in the Humanities and Arts.

    The Departments of Philosophy and Mathematics intend to make a joint appointment in the area of mathematical and philosophical logic and foundations of mathematics. You will have an outstanding record of research or outstanding research potential in one or other of these areas. You will contribute to the research theme 'Science, Knowledge, and Reality' and will be expected to promote research co-operation between the two departments and between the Faculty of Arts and the Faculty of Science.

    Grade: Lecturer Grade B
    Salary: GBP 27,989 - GBP 35,883
    Contact for informal enquiries:
    Professor A Bird (, Tel. 0117 928 7826)
    Professor P Welch (, Tel. 0117 928 9052)

    Closing date for applications is 21 january 2005 (9.00 am). For more information, see: http://www.bris.ac.uk/boris/jobs/ads?ID=30374

  • Assistant professor vacancy, Stanford University

    There is an opening at Stanford University for an Assistant Professor in Logic, tenure track, beginning September 2005. Application deadline is December 1, 2004.

    For more information, see here or contact .

  • Logic Vacancy, University of Wisconsin, Madison

    There is an opening at the University of Wisconsin, Madison, for an Associate (tenured) or Assistant Professor (tenure-track) position, beginning August 2005. Candidates with strengths in Philosophy of Mathematics or Origins of Analytic Philosophy are especially encouraged to apply. Candidates must be qualified to teach in a strong Ph.D. program. To ensure full consideration, applications must be received by December 1, 2004.

    For more information, see here or http://philosophy.wisc.edu/.

Past appointments

  • Rens Bod full professor

    We are very proud to announce that Rens Bod will take up a Chair in Computer Science at the University of St Andrews, the oldest University in Scotland. For the time being Rens will divide his time between St Andrews and Amsterdam, where he will continue to work on his two NWO-projects.

  • New ILLC PhD Students: Michael Franke, Samson de Jager

    In August ILLC welcomes two former Master of Logic students as PhD students in the VIDI project of Robert van Rooij:

    Their office will be room 2.24, Nieuwe Doelenstraat 15, telephone 4552

  • Joel D. Hamkins visiting ILLC

    Date: June 1 - August 31, 2005

    From June 1 to August 31, 2005, Prof Dr Joel D. Hamkins will be visiting the ILLC. He is a Full Professor of Mathematics and Computer Science at the City University of New York and his visit is funded by the NWO in the project "The Modal Logic of Forcing" (DN 62-612; CN 2005/02452/IB).

    For more information, see here or contact

  • New ILLC Staff: Astrid Kramer, (non scientific) projectmanager

    As of April 5th we welcome Astrid Kramer in the management supportgroup. Her contact details:
    room P-3.29
    phone 020-525 6519
    E-mail:

  • Two new PhD students introduce themselves: Reut Tsarfaty and Fenrong Liu

    Two new PhD students join the ILLC: Reut Tsarfaty and Fenrong Liu. Their contact details are:

    Reut Tsarfaty
    Room: P3.24
    Phone: 525 5453
    Email:
    WWW: http://www.illc.uva.nl/~rtsarfat/
    Fenrong Liu
    Room: P3.21
    Phone: 525 6054
    Email:

    They have written brief introductions of himself, which you can read at here.

Miscellaneous

  • Colloquium Musicology

    In october a new series of lectures in the Colloquium Musicology will begin.

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

  • 6 August 2005, Moldavian Wedding

    Date: Saturday 6 August 2005
    Location: Drochia, Republic of Moldova

    Two recent ILLC alumni will soon exchange vows. Loredana and Balder will marry on August 6 in Moldova. Moldova is, of course, not around the corner. That's why there will be a dutch celebration at a later (not yet known) occasion.

    Loredana and Balder wish to thank the ILLC for fostering that wonderful international and multicultural atmosphere that brought them together.

  • Report of Frijda Lecture "Language is not an instinct!"
    on July 7

    Thursday July 7, 2005, prof. Michael Tomasello (Max Planck Institute for Evolutionary Anthropology, Leipzig) held the Frijda lecture as part of the Cognitive Science Summer school. Cognitive Science is a new interdisciplinary master at the Universiteit van Amsterdam.

    Professor Tomasello, known for his contributions in developmental psychology, language acquisition, cultural psychology, and primatology, gave the third well-attended Frijda lecture, with the title 'Constructing a Language'. The Frijda lecture is part of the Summer school, which is being sponsored by NWO.

    For more information, see here or http://www.student.uva.nl/mcs

  • 6 July 2005, MoL Party

    Date & Time: Wednesday 6 July 2005, 17:00-20:00
    Location: Euclides building, ground level
    Target audience:
    people who love MoL,
    (Including MoL teacher, PhD students in logic, students that have worked
    toghether with MoL students during the year, etc.)

    This is the end of year, some of us are finishing their theses, projects, etc. Time to leave. Time for a break. Before some of us leave, we would like to have a chance to see you all again, namely "The end of year party".

    This will be an American Style party. That means that every guest brings something to eat and/or drink. Please bring an amount of stuff that is rougly as much as you would like to consume yourself. We take care of plates, cups, cutlery.

  • 9 June 2005, Colloquium Muziekwetenschap

    Title: Tussenstanddebat over de toekomst van de muziekwetenschappen
    Date & Time: Thursday 9 June 2005, 15:30
    Location: Zaal 101A, Universiteitstheater, Amsterdam

    Dit onderzoekscolloquium is het vijfde in een reeks open debatten over de stand van zaken en mogelijke toekomstscenario's voor de muziekwetenschappen. Aan de hand van de in eerdere colloquia gepresenteerde inleidingen wordt deze keer de tussenstand opgenomen. De panelleden zijn Rokus de Groot, Wim van der Meer, Sander van Maas, Jacques Boogaart en Henkjan Honing (allen van de leerstoelgroep muziekwetenschap, UvA). Henk Borgdorff (lector Kunsttheorie & Onderzoek AHK) zal als gespreksleider fungeren.

    Aanvullende informatie is te vinden op http://www.hum.uva.nl/mmm/debat/ en http://www.musicology.nl.

  • ILLC Annual Report 2004 available

    The ILLC Annual Report 2004 is available. It can be downloaded from the ILLC website at http://www.illc.uva.nl/Research/.

  • ASL Newsletter April 2005 available

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

  • NWO launches Cognition site

    The NWO has launched the site www.cognitie.nl. The site is intended to be the portal for people looking for information on what is happening where in the Netherlands in the field of Cognition, answering questions such as: 'what research?', 'which courses?', 'which conferences?' or 'which public events or presentations?'.

    In order to achieve this goal, the NWO invites invites comments and suggestions for improvements. Any such suggestions can be send to .

  • Liber Amicorum for Dick de Jongh now online

    On 22 november 2004, on the occasion of Dick de Jonghs 65th birthday and imminent retirement, his friends and colleagues presented him with a "Liber Amicorum". You can now view it online at http://www.illc.uva.nl/D65/.

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

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

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

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

  • Why do some melodies stick in your mind?

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

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

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

  • Invitation to do an online listening experiment

    On the link given below you will find a short listening experiment (a pilot study) on the perception of music performance.
    Your contribution is much appreciated!

    See http://www.hum.uva.nl/mmm/exp/.
    N.B. Those of you who did the experiment earlier: there is no need to do it again (the layout might look different, the sound examples used are the same).

  • New Journal "Logical Methods in Computer Science"

    Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

    Full-text access to all papers is freely available. No registration or subscription is required, and a free email notification service is available.

    For further information, visit http://www.lmcs-online.org/.

Former Regular Events


The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X