News Archives 2005

Please note that these newsitems have been archived, and may contain outdated information or links.

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

No Former Regular Events

Past Events

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

    Date & Time: Tuesday 20 December 2005, 16:00-17:00
    Speaker: Henk Barendregt
    (Nijmegen), <em>postponed</em>
    Title: Topics in Typed Lambda Calculus (250th and final ZIC!)
    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

    Date: 19-21 December 2005
    Speaker: Beck, Francez, Krifka, Moss
    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

    Date & Time: Tuesday 13 December 2005, 17:15-18:15
    Speaker: Henkjan Honing (UvA)
    Title: From Time to Time: The Representation of Timing and Tempo in Music
    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)

    Date & Time: Monday 12 December 2005, 15:00-16:30
    Speaker: Martin van Hees (University of Groningen, Department of Philosophy)
    Title: Intentions, Utility and Rationality
    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

    Date & Time: Thursday 8 December 2005 (<em>Changed!</em>), 16:00-17:00
    Speaker: Greg Restall (Melbourne)
    Title: Proofnets for S5: sequents and natural deduction for modal logic
    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, CSCA-Lecture, Steven Mithen

    Date & Time: Wednesday 7 December 2005, 10:00-15:00 and 20:00-22:00
    Speaker: Steven Mithen (Archaeology, University of Reading)
    Title: The cognitive origins of music and language
    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/.

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

    Date & Time: Wednesday 7 December 2005, 10:00-20:00
    Speaker: prof. dr. Steven Mithen (University of Reading)
    Title: The Cognitive Origins of Music and Language
    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.

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

    Date & Time: Tuesday 6 December 2005, 14:15-16:00
    Speaker: Tonny Hurkens
    Title: Phinary numbers
    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, Colloquium on Mathematical Logic, Jamie (Murdoch) Gabbay

    Date & Time: Friday 2 December 2005, 16:00-17:00
    Speaker: Jamie (Murdoch) Gabbay (King's College, London)
    Title: One-and-a-Halfth order logic
    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, DIP Colloquium, Anna Pilatova

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

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

  • 2 December 2005, ILPS Seminar, Roeland Ordelman

    Date & Time: Friday 2 December 2005, 13:30-14:30
    Speaker: Roeland Ordelman
    (Twente)
    Title: Speech Recognition in Multimedia Information Retrieval
    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

    Date & Time: 1 December 2005, 16:00
    Speaker: Krzysztof Apt
    Title: On the order of strategy elimination procedures in strategic games
    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

    Date & Time: Thursday 1 December 2005, 15:15-17:00
    Speaker: Marta Bilkova
    (Math.Inst., Czech Acad.Sc.)
    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

    Date & Time: Tuesday 29 November 2005, 17:15-18:15
    Speaker: Martin van Hees (Groningen)
    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

    Date & Time: 28 November 2005, 16:30-17:30
    Speaker: Ondrej Majer (Prague)
    Title: Evaluation Games for Fuzzy Logics
    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

    Date & Time: Monday 28 November 2005, 11:30-12:30
    Speaker: Daisuke Ikegami (Nagoya)
    Title: A characterization of Sacks measurability in terms of Sacks absoluteness
    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

    Date & Time: Friday 25 November 2005, 13:30-14:30
    Speaker: Massimo Franceschet
    (Amsterdam)

    Enrico Zimuel (Pescara)
    Title: Comparing query evaluation strategies for navigational XPath
    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

    Date & Time: 23 November 2005, 16:00
    Speaker: Jelle Zuidema
    Title: Data-Oriented Language Learning - from weights to frequencies and back again
    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

    Date & Time: Tuesday 22 November 2005, 17:15-18:15
    Speaker: Murdoch J. Gabbay (King's College London)
    Title: a-Logic
    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

    Date: 19-21 November 2005
    Title: Understanding the Dynamics of Knowledge (UDK 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, Colloquium on Mathematical Logic, Jaap van Oosten

    Date & Time: Friday 18 November 2005, 16:00-17:00
    Speaker: Jaap van Oosten (Utrecht)
    Title: A general form of relative recursion
    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, DIP Colloquium, Peter Bosch

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

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

  • 18 November 2005, ACLC Seminar, Harald Clahsen

    Date & Time: Friday 18 November 2005, 15:15-16:30
    Speaker: Harald Clahsen (Essex)
    Title: Grammatical Processing in Language Learners
    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

    Date & Time: Friday 18 November 2005, 13:30-14:30
    Speaker: Sander Canisius
    (Tilburg)
    Title: Local classification vs. global inference for sequence labelling in
    natural language processing
    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

    Date & Time: 18 November 2005, 13:15
    Speaker: Edgar Andrade-Lotero and Raul Leal Rodriguez
    Title: Baby Category Theory II
    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)

    Date & Time: 17 November 2005, 16:00 - 17:00
    Speaker: Agnieszka Rusinowska (Nijmegen)
    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

    Date & Time: Tuesday 15 November 2005, 17:15-18:15
    Speaker: Dale Jacquette (Pennsylvania State University)
    Title: Logical Models of Scientific Law
    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

    Date & Time: 15 November 2005, 16:00
    Speaker: Remko Scha
    Title: Visual Gestalt Perception as Structural Disambiguation
    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

    Date & Time: Tuesday 15 November 2005, 14:15-16:00
    Speaker: Iris Loeb and Herman Geuvers
    Title: Natural deduction via graphs
    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

    Date & Time: Tuesday 8 November 2005, 17:15-18:15
    Speaker: Tomoyuki Yamada (Hokkaido University)
    Title: Acts of Commanding and Changing Obligations
    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

    Date & Time: 4 November 2005, 13:15
    Speaker: Edgar Andrade-Lotero and Raul Leal Rodriguez
    Title: Baby Category Theory
    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, ILPS Seminar, Veronique Hoste, canceled

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

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

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

  • 2 November 2005, CSCA-Lecture, Luc Steels

    Date & Time: Wednesday 2 November 2005, 16:00
    Speaker: Luc Steels (Computer Science, Free University of Brussels)
    Title: The recruitment theory of language origins
    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

    Date & Time: Tuesday 1 November 2005, 16:15-17:00
    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.
    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

    Date & Time: Tuesday 1 November 2005, 14:15-16:00
    Speaker: Smile Markovski
    Title: Applications of Quasigroup String Transformations in Cryptography and Coding Theory
    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

    Date & Time: 31 October - 1 November 2005, 10:00-11:00 and 13:30-14:30
    Speaker: Dana Scott
    Title: 3 Seminars
    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

    Date & Time: Friday 28 October 2005, 13:30-14:30
    Speaker: Claudia Hauff
    (Magdeburg)
    Title: Utilizing Scale-Free Networks in Link Structure Analysis and
    Scientific Publication Search
    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

    Date & Time: Friday 21 October 2005, 15:15-17:00
    Speaker: Arie Verhagen (Leiden)
    Title: Intersubjectivity in grammatical meaning
    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

    Date & Time: Friday 21 October 2005, 13:30-14:30
    Speaker: Leonie IJzereef
    (UvA)
    Title: Biomedical Retrieval: How Can a Thesaurus Help?
    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

    Date & Time: Tuesday 18 October 2005, 17:15-18:15
    Speaker: Martin Bentzen
    Title: The Semantics of Imperatives
    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

    Date & Time: Tuesday 18 October 2005, 14:15-15:30
    Speaker: Ronald Middelkoop
    Title: Cooperation-Based Invariants for OO Languages
    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

    Date & Time: Friday 14 October 2005, 16:00-17:00
    Speaker: Nikolay Vereshchagin (Moscow University, CWI)
    Title: Game semantics for intuitionistic propositional calculus IPC
    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

    Date & Time: 13 October 2005, 15:30-17:00
    Speaker: drs. Desmond Haneveer (Rijksuniversiteit Groningen)
    Title: Popmuziek en Muziekwetenschap
    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

    Date & Time: Friday 7 October 2005, 13:30-14:30
    Speaker: Wouter Alink
    (CWI)
    Title: XIRAF: An XML Information Retrieval Approach to Digital Forensics
    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

    Date & Time: Friday 30 September 2005, 16:00-17:00
    Speaker: Edwin Mares
    Title: Semantics for Quantified Substructural Logic
    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

    Date & Time: Monday 26 September 2005, 17:15-18:15
    Speaker: Yuri Gurevich
    Title: Interactive Algorithms
    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

    Date & Time: Friday 23 September 2005, 15:15-16:30
    Speaker: Kriszta Szendroi (Utrecht) & Ad Neeleman (London)
    Title: Radical pro drop and the morphology of pronouns
    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)

    Date & Time: Tuesday 20 September 2005, 9:00-13:00
    Speaker: Floris Roelofsen, Tomasz Sadzik, Patrick Girard, Johan van Benthem
    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

    Date & Time: Friday 16 September 2005, 13:30-14:00
    Speaker: Valentin Jijkoun
    Title: Graph transformations for Natural Language Processing
    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,
    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/.

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

  • 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

    Date & Time: Friday 9 September 2005, 16:00-17:30
    Speaker: Nathan Salmon (UCSB)
    Title: Terms in Bondage
    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

    Date & Time: Friday 9 September 2005, 13:30-14:30
    Speaker: Steven Schockaert
    (Gent)
    Title: Fuzzy Temporal Reasoning for Question Answering Systems
    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

    Date & Time: Friday 29 July 2005, 13:30-14:30
    Speaker: Christof Monz
    (Maryland)
    Title: Iterative Translation Disambiguation for Cross-Language
    Information Retrieval
    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

    Date & Time: Friday 8 July 2005, 13:30-14:30
    Speaker: Leif Azzopardi (Glasgow)
    Title: The Assumptions of Language Modelling
    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

    Date & Time: Thursday 7 July 2005, 20:00-22:00
    Speaker: Michael Tomasello (Max Planck, Leipzig)
    Title: FRIJDA lecture 'Constructing a Language'
    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

    Date & Time: Tuesday 5 July 2005, 17:15-18:30
    Speaker: Tero Tulenheimo (Lille/Helsinki)
    Title: IF Modal Logics
    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, 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/

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

  • 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

    Date & Time: Friday 24 June 2005, 15:15-16:30
    Speaker: Joep Leerssen (UvA)
    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

    Date & Time: Friday 17 June 2005, 16:00-17:30
    Speaker: Cleo Condoravdi
    Title: Not knowing or caring who
    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

    Date & Time: Friday 10 June 2005, 15:15-16:30
    Speaker: Wouter Kusters (ACLC; Meertens/UvA)
    Title: Gender complexities and simplification
    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

    Date & Time: Friday 10 June 2005, 13:30
    Speaker: Nicu Sebe (Amsterdam)
    Title: Multimodal Emotion Recognition
    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

    Date & Time: Tuesday 7 June 2005, 14:15-16:00
    Speaker: Lionel Mamane
    Title: Surreal Numbers in Coq and Type Theory
    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

    Date & Time: Friday 3 June 2005, 15:00-17:00
    Speaker: Joel Hamkins
    Title: Forcing axioms arising from a modal view of set theory
    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

    Date & Time: Thursday 2 June 2005, 10:00-11:30
    Speaker: Nicholas Asher
    Title: Principles and Constraints in SDRT
    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

    Date & Time: Tuesday 31 May 2005, 17:15-18:30
    Speaker: Clemens Kupke
    Title: Coalgebra Automata
    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

    Date & Time: Friday 27 May 2005 <em>(changed!)</em>, 16:00-17:00
    Speaker: Andreas Weiermann (Utrecht)
    Title: Analyzing Ramsey's theorem for pairs via non standard models
    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

    Date & Time: Friday 27 May 2005, 13:30
    Speaker: Wim Martens (Limburg)
    Title: Tractable Typechecking of Simple XML Transformations
    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

    Date & Time: Friday 27 May 2005, 10:00-15:00
    Speaker: Umberto Ansaldo (ACLC, UvA)
    Title: Workshop "Ecological and evolutionary perspectives on
    language"
    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

    Date & Time: Tuesday 24 May 2005, 14:15-16:00
    Speaker: Peter van Rossum
    Title: MathSAT - combining Boolean satisfiability solving and
    mathematical reasoning
    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

    Date & Time: Friday 13 May 2005, 15:15-16:30
    Speaker: Robert DeKeyser (Pittsburgh)
    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

    Date & Time: Friday 13 May 2005, 13:30
    Speaker: Marko Smiljanic & Maurice van Keulen (Twente)
    Title: Schema Matching in a Large Scale Personal Schema Based Query
    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

    Date: 12-17 May 2005
    Speaker: Prof.dr. H.A. (Erik) Proper (the Netherlands)
    & Prof. Reda A. Ammar (USA)
    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

    Date & Time: Tuesday 10 May 2005, 17:15-18:30
    Speaker: Reut Tsarfaty
    Title: Aspectual Choice in Modern Hebrew
    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

    Date & Time: Friday 29 April 2005, 16:00-17:00
    Speaker: Emil Jerabek (München)
    Title: Admissible rules of modal logics
    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

    Date & Time: Thursday 28 April 2005, 15:30-16:30
    Speaker: C. Tapp (München)
    Title: Georg Cantor, the founder of set theory, in contact with catholic
    + theologians of his time
    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

    Date & Time: Tuesday 26 April 2005 (<em>Changed!</em>), 17:15-18:15
    Speaker: Chantal Bax
    Title: Subjectivity after Wittgenstein
    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

    Date & Time: Tuesday 26 April 2005, 14:15-16:00
    Speaker: J-J. Ch. Meyer
    ()
    Title: On the Semantics of (Multi) Agent Programming
    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

    Date & Time: Friday 22 April 2005, 17:00-18:30
    Speaker: Simon Kirby
    Title: Iterated Learning and the Origins of Linguistic Structure
    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

    Date & Time: Friday 22 April 2005, 15:15-16:30
    Speaker: Silke Hamann (Berlin)
    Title: The Dutch labio-velar fricative system and what Germans make of it
    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

    Date & Time: Friday 22 April 2005, 13:30
    Speaker: Ronny Lempel
    (Israel)
    Title: Search Engines are Closing in on Databases
    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

    Date & Time: Friday 15 April 2005, 16:00-17:30
    Speaker: Jelle Gerbrandy
    Title: Logics for Games
    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)

    Date & Time: 14 April 2005, 15:30
    Speaker: prof. dr Marc Leman (Universiteit Gent)
    Title: Alternatives to subjectivism in musicology
    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

    Date & Time: Tuesday 12 April 2005 (<em>changed</em>), 17:15-18:15
    Speaker: Balder ten Cate
    Title: Playing with ultrafilter extensions
    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

    Date & Time: Friday 8 April 2005, 16:00
    Speaker: D.C. McCarty, The Logic Program, Indiana University
    Title: An Incompleteness Argument from the 19th Century
    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

    Date & Time: Friday 8 April 2005, 15:15-16:30
    Speaker: Lisa Lim
    Title: Singapore English: Variation, contact and change
    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

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

    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

    Date & Time: Tuesday 5 April 2005, 16:00
    Speaker: Jan-Willem Romeyn
    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

    Date & Time: Monday 4 April 2005, 17:15-18:15
    Speaker: D.C. McCarty, The Logic Program, Indiana University
    Title: An Incompleteness Argument from the 19th Century
    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

    Date & Time: Friday 1 April 2005, 16:00-17:30
    Speaker: Tatjana Heyde-Zybatow (Leipzig)
    Title: Achievements: Experimental studies and semantic analysis
    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

    Date & Time: Thursday 24 March 2005, 15:00-16:00
    Speaker: Kai-Uwe Kühnberger (Osnabrück)
    Title: First-Order Inferences and Neural Networks
    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,

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

    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

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

    Date & Time: Friday 18 March 2005, 15:15-16:30
    Speaker: Paul Boersma
    Title: A listener-oriented account of hache-aspiré in French
    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

    Date & Time: Friday 18 March 2005, 13:30
    Speaker: Gosse Bouma (Groningen)
    Title: Question Answering Using Dependency Relations
    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

    Date & Time: Tuesday 15 March 2005, 15:45
    Speaker: Nick Chater (Warwick)
    Title: Statistical Language Learning: Analysis of an 'Ideal' Language Learner
    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

    Date & Time: Monday 14 March 2005, 16:00-17:30
    Speaker: Hans Kamp (IMS Stuttgart)
    Title: Temporal Reference in and outside of Attitudinal Contexts
    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

    Date & Time: Sunday 13 March 2005, 11:00-13:00
    Speaker: Johan van Benthem
    Title: 'Converseren is rekenen', Informatiestroom voor oplettende mensen
    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, 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, ILPS Seminar, Claire Gardent

    Date & Time: Friday 11 March 2005, 13:30
    Speaker: Claire Gardent (CNRS & LORIA, France)
    Title: Generating and selecting grammatical paraphrases
    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, DIP Colloquium, Kriszta Szendroi

    Date & Time: Friday 11 March 2005, 10:30-12:00
    Speaker: Kriszta Szendroi (Utrecht)
    Title: Interpretative ambiguity and children
    - resolving the paradox of the acquisition of focus
    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

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

    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

    Date & Time: Tuesday 8 March 2005, 14:15-16:00
    Speaker: Jan van Eijck
    Title: Logics for Epistemic Updating
    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

    Date & Time: Friday 4 March 2005, 15:15-16:30
    Speaker: Nikolaus Ritt (Vienna)
    Title: Memetic linguistics: principles, prospects, problems
    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

    Date & Time: Friday 25 February 2005, 13:30-14:30
    Speaker: Keith Van Rijsbergen
    (Glasgow)
    Title: The logic of information retrieval
    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

    Date & Time: Tuesday 22 February 2005, 15:45
    Speaker: Charles Goodwin (UCLA)
    Title: Multimodality in discourse
    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

    Date & Time: Friday 18 February 2005 (<em>changed</em>), 13:30-14:30
    Speaker: Balder Ten Cate
    Title: Modal Logic with Propositional Quantifiers
    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

    Date & Time: Tuesday 15 February 2005, 17:15-18:15
    Speaker: Ichiro Hasuo
    Title: Formal Languages as Coalgebraic Behavior
    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

    Date & Time: Friday 11 February 2005, 16:00-17:30
    Speaker: Isidora Stojanovic (Stanford)
    Title: Indexicals and Direct Reference: Against the Received View
    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

    Date & Time: Tuesday 8 February 2005, 14:15-16:00
    Speaker: Russel O'Connor
    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

    Date & Time: Thursday 3 February 2005, 15:15-16:30
    Speaker: Juan Uriagereka (Maryland and Basque Country)
    Title: Iterative Expressions and the Theory of Grammar
    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

    Date & Time: Friday 28 January 2005, 16:00-17:30
    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
    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

    Date & Time: Friday 28 January 2005, 13:30-14:30
    Speaker: Massimo Franceschet
    Title: An XPath benchmark for XMark
    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

    Date & Time: Wednesday 26 January 2005, 20:00
    Speaker: Margaret Boden (Sussex)
    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, Bart Kastermans

    Date & Time: Friday 21 January 2005, 16:00-17:00
    Speaker: Bart Kastermans (Ann Arbor, Michigan)
    Title: A weak form of diamond and cardinal characteristics related to
    the symmetry group of the natural numbers
    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

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

    Date & Time: Friday 21 January 2005, 16:00-17:00
    Speaker: R. Yavorsky (Steklov, Moscow)
    Title: Gurevich abstract state machines: theory and practice
    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

  • 14 January 2005, DIP Colloquium, Cory Wright

    Date & Time: Friday 14 January 2005, 16:00-17:30
    Speaker: Cory Wright (UCSD)
    Title: The Adequacy Thesis and minimalist explanations of truth
    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

    Date & Time: Tuesday 11 January 2005, 14:15-16:00
    Speaker: Erik Poll
    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

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

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

    Date & Time: Wednesday 7 December 2005, 15:00
    Title: Automating Normal Science; Reusing Exemplars in Quantitative
    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

    Date & Time: Tuesday 6 December 2005, 17:00
    Title: The Lattice of Case and Agentivity
    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

    Date & Time: 29 November 2005, 14:00
    Title: Composing Constraint Solvers
    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

    Date & Time: Thursday 8 September 2005, 13:15
    Title: A User's Guide to Proper Names
    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

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

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

    Date & Time: Tuesday 21 June 2005, 10:00
    Title: Pseudo-Imperatives
    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

    Date & Time: Monday 13 June 2005, 15:00
    Title: Notions of Strong Compactness without the Axiom of Choice
    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

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

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

    Date & Time: Tuesday 22 March 2005, 13:45
    Title: Relating Proof Systems for Recursive Types
    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

    Date & Time: Friday 25 February 2005, 11:00
    Title: Value of Agreement, a new boosting algorithm
    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

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

    For more information, please contact

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

    Date & Time: Wednesday 23 February 2005, 15:15
    Title: Algebraizing Hybrid Logic
    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

    Date: Tuesday 8 February 2005
    Title: The Major Transitions in the Evolution of Language
    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

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

    For more information, please contact

Projects and Awards

  • Project 'Origins of truth and the sentence'

    In the framework of "Programmatisch onderzoek", NWO Geesteswetenschappen, our ILLC colleague Wolfram Hinzen is awarded subsidy for his project "Origins of truth and the sentence". The subsidy is for the appointment of a PhD student and postdoc.

  • VICI project awarded to Yde Venema

    The ILLC is extremely happy and proud to announce that the VICI research proposal of Yde Venema has been selected by NWO Exacte Wetenschappen. He is awarded the sum of 1.43 Million EURO for his project "Algebra and Coalgebra: the mathematical environment of modal logic", consisting of 3 PhD students (4 years) and 2 postdocs (2 years). The expecting starting date of the project is September 2006.

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

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

  • NWO's Mosaic Programme

    Please note that the third (and probably last) round of NWO's Mosaicprogramme for talented students is open for application starting 12 December 2005, the deadline for application is 10 January 2006

    For more information, see http://www.nwo.nl/kleurrijktalent or http://www.nwo.nl/subsidiewijzer.nsf/pages/NWOP_5RNBJK_Eng

  • Call Heineken Prize for Cognitive Science

    Nominations have opened for the prestigious Heineken Prizes 2006 including - for the first time - the Heineken prize for the cognitive sciences. The prize, worth USD 150,000, reward outstanding scientific achievement in the field of cognitive science. Prospective candidates should be active researchers who are expected to continue their research activities for at least ten years. Their research achievements are outstanding and a source of inspiration to others. The award will be presented to a single individual.

    For more information, see http://www.knaw.nl/heinekenprizes/

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

Open Positions at ILLC

  • PhD and Postdoc position at ILLC

    The NWO project MuSeUM invited applications for:
    A Post-doctoral researcher, fulltime or at least for 0.75 FTE (ILLC)
    A PhD position, fulltime or at least for 0.75 FTE (ILLC)
    A research programmer, fulltime or at least for 0.75 FTE (Informatics Institute)

    Application deadline: December 10, 2005. For application information: click here or go to: http://www.uva.nl/vacatures/

  • 4 PhD positions at ILLC

    As part of the Marie Curie project GLoRiClass ("Games in Logic Reaching Out for Classical Game Theory"), the newly created ILLC Centre for Logic and Games invites applications for 4 PhD positions in the field of Logic and Games, (starting February 1, 2006) one for each of the four Main Themes. Deadline for applications has been extended to 25 November.

    For more information, see here, the Website ILLC Centre for Logic and Games at http://www.illc.uva.nl/CLG/ or the Handbook for Marie Curie Host Fellowships at ftp://ftp.cordis.lu/pub/fp6/docs/calls/mariecurie-action/, Or contact Dr B. Löwe at .

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

Open Positions, General

  • 40 PhD student positions in Computer Science at Edinburgh

    FORTY research studentships are available for: UK students, EU students and students worldwide Many of these are full studentships, paying your tuition fees and a stipend of 12300 pounds to cover living expenses in your first year, rising in second and third years. The rest pay your fees and/or a contribution of 6150 pounds per year towards living expenses. Payment of fees for non-EU students is subject to successful competition for an Overseas Research Student award. PhD students are encouraged to make contributions to teaching, for example by leading tutorial groups, and for this you can expect to earn an additional 500-1000 pounds per year. A very wide range of research topics is available for PhD study.

    Application forms should be returned by mid-March. Earlier applications have access to a wider range of sources of financial aid. For more information, see http://www.inf.ed.ac.uk/postgraduate/phd-advert.html.

    For more information, see here .
  • 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.

  • Professorship in Computer Science (Cognitive Technologies),
    Saarbruecken, Germany

    The Department of Mathematics and Computer Science at Saarland University is seeking applications for a Full Professor (W3) in Computer Science area cognitive technologies starting in the winter term 2006/2007. The professorship is combined with the scientific leadership of one of the laboratories at the German Research Center for Artificial Intelligence (DFKI) on campus and receives additional compensation.

    Applications must be received before February 1st, 2006. For more information, see the university page at http://www.uni-saarland.de/

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

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

  • PhD student and postdoctoral positions in Automated Reasoning,
    Karlsruhe, Germany

    The Knowledge Management research group at the Institute for Applied Informatics and Formal Description Methods (AIFB, http://www.aifb.uni-karlsruhe.de/WBS) at the University of Karlsruhe (TH), Germany, is an interdisciplinary team of computer scientists, mathematicians, and industrial engineers and one of the world leading institutes in the area of the Semantic Web.

    We are offering a research position (Wissenschaftlicher Mitarbeiter BAT IIa) for a PhD student or a postdoctoral researcher, on initial contract for two years, with the possibility of extending the contract. We are looking for a highly skilled person to be responsible for further development of the reasoner KAON2 (http://kaon2.semanticweb.org/).

    Application deadline is January 12th, 2006. For more information, see here or http://www.aifb.uni-karlsruhe.de/Stellenmarkt/english.

  • Pre/Postdocs in
    Cognition & Decision Making, Berlin

    The Center for Adaptive Behavior and Cognition at the Max Planck Institute for Human Development in Berlin, under the direction of Gerd Gigerenzer, is seeking applicants for up to 2 one-year Predoctoral Fellowships and up to 3 two-year Postdoctoral Fellowships beginning on or after September 1, 2006.

    Candidates should be interested in studying the cognitive mechanisms underlying bounded, social, and ecological rationality in real-world domains. Current and past researchers in our group have had training in psychology, cognitive science, economics, mathematics, biology, and computer science to name but a few.

    Applications will be accepted until January 10th, 2006. For more information, see http://www.mpib-berlin.mpg.de/en/forschung/abc/stellenangebote.htm.

  • Researcher Position (equivalent to Associate Professor) in
    Cognition & Decision Making, Berlin

    The Center for Adaptive Behavior and Cognition at the Max Planck Institute for Human Development in Berlin, under the direction of Gerd Gigerenzer, is seeking applicants for research scientist positions at ranks equivalent to an assistant and associate professor. The positions are for 2 years (with the option to be renewed for up to 6 years) beginning August 2006, but earlier or later start dates are possible.

    Candidates must have a PhD and be interested in studying the cognitive mechanisms underlying bounded, social, and ecological rationality in real-world domains. Current and past researchers in our group have had training in psychology, cognitive science, economics, mathematics, biology, and computer science to name but a few.

    Applications will be accepted until January 10th, 2006. For more information, see http://www.mpib-berlin.mpg.de/en/forschung/abc/stellenangebote.htm.

  • 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

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

  • 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

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

  • Tenure-Track Assistant Professorship in Foundations of
    Computing: York University, Toronto (Canada)

    The Department of Mathematics and Statistics, Faculties of Arts and Science & Engineering, York University, Toronto, Ontario, Canada, seeks three tenure-track Assistant Professor appointments: one in Foundations of Computation or Mathematical Analysis; one in Numerical Analysis or Mathematical Modelling; and one in Statistics.

    Details may be found at http://www.yorku.ca/acadjobs or at http://www.math.yorku.ca/Hiring. Deadline for Applications: January 6, 2006. All qualified candidates are encouraged to apply; however, Canadian citizens and Permanent Residents will be given priority.

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

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

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

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

  • Postdoctoral Fellowships at the Center for the Mathematics of Information (CalTech)

    Caltech's Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, starting in fall 2006. The CMI is dedicated to fundamental mathematical research with an eye to the roles of information and computation as resources throughout science and engineering. Areas of interest include algorithms, complexity, applied combinatorics, applied probability, statistics, information and coding theory, geometry processing, multiresolution methods, control and optimization. Please apply and have three reference letters sent directly as instructed at http://www.ist.caltech.edu/joinus/positions.html. All materials are due by January 6, 2006.

    Positions are contingent upon completion of the PhD. Caltech is an affirmative action/equal opportunity employer; women, minorities, veterans, and disabled persons are encouraged to apply.

    For more information, see http://www.ist.caltech.edu/joinus/positions.html.

  • Postdoctoral research positions at the Institute for Quantum Information, CalTech, Pasadena CA

    The Institute for Quantum Information at the California Institute of Technology will have postdoctoral scholar positions available beginning in September 2006. Researchers interested in all aspects of quantum information science are invited to apply.

    Please apply on-line at http://www.iqi.caltech.edu/. Electronic copies of your curriculum vitae, publication list, statement of research interests, and three letters of recommendation are required. The deadline for receipt of all application materials is January 13, 2006.

  • Tenure-track position in theoretical computer science, Hong Kong University

    The Department of Computer Science in the School of Engineering of the Hong Kong University of Science and Technology has two faculty positions open at the assistant professor level for the 2006-2007 academic year. The Department is looking for faculty candidates with research interests in the following areas: embedded systems, programming languages and compiler, software engineering, and theoretical computer science. The medium of instruction is English.

    Applicants should have a Ph.D. degree and demonstrated potential in teaching and research. Salary and benefits are very competitive. Initial appointments will normally be on a three-year contract, renewable subject to mutual agreement. A gratuity will be payable on satisfactory completion of the contract.

    Priority will be given to applications received by January 31, 2006. For more information, see here or http://www.cs.ust.hk/admin/recruitment/faculty/

  • PhD student position (BAT IIa) Computer Science: automated proof
    systems, TU Berlin, Germany

    The Technische Universität Berlin is advertising a position of
      Scientific Employee (Wissenschaftlicher Mitarbeiter; IIA BAT)
    for the period of 5 years for writing a PhD thesis at the Institut fuer Softwaretechnik u. Theoretische Informatik / FG Programmierung eingebettete Systeme.

    Tasks: Support of teaching activities in theoretical computer science and research in: software engineering, quality control for embedded systems, validation and verification, automated verification with the theorem prover Isabelle / HOL, automated design and synthesis of embedded systems.

    Prerequisites: MSc in Computer Science, specialization in at least one of: embedded systems, compilers, logic, software engineering; interest in teaching.

    Please send your application with the usual documents and the vacancy number WM-545 to

    Technische Universität Berlin
    Institut für Softwaretechnik u. Theoretische Informatik, Sekr. FR 5-6
    Der Präsident
    Franklinstr. 28/29
    10587 Berlin

    For more information, see http://www.tu-berlin.de/zuv/IIA/ or contact

  • Maitre de Conferences -- Logic and Discrete Mathematics, University of Savoie, France

    A "Maitre de Conférences" position will be available for the Logic group of the maths department of the University of Savoie in Chambery.

    The themes of research we are looking for are ones that have always been present in Chambery such as proof theory and lambda caculus, as well as the new ones corresponding to discrete mathematics such as the combinatorics of, for example, words or the discrete plane, the discrete geometry and the general theory of coding.

    Candidates should be accepted on the so called "liste de qualification aux fonctions de Maitre de Conférences", and speak French reasonably fluently.

    A "Maitre de Conférences" position will be available for the Logic group of the maths department of the University of Savoie in Chambery.

    This position is destinated to reinforce our group. The themes of research we are looking for are thus
    - either the ones that have always be present in Chambery such as *proof theory* and *lambda caculus*
    - or the new ones corresponding to discrete mathematics such as the combinatorics of, for example, words or the discrete plane, the discrete geometry and the general theory of coding.

    The teaching assigments will be those of a maitre de conférences with lessons in "mathematical tools for computer science". For example, the person we are looking for will be in charge of courses as "data bases" or "Maths for computer science". The courses should be given in French.

    Two conditions are necessary to get this position
    - Be accepted on the so called "liste de qualification aux fonctions de Maitre de Conférences"
    - Speak French reasonnably fluently.

    This position is not yet official but, since it should appear officially only around February, we would like to have contact with possible candidates much before.

    If you are interested by this position, please contact
    - either
    - or

    For more informations on our laboratory visit: http://www.lama.univ-savoie.fr/.
    For more informations on our university visit: http://www.univ-savoie.fr/.

    ILLC members can obtain more information by contacting

    For more information, see here.

  • Academic Position (any rank) History of Science, University of Aberdeen, Centre for Modern Thought

    The Centre for Modern Thought at the University of Aberdeen has been created as a site for cross-disciplinary theoretical research and theoretical inquiry bearing on global socio-historical developments and political issues. It will serve degree programmes throughout the College of Art and Social Sciences in the context of the University's new Graduate School and will offer a stimulating environment to students seeking a high-profile Ph.D. programme staffed by internationally recognised scholars. In the coming academic year, we aim to make a number of academic appointments (at any rank).

    We will accept applications until the positions are filled, but we will begin active consideration of the applications on 15 November 2005. Enquiries may be directed to Professor Christopher Fynsk, . For more information, see here or visit the website of the Centre for Modern Thought and the University of Aberdeen at http://www.abdn.ac.uk/modernthought

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

Past appointments

  • Personnel changes at the ILLC Buro

    As of October 10, the ILLC Buro will undergo some changes in its staffing. Because of the enormous number of Master of Logic students present (have a look at http://www.illc.uva.nl/gpil/people/students.php), Tanja Kassenaar will start working fully for the Master of Logic program (partly for the organisation OWI). Marjan Veldhuisen will get a new colleague secretary for a period of 3 months initially, Jessica Pogorzelski. Jessica will work in room 3.29, phone 6051, e-mail address to be announced. She will work on a fulltime basis and will, besides her general secretary job, work on preparatory work for the onderzoeksvisitatie, mainly by getting all ILLC publications 2000-2005 in METIS correctly. We welcome Jessica and we look forward to a good cooperation!

  • New PhD student at ILLC: Olivia Ladinig

    As of October 1, Olivia Ladinig from Austria will work as a PhD student on the project Emergent Cognition through Active Perception (EmCAP), supervised by Henkjan Honing.

    Her coordinates: room P3.18; phone 6508; email:

  • 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

  • New form for the submission of ILLC News and Events

    Dear all, Please notice that at http://www.illc.uva.nl/NewsandEvents/submit-newsentry.html you will find a new form for the electronic submission of ILLC news and events. We hope it is to your convenience.

    The ILLC Buro

  • 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

    Date & Time: Thursday 9 June 2005, 15:30
    Title: Tussenstanddebat over de toekomst van de muziekwetenschappen
    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/.