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  <p>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.</p>\n\n  <p>Linear Logic 2016 will be a f
 our-day meeting in Lyon, including three events:<b
 r>\n  - Autumn school on linear logic (Nov 7-8)<br
 >\n  - Workshop 'Linear logic and philosophy' (Nov
  8, afternoon)<br>\n  - Workshop 'Linear logic, ma
 thematics and computer science' (Nov 9-10).</p>\n
URL:https://ll2016.sciencesconf.org/
END:VEVENT
END:VCALENDAR