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/2019/newsitem/10267/22
 ---27-June-2019-The-thirty-fourth-Annual-ACM-IEEE-
 Symposium-on-Logic-In-Computer-Science-LICS-19-Van
 couver-BC-Canada
DTSTAMP:20181018T152752
SUMMARY:The thirty-fourth Annual ACM/IEEE Symposiu
 m on Logic In Computer Science (LICS'19), Vancouve
 r BC, Canada
DTSTART;VALUE=DATE:20190622
DTEND;VALUE=DATE:20190627
LOCATION:Vancouver BC, Canada
DESCRIPTION:The LICS Symposium is an annual intern
 ational forum on theoretical and practical topics 
 in computer science that relate to logic, broadly 
 construed.  Researchers and practitioners are invi
 ted to submit proposals for workshops on topics re
 lating logic - broadly construed - to computer sci
 ence or related fields. Typically, LICS workshops 
 feature a number of invited speakers and a number 
 of contributed presentations. Deadline: 15 novembe
 r 2018.  We also invite paper submissions on any o
 f the conference topics. Results must be unpublish
 ed and not submitted for publication elsewhere, in
 cluding the proceedings of other symposia or works
 hops. Authors are required to submit a paper title
  and a short abstract of about 100 words in advanc
 e of submitting the extended abstract of the paper
 . Deadline: 4 januari 2019.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The LICS 
 Symposium is an annual international forum on theo
 retical and practical topics in computer science t
 hat relate to logic, broadly construed.</p>\n</div
 ><div>\n  <p>Researchers and practitioners are inv
 ited to submit proposals for workshops on topics r
 elating logic - broadly construed - to computer sc
 ience or related fields. Typically, LICS workshops
  feature a number of invited speakers and a number
  of contributed presentations. Deadline: 15 novemb
 er 2018.</p>\n\n  <p>We also invite paper submissi
 ons on any of the conference topics. Results must 
 be unpublished and not submitted for publication e
 lsewhere, including the proceedings of other sympo
 sia or workshops. Authors are required to submit a
  paper title and a short abstract of about 100 wor
 ds in advance of submitting the extended abstract 
 of the paper. Deadline: 4 januari 2019.</p>\n</div
 >
URL:https://lics.siglog.org/lics19/
CONTACT:frederic.blanqui at inria.fr
END:VEVENT
END:VCALENDAR