Date: Fri October 20 2000
Time: 11.00
Place: Aula 214

Speaker: Luca Paolini.
Title: Introduction to Ludics.

Abstract. Ludics arose as the study of the interaction between syntax and syntax, typically in cut-elimination: by replacing syntax with something more geometrical, we obtain Ludics as semantics of "syntax as syntax". The thesis of ludics is that logic reflects the hidden geometrical properties of something. The basic notions useful to the theory will be introduced: loci, pitchfork, dessins, desseins, cut-net and normalisation, slice and dispute, behaviours and their properties, incarnation, .....