Symmetric calculi and Ludics for the semantic interpretation

Ludics is the new foundation that J-Y. Girard provides to Logics. In many respects, it may be seen as a Game Semantics. The main difference it has with Games Theoretical Semantics (Hintikka) and with dialogical logic (a la Lorenzen) resides in that it is not a mere interpretation of the rules of logic. In Girard's views, rules emerge from the geometrical device provided by the interaction between two (or more) players. An important aspect of ludics is its formulation in terms of loci (or addresses) which allows to get rid of formulae. Formulae located at different addresses may be viewed as isomorphic only via a particular "design" called the Fax. All these considerations make Ludics appealing for expressing the kind of actions which occur in the course of an ordinary dialogue. In this workshop, the contributors will present new developments, applications to language and comparisons with other frameworks like GTS.