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/2006/newsitem/1291/15-
 July-2006-Workshop-on-Classical-Logic-and-Computat
 ion-CL-C-06-
DTSTAMP:20060327T000000
SUMMARY:Workshop on Classical Logic and Computatio
 n (CL&C'06)
DTSTART;VALUE=DATE:20060715
DTEND;VALUE=DATE:20060715
DESCRIPTION:CL&C'06 is the first of a new conferen
 ce series on "Classical Logic and Computation". It
  intends to cover all work aiming to propose a pro
 gramming language inspired by classical logic, and
  a semantics for it   For more information, see ht
 tp://www.doc.ic.ac.uk/~svb/CLaC  This is intended 
 to be an informal workshop. Participants are encou
 raged to present work in progress, overviews of mo
 re extensive work, and programmatic/position paper
 s, as well as completed projects. We therefore ask
  for submission both of short abstracts outlining 
 what will be presented at the workshop and of long
 er papers describing completed work, either publis
 hed or unpublished. Submission deadline is 1 April
  2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>CL&am
 p;C'06 is the first of a new conference series on 
 "Classical Logic and Computation". It intends to c
 over all work aiming to propose a programming lang
 uage inspired by classical logic, and a semantics 
 for it\n      </p>\n    \n      \n      <p>For mor
 e information,  see\n        <a target="_blank" hr
 ef="http://www.doc.ic.ac.uk/~svb/CLaC">http://www.
 doc.ic.ac.uk/~svb/CLaC</a>\n      </p>\n    </div>
 <div>\n      <p>This is intended to be an informal
  workshop. Participants are encouraged to present 
 work in progress, overviews of more extensive work
 , and programmatic/position papers, as well as com
 pleted projects. We therefore ask for submission b
 oth of short abstracts outlining what will be pres
 ented at the workshop and of longer papers describ
 ing completed work, either published or unpublishe
 d.\n        Submission deadline is 1 April 2006.\n
       </p>\n      </div>
URL:/NewsandEvents/Archives/2006/newsitem/1291/15-
 July-2006-Workshop-on-Classical-Logic-and-Computat
 ion-CL-C-06-
END:VEVENT
END:VCALENDAR