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      <p>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...</p>\n      <p>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      </p>\n    \n      <p>\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        <a ta
 rget="_blank" href="https://ll2016.sciencesconf.or
 g/resource/page/id/1">https://ll2016.sciencesconf.
 org/resource/page/id/1</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7521/7-8
 -November-2016-Autumn-School-on-Linear-Logic-Lyon-
 France
END:VEVENT
END:VCALENDAR