From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10202 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Valeria de Paiva Newsgroups: gmane.science.mathematics.categories Subject: FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020 Date: Sat, 25 Apr 2020 06:34:12 -0700 Message-ID: Reply-To: Valeria de Paiva Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="69070"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Sun Apr 26 02:48:14 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jSVSu-000Hoo-T1 for gsmc-categories@m.gmane-mx.org; Sun, 26 Apr 2020 02:48:13 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:51932) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jSVRz-0000ld-Ry; Sat, 25 Apr 2020 21:47:15 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jSVRm-0005Jg-N5 for categories-list@rr.mta.ca; Sat, 25 Apr 2020 21:47:02 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10202 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D FINAL Call for Papers: NEW DEADLINE 4th May 2020 Joint Linearity & TLLA Workshop Sixth International Workshop on Linearity Fourth International Workshop on Trends in Linear Logic and Applications Paris, Aubervilliers, France, 29-30 June 2020 Affiliated with FSCD 2020 https://lipn.univ-paris13.fr/LinearityTLLA2020/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D *COVID-19 Emergency*: *Our highest priority is the safety of all participants. Due to the covid19 pandemic, Linearity and TLLA 2020 will happen as a virtual conference. More details will follow when we know from the main organizers of FSCD 2020, athttps://fscd2020.org/2020/04/01/Virtualisation-FSCD-IJCAR-2020/ .* Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes, and more recently quantum computation. On the practical side, there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Linear logic is not only a theoretical tool to analyse 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 were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields. The aim of this Joint Linearity and TLLA workshop is to bring together researchers who are currently working on linear logic and related fields, to foster their interaction and provide a forum for presenting new ideas and work in progress. We also hope to enable newcomers to learn about curre= nt activities in this area. New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practi= ces. Topics of interest include: - theory of programming languages - type systems - verification - models of computation - implicit computational complexity - parallelism and concurrency - games and languages - proof theory - philosophy - categories and algebra - connections with combinatorics - linguistics - functional analysis and operator algebras IMPORTANT DATES * EXTENDED Submission deadline: 4th May 2020 * Author notification: 29th May 2020 * Contribution for Informal Proceedings: 12th June 2020 * Workshop date: 29-30 June 2020 SUBMISSIONS Authors are invited to submit: * an extended abstract (8 pages max) describing original ideas and results not published nor submitted elsewhere, * or a 5-page abstract presenting relevant work that has been or will be published elsewhere, * or a 2-page description of work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PDF format using the EPTCS style files. Submission is through the Easychair website: https://easychair.org/conferences/?conf=3Dtllalinearity2020 POST-PROCEEDINGS After the workshop, authors of extended abstracts will be invited to submi= t a longer version of their work (typically a 15-pages paper) for publication in EPTCS (TBC). These submissions will undergo a second round of refereeing= . PROGRAMME COMMITTEE Raphaelle Crubill=C3=A9 http://research.crubille.lautre.net/ Ugo Dal Lago (co-chair) https://www.unibo.it/sitoweb/ugo.dallago/en Valeria De Paiva (co-chair) http://vcvpaiva.github.io/ Harley Eades http://metatheorem.org/ Koko Muroya http://www.kurims.kyoto-u.ac.jp/~kmuroya/ Michele Pagani https://www.irif.fr/~michele/ Elaine Pimentel https://sites.google.com/site/elainepimentel/ Giselle Reis https://www.qatar.cmu.edu/directory/giselle-reis/ Thomas Seiller https://www.seiller.org/ Daniel Ventura http://www.inf.ufg.br/~daniel/ Lionel Vaux https://www.i2m.univ-amu.fr/perso/lionel.vaux/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]