Logic for INTeraction


2-3 April 2011: Oxford LINT Workshop, Oxford, UK

8-12 August 2011: Workshop on Logical Constants at ESSLLI 2011, Ljbuljana, Slovenia

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.

Valid XHTML 1.0 Strict | Valid CSS

maintained by: Pietro Galliani (Pietro Galliani)