7-8 Nov 2016
Lyon, France
================================================
Call for Participation
AUTUMN SCHOOL ON LINEAR LOGIC
7-8 nov 2016, Lyon, France
as part of the four-day event:
LL2016 - Linear Logic: interaction, proofs and computation
https://ll2016.sciencesconf.org/
(Important: student grants, see below. Deadline: sep 20, 2016) ================================================
* AUDIENCE
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.
* CONTEXT AND OVERVIEW
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 aim of the school lectures is to give to the attending students the core background knowledge in order to attend the talks of the two workshops.
* PROGRAMME
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...
The lectures will be given in english. More detailed information about the programme and the lecturers will be given on the web site.
* REGISTRATION
- Deadline for registration: sept 30, 2016
- No registration fees
- To registrate see the web page: https://ll2016.sciencesconf.org/
* STUDENT GRANTS
- A limited number of student grants is available, that can cover local expenses (accomodation and meals) and transport. Applications for attending the 4 days of LL2016 will be considered favorably.
- Deadline for application for student grants: sept 20, 2016
- How to apply: the application should contain a short curriculum vitae (mentioning the degree prepared, eg Master or PhD), a letter from a person supervising the student (eg director of the Master programme, Master thesis supervisor or PhD advisor), and a short motivation letter by the applicant. Please follow the instructions that will be made available on the web page.
* LOCATION AND TRAVEL
- The autumn school on Linear logic will take place at Université Lyon 3.
- The workshop 'Linear logic and philosophy' (8 nov, afternoon) will take place at Université Lyon 3.
- The workshop 'Linear logic, mathematics and computer science' (9-10 nov) will take place at ENS Lyon.
- Travel: information on how to arrive to Lyon and to reach the event venues will be made available on the web site.
* SCIENTIFIC COMMITTEE of LL2016
Michele Abrusci (Univ. Roma Tre, Italy) [chair]
Patrick Baillot (CNRS, LIP, ENS Lyon, France)
Thomas Ehrhard (CNRS, IRIF, Univ. Denis Diderot - Paris 7, France)
Martin Hofmann (Ludwig-Maximilians-Universität München, Deutschland)
Jean-Baptiste Joinet (IRPhil, Univ. Jean Moulin - Lyon 3, France)
Olivier Laurent (CNRS, LIP, ENS Lyon, France)
Mitsu Okada (Univ. Keiô, Tokyo, Japan)
Myriam Quatrini (I2M, Univ. Aix-Marseille, France)
Phil Scott (Univ. Ottawa, Canada)
Lorenzo Tortora de Falco (Univ. Roma Tre, Italy)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam