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/2018/newsitem/9086/8--
 -11-January-2018-Symposion-on-Logical-Foundations-
 of-Computer-Science-LFCS-2018-Deerfield-Beach-FL-U
 -S-A-
DTSTAMP:20170528T192712
SUMMARY:Symposion on Logical Foundations of Comput
 er Science (LFCS 2018), Deerfield  Beach FL, U.S.A
 .
DTSTART;VALUE=DATE:20180108
DTEND;VALUE=DATE:20180111
LOCATION:Deerfield  Beach FL, U.S.A.
DESCRIPTION:The LFCS series provides an outlet for
  the fast-growing body of work in the logical foun
 dations of computer science, e.g., areas of fundam
 ental theoretical logic related to computer scienc
 e. The LFCS series began with Logic at Botik, Pere
 slavl-Zalessky, 1989 and was co-organized by Alber
 t R. Meyer (MIT) and Michael Taitslin (Tver), afte
 r which organization passed to Anil Nerode in 1992
 .  SUBMISSION DETAILS. Proceedings will be publish
 ed in the Springer LNCS series. There will be a po
 st-conference volume of selected works published. 
 Submissions should be made electronically via http
 ://www.easychair.org/LFCS18/. Submitted papers mus
 t be in pdf/12pt format and of no more than 15 pag
 es, present work not previously published, and mus
 t not be submitted concurrently to another confere
 nce with refereed proceedings.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The LFCS 
 series provides an outlet for the fast-growing bod
 y of work in the logical foundations of computer s
 cience, e.g., areas of fundamental theoretical log
 ic related to computer science. The LFCS series be
 gan with Logic at Botik, Pereslavl-Zalessky, 1989 
 and was co-organized by Albert R. Meyer (MIT) and 
 Michael Taitslin (Tver), after which organization 
 passed to Anil Nerode in 1992.</p>\n</div><div>\n 
  <p>SUBMISSION DETAILS. Proceedings will be publis
 hed in the Springer LNCS series. There will be a p
 ost-conference volume of selected works published.
  Submissions should be made electronically via <a 
 href="http:/www.easychair.org/LFCS18/" target="_bl
 ank">http://www.easychair.org/LFCS18/</a>. Submitt
 ed papers must be in pdf/12pt format and of no mor
 e than 15 pages, present work not previously publi
 shed, and must not be submitted concurrently to an
 other conference with refereed proceedings.</p>\n<
 /div>
URL:http://lfcs.ws.gc.cuny.edu/
END:VEVENT
END:VCALENDAR