BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11712/29 ---30-June-2020-Sixth-International-Workshop-on-Li nearity-and-Fourth-International-Workshop-on-Trend s-in-Linear-Logic-and-Applications-Joint-Linearity -TLLA-Workshop-Online DTSTAMP:20200409T171751 SUMMARY:Sixth International Workshop on Linearity and Fourth International Workshop on Trends in Lin ear Logic and Applications (Joint Linearity & TLLA Workshop), Online DTSTART;VALUE=DATE:20200629 DTEND;VALUE=DATE:20200630 LOCATION:Online DESCRIPTION:The aim of this Joint Linearity and TL LA workshop is to bring together researchers who a re currently working on linear logic and related f ields, to foster their interaction and provide a f orum for presenting new ideas and work in progress . We also hope to enable newcomers to learn about current activities in this area. New results that make central use of linearity, ranging from founda tional work to applications in any field, are welc ome. Also welcome are more exploratory presentatio ns, which may examine open questions and raise fun damental concerns about existing theories and prac tices. Authors are invited to submit: * an exten ded abstract (8 pages max) describing original ide as and results not published nor submitted elsewhe re, * or a 5-page abstract presenting relevant wo rk that has been or will be published elsewhere, * or a 2-page description of work in progress. Pre liminary proceedings will be available at the work shop. Papers should be written in English, and su bmitted in PDF format using the EPTCS style files. X-ALT-DESC;FMTTYPE=text/html:
The aim o f this Joint Linearity and TLLA workshop is to bri ng together researchers who are currently working on linear logic and related fields, to foster thei r interaction and provide a forum for presenting n ew ideas and work in progress. We also hope to ena ble newcomers to learn about current activities in this area. New results that make central use of l inearity, ranging from foundational work to applic ations in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns abo ut existing theories and practices.
Authors are invited to submit:
\n * an
extended abstract (8 pages max) describing origina
l ideas and results not published nor submitted el
sewhere,
\n * or a 5-page abstract presenting
relevant work that has been or will be published e
lsewhere,
\n * or a 2-page description of work
in progress. Preliminary proceedings will be avai
lable at the workshop.
Papers should b e written in English, and submitted in PDF format using the EPTCS style files.