[TYPES/announce] : Call for participation: TLLA 17, September 3, Oxford

[Stefano Guerrini]

----------------------------------------------------------------------
----------------------------------------------------------------------
**
** TLLA 17: Trends in Linear Logic and Applications
**
** http://lipn.univ-paris13.fr/TLLA17
**
----------------------------------------------------------------------
**
** International Workshop affiliated with FSCD 2017
** http://www.cs.ox.ac.uk/conferences/fscd2017/
**
** Oxford, September 3, 2017
**
----------------------------------------------------------------------
**
**      ****    Call for Participation     ****
**      http://lipn.univ-paris13.fr/TLLA17/cfpart.txt
**
----------------------------------------------------------------------
----------------------------------------------------------------------

****  Early registration deadline: **August 6**  ****

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 lambda-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


----------------------------------------------------------------------
** Program
----------------------------------------------------------------------

* Invited Speakers
   - Jean-Yves Girard. TBA
   - Paolo Pistone. Polymorphism and Dinaturality from a Linear Logic Perspective

 * Accepted submissions
   The list of the accepted talks is available at the url
       http://lipn.univ-paris13.fr/TLLA17/accepted.html


----------------------------------------------------------------------
** Registration and accommodation
----------------------------------------------------------------------

Detailed instructions can be found on the FSCD registration page
       http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html
or on the TLLA web page
        http://lipn.univ-paris13.fr/TLLA17#registration

To attend the workshop, you must register for the September 3 workshop day.
Please select TLLA as your principal workshop. This will also give you the right
to attend any other workshop held on this day.

The registration fee is £40, before August 6, and £60 after.


----------------------------------------------------------------------
** Organizing committee
----------------------------------------------------------------------

* Thomas Ehrhard (IRIF, Univ. Paris Diderot)
 * Stefano Guerrini (LIPN, Univ. Paris 13)
 * Lorenzo Tortora de Falco (Univ. Roma Tre)


----------------------------------------------------------------------
** Supporting Organisations
----------------------------------------------------------------------

GDRI Linear Logic (CNRS-INDAM)
Université Paris 13, Sorbonne Paris Cité
Université Paris Diderot, Sorbonne Paris Cité


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

Stefano Guerrini
Institut Galilée, Université Paris 13, Sorbonne Paris Cité
Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030)
stefano.guerrini at univ-paris13.fr