BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/818
4/7---10-November-2016-Linear-Logic-interaction-pr
oofs-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
**