Logic List Mailing Archive
CfP: TLLA'24: 8th International Workshop on Trends in Linear Logic and Applications, 8-9 July 2024, Tallinn (Estonia)
** Deadline Extension **
Due to multiple requests, the deadlines for TLLA 2024 have been
extended as follows:
* Submission deadline: 22 May 2024
* Notification to authors: 31 May 2024
Here is the updated cfp.
=========================
=========================
====================
Call for Papers
TLLA 2024
8th International Workshop on
Trends in Linear Logic and Applications
Tallinn, 8-9 July 2024
Affiliated with FSCD 2024
https://tlla.linear-logic.org/2024/
=========================
=========================
====================
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
* connections with combinatorics
* functional analysis and operator algebras
* philosophy of logic and mathematics
* 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, please submit a short abstract whose
length is between 2 and 5 pages at
https://tlla-2024.sciencesconf.org/
----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------
* Submission deadline: 22 May 2024
* Notification to authors: 31 May 2024
* Final versions due: 14 June 2024
* Workshop date: 8-9 July 2024
----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------
* TBA
* TBA
* TBA
----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------
* Farzaneh Derakhshan, Illinois Institute of Technology, US
* Amy Felty, University of Ottawa, Canada
* Zeinab Galal, Universit di Bologna, Italy
* Willem Heijltjes, University of Bath, UK
* Delia Kesner, Universit Paris Cit, France
* Federico Olimpieri, Universit d'Aix-Marseille, France
* Jean-Simon Pacaud Lemay, Macquarie University, Australia
* Paolo Pistone, Universit Lyon 1, France (chair)
----------------------------------------------------------------------
** Organization Committee
----------------------------------------------------------------------
* Thomas Ehrhard, CNRS - Universit Paris Cit, France
* Stefano Guerrini, Universit Sorbonne Paris Nord, France
* Lorenzo Tortora de Falco, Universit Roma Tre, Italy
----------------------------------------------------------------------
** Proceedings
----------------------------------------------------------------------
We are considering the possibility of publishing online
proceedings after the workshop.
----------------------------------------------------------------------
** Contact
----------------------------------------------------------------------
All questions about submissions can be emailed at
tlla-2024@sciencesconf.org<mailto:tlla-2024@sciencesconf.org> or paolo.pist
one@ens-lyon.fr<mailto:paolo.pistone@ens-lyon.fr>.
________________________________
Da: Paolo Pistone
Inviato: venerd 10 maggio 2024 11:07
Oggetto: 2nd CfP, 8th International Workshop on Trends in Linear Logic and
Applications (TLLA'24)
=========================
=========================
====================
Call for Papers
TLLA 2024
8th International Workshop on
Trends in Linear Logic and Applications
Tallinn, 8-9 July 2024
Affiliated with FSCD 2024
https://tlla.linear-logic.org/2024/
=========================
=========================
====================
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
* connections with combinatorics
* functional analysis and operator algebras
* philosophy of logic and mathematics
* 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, please submit a short abstract whose
length is between 2 and 5 pages at
https://tlla-2024.sciencesconf.org/
----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------
* Submission deadline: 15 May 2024
* Notification to authors: 25 May 2024
* Final versions due: 31 May 2024
* Workshop date: 8-9 July 2024
----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------
* TBA
* TBA
* TBA
----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------
* Farzaneh Derakhshan, Illinois Institute of Technology, US
* Amy Felty, University of Ottawa, Canada
* Zeinab Galal, Universit di Bologna, Italy
* Willem Heijltjes, University of Bath, UK
* Delia Kesner, Universit Paris Cit, France
* Federico Olimpieri, Universit d'Aix-Marseille, France
* Jean-Simon Pacaud Lemay, Macquarie University, Australia
* Paolo Pistone, Universit Lyon 1, France (chair)
----------------------------------------------------------------------
** Organization Committee
----------------------------------------------------------------------
* Thomas Ehrhard, CNRS - Universit Paris Cit, France
* Stefano Guerrini, Universit Sorbonne Paris Nord, France
* Lorenzo Tortora de Falco, Universit Roma Tre, Italy
----------------------------------------------------------------------
** Proceedings
----------------------------------------------------------------------
We are considering the possibility of publishing online
proceedings after the workshop.
----------------------------------------------------------------------
** Contact
----------------------------------------------------------------------
All questions about submissions can be emailed at
tlla-2024@sciencesconf.org<mailto:tlla-2024@sciencesconf.org> or paolo.pist
one@ens-lyon.fr<mailto:paolo.pistone@ens-lyon.fr>.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php