[TYPES/announce] First Call for Submissions : Trends in Linear Logic and Applications (Oxford, Sept. 3, 2017)

[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
**
----------------------------------------------------------------------
**
**      ****    First Call for Submissions     ****
**      http://lipn.univ-paris13.fr/TLLA17/cfs1.txt
**
----------------------------------------------------------------------
----------------------------------------------------------------------


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


----------------------------------------------------------------------
** 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 (mailto:stefano.guerrini at 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 of 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 (mailto:stefano.guerrini at univ-paris13.fr)


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

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


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

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