TLLA 2017: International Workshop on Trends in Linear Logic and Applications Affiliated with FSCD 2017 Oxford, UK, September 3, 2017 |
Conference website | http://lipn.univ-paris13.fr/TLLA17 |
Abstract registration deadline | June 16, 2017 |
Submission deadline | June 16, 2017 |
Notification | July 8, 2017 |
Final version | July 22, 2017 |
Linear Logic is not only a proof theoretical tool to analyse or control the use of ressources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of λ-calculus computations, game semantics, computational complexity, program verification, etc.).
The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks.
The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as
- theory of programming languages
- implicit computational complexity
- parallelism and concurrency
- games and languages
- proof theory
- philosophy
- categories and algebra
- possible connections with combinatorics
- linguistics
- functional analysis and operator algebras
Young Researchers Grants
A limited number of grants for students or young researches are available. Grants can full or partially cover registration fee, accommodation and transport. To apply for a grant send a message to Stefano Guerrini <stefano.guerrini@univ-paris13.fr> with:
- Affiliation and contact details
- A short CV
- A letter of motivation explaining the interest of the applicant on one or more topics on the workshop
- If the applicant has submitted an abstract
- (Facultatif) One or two support letters. A letter from the supervisor is mandatory for PhD students.
Submission Guidelines
Contributions are not restricted to talks presenting an original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome.
To submit a contributed talk submit a short abstract of at most two pages at
https://easychair.org/conferences/?conf=tlla17
Important dates
- Submission deadline: June 16, 2017
- Notification: July 8, 2017
- Final version: July 22, 2017
Publication
The abstracts of the contributed and invited talks will be published on the site of the conference. A call for a special issue of a journal will be announced after the workshop.
Committees
Program Committee
- Richard Blute, University of Ottawa
- Thomas Ehrhard, Univ. Paris Diderot
- Delia Kesner, Univ. Paris Diderot
- Dan Ghica, University of Birmingham
- Stefano Guerrini, Univ. Paris 13 (PC Chair)
- Ian Mackie, École Polytechnique Univ. Paris-Saclay
- Roberto Maieli, Univ. Roma Tre
- Giulio Manzonetto, Univ. Paris 13
- Laurent Regnier, Univ. Aix-Marseille
- Claudio Sacerdoti Coen, Univ. Bologna
- Alexis Saurin, Univ. Paris Diderot
- Lorenzo Tortora de Falco, Univ. Roma Tre
Organizing committee
- Thomas Ehrhard (IRIF, Univ. Paris Diderot)
- Stefano Guerrini (LIPN, Univ. Paris 13)
- Lorenzo Tortora de Falco (Univ. Roma Tre)
Invited Speakers
- TBA
- TBA
- TBA
- TBA
Contact
All questions about submissions should be emailed to Stefano Guerrini <stefano.guerrini@univ-paris13.fr>