TLLA 2024, July 8-9: free online participation
Paolo Pistone <[email protected]> Fri, 5 Jul 2024 09:13:30 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <AM0PR04MB70742831C373210B388DF848B0DF2@AM0PR04MB7074.eurprd04.prod.outlook.com> |
--===============2501942546448739349==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--===============2501942546448739349==
Content-Language: it-IT
Content-Type: multipart/alternative;
boundary="_000_AM0PR04MB70742831C373210B388DF848B0DF2AM0PR04MB7074eurp_"
--_000_AM0PR04MB70742831C373210B388DF848B0DF2AM0PR04MB7074eurp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Dear all,
We are pleased to announce free online participation at the upcoming worksh=
op TLLA 2024 (Trends in Linear Logic and Applications), starting next Monda=
y, via the following Zoom link:
https://zoom.us/j/95083973194?pwd=3DxyKoN7LOp5zOdBJrGuzSpSP45jsd5G.1
Meeting ID: 950 8397 3194
Passcode: 459969
You can consult the invited speakers, accepted papers and the program at th=
e following addresses:
https://urldefense.com/v3/__https://lipn.univ-paris13.fr/TLLA/2024/__;!!IBz=
WLUs!WvYN_i-FpkeNyLtS5HYKzlPaXbRCrhSx90T1c_1LmaiDKbfzc4fzNEJ93Uxw8bjQCpwchf=
eouhAY4HOMpRwS-dGd4a-o9ZoZ0GhijjL8cg$=20
https://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/*programme__;I=
w!!IBzWLUs!WvYN_i-FpkeNyLtS5HYKzlPaXbRCrhSx90T1c_1LmaiDKbfzc4fzNEJ93Uxw8bjQ=
CpwchfeouhAY4HOMpRwS-dGd4a-o9ZoZ0Ggo_q5NPA$=20
Best wishes,
Paolo Pistone (chair of TLLA 2024)
--_000_AM0PR04MB70742831C373210B388DF848B0DF2AM0PR04MB7074eurp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Dear all,</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
We are pleased to announce free online participation at the upcoming worksh=
op TLLA 2024 (Trends in Linear Logic and Applications), starting next Monda=
y, via the following Zoom link:</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<span style=3D"color: rgb(0, 105, 166);"><a href=3D"https://zoom.us/j/95083=
973194?pwd=3DxyKoN7LOp5zOdBJrGuzSpSP45jsd5G.1" target=3D"_blank" id=3D"OWAa=
ab02fc9-7066-1726-9dd1-5917a50ab12b" class=3D"moz-txt-link-freetext OWAAuto=
Link" rel=3D"noreferrer" style=3D"color: rgb(0, 105, 166); text-align: left=
;">https://zoom.us/j/95083973194?pwd=3DxyKoN7LOp5zOdBJrGuzSpSP45jsd5G.1</a>=
</span><br>
<br>
Meeting ID: 950 8397 3194<br>
Passcode: 459969</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
You can consult the invited speakers, accepted papers and the program at th=
e following addresses:</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<a href=3D"https://urldefense.com/v3/__https://lipn.univ-paris13.fr/TLLA/20=
24/__;!!IBzWLUs!WvYN_i-FpkeNyLtS5HYKzlPaXbRCrhSx90T1c_1LmaiDKbfzc4fzNEJ93Ux=
w8bjQCpwchfeouhAY4HOMpRwS-dGd4a-o9ZoZ0GhijjL8cg$" id=3D"LPlnk">https://lipn=
.univ-paris13.fr/TLLA/2024/</a></div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<a href=3D"https://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/*pr=
ogramme__;Iw!!IBzWLUs!WvYN_i-FpkeNyLtS5HYKzlPaXbRCrhSx90T1c_1LmaiDKbfzc4fzN=
EJ93Uxw8bjQCpwchfeouhAY4HOMpRwS-dGd4a-o9ZoZ0Ggo_q5NPA$" id=3D"LPlnk781644">=
https://compose.ioc.ee/icalp2024/#programme</a></div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Best wishes,</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Paolo Pistone (chair of TLLA 2024)</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div id=3D"Signature">
<div style=3D"direction:ltr;margin:5px 15px 0px 0px;padding-bottom:5px;z-in=
dex:0;background-color:rgb(255,255,255)" class=3D"ii gt m1472035bdc6ec7bf a=
dP adO" id=3D":190">
<div style=3D"color:rgb(34,34,34);font-size:13px;font-family:arial,sans-ser=
if;overflow:hidden" class=3D"a3s" id=3D":wj">
</div>
<div style=3D"margin:5px 15px 0px 0px;padding-bottom:5px" id=3D":190">
<div style=3D"color:rgb(0,0,0);font-size:13px;font-family:Calibri,Arial,Hel=
vetica,sans-serif" id=3D":wj">
</div>
</div>
</div>
</div>
</body>
</html>
--_000_AM0PR04MB70742831C373210B388DF848B0DF2AM0PR04MB7074eurp_--
--===============2501942546448739349==--