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/2016/newsitem/8184/7--
-10-November-2016-Linear-Logic-interaction-proofs-
and-computation-LL2016-Lyon-France
DTSTAMP:20161020T132631
SUMMARY:Linear Logic: interaction, proofs, and com
putation (LL2016), Lyon, France
DTSTART;VALUE=DATE:20161107
DTEND;VALUE=DATE:20161110
LOCATION:Lyon, France
DESCRIPTION:Linear logic was introduced 30 years a
go and has rapidly become a pivot point between ma
thematical logic and computer science. The present
event aims to gather mathematicians, computer sci
entists and philosophers in order to foster intera
ction in research on linear logic. Linear Logic 2
016 will be a four-day meeting in Lyon, including
three events: - Autumn school on linear logic (No
v 7-8) - Workshop 'Linear logic and philosophy' (
Nov 8, afternoon) - Workshop 'Linear logic, mathe
matics and computer science' (Nov 9-10).
X-ALT-DESC;FMTTYPE=text/html:\n Linear logic w
as introduced 30 years ago and has rapidly become
a pivot point between mathematical logic and compu
ter science. The present event aims to gather math
ematicians, computer scientists and philosophers i
n order to foster interaction in research on linea
r logic.

\n\n Linear Logic 2016 will be a f
our-day meeting in Lyon, including three events:**\n - Autumn school on linear logic (Nov 7-8)**

\n - Workshop 'Linear logic and philosophy' (Nov
8, afternoon)

\n - Workshop 'Linear logic, ma
thematics and computer science' (Nov 9-10).

**\n
URL:https://ll2016.sciencesconf.org/
END:VEVENT
END:VCALENDAR
**