Logic List Mailing Archive

LL2016: Linear Logic: interaction, proofs, and computation

7-10 Nov 2016
Lyon, France

***** UPDATES with respect to previous call : *****

       + deadline extension for submission
           of contributed talks (Sep 17, 2016)
       + lists of invited speakers and lecturers

***************************************************

=====================================================================

            2nd Call for participation and submission of abstracts

        LL2016 - Linear Logic: interaction, proofs and computation
                        Autumn school and workshops

                     Lyon, France, November 7-10, 2016

                     https://ll2016.sciencesconf.org/

=====================================================================

Linear Logic 2016 will be a four-day meeting in Lyon, including three
events:
     - Autumn school on linear logic (Nov 7-8)
     - Workshop 'Linear logic and philosophy' (Nov 8, afternoon)
     - Workshop 'Linear logic, mathematics and computer science' (Nov 9-10)

The present announcement is a call for submission of abstracts to the
workshop 'Linear logic, mathematics and computer science' (Nov 9-10)
and a call for participation for all three events (see below).


---------------------------------------------------------------------
IMPORTANT DATES

     * Contributed talks        submission deadline:  Sep 17, 2016
     * Student grants           submission deadline:  Sep 20, 2016
     * Contributed talks    acceptance notification:  Sep 27, 2016
     * Registration                        deadline:  Oct  5, 2016
---------------------------------------------------------------------


* CONTEXT

     Linear logic was introduced 30 years ago and has rapidly become a
pivot point between mathematical logic and computer science. This
field has diversified into various chapters: proof-nets, categorical
semantics, geometry of interaction, game semantics, etc. These chapters
have provided many tools and concepts useful in computer science to
analyse, understand, control and generalise computational dynamics.
     The contribution of linear logic to the logical foundations of
computer science has also influenced other fields, e.g. computational
linguistics and quantum computing, and it has inspired philosophical
investigations around the computational approach to logic. For these
reasons the present event aims to gather mathematicians, computer
scientists and philosophers in order to foster interaction in research
on linear logic.

     The following three events are organised. Registration instructions
for all events are below.


    * AUTUMN SCHOOL ON LINEAR LOGIC (Nov 7-8)

     This school is mainly directed towards Master's students with a
background in logic and philosophy, computer science or
mathematics. It is also open to PhD students and researchers who would
like to learn about linear logic.
     The goal is to give a structured introduction to the main concepts
and results in linear logic. It will assume as prerequisites only a
basic knowledge of classical logic and of formal proof systems
(sequent calculus or natural deduction). The aim is to allow the
participants to understand, in particular, the motivations and origins
of linear logic, its logical connectives, sequent calculus,
proof-nets, semantics, relationships with intuitionistic and classical
logic, etc.

     LECTURERS
       - Jean-Baptiste Joinet
       - Olivier Laurent
       - TBA

     The lectures will be given in English. More detailed information
about the programme and the lecturers will be available on the web
site:https://ll2016.sciencesconf.org/page/school/


* WORKSHOP 'Linear logic and philosophy' (Nov 8, afternoon)

     This meeting will consist of invited talks only. It will address
some of the philosophical issues raised by linear logic such as the
computational foundations of logic, the problem of proof
representation, and the interface between logic and physics.

     INVITED SPEAKERS
       - Jean-Baptiste Joinet (Lyon - France)
       - Jean-Yves Girard (Marseille - France)
       - Mitsu Okada (Tokyo - Japan)
       - Mattia Petrolo (Paris - France)
       - Paolo Pistone (Marseille - France)


* WORKSHOP 'Linear logic, mathematics and computer science' (Nov 9-10)

     This workshop will consist of invited talks and contributed
ones. For contributed talks, authors are invited to submit an abstract
following the instructions below. Submissions on all topics related to
linear logic in its relations with mathematics and computer science
are welcome, for instance, but not exclusively:
     - proof-nets
     - denotational and categorical semantics
     - geometry of interaction, game semantics
     - linear type systems
     - implicit computational complexity

     INVITED SPEAKERS
       - Willem Heijltjes (Bath - UK)
       - Dale Miller (Saclay - France)
       - Kazushige Terui (Kyoto - Japan)
       - TBA

     CALL FOR CONTRIBUTIONS
           We invite the submission of abstracts at most 2 pages
     long. Submission is electronic, in text or PDF format, via the web
     site of the workshop athttps://ll2016.sciencesconf.org/  .

     - Sep 17, 2016: deadline for submission of abstracts
     - Sep 27, 2016: notification


* VENUE

     - The school (Nov 7-8) will take place at Universite Lyon 3.
     - The workshop 'Linear logic and philosophy' (Nov 8, afternoon) will
       take place at Universite Lyon 3.
     - The workshop 'Linear logic, mathematics and computer science' (Nov
       9-10) will take place at ENS Lyon.

       Further travel and venue information are available on the web
     site:https://ll2016.sciencesconf.org/page/infos/


* REGISTRATION (FOR ONE OR SEVERAL EVENTS)

     - Deadline for registration: Oct 5, 2016.
     - No registration fees.
     - To register, see the web page:https://ll2016.sciencesconf.org/


* STUDENT GRANTS

     A limited number of student grants for the autumn school are
available. Grants can cover local expenses (accommodation and meals)
and transport. Applications to attend the four days of LL2016 will be
considered favourably.
     Applications should contain a short curriculum vitae (mentioning the
degree prepared, e.g. Master's or PhD), a letter from a person
supervising the student (e.g. director of the Master's programme,
Master's thesis supervisor or PhD supervisor), and a short motivation
letter by the applicant. Please follow the instructions available on
the web page:
https://ll2016.sciencesconf.org/page/school/#grants
                   (create an account and then go to Submissions).

     The deadline for application for student grants is Sep 20, 2016.


* SCIENTIFIC COMMITTEE

- 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-Universitat Munchen, Deutschland)
- Jean-Baptiste Joinet (IRPhil, Univ. Jean Moulin - Lyon 3, France)
- Olivier Laurent (CNRS, LIP, ENS Lyon, France)
- Mitsu Okada (Univ. Keio, Tokyo, Japan)
- Myriam Quatrini (I2M, Univ. Aix-Marseille, France)
- Phil Scott (Univ. Ottawa, Canada)
- Lorenzo Tortora de Falco (Univ. Roma Tre, Italy)


* ORGANIZING COMMITTEE

- Patrick Baillot
- Emmanuel Beffara
- Anupam Das
- Catherine Desplanches
- Wendy Hammache
- Jean-Baptiste Joinet
- Olivier Laurent
- Nazare Marques
--
[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