[TYPES/announce] TLLA 2023 : deadline extension

[Stefano Guerrini]

[Apologies if you receive multiple copies of this message]

Dear colleagues, 

the deadline for TLLA 2023 (7th International Workshop on Trends in Linear Logic and Applications) that will be held in Rome, 1-2 July colocated with FSCD has been extended. Here it is the new dates:

* Submission deadline:            21 May 2023
* Notification to authors:        26 May 2023 
* Final versions due:             7 June 2023 

Please, find below the new version of the call for paper, that you can also find on the site of the workshop

	https://urldefense.com/v3/__https://tlla.linear-logic.org/2023__;!!IBzWLUs!RtFOF9PyIysIji9idrKS8ExktP8flYCBtzWWozVpLKpEU_kCPqlcX8-btsBP1yDqUiO_AzYnIpDSOIzpWTtdIr9MiK3cXrTTYeRbSO1DuYhaplO8FQ$ 

Best wishes

—sg

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

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


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

                      TLLA  2023

              7th International Workshop on
          Trends in Linear Logic and Applications

                      Rome, 1-2 July 2023

                 Affiliated with FSCD 2023

            https://urldefense.com/v3/__https://tlla.linear-logic.org/2023/__;!!IBzWLUs!RtFOF9PyIysIji9idrKS8ExktP8flYCBtzWWozVpLKpEU_kCPqlcX8-btsBP1yDqUiO_AzYnIpDSOIzpWTtdIr9MiK3cXrTTYeRbSO1DuYhCn4X1cw$ 

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

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
* games and languages
* proof theory
* categories and algebra
* implicit computational complexity
* parallelism and concurrency
* quantum and probabilistic computing
* models of computation
* possible connections with combinatorics
* functional analysis and operator algebras
* philosophy
* linguistics


----------------------------------------------------------------------
** 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, send an email with the pdf file of a 
short abstract to

tlla23 at irif.fr <mailto:tlla23 at irif.fr>

Please specify in the email message the names of the corresponding
authors and their emails, if different from the sending one, which in any
case will be used for further communications. The abstract, whose length
should be between 2 and 5 page, must include the names and the email
addresses of all the authors. 

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

* Submission deadline:            15 May 2023
* Notification to authors:        22 May 2023 
* Final versions due:             31 May 2023 

* Workshop date:                  1-2 July 2023

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

* Alexis Saurin, Université Paris Cité, France
* Zeinab Galal, Sorbonne Université, France

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

* Marcelo Fiore, University of Cambridge, UK
* Gabriele Vanoni, INRIA-Sophia Antipolis, France

----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------
* Thomas Ehrhard, CNRS - Université Paris Cité, France
* Nicola Gambino, University of Manchester, UK
* Stefano Guerrini, Université Sorbonne Paris Nord, France
* Thomas Streicher, Technische Universität Darmstadt, Germany
* Lorenzo Tortora de Falco, Università Roma Tre, Italy
* Lionel Vaux, Aix-Marseille Université, France

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

* Thomas Ehrhard, CNRS - Université Paris Cité, France
* Stefano Guerrini, Université Sorbonne Paris Nord, France
* Lorenzo Tortora de Falco, Università Roma Tre, Italy



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230515/18a5cf6a/attachment-0001.htm>