[TYPES/announce] Trends in linear logic and applications. Abstract: dealing may 13

[Christian Retoré]





==============================================================
                        Call for Papers

                           TLLA  2021

                   5th International Workshop on
               Trends in Linear Logic and Applications

         Extended deadline: May 13, 2021

Rome, 27-28 June 2021

                      Affiliated with ACM/IEEE LICS

                  https://lipn.univ-paris13.fr/TLLA/2021/
==============================================================

Linear Logic is not only a proof theoretical tool to analyze 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=tlla2021

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

 * Submission deadline:             13 May  2021 (extended)
 * Notification to authors:         20 May  2021 (extended)
 * Final versions due:              31 May  2021 (extended)

 * Workshop date:                   27-28 June 2021

----------------------------------------------------------------------
** 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.

----------------------------------------------------------------------
** Tutorials
----------------------------------------------------------------------

* Proof nets, Lionel Vaux - Université d’Aix-Marseille
* Combinatorial proofs and Deep Inference, Matteo Acclavio - Université du Luxembourg

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

* Marie Kerjean, CNRS - Université Sorbonne Paris Nord, France
* Willem Heijltjes, University of Bath, UK
* Beniamino Accattoli, Inria, France

----------------------------------------------------------------------
** Evening Lecture 
----------------------------------------------------------------------

* Vito Michele Abrusci (Università di Roma tre) 

----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------

 * Claudia Faggian, CNRS - Université Paris Diderot, France
 * Giulio Guerrieri, University of Bath, UK
 * Naohiko Hoshino, Sojo University, Japan
 * Sonia Marin, University College London, UK
 * Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil (co-chair)
 * Paolo Pistone, Università di Bologna, Italy
 * Myriam Quatrini, Université de la Méditerranée
 * Christian Retoré, Université de Montpellier, France (co-chair)
 * Thomas Seiller, CNRS - Université Sorbonne Paris Nord, France
 * Lutz Strassburger, Inria Saclay, France

----------------------------------------------------------------------
** Organization Committee
----------------------------------------------------------------------

 * Thomas Ehrhard, CNRS - University Paris Diderot, France
 * Stefano Guerrini, CNRS - University Sorbonne Paris Nord, France
 * Lorenzo Tortora de Falco, University Roma Tre, Italy

----------------------------------------------------------------------
** Proceedings 
----------------------------------------------------------------------

Abstracts will be published as an online volume with an official bibliographic reference. . 

Later on there will be a volume of selected papers (book or journal special issue). . 

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

All questions about submissions should be emailed to the PC chairs at elaine.pimentel at gmail.com or christian.retore at umontpellier.fr

--
Christian Retoré
http://www.lirmm.fr/~retore
(via iPhone)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210509/8f762d8c/attachment-0001.htm>