From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE,RCVD_IN_DNSWL_LOW autolearn=ham autolearn_force=no version=3.4.4 Received: from au-smtp-delivery-110.mimecast.com (au-smtp-delivery-110.mimecast.com [103.96.21.110]) by inbox.vuxu.org (Postfix) with ESMTP id 6CE2F2396F for ; Wed, 17 Apr 2024 23:35:05 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mq.edu.au; s=mimecast20180308; t=1713389703; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=f0JjzrmPUGcNvQQ0Y+/Ia48JE3UIKypXrzqTOOFbPj0=; b=BRLeNIOmU748RVz4EzNxMKly9My3TT+jEDKB2iSxdBem0Zg6KzH0/aWrw/4RW+LXZ+6fKj QTxqg+99i03IgHa5KXAoBiNnPQrr5DCTdl9CQLpQp0dapFJAgvlfz4Yj9QDApLcHdfIHN5 oadUljbFwSKslYsDk10FmEy8ppCqaxI= Received: from SY5PR01CU010.outbound.protection.outlook.com (mail-australiaeastazlp17012004.outbound.protection.outlook.com [40.93.136.4]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-27-aVfFOTTdNXGnIQH86W_HTA-6; Thu, 18 Apr 2024 07:33:16 +1000 X-MC-Unique: aVfFOTTdNXGnIQH86W_HTA-6 Received: from SY4PR01MB6332.ausprd01.prod.outlook.com (2603:10c6:10:10f::9) by ME3PR01MB7501.ausprd01.prod.outlook.com (2603:10c6:220:132::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7452.49; Wed, 17 Apr 2024 21:32:51 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com (2603:10c6:201:25::10) by SY4PR01MB6332.ausprd01.prod.outlook.com (2603:10c6:10:10f::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7472.39; Wed, 17 Apr 2024 21:32:45 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::159e:edd1:dd54:5765]) by ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::159e:edd1:dd54:5765%5]) with mapi id 15.20.7472.037; Wed, 17 Apr 2024 21:32:45 +0000 From: JS Lemay To: Categories mailing list Subject: TLLA 2024 -- Call for Papers Thread-Topic: TLLA 2024 -- Call for Papers Thread-Index: AQHakQ6UIYwePmve1UW50GM70c3/Nw== Date: Wed, 17 Apr 2024 21:32:45 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: ME2PR01MB3122:EE_|SY4PR01MB6332:EE_|ME3PR01MB7501:EE_ x-ms-office365-filtering-correlation-id: ab8f87a1-0ee7-437f-7bc7-08dc5f25ebdd x-ld-processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0 x-microsoft-antispam-message-info: XYdXmyxDgZzIIqSw43EPADcIqhn5p+YPjljhwcIhoYCb5WF4CnElaNIGTn/jGf5RVzTBfrE+vl9MPnILwesxqSSX2rw3hOe+8c4LKwYQ+Yb/BsJWWTckk9CMIqID6M1C5kjGqj6P69yhRURPThryTygpnp+gX/k8H6cDvoPiwFL4YLddDtBO6EHq90loQrX32Qync1RewLGwN2VZt1E/y8zRsAtKrrcnnI9gqCxYtTdQPaaANiayD3oEtmMrTVvuVGEuA03wCXKfXqzhckd1o0XQTgsDJEKAmEli9NT2ZTD02D58L+w/DRRw+c00GQgb7/z724tBUpaEY9VzZoydzxkLr7i9/pI3FU08eOKrrKzZVnoaG9r2zEykLlJ1YOd4Tg8UTdslPQq9QIaFIsdjbFY2MnH33wN0/werElHk2bLa1mpkUD0J3sX6zVH/JoBYo6uOnpk+A1lPOwTe8xhf92M65/Mo0slQ5XZamuDapnc0mUoSEt7pM5sGY07+TIterYFJSsUJIxkXst/bbzPkyqoPF9E/NPpfXaXOr2gFm2vWdJhTPy/LBJLr3FiDC0csc2n0O6qSdcP5uME1MMWpXMUy0learx84QgAMF3o4HPON5Md+bSF/42iQvLK44rbPaX87OGbIly0+tudeZ4+jQBtdOHUtU/iwU5/ksKFv69bcBcTzeMasZV5h3pCPV9elkpyB3wNo0Nstg0Ih4XYpJfx2/3RePQr0HlfKmcOzFb4= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SY4PR01MB6332.ausprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(376005)(366007)(1800799015)(7416005)(38070700009)(41110700001)(41090700016)(41080700001);DIR:OUT;SFP:1501 x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?lUqiWR8i0TjTaU/U87z+zcQf4/mp3duoGVqR8UW3pl+iastQIxOERLlmYg?= =?iso-8859-1?Q?6yE3LuQVmnDLbKGhiXrU5wga1BdvAMqS/az3XohF4lQ9VXLLBK6ZcpqSW9?= =?iso-8859-1?Q?YzhxS/AiCxqGzYYvm3BsN/Fc9VuzlTZW4jI/VqKghQw47qQKHVLnhQX3cW?= =?iso-8859-1?Q?B4MbQHndsPL8Unlol4cOPwkOKInbf+rGJqRRTWj7WPyDhCDVZCl+qHLofr?= =?iso-8859-1?Q?OwK1XiO21MTNk3QHogwuokFW6/chv+0UEyYKxtdXgdREFVD8H/P3wpRkp+?= =?iso-8859-1?Q?4ieQb3XPvXqYzG8OxNN7jgwKARLi8DWgSmYKnzt/nxjwRXRr0izobJa5yD?= =?iso-8859-1?Q?PpZP9O3ucT9K5FE1EUmpt0oEErALGHDCVp9uMwmCipLHIddEBkva1ThwLB?= =?iso-8859-1?Q?2DxsPvzqDnrJAziFxNLi0ZwLVdncI07UD1+BNx4AGDSpwvul59CRpXL4Ug?= =?iso-8859-1?Q?6O40/IUhSUAIVHzlG9AgmsROUsuqzbdViKHcXcc+O2bhC5re6ZIPPhr46a?= =?iso-8859-1?Q?C/KEgQ+Q92HhXQSrk262fhVRrIIpkZzesq2dKPY3c1cXdMbUlR/FJvdpYM?= =?iso-8859-1?Q?fcTSmtmwUxd56L2ODnKoav5b2Rdpy8wGEcWaOiPPKYfTF6gNRcsa4kIDXn?= =?iso-8859-1?Q?u2cqK6dC815+BzSS9GuWo/w536OW1tVcbS7aQdODTBFjVwCwYx/Wb3QoPb?= =?iso-8859-1?Q?g6Q1LpqEd0Lu2jMUYLtwFchDRCK2Akt6puXF3g+MyGoOg7WiDMZu3ydtTj?= =?iso-8859-1?Q?hD97pAe4QGrfCy7D7Z5umokfiDdELt2oyR6PBttF27EAvBM0yWE3WngxQq?= =?iso-8859-1?Q?3bzJMeBTNlRM3TYJeL/jQC8TxQwuvmmyTOxlGC0n0BeTzvkpU/cek1fgJ+?= =?iso-8859-1?Q?tPj73EONDzQ6WW5NopodWy31d2x9dyGA7xKgkZG5WCY/d8CnEdQnZrfE9L?= =?iso-8859-1?Q?+2pWpi9xfomOvkwdON9fHOxGYXKtpPU9zOFPnuRkdXQ2YzBlVY65XaaioH?= =?iso-8859-1?Q?eOqJYp/Ax4igGZtnXbwUwUU1X3Trz8gU9nQnLFf6IFu0sQB1HrdQz9vaw5?= =?iso-8859-1?Q?aTUTd/PmA6+pY2TbtUU6tI7YU8eCVbZJoWzW0IPYtj0uN05qFvF+fif2Ub?= =?iso-8859-1?Q?UI2DJdMUZsGcqT7ga5W5rUopW0S26ubBRGQS11Te2ecn6Oy02xOxnLLQX9?= =?iso-8859-1?Q?vqUDqkOo3MApxU5cS22bLDB/ceF1pXuS7RmKgkBAecg/6OEz7svUEtKvQj?= =?iso-8859-1?Q?apx8gr0W8xaZgDavhZ0BvzAxjvPWcOexCdZGF0EL+0KgFs7ZAuxqnrIcTp?= =?iso-8859-1?Q?Hxvt8TqBvVVpf45xA0/EuLvWtpEutZKIBsNqHbnmC+mIQKX8MyKZzJ1uMh?= =?iso-8859-1?Q?EXryXVwhcIPHLTU+kuECRRycOv9k39Vm1c76gl0r5zh6l+kzCuGOrpBdXC?= =?iso-8859-1?Q?YToiKi9a+OBEl7DBGTLqCxMFZ0gmPLPiUrdq6tDXGR+6FurGdPrC+QEj+U?= =?iso-8859-1?Q?+rv8FIOInCFttcofb3nfv3sIAe4pHWLMWQ7IpndXMmQ9etsy5SZ64GFqDt?= =?iso-8859-1?Q?5ESvFmu69qaBznQqcPgMLj2/IUn9uf7yjGRG1UiwK4MOURuIZT19jnchkq?= =?iso-8859-1?Q?vVGhq5W81ZXO8=3D?= MIME-Version: 1.0 X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: q6D98c3x26tjB4+0tdzlhgOFAyA+qMSRkY0vyosNLElJtw2KjFf2kXiwgYmFXpcgvirAdWodjimB9KOSu08qy7+rQDsNg1BS0UESFocavi/gThZLkcC3rmvH5TfyLfv/iy5xp6AkaBz9pzlg1a6muG7wVoYLvF3C6iw9HH7oqwp8k8sdhEIEmtR6w021Sp2gDi4ezrlFqM2oBb03+ytc/cfLtFShMwmt/BdXw876wnv10foW2bySsiZqZNdNI4c/44pTcH31m7rZJpCwHadesf3SBDGP3/C2qF+zy97B9fkGRpeqjTUp7b+yndw3mDnRCtyOlrarpUHDh7zFDS9okNFT1yG5ffjKp4icCe65TyjjYlAHY/IPD/3kTfPUBX9zG4QR/CpWA0ATSRPaNcS4B4D3+o7hWHLx6AsweavCq1LWyZUu8ix1ChzAl9WHiz+wzvgYvNMym8YddYcJsDGBYKL6Z3g6MSGvCMLOGLrYjiwiITY2nFvb7vzHcnM7lHt9HiPwixRx0uHfHmN0R2hiY82M8hKuda2YEwSr3sZBgUXrBRelQrZkk8VRgIB+dZ1Toy2ZJXCgFofw5L0dikcNkjis2RL4UBnEXLALhmrLXjw9gqO1UmVo602R7xDGKLBetQmn2ui4fn4FWwZMe+E/+A== X-OriginatorOrg: mq.edu.au X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: ME2PR01MB3122.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: ab8f87a1-0ee7-437f-7bc7-08dc5f25ebdd X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Apr 2024 21:32:45.5165 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: RBYqpx0WkETxqJWSMBAb6spyC1IREA2YUf02dKy1hPMZTotJVWXBmw15TPs2RvasNcE2OCI80weax19sfx7S9A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB7501 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: mq.edu.au Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_ME2PR01MB3122BF332EC5E1288CA06389CD0F2ME2PR01MB3122ausp_" --_000_ME2PR01MB3122BF332EC5E1288CA06389CD0F2ME2PR01MB3122ausp_ Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable =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=3D=3D=3D=3D=3D=3D Call for Papers TLLA 2024 8th International Workshop on Trends in Linear Logic and Applications Tallinn, Estonia 8-9 July 2024 Affiliated with FSCD 2024 https://tlla.linear-logic.org/2024/ =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=3D=3D=3D=3D=3D=3D 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 of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but are also 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: 16 June 2024 * Workshop date: 8-9 July 2024 ---------------------------------------------------------------------- ** 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 ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Paolo Pistone (chair), Universit=E9 Lyon 1 * Farzaneh Derakhshan, Illinois Institute of Technology * Amy Felty, University of Ottawa * Zeinab Galal, Universit=E0 di Bologna * Willem Heijltjes, University of Bath * Delia Kesner, Universit=E9 Paris Cit=E9 * Jean-Simon Pacaud Lemay, Macquarie University * Federico Olimpieri, Universit=E9 d'Aix-Marseille ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Universit=E9 Paris Cit=E9, France * Stefano Guerrini, Universit=E9 Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Universit=E0 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 or paolo.pistone@ens-lyon.fr. --_000_ME2PR01MB3122BF332EC5E1288CA06389CD0F2ME2PR01MB3122ausp_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable 
=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=3D=3D=3D=3D=3D=3D=0A               &=
nbsp;         Call for Papers=0A=0A      =
;                     &nb=
sp;TLLA  2024=0A=0A               &=
nbsp;    8th International Workshop on=0A       &n=
bsp;        Trends in Linear Logic and Applications=0A=
=20=0A                    =
;      Tallinn, Estonia=0A          =
;                 8-9 July 2024=0A=
=0A                     &=
nbsp; Affiliated with FSCD 2024=0A=0A           &n=
bsp;      https://tlla.linear-logic.org/2024/=0A=0A=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=3D=3D=3D=3D=3D=3D=0A=0ALinear Logic is not only a proof theoretic=
al tool to analyze or=0Acontrol the use of resources in logic and computati=
on. It is also a=0Acorpus of tools, approaches, and methodologies (proof ne=
ts,=0Aexponential decomposition, geometry of interaction, coherent spaces,=
=0Arelational models, etc.) that, even if developed for studying Linear=0AL=
ogic syntax and semantics, have been applied in several other fields=0A(ana=
lysis of lambda-calculus computations, game semantics, computational=0Acomp=
lexity, program verification, etc.).=0A=0AThe TLLA international workshop a=
ims at bringing together researchers=0Aworking on Linear Logic or applying =
it or its tools. The main goal is=0Ato present and discuss trends in the re=
search on Linear Logic and its=0Aapplications by means of tutorials, invite=
d talks, open discussions,=0Aand contributed talks.=0A=0AThe purpose is to =
gather researchers interested in the connections=0Abetween Linear Logic and=
 various topics such as=0A=0A * theory of programming languages=0A * games =
and languages=0A * proof theory=0A * categories and algebra=0A * implicit c=
omputational complexity=0A * parallelism and concurrency=0A * quantum and p=
robabilistic computing=0A * models of computation=0A * possible connections=
 with combinatorics=0A * functional analysis and operator algebras=0A * phi=
losophy of logic and mathematics=0A * linguistics=0A=0A=0A-----------------=
-----------------------------------------------------=0A** Submission Guide=
lines=0A-------------------------------------------------------------------=
---=0A=0AContributions are not restricted to talks presenting original=0Are=
sults, but are also open to tutorials, open discussions, and position=0Apap=
ers. For this reason, we strongly encourage contributions=0Apresenting work=
 in progress, open questions, and research=0Aprojects. Contributions presen=
ting the application of linear logic=0Aresults, techniques, or tools to oth=
er fields, or vice versa, are most=0Awelcome.=0A=0ATo propose a contributed=
 talk, please submit a short abstract whose length is=0Abetween 2 and 5 pag=
es at=0A=0A  https://tlla-2024.sciencesconf.org=0A=0A-----------------=
-----------------------------------------------------=0A** Important dates=
=0A----------------------------------------------------------------------=
=0A=0A  * Submission deadline:           &nbs=
p;15 May 2024=0A  * Notification to authors:       &nbs=
p;25 May 2024=20=0A  * Final versions due:        =
     16 June 2024=20=0A=0A  * Workshop date:     &=
nbsp;            8-9 July 2024=0A=0A---------=
-------------------------------------------------------------=0A** Publicat=
ion=0A---------------------------------------------------------------------=
-=0A=0AThe abstracts of the contributed and invited talks will be published=
=0Aon the site of the conference.=0APossible other formats will be discusse=
d at the workshop.=0A=0A=20=0A---------------------------------------------=
-------------------------=0A** Invited Speakers=0A-------------------------=
---------------------------------------------=0A=0A  * TBA=0A=20=0A---=
-------------------------------------------------------------------=0A** Pr=
ogram Committee=0A---------------------------------------------------------=
-------------=0A=0A  * Paolo Pistone (chair), Universit=E9 Lyon 1=0A=
=0A  * Farzaneh Derakhshan, Illinois Institute of Technology=0A  =
* Amy Felty, University of Ottawa=0A  * Zeinab Galal, Universit=E0 di =
Bologna=0A  * Willem Heijltjes, University of Bath=0A  * Delia Ke=
sner, Universit=E9 Paris Cit=E9=0A  * Jean-Simon Pacaud Lemay, Macquar=
ie University=0A  * Federico Olimpieri, Universit=E9 d'Aix-Marseille=
=0A=0A---------------------------------------------------------------------=
-=0A** Organization Committee=0A-------------------------------------------=
---------------------------=0A=0A  * Thomas Ehrhard, CNRS - Universit=
=E9 Paris Cit=E9, France=0A  * Stefano Guerrini, Universit=E9 Sorbonne=
 Paris Nord, France=0A  * Lorenzo Tortora de Falco, Universit=E0 Roma =
Tre, Italy=0A=0A-----------------------------------------------------------=
-----------=0A** Proceedings=20=0A-----------------------------------------=
-----------------------------=0A=0AWe are considering the possibility of pu=
blishing online=20=0Aproceedings after the workshop.=20=0A=0A--------------=
--------------------------------------------------------=0A** Contact=0A---=
-------------------------------------------------------------------=0A=0AAl=
l questions about submissions can be emailed at=20=0Atlla-2024@sciencesconf=
.org or paolo.pistone@ens-lyon.fr.

--_000_ME2PR01MB3122BF332EC5E1288CA06389CD0F2ME2PR01MB3122ausp_--