[TYPES/announce] Trends in Linear Logic and Applications (TLLA 2019) [updated cfp]

[Giulio Guerrieri]

===========================================================================
                       2nd Call for Papers

                            TLLA  2019

                    3rd International Workshop on
                Trends in Linear Logic and Applications


                       Dortmund, 29-30 June 2019

                       Affiliated with FSCD 2019

                   http://tlla.linear-logic.org/2019/
==========================================================================


NEWS:
* updated notafication date: May 13th
* list of invited speakers


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

Linear Logic is not only a proof theoretical tool to analyse or
control the use of resources 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

----------------------------------------------------------------------
** 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 propose a contributed talk submit a short abstract whose length is
between 2 and 5 pages on

  https://easychair.org/conferences/?conf=tlla19


----------------------------------------------------------------------
** Young Researchers Grants
----------------------------------------------------------------------

A limited number of grants for students or young researches are
available. Grants can fully or partially cover registration fees,
accommodation and transport. To apply for a grant send a message to
the organizers of the workshop 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
  * (Optional) One or two support letters. A letter from the
    supervisor is mandatory for PhD students.

For more details and to apply for a grant see

  http://tlla.linear-logic.org/2019#grants

----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------

  * Submission deadline:             1 May  2019
  * Notification to authors:       *13 May  2019*   *** NEW ***
  * Final versions due:             24 May  2019

  * YR Grant submission deadline:   31 May  2019
  * YR Grant notification:           7 June 2019

  * Workshop date:               29-30 June 2019


----------------------------------------------------------------------
** Publication
----------------------------------------------------------------------

The abstracts of the contributed and invited talks will be published
on the site of the conference.
Possible other formats will be discussed at the workshop.


----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------

*** NEW ***

  *  Delia Kesner          (joint with SD 2019)
  *  Thomas Seiller        (joint with SD 2019)
  *  Raphaelle Crubille
  *  Paul Blain Levy


----------------------------------------------------------------------
** Committees
----------------------------------------------------------------------

** Program Committee
--------------------
  * Thomas Ehrhard, CNRS - University Paris Diderot
  * Claudia Faggian, CNRS - University Paris Diderot
  * Giulio Guerrieri, University of Bath
  * Stefano Guerrini, University of Paris 13
  * Esfandiar Haghverdi, Indiana University Bloomington
  * Naohiko Hoshino, Kyoto University
  * Marie Kerjean, INRIA Bretagne Atlantique
  * Olivier Laurent, CNRS - ENS Lyon
  * Paolo Pistone, University of Tubingen
  * Lorenzo Tortora de Falco, University Roma Tre

** Organizing committee
-----------------------
  * Thomas Ehrhard, CNRS - University Paris Diderot
  * Stefano Guerrini, University of Paris 13
  * Lorenzo Tortora de Falco, University Roma Tre


----------------------------------------------------------------------
** Contact
----------------------------------------------------------------------

All questions about submissions should be emailed to the PC chair
  Olivier Laurent
  olivier.laurent at ens-lyon.fr



Giulio Guerrieri
Research Associate

University of Bath
Department of Computer Science
Mathematical Foundations Group
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190429/df018a71/attachment-0001.html>