The umbrella project LogICCC (2008-2011) consists of eight international research clusters and is funded by the European Science Foundation with funds from thirteen European countries: Austria, Belgium, Croatia, Czech Republic, Denmark, Finland, Germany, Israel, the Netherlands, Portugal, Spain, Sweden and Turkey.
LogICCC: Modelling Intelligent Interaction aims at a deeper understanding of intelligent interaction by letting logic in its modern guise act as a catalyst and a match maker between these different disciplines. The notion of logical modelling (or conceptual modelling) and the underlying issues of its methodology are at the core of LogICCC and have been the topic of a number of smaller events. Modelling requires both theoretical precision and insight, and the ability to assess the formal model on the basis of empirical data of the real world. It is this interface that we aim to explore at the affiliated symposium at CLMPS XIV by having talks of members of the LogICCC consortium. In logical modelling, "empirical" or "testing" does not always refer to a laboratory situation. We intend to paint a broad picture of how logicians encounter various empirical situations, and the resulting methodological issues.
Five of the eight project clusters of LogICCC will be represented: DiFoS, LcpR, LINT, LoMoReVi and VAAG. The list of talks presented at the symposium will give a representative overview of the various instances of empirical validation that logicians working in the LogICCC projects have to deal with.
The affiliated symposiumm, as part of the European Science Foundation EUROCORES Programme LogICCC, is supported by funds from AKA, DASTI, DFG, FCT, FWF, FNRS, GACR, ISF, MICINN, NWO, NZZ, TÜBITAK and VR.
Chair. Dr. Eva Hoogland, European Science Foundation, Strasbourg, France.
Contact. Prof. Dr. Benedikt Löwe, Universiteit van Amsterdam, Amsterdam, The Netherlands
bloewe (at) science.uva.nl.