Institute for Logic, Language and Computation

Archives

News Archives 2005

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

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

Sections

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

There are also pages for former news items and past events for 2000, 2001, 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 and 2014, and for current news of course.

Headlines Past Events

Headlines Calls for Papers

Headlines Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

Headlines MoL and PhD defenses

Headlines Projects and Awards

Headlines Funding, Grants and Competitions

Headlines Open Positions at ILLC

Headlines Open Positions, General

Headlines New Appointments

Headlines Miscellaneous

Headlines Regular Events


Past Events

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

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

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

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

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

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

    Speaker: Beck, Francez, Krifka, Moss
    Newsitem added on 14 April 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 and 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1116.

  • 13 December 2005, Logic Tea, Henkjan Honing

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

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

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

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

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

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

    For more information: oroy at science.uva.nl

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

    Date and time: 9 December 2005, 10:00-18:00

    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

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

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

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

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

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

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

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

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

  • 7 December 2005, CSCA-Lecture, Steven Mithen

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

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

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

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

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

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

  • 2 December 2005, ILPS Seminar, Roeland Ordelman

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

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

  • 2 December 2005, DIP Colloquium, Anna Pilatova

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

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

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

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

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

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

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

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

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

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

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

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

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

    For more information, please contact Ulle Endriss (ulle at illc.uva.nl).

  • 29 November 2005, Logic Tea, Martin van Hees

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

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

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

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

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

    For more information, contact oroy at science.uva.nl

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

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

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

  • 25 November 2005, ILPS Seminar, Massimo Franceschet , Enrico Zimuel

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

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

  • 23 November 2005, Computational Linguistics Seminar, Jelle Zuidema

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

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

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

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

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

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

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

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

    Location: Conference Center Woudschoten, Zeist
    Target group: (SIKS) Ph.D. Students
    Newsitem added on 20 October 2005.

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

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

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

  • 19-21 November 2005, ESF Exploratory Workshop

    Title: Understanding the Dynamics of Knowledge (UDK 2005)
    Location: Certosa di Pontignano, Siena, Italy
    Newsitem added on 27 September 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1000 or the workshop website at http://www.media.unisi.it/cirg/udk

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

  • 18 November 2005, DIP Colloquium, Peter Bosch

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

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

  • 18 November 2005, ILPS Seminar, Sander Canisius

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

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

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

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

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

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

  • 18 November 2005, ACLC Seminar, Harald Clahsen

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

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

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

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

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

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

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

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1063 or contact Krzysztof Apt (apt at cwi.nl) or Ulle Endriss (ulle at illc.uva.nl).

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

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

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

  • 15 November 2005, HAI tea, Remko Scha

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

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

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

  • 15 November 2005, Logic Tea, Dale Jacquette

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

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

  • 8 November 2005, Logic Tea, Tomoyuki Yamada

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

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

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

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

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

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

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

    Location: King's College, London
    Newsitem added on 6 May 2005.

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

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

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

    Speaker: Veronique Hoste, canceled
    Newsitem added on 22 September 2005.

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

  • 2 November 2005, Discussiebijeenkomst Cognitie & Creatie

    Date and 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1016

  • 2 November 2005, CSCA-Lecture, Luc Steels

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

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

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

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

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

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

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

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

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

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

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

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

  • 28 October 2005, Diamant Day

    Location: Brouwer Institute, Nijmegen
    Newsitem added on 20 October 2005.

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

  • 28 October 2005, ILPS Seminar, Claudia Hauff

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

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

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

    Location: Jadavpur University, Kolkata (Calcutta), India
    Newsitem added on 8 October 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1010.

  • 21 October 2005, ILPS Seminar, Leonie IJzereef

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

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

  • 21 October 2005, DIP Colloquium, Arie Verhagen

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

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

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

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

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

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

  • 18 October 2005, Logic Tea, Martin Bentzen

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

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

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

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

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

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

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

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

    For more information, see http://www.hum.uva.nl/mmm/cmw.html#2005 or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=995 (dutch only).

  • 7 October 2005, ILPS Seminar, Wouter Alink

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

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

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

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

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

  • 26 September 2005, Logic Tea, Yuri Gurevich

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

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

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

    Newsitem added on 17 March 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 apt at comp.nus.edu.sg.

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

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

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

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

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

    This informal seminar on current research is open to everyone

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

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

    Location: room D028, Roeterseiland, Nieuwe Achtergracht 129, Amsterdam
    Costs: free
    Newsitem added on 25 August 2005.

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

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

  • 16 September 2005, ILPS Seminar, Valentin Jijkoun

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

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

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

    Location: Budapest
    Costs: free
    Newsitem added on 18 August 2005.

    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 (ulle at illc.uva.nl).

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

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

    Newsitem added on 28 April 2005.

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

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

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

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

    Newsitem added on 28 April 2005.

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

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

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

    Newsitem added on 3 April 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 more information , see the symposium website at http://www.illc.uva.nl/Batumi2005/

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

    Location: Hotel Villa del Mare, Acquafredda di Maratea, Italy
    Newsitem added on 24 March 2005.

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

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

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

  • 9 September 2005, DIP Colloquium, Nathan Salmon

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

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

  • 9 September 2005, ILPS Seminar, Steven Schockaert

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

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

  • 7 September 2005, Annual ILLC Boat Trip

    Date and 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 illc at science.uva.nl.

  • 7 September 2005, Interfacing Probabilistic and Epistemic Update

    Location: Room P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
    Newsitem added on 28 July 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=957 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

    Newsitem added on 6 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 and time: 2-3 September 2005, 9:00-18:00

    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

    Newsitem added on 28 April 2005.

    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

    Location: Edinburgh, UK
    Newsitem added on 12 December 2004.

    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

    Newsitem added on 29 April 2004.

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

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

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

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

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

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

  • 5-11 August 2005, Logic in Hungary, Budapest, Hungary

    Newsitem added on 6 September 2004.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=730 or http://www.renyi.hu/lh05

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

    Newsitem added on 6 January 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/

  • 29 July 2005, ILPS Seminar, Christof Monz

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

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

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

    Newsitem added on 7 October 2004.

    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

    Newsitem added on 28 April 2005.

    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, CSCA Symposium Cognitive development: from human evolution to child language acquisition , The Trippenhuis, Kloveniersburgwal 29, Amsterdam

    Newsitem added on 21 April 2005.

    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/

  • 8 July 2005, ILPS Seminar, Leif Azzopardi

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

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

  • 7 July 2005, CSCA Lectures, Michael Tomasello

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

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

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

    Newsitem added on 28 April 2005.

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

    Deadline for early registration: 20 May 2005

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

  • 5 July 2005, Logic Tea, Tero Tulenheimo

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

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

  • 5 July 2005, Context Representation and Reasoning

    Location: Paris, France
    Newsitem added on 4 November 2004.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=789, http://sra.itc.it/events/crr05/ or http://www.context-05.org/.

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

    Location: Paris, France
    Newsitem added on 6 January 2005.

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

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

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

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

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

  • 25 June 2005, First Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR)

    Location: Room A404, UvA Roeterseiland Complex, Amsterdam
    Newsitem added on 18 May 2005.

    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 oroy at science.uva.nl or isidora at stanford.edu.

  • 24 June 2005, ACLC Seminar, Joep Leerssen

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

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

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

    Newsitem added on 28 April 2005.

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

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

  • 17 June 2005, DIP Colloquium, Cleo Condoravdi

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

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

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

    Newsitem added on 28 April 2005.

    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, ILPS Seminar, Nicu Sebe

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

    Joint event with the ISLA colloquium.

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

  • 10-12 June 2005, TARK X, Singapore

    Newsitem added on 9 October 2004.

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

  • 10 June 2005, ACLC Seminar, Wouter Kusters

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

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

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

    Costs: € 0-120
    Newsitem added on 20 August 2004.

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

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

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

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

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

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

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

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

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

  • 2 June 2005, DIP Colloquium, Nicholas Asher

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

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

  • 31 May 2005, Logic Tea, Clemens Kupke

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

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

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

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

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

  • 27 May 2005, ACLC Seminar, Umberto Ansaldo

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

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

  • 27 May 2005, ILPS Seminar, Wim Martens

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

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

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

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

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

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

    Date and 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, Leve de Wiskunde

    Location: (changed!) A Building, Roeterstraat 15, Hal A
    Newsitem added on 24 December 2004.

    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/

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

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

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

  • 13 May 2005, ACLC Seminar, Robert DeKeyser

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

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

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

    Speakers: Prof.dr. H.A. (Erik) Proper (the Netherlands) & Prof. Reda A. Ammar (USA)
    Newsitem added on 21 February 2005.

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

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

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

  • 10 May 2005, Logic Tea, Reut Tsarfaty

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

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

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

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

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

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

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

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

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

    Newsitem added on 24 March 2005.

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

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

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

    Speaker: Chantal Bax
    Title: Subjectivity after Wittgenstein
    Date and time: Tuesday 26 April 2005 (Changed!), 17:15-18:15
    Location: Euclides Building, Plantage Muidergracht 24, Amsterdam

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

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

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

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

  • 22 April 2005, ILPS Seminar, Ronny Lempel

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

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

  • 22 April 2005, DIP Colloquium, Simon Kirby

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

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

  • 22 April 2005, ACLC Seminar, Silke Hamann

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

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

  • 15 April 2005, DIP Colloquium, Jelle Gerbrandy

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

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

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

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

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

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

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

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

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

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

  • 8 April 2005, ACLC Seminar, Lisa Lim

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

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

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

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

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

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

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

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

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

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

    For more information, please contact j.w.romeijn at uva.nl

  • 5 April 2005, Logic Tea, Rosja Mastop

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

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

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

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

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

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

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

    Newsitem added on 9 December 2004.

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

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

    a number of satellite workshops, and other events.

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

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

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

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

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

    Newsitem added on 9 September 2004.

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

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

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

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

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

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

  • 22 March 2005, Logic Tea, Jouko Vaananen,

    Speaker: Jouko Vaananen, canceled
    Date and time: Tuesday 22 March 2005, 17:00-18:00

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

  • 21 March 2005, GLLCX

    Date and time: Monday 21 March 2005, 10:30-15:30
    Location: (Changed!) 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, ACLC Seminar, Paul Boersma

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

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

  • 18 March 2005, ILPS Seminar, Gosse Bouma

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

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

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

    Speaker: Xavier Caicedo Ferrer
    Title: The Logic of Extended Objects
    Date and time: Friday 18 March 2005, 16:00-17:00
    Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam (Tram 9 from Central Station, to Plantage Badlaan.)

    For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=887.

  • 15 March 2005, Logica Symposium: Waarheid in Taal

    Location: Trippenhuis (KNAW)
    Target group: Iedereen met een interesse in logica
    Costs: E 5,- (incl. lunch en borrel)
    Newsitem added on 7 March 2005.

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

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

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

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

  • 14 March 2005, DIP Colloquium, Hans Kamp

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

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

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

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

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

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

  • 11 March 2005, DIP Colloquium, Kriszta Szendroi

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

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

  • 11 March 2005, ILPS Seminar, Claire Gardent

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

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

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

    Date and time: Friday 11 March 2005, 13:30-17:30

    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

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

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

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

  • 8 March 2005, Logic Tea, Brian Semmes

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

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

  • 4 March 2005, ACLC Seminar, Nikolaus Ritt

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

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

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

    Location: Room I301 and I401, Nieuwe Achtergracht 170, Amsterdam
    Newsitem added on 10 February 2005.

    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/

  • 25 February 2005, ILPS Seminar, Keith Van Rijsbergen

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

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

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

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

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

  • 18 February 2005, ILLC/ACLC seminar on Modality

    Date and 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=809 or http://www.hum.uva.nl/aclc/object.cfm/

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

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

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

  • 15 February 2005, Logic Tea, Ichiro Hasuo

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

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

  • 11 February 2005, DIP Colloquium, Isidora Stojanovic

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

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

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

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

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

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

    Date and 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 rens at science.uva.nl

  • 3 February 2005, ACLC Seminar, Juan Uriagereka

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

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

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

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

    Speaker: Fred D'Agostino (Groningen/Queensland)
    Title: Judgment and Decision with Multiple Criteria: A Research Program at the Intersection of Psychology, Sociology, Economics, Philosophy, and Jurisprudence
    Date and time: Friday 28 January 2005, 16:00-17:30
    Location: Room 001, Philosophy Department, Vendelstraat 8, Amsterdam

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

  • 28 January 2005, ILPS Seminar, Massimo Franceschet

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

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

  • 26 January 2005, CSCA Lecture, Margaret Boden

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

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

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

    Response will be by Cyriel Pennartz

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

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

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

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

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

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

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

  • 14 January 2005, DIP Colloquium, Cory Wright

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

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

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

    Newsitem added on 7 October 2004.

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

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

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

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

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

Calls for Papers

  • 15 - 20 May 2006, Theory and Applications of Models of Computation (TAMC06), Beijing, China (deadline: 17 December 2005)

    Newsitem added on 3 November 2005.

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

    The submission deadline for papers is 17th, December, 2005. For more information, see http://gcl.iscas.ac.cn/accl06/TAMC06_Home.htm

  • (ANTI-)REALISMES : LOGIQUE ET METAPHYSIQUE, University of Nancy 2 (deadline: 15 December 2005)

    Date: June 28-July 1st, 2006

    Authors are invited to submit abstracts of papers that they wish to present at the conference. Deadline for Submissions: December 15th, 2005.
    For more information, see http://www.univ-nancy2.fr/poincare/colloques/AR06/epresentation.htm

  • 30 June - 5 July 2006, CiE 2006: Logical Approaches to Computational Barriers, Swansea, Wales (deadline: 15 December 2005)

    Newsitem added on 3 November 2005.

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

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

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1029 or http://www.cs.swansea.ac.uk/cie06/

  • 29-31 May 2006, 6th Int. Conf. on Algorithms and Complexity (CIAC '06), Rome, Italy (deadline: 11 December 2005)

    Newsitem added on 3 November 2005.

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

    Authors are invited to submit an extended abstract, to arrive before December 11, 2005. For more information, see http://www.dsi.uniroma1.it/~ciac/.

  • 19-21 January 2006, Days in Logic - 2006, Coimbra, Portugal (deadline: 30 November 2005)

    Newsitem added on 23 November 2005.

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

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

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

  • 22-24 February 2006, WLP 2006: 20th Workshop on Logic Programming, Vienna University of Technology, Austria (deadline: 14 November 2005)

    Newsitem added on 3 November 2005.

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

    Authors are invited to submit an extended abstract or a system description before November 14, 2005. For more information, see http://www.kr.tuwien.ac.at/wlp06/

  • 22-24 March 2006, SALT 16 (Semantics and Linguistic Theory), Tokyo (deadline: 14 November 2005)

    Newsitem added on 26 September 2005.

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

    Submission deadline for papers is November 14, 2005 (Japan time). For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=998 or http://research.nii.ac.jp/salt16/

  • 21-23 May 2006, STOC 2006: 38th ACM Symposium on Theory of Computing, Seattle (deadline: 3 November 2005)

    Newsitem added on 3 November 2005.

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

    Papers presenting new and original research on the theory of computation are sought. Submission deadline: 5:59 pm EST, Thursday, November 3, 2005.
    For more information, see http://www.cs.washington.edu/stoc06/

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

    Newsitem added on 21 July 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 (deadline: 1 September 2005)

    Newsitem added on 20 June 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.

    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

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

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

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

  • 31 July-11 August 2006, ESSLLI-2006: 18th European Summer School in Logic, Language and Information, Malaga, Spain (deadline: 17 June 2005)

    Newsitem added on 6 May 2005.

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

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

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

    For more information, see the full Call for Proposals at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=926 or the ESSLLI website at http://esslli2006.lcc.uma.es/.

  • 15-18 June 2005, Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain (deadline: 30 March 2005)

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

    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

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

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

    Location: Utrecht
    Newsitem added on 3 February 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/

  • ESSLLI2005 workshop: Foundations of Natural Language Grammar (deadline: 9 March 2005)

    Date: August 16th- 20th, 2005
    Location: Edinburgh

    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/

  • 8-19 August, 2005, ESSLLI-2005 Student Session, Edinburgh, UK (deadline: 15 February 2005)

    Newsitem added on 4 November 2004.

    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: gervain at sissa.it

  • Questions and Answers: Theoretical and Applied Perspectives. Special issue of the Journal of Applied Logic (deadline: 31 January 2005)

    Newsitem added on 28 November 2004.

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

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

    (changed) Submissions deadline is February 28th, 2005. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=807.

Upcoming Conferences

Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.

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

    Newsitem added on 27 November 2005.

    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)

    Costs: Free
    Newsitem added on 1 December 2005.

    "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 (oroy at science.uva.nl), Patrick Girard (pgirard at stanford.edu) or Mathieu Marion (marion.mathieu at uqam.ca)

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

    Newsitem added on 3 November 2005.

    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

    Costs: $1,650/$120 per person (professionals/students), scholarships available
    Newsitem added on 21 July 2005.

    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 John.Slaney at anu.edu.au

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

    Newsitem added on 27 November 2005.

    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 and time: Friday 25 November 2005, 13:30-17:00

    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

    Newsitem added on 3 November 2005.

    "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

    Newsitem added on 30 June 2005.

    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

    Newsitem added on 8 September 2005.

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

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

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

MoL and PhD defenses

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

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

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

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

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

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

  • 29 November 2005, PhD defense, Peter Zoeteweij

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

    For more information, please contact apt at cwi.nl

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

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

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

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

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

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

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

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

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

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

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

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

  • 1 June 2005, PhD defense, Rosja Mastop

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

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

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

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

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

  • 24 February 2005, PhD defense, Balder ten Cate

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

    For more information, please contact balder.tencate at uva.nl

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

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

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

  • 8 February 2005, PhD defense, Jelle Zuidema

    Title: The Major Transitions in the Evolution of Language
    Location: Edinburgh
    Newsitem added on 10 February 2005.

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

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

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

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

Projects and Awards

  • Boudewijn de Bruin wins Praemium Erasmianum research prize

    Newsitem added on 30 September 2005.

    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

    Newsitem added on 7 July 2005.

    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

    Newsitem added on 13 June 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

    Newsitem added on 9 June 2005.

    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

    Newsitem added on 21 February 2005.

    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 rens at science.uva.nl

  • The cognitive revolution in music research

    Newsitem added on 3 February 2005.

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

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

  • 2004 Bakkenist Jong Talent Afstudeerprijs Informatica

    Newsitem added on 15 November 2004.

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

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

Funding, Grants and Competitions

  • Heineken Prizes 2006

    Newsitem added on 30 September 2005.

    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.

  • Fulbright grants Deadline: December 1, 2005

    Newsitem added on 11 November 2005.

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

    For information (in Dutch only):

  • Academische Jaarprijs: Battle of the Universities

    Newsitem added on 8 October 2005.

    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/ingrid at science.uva.nl)

  • E. W. Beth Dissertation Prize 2005

    Newsitem added on 20 January 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=852. Deadline for submissions is March 15, 2005.

  • Tweede ronde Mozaiek

    Newsitem added on 4 November 2004.

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

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

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

    Contactpersoon voor het Mozaiekprogramma bij NWO is mw.dr. W.A. van Donselaar, mozaiek at nwo.nl.

Open Positions at ILLC

  • 4 PhD positions at ILLC

    Newsitem added on 24 October 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1024, 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 bloewe at science.uva.nl.

  • Post-Doctoral and PhD position in Music Cognition

    Newsitem added on 22 April 2005.

    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

    Newsitem added on 26 May 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=933 or http://www.uva.nl/vacatures/object.cfm/

  • PhD position at ILLC

    Newsitem added on 23 March 2005.

    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 f.veltman at uva.nl.

  • PhD position at ILLC

    Newsitem added on 2 December 2004.

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

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

    Applications should be sent before january 20, 2005 to Robert van Rooij. For more information including a description of the project, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=810 or contact Robert van Rooij at r.a.m.vanRooij at uva.nl

  • Vacature voor Projectbeheerder bij ILLC/IvI

    Target group: Vooralsnog allen bestemd voor interne UvA kandidaten
    Newsitem added on 6 January 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=830 of neem contact op met dr. S.F.M. van Vlijmen HEFBOOM-projectleider, e-mail vlijmen at science.uva.nl, telefoon 020-525 7584 of 06-24539660.

Open Positions, General

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

    Newsitem added on 1 December 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1110.

  • 2006-2007 IBM Herman Goldstine Memorial Postdoctoral Fellowship

    Newsitem added on 3 November 2005.

    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.

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

    Newsitem added on 3 November 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=1056 or the webpage of the Cognitive Systems group at http://cogsys.dcs.st-and.ac.uk/

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

    Newsitem added on 11 November 2005.

    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.

  • PhD student positions in computer science, Kyoto University

    Newsitem added on 3 November 2005.

    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.

  • Szegoe Assistant Professorship, Stanford University

    Newsitem added on 11 November 2005.

    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

    Newsitem added on 11 November 2005.

    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

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

    Newsitem added on 11 November 2005.

    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 turing at cs.washington.edu

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

    Newsitem added on 27 November 2005.

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

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

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

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

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

    Newsitem added on 27 November 2005.

    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.

  • Assistant Professor, Philosophy of Science

    Location: Virginia Tech, Blacksburg VA
    Newsitem added on 3 November 2005.

    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.

  • Vacant PhD-position at Programming Research Group. UVA

    Newsitem added on 19 September 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=983 or contact dr. Inge Bethke at inge at science.uva.nl.

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

    Newsitem added on 7 July 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=950 or contact dr. Inge Bethke at inge at science.uva.nl.

  • PhD-position Theoretical Computer Science at VU Amsterdam

    Newsitem added on 14 April 2005.

    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

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

    Newsitem added on 17 April 2005.

    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

  • Positions in Research Group on Mathematical Linguistics, Spain

    Newsitem added on 17 March 2005.

    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 carlos.martin at urv.net.

  • Permanent Senior Research Position in Philosophy of Social Sciences

    Location: CNRS (Centre National de la Recherche Scientifique), France
    Newsitem added on 25 December 2004.

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

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

    For more information, see the full text at http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=827 or the original announcement at http://gestionoffres.dsi.cnrs.fr/fo/offres/detail-en.php?offre_id=172

  • Post-Doctoral Positions in French Labs

    Newsitem added on 6 February 2005.

    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.

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

    Newsitem added on 9 December 2004.

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

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

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

  • Assistant professor vacancy, Stanford University

    Newsitem added on 21 October 2004.

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

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

  • Logic Vacancy, University of Wisconsin, Madison

    Newsitem added on 17 October 2004.

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

    For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=777 or http://philosophy.wisc.edu/.

New Appointments

  • Rens Bod full professor

    Newsitem added on 8 September 2005.

    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

    Newsitem added on 8 August 2005.

    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

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

    Newsitem added on 3 April 2005.

    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: A.I.Kramer at uva.nl

  • 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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=945 or contact bloewe at science.uva.nl

Miscellaneous

  • Colloquium Musicology

    Newsitem added on 5 September 2005.

    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

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

    Newsitem added on 25 July 2005.

    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 http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=956 or http://www.student.uva.nl/mcs

  • ILLC Annual Report 2004 available

    Newsitem added on 9 June 2005.

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

  • 6 August 2005, Moldavian Wedding

    Location: Drochia, Republic of Moldova
    Newsitem added on 14 July 2005.

    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.

  • ASL Newsletter April 2005 available

    Newsitem added on 28 April 2005.

    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.

  • 6 July 2005, MoL Party

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

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

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

  • 9 June 2005, Colloquium Muziekwetenschap

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

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

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

  • Liber Amicorum for Dick de Jongh now online

    Newsitem added on 10 February 2005.

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

  • NWO launches Cognition site

    Newsitem added on 17 March 2005.

    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 cognition at nwo.nl.

  • Invitation to do an online listening experiment

    Newsitem added on 18 October 2004.

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

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

  • New Journal "Logical Methods in Computer Science"

    Newsitem added on 7 October 2004.

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

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

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

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

    Newsitem added on 20 December 2004.

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

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

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

  • Why do some melodies stick in your mind?

    Newsitem added on 15 November 2004.

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

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

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

Regular Events

  • Algebra|Coalgebra Seminar

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

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

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

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

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

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

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

  • Cool Logic seminar for Logic Students

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

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

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

  • The LeGO (Leerstoel Groepen Overleg) Seminar

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

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

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

  • LogiCIC Seminar

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

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

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

  • SMART Cognitive Science Lectures

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

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

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

  • ILLC Colloquium

    Date: semiannually

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

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

  • Seminar on music cognition and computation

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

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

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

  • Logic and Interactive RAtionality (LIRa)

    Date and time: weekly (usually Fridays), 14:30-16:00
    Location: Room F1.15, Science Park 107, Amsterdam

    The LIRa seminar is a series of talks organized by the Amsterdam Dynamics Group, focusing on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. The seminar covers research topics lying at the interface of Logic with Game Theory, Decision Theory, Learning Theory, Formal Epistemology, Social Choice Theory, Computer Science, Philosophy of Science or Philosophy of Language. Core areas of interest are Modal Logic approaches to interaction, as well as other approaches, e.g. game semantics,dynamic semantics for natural language, (co)algebraic approaches, or (in)dependence-friendly logics.

    Note that the day on which LIRa lectures are held may vary between terms.

    The LIRA seminar homepage can be found at http://www.illc.uva.nl/lgc/seminar/. Information about the Amsterdam Dynamics Group can be found at http://www.illc.uva.nl/dg/.

  • Logic and Cognition Seminar

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

    This seminar aims at bringing together researchers interested in the interrelations between logic and human cognitive abilities. The seminar takes place monthly in the Institute for Logic, Language and Computation in Amsterdam.

    For more information, see http://staff.science.uva.nl/~ngierasi/LandC.html.

  • Logic, Language, and Reasoning Seminar

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

    This seminar aims at unifying the Netherlands-based researchers interested in language processing and human reasoning. It takes place more or less bi-monthly in the Netherlands.

    For more information, see http://staff.science.uva.nl/~szymanik/LLR.html or contact Jakub Szymanik at http://staff.science.uva.nl/~szymanik/.

  • Computational Social Choice Seminar

    Date: irregular
    Location: Science Park 904, Amsterdam

    The Computational Social Choice Seminar is a series of occasional talks that address issues at the interface of computer science (including logic, multiagent systems and artificial intelligence) and mathematical economics (including social choice theory, game theory and decision theory).

    For more information, see http://www.illc.uva.nl/~ulle/seminar/, or contact Ulle Endriss (ulle.endriss at uva.nl).

  • ACG Colloquium

    Date and time: biweekly on tuesdays, 13:30
    Location: Room L.120, CWI, Science Park 123, Amsterdam

    The Amsterdam Coordination Group (ACG) is an ongoing working colloquium of the theme Coordination Languages (SEN3) at the CWI, where members of SEN3 and invited guests give presentations on their recent research.

    For more information, see http://acg.project.cwi.nl/

  • The Zuidelijk Interuniversitair Colloquium (ZIC) on Logic and Theoretical Computer Science

    Date and time: biweekly on Tuesdays, 14:15-16:00
    Location: Eindhoven/Tilburg

    The ZIC (Zuidelijk Interuniversitair Colloquium) is a bi-weekly colloquium, organized by the Formal Methods group of the departement of computer science at the TU/E, and the Logic group of the department of philosophy at Tilburg University.

    The subjects of the talks cover a vast area, including type theory, process algebra, game theory. model checking, term rewriting. The colloquium is held at the Technische Universiteit Eindhoven, on Tuesday afternoons from 14:15 either in one-hour format (until 15:00) or in two-hour format (until 16:00, with a 15 minute break). The audience varies from 5 to 25 people of several universities, more specifically Eindhoven, Tilburg, Nijmegen, and occasionaly also people from outside academia.

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

  • The Colloquium on Mathematical Logic

    Date: irregularly
    Location: Room C1.112, Science Park 904, Amsterdam or Wiskundegebouw, Budapestlaan 6, Utrecht

    Starting in the Academic Year 2003/2004, the ILLC and the Mathematics and Philosophy Departments of the Universiteit Utrecht will be jointly organizing a Colloquium on Mathematical Logic (organizers: Allessandra Palmigiano, Jouko Väänänen, Jaap van Oosten and Rosalie Iemhoff). This joint colloquium revives the tradition of the InterCity seminar of the 1970s and 1980s and will be a venue for talks by external guests, researchers from Amsterdam and Utrecht, and last but definitely not least, students from Amsterdam and Utrecht.

    For more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

  • PROSE Colloquium

    Date and time: biweekly on thursdays, 15:30-17:00
    Location: Room 6.96, HG (Main Building), TU Eindhoven

    Prose is intended to be an informal and interactive seminar on the topic of Process Theory in all its aspects. The seminar is organized by the groups Architecture of Information Systems (AIS), Formal Methods (FM) and Design and Analysis of Systems (OAS), as a joint platform for researchers and graduate students to present their own work, or to present and discuss interesting developments in their area of research.

    For more information, see http://www.win.tue.nl/prose/

  • GLoRiClass Seminar

    Date and time: weekly on thursdays, 11:15-13:00
    Location: Room TBA, Science Park 904, Amsterdam

    The GLoRiClass Seminar is the weekly meeting for the Marie Curie Research Training Site GLoRiClass. It is organized for and by the GLoRiClass fellows with talks by ILLC staff members, students and game-related guests.

    For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4

  • The "Cool Logic" Meetings

    Date and time: biweekly on fridays, 13:15
    Location: MoL Room (P.130), Euclides building, Plantage Muidergracht 24, Amsterdam

    The Master of Logic Committee organises the "Cool Logic" meetings. These are a series of one to two hour sessions in which a master of logic student gives a talk about his/her thesis (in progress) or a particular topic he/she is enthusiastic about.

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

  • Amsterdam-Utrecht Workshops

    Date: irregular

    The Amsterdam-Utrecht Workshops are organized under the auspices of the Utrecht Institute of Linguistics (UiL OTS) at the Utrecht University, and Institute of Logic, Language and Computation (ILLC) at the University of Amsterdam. The initiative was proposed in 2001 by Johan van Benthem and Michael Moortgat with the intent of increasing the collaboration between the ILLC and OTS researchers. Since then this proposal has been materialized in a growing number of jointly organized and successful workshops.

    For more information, see http://www-uilots.let.uu.nl/~ctl/workshops/am-ut.html.

  • Computational Linguistics Seminar

    Date and time: weekly on wednesdays, 16:00
    Location: Room A1.04, Science Park 904, Amsterdam

    Talks by locals and outsiders, alternating with a reading group, on Computational Linguistics -- that is, research that is or can be implemented in a computer program, and tries to process or account for natural language data (which includes language modeling, statistical modeling, pattern recognition and machine learning methods, formal linguistic grammars, speech recognition, machine translation, computational semantics, and other topics that one currently finds at ACL, COLING, or in the CL journal).

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

  • The Amsterdam Logic Colloquium

    Date: currently on hiatus

    A series of talks on logic and its applications.

    The ALC homepage can be found at: http://www.illc.uva.nl/NewsandEvents/ALC/index.html.

  • The DIP (Discourse and Philosophy) Colloquium

    Date and time: biweekly on fridays, 16:00-17:30
    Location: Room 001 (MFR), Philosophy Department, Vendelstraat 8, Amsterdam

    The Discourse and Philosophy (DIP) Colloquium is organized by the Logic and Language group at the Institute for Logic, Language, and Computation, University of Amsterdam. The program reflects the current research interests of the group: cognition and reasoning, formal semantics and pragmatics, computational linguistics, and philosophy of logic and language.

    The DIP homepage can be found at http://www.illc.uva.nl/LoLa/DIP-Colloquium/

  • The Logic Tea

    Date and time: irregular, tuesdays, 17:00-18:00
    Location: Room A1.04, Science Park 904, Amsterdam

    The Logic Tea, a series of one-hour talks designed for students of mathematics, computer science, artificial intelligence, and philosophy, and the students of the Master of Logic program of the ILLC, with discussion, tea and cookies afterwards.

    Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/.

        Back to top of page