Satellite events
-
Summer school on Linear Logic and Geometry of Interaction.
A summer school on Linear Logic and Geometry of Interaction will be organized before CSL, from August 28th to August 31st, 2013.
The aim of the school is to offer a comprehensive view of the research topics surrounding linear logic, from its roots in proof theory and denotational semantics to more recent and advanced developments, with attention to its main applications to proof theory and computer science.
The intended audience are graduate students (master, PhD), and post-doctoral researchers and academics working in Computer Science or Mathematics.
The school lasts 4 days and will consist of :
(*) introductory tutorials covering basic material;
(*) technical lectures on advanced issues, perspectives, and state-of-the-art research.The introductory tutorials are concentrated primarily on the first 2 days. The aim is to offer a thorough initiation to the subject, which will be supported each day by a 1h30 session of supervised exercises, to allow understanding and familiarization with the technical material via an hands-on approach. More info on the official site...
-
9th International on Workshop Fixed Points in Computer Science (FICS'13).
The 9th International on Workshop Fixed Points in Computer Science (FICS'13) will be held on 1st of September 2013 as a satellite event of CSL'13. More info on the official site... -
14th International Workshop on Logic and Computational Complexity (LCC'13).
The 14th International Workshop on Logic and Computational Complexity (LCC'13) will be held on 6th of September 2013 as a satellite event of CSL'13. More info on the official site...