Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane

From: Lionel Vaux <lionel.vaux-7jEhasZiHRZWj0EZb7rXcA <at> public.gmane.org>
Subject: International summer school on linear logic and geometry of interaction
Newsgroups: gmane.comp.science.types.announce
Date: Wednesday 20th March 2013 21:43:53 UTC (over 5 years ago)
[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce
]


                   INTERNATIONAL SUMMER SCHOOL ON
              LINEAR LOGIC AND GEOMETRY OF INTERACTION

                      Turin, 27-31 August 2013

                 http://www.logoi.fr/events/school/

The summer school on Linear Logic and Geometry of Interaction will be
held in Turin from August 27th to August 31st, 2013, as satellite event
to CSL 2013.

The aim of the school is to offer a comprehensive view of the research
topics surrounding linear logic, with attention to its main applications
to proof theory and computer science. The intended audience are graduate
students (master, PhD), post-doctoral researchers and academics working
in Computer Science or Mathematics.

The school lasts 5 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 session of supervised exercises, to
allow understanding and familiarization with the technical material via
an hands-on approach.

A series of lectures by Jean-Yves Girard will present the most recent
developments of the Geometry of Interaction programme. The new approach
to Geometry of Interaction and to the treatment of Proof Nets is
denominated ``Transcendental Syntax''; the presentation of the technical
development will shed light on methodological issues and perspectives
for Proof Theory.

COURSES

  * Introduction to Linear Logic
  * Proof Nets
  * Geometry of Interaction
  * Game Semantics
  * Polarities in Proof Theory and Programming
  * Denotational and Quantitative Semantics
  * Light Logics and Implicit Computational Complexity

SUPPORT

The school is able to offer financial support to students and early
career researchers; the support covers the registration fee with full
board accommodation in double room. Travel to Turin remains at the
charge of the participants (but could also be covered in special cases,
please specify).To apply for a grant, please send an email with some
details on your status and cursus to
[email protected]

SCIENTIFIC ORGANIZERS

Claudia Faggian (CNRS-Paris7, Paris)
Myriam Quatrini (IML, Marseille)
Olivier Laurent (CNRS-ENS, Lyon)
Damiano Mazza (CNRS-Paris13, Paris)
Alexis Saurin (CNRS-Paris7, Paris)

Contact: [email protected]

Information on programme, registration, grants:
http://www.logoi.fr/events/school/

IMPORTANT DATES

Students and early career researchers, application deadline: May 18, 2013
Students and early career researchers, notification of acceptance: June 4,
2013
Registration deadline: June 15, 2013
School: August 27–August 31, 2013
 
CD: 16ms