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/2019/newsitem/10766/29
 ---30-June-2019-3rd-International-Workshop-on-Tren
 ds-in-Linear-Logic-and-Applications-TLLA-2019-Dort
 mund-Germany
DTSTAMP:20190413T214630
SUMMARY:3rd International Workshop on Trends in Li
 near Logic and Applications (TLLA 2019), Dortmund,
  Germany
DTSTART;VALUE=DATE:20190629
DTEND;VALUE=DATE:20190630
LOCATION:Dortmund, Germany
DESCRIPTION:Linear Logic is not only a proof theor
 etical tool to analyse or control the use of resou
 rces in logic and computation. It is also a corpus
  of tools, approaches, and methodologies that, eve
 n if developed for studying Linear Logic syntax an
 d semantics, have been applied in several other fi
 elds. The TLLA international workshop aims at brin
 ging together researchers working on Linear Logic 
 or applying it or its tools. The main goal is to p
 resent and discuss trends in the research on Linea
 r Logic and its applications by means of tutorials
 , invited talks, open discussions, and contributed
  talks.  Contributions are not restricted to talks
  presenting an original results, but open to tutor
 ials, open discussions, and position papers. For t
 his reason, we strongly encourage contributions pr
 esenting work in progress, open questions, and res
 earch projects. Contributions presenting the appli
 cation of linear logic results, techniques, or too
 ls to other fields, or vice versa, are most welcom
 e.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Linear Lo
 gic is not only a proof theoretical tool to analys
 e or control the use of resources in logic and com
 putation. It is also a corpus of tools, approaches
 , and methodologies that, even if developed for st
 udying Linear Logic syntax and semantics, have bee
 n applied in several other fields. The TLLA intern
 ational workshop aims at bringing together researc
 hers working on Linear Logic or applying it or its
  tools. The main goal is to present and discuss tr
 ends in the research on Linear Logic and its appli
 cations by means of tutorials, invited talks, open
  discussions, and contributed talks.</p>\n</div><d
 iv>\n  <p>Contributions are not restricted to talk
 s presenting an original results, but open to tuto
 rials, open discussions, and position papers. For 
 this reason, we strongly encourage contributions p
 resenting work in progress, open questions, and re
 search projects. Contributions presenting the appl
 ication of linear logic results, techniques, or to
 ols to other fields, or vice versa, are most welco
 me.</p>\n</div>
URL:http://tlla.linear-logic.org/2019/
CONTACT:Olivier Laurent at olivier.laurent at ens-
 lyon.fr
END:VEVENT
END:VCALENDAR