News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

7-8 November 2016, Autumn School on Linear Logic, Lyon, France

Date: 7-8 November 2016
Location: Lyon, France

The goal of the school is to give a structured introduction to the main concepts and results in linear logic. It will assume as prerequisites only basic knowledge of classical logic and of formal proof systems (sequent calculus or natural deduction). Its aim is to allow the attendees to understand for example: motivations and origins of linear logic; linear logic connectives; sequent calculus; proof-nets; semantics; relationships with intuitionistic and classical logic...

This school is mainly directed towards master's students, with a background in logic and philosophy, computer science or mathematics. It is also opened to PhD students and researchers who would like to learn about linear logic. The school is part of a more general four-day event, 'Linear Logic: interaction, proofs and computation' which will also include a workshop 'Linear logic and philosophy' (8 nov, afternoon, at University Lyon 3) and a workshop 'Linear logic, mathematics and computer science' (9-10 nov, at ENS Lyon).

The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site. Deadline for registration: sept 30, 2016. For more information, see https://ll2016.sciencesconf.org/resource/page/id/1

Please note that this newsitem has been archived, and may contain outdated information or links.