One of the most crucial and striking features of humans and their societies, is the phenomenon of intelligent interaction. Many disciplines from the humanities to the physical sciences hold separate pieces of the puzzle posed by this pervasive but also elusive phenomenon. The EUROCORES programme “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. This will lead to a general framework for analyzing intelligent interaction - and the key notions which it naturally brings with it, namely, communication, cognition and computation.

To achieve this goal, researchers from a wide variety of disciplines have been invited to team up. Some of these researchers may be logicians, others may not. But what all participants in LogICCC projects have in common is their interest in understanding interaction, pursued with the common language and models provided by logic in its modern, pluriform, and outward-looking guise. In this way, new ideas will flow symmetrically between many disciplines, enriching logic itself in the process.

In addition, the EUROCORES programme LogICCC is looking for a balance between fundamental theoretical advances and innovative applications of logical models in the thematic areas of Interaction, Communication, Computation, and Cognition.