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/7521/7-8
-November-2016-Autumn-School-on-Linear-Logic-Lyon-
France
DTSTAMP:20160724T000000
SUMMARY:Autumn School on Linear Logic, Lyon, Franc
e
DTSTART;VALUE=DATE:20161107
DTEND;VALUE=DATE:20161108
LOCATION:Lyon, France
DESCRIPTION:The goal of the school is to give a st
ructured introduction to the main concepts and res
ults in linear logic. It will assume as prerequisi
tes only basic knowledge of classical logic and of
formal proof systems (sequent calculus or natural
deduction). Its aim is to allow the attendees to
understand for example: motivations and origins of
linear logic; linear logic connectives; sequent c
alculus; proof-nets; semantics; relationships with
intuitionistic and classical logic... This schoo
l is mainly directed towards master's students, wi
th a background in logic and philosophy, computer
science or mathematics. It is also opened to PhD s
tudents and researchers who would like to learn ab
out linear logic. The school is part of a more gen
eral four-day event, 'Linear Logic: interaction, p
roofs and computation' which will also include a w
orkshop 'Linear logic and philosophy' (8 nov, afte
rnoon, at University Lyon 3) and a workshop 'Linea
r logic, mathematics and computer science' (9-10 n
ov, at ENS Lyon). The lectures will be given in
english. More detailed information about the prog
ramme and the lecturers will be given on the web s
ite. Deadline for registration: sept 30, 2016. For
more information, see https://ll2016.sciencesconf
.org/resource/page/id/1
X-ALT-DESC;FMTTYPE=text/html:\n The goal o
f the school is to give a structured introduction
to the main concepts and results in linear logic.
It will assume as prerequisites only basic knowle
dge of classical logic and of formal proof systems
(sequent calculus or natural deduction). Its aim
is to allow the attendees to understand for exampl
e: motivations and origins of linear logic; linear
logic connectives; sequent calculus; proof-nets;
semantics; relationships with intuitionistic and c
lassical logic...

\n This school is mai
nly directed towards master's students, with a bac
kground in logic and philosophy, computer science
or mathematics. It is also opened to PhD students
and researchers who would like to learn about line
ar logic.\n The school is part of a more gene
ral four-day event, 'Linear Logic: interaction, pr
oofs and computation' which will also include a wo
rkshop 'Linear logic and philosophy' (8 nov, after
noon, at University Lyon 3) and a workshop 'Linear
logic, mathematics and computer science' (9-10 no
v, at ENS Lyon).\n

\n \n \n
The lectures will be given in english. More d
etailed\n information about the programme a
nd the lecturers will be\n given on the web
site. Deadline for registration: sept 30,\n
2016. For more information, see\n https://ll2016.sciencesconf.
org/resource/page/id/1\n

\n
URL:/NewsandEvents/Archives/2016/newsitem/7521/7-8
-November-2016-Autumn-School-on-Linear-Logic-Lyon-
France
END:VEVENT
END:VCALENDAR