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/2020/newsitem/11229/8-
 --11-July-2020-Thirty-Fifth-Annual-ACM-IEEE-Sympos
 ium-on-Logic-in-Computer-Science-LICS-2020-Saarbrü
 cken-Germany
DTSTAMP:20200625T152639
SUMMARY:Thirty-Fifth Annual ACM/IEEE Symposium on 
 Logic in Computer Science (LICS 2020), Saarbrücken
 , Germany
DTSTART;VALUE=DATE:20200708
DTEND;VALUE=DATE:20200711
LOCATION:Saarbrücken, Germany
DESCRIPTION:The LICS Symposium is an annual intern
 ational forum on theoretical and practical topics 
 in computer science that relate to logic, broadly 
 construed.  The 35th Annual ACM/IEEE Symposium on 
 Logic in Computer Science (LICS 2020) has original
 ly been planned to be held in Beijing (China), and
  then moved to Saarland Informatics Campus in Saar
 brücken (Germany). Due to the pandemic, the sympos
 ium is now held online in the period July 8-11, wi
 th satellite workshops on July 6-7, and in virtual
  co-location with ICALP 2020.  We invite submissio
 ns on the conference topics.  Authors are required
  to submit a paper title and a short abstract of a
 bout 100 words in advance of submitting the extend
 ed abstract of the paper. Every full paper must be
  submitted in the ACM SIGPLAN Proceedings 2-column
  10pt format and may be at most 12 pages, excludin
 g references. The extended abstract must be in Eng
 lish and provide sufficient detail to allow the pr
 ogram committee to assess the merits of the paper.
  Results must be unpublished and not submitted for
  publication elsewhere, including the proceedings 
 of other symposia or workshops.
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\n  <
 p>The 35th Annual ACM/IEEE Symposium on <span styl
 e="font-size: medium;" size="+3">Logic in Computer
  Science</span> (LICS 2020) has originally been pl
 anned to be held in Beijing (China), and then move
 d to Saarland Informatics Campus in Saarbrücken (G
 ermany). Due to the pandemic, the symposium is now
  held online in the period July 8-11, with satelli
 te workshops on July 6-7, and in virtual co-locati
 on with&nbsp;<a title="LICS 2020" href="http://ica
 lp2020.saarland-informatics-campus.de" target="_bl
 ank" rel="noopener noreferrer">ICALP 2020</a>.</p>
 \n</div><div>\n  <p>We invite submissions on the c
 onference topics.</p>\n\n  <p>Authors are required
  to submit a paper title and a short abstract of a
 bout 100 words in advance of submitting the extend
 ed abstract of the paper. Every full paper must be
  submitted in the ACM SIGPLAN Proceedings 2-column
  10pt format and may be at most 12 pages, excludin
 g references. The extended abstract must be in Eng
 lish and provide sufficient detail to allow the pr
 ogram committee to assess the merits of the paper.
  Results must be unpublished and not submitted for
  publication elsewhere, including the proceedings 
 of other symposia or workshops.</p>\n</div>
URL:https://lics.siglog.org/lics20/
END:VEVENT
END:VCALENDAR