ILLC very successful in the Eurocores program LogICCC

ILLC has been very successful in the Eurocores program LogICCC (http://www.esf.org/activities/eurocores/programmes/logiccc.html). Nine projects were selected in the first round of this program, and ILLC is a partner in four of these. Each will bring ILLC a PhD student or postdoc.

---

Title: Logic for Interaction (LINT)
Principal investigators ILLC: Johan van Benthem, Jouko Väänänen

LINT is a collaborative research project aimed at developing mathematical foundations for interaction. Intelligent interaction involves agents in complex scenarios like conversation, teamwork, or games. Contours of a broad mathematical description are starting to emerge today, based on several individual research developments that now need to be brought together. LINT gathers logicians, computer scientists and philosophers from six European countries in an effort to lay the grounds for a unified account of the logic of interaction.

Partners:
Universititeit van Amsterdam, The Netherlands
Göteborgs Universitet, Swedn (coordinator)
Technische Hochschule Aachen, Germany
University of Tampere, Finland

Associated Partners:
Oxford University, United Kingdom
Université Paris I, France

---

Title: Computational Foundations of Social Choice (CSFC)
Principal investigator ILLC: Ulle Endriss

This is a large collaborative project addressing key issues in computational social choice. It aims at deepening our understanding of algorithmic and complexity-theoretic issues in social choice, at developing logic-based languages for modelling preferences and social choice problems, and at applying established techniques from AI, such as preference elicitation and learning, to problems of collective decision making.

Partners:
Universiteit van Amsterdam, The Netherlands
Heinrich-Heine-Universitaet Duesseldorf, Germany
Bilgi University, Istanbul, Turkey
The Hebrew University Jerusalem, Israel
Ludwig Maximilian Universitaet Muenchen, Germany (coordinator)

Associated Partners
Duke University, Durham, United States
Ecole Polytechnique, Paris, France
Université Paris 9 Dauphine, France
Rochester Institute of Technology, United States
Université Paul Sabatier, Toulouse
University of Southampton, United Kingdom

---

Title: The Dialogical Foundations of Semantics (DiFoS)
Principal Invesigator ILLC: Benedikt Löwe

Lorenzen's Dialogical Logic was developed in the paradigm of a normative view of logic. In this project, we aim to embed the dialogical ideas of Lorenzen-style logics into the modern, descriptive paradigm of applied logic. The Amsterdam group of this collaborative project focuses on historical developments of dialogical systems.

Partners:
Universiteit van Amsterdam, The Netherlands
Universidade de Coimbra, Portugal
Eberhard-Karls-Universitaet Tuebingen, Germany (coordinator)

---

Title: Vagueness, Approximation and Granularity (VAAG)
Principal investigators ILLC: Robert van Rooij and Frank Veltman

The pervasive vagueness of natural language has often been regarded as a deficiency. But vagueness is a central ingredient in successful communication. The main goal of the project is to develop a formal framework within which the characteristic semantic and pragmatic properties of vague expressions can be systematically explored. Two themes that will be investigated are (a) vagueness and cognitive efficiency, and (b) vagueness, granularity and the compositionality of meaning.

Partners:
Universiteit van Amsterdam, The Netherlands
Humboldt Universitaet, Berlin, Germany (coordinator)
Lunds Universitet, Sweden
University of Zagreb, Croatia

Associated Partner:
University of Edinburgh, United Kingdom