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/2014/newsitem/5097/12- 24-July-2014-The-Sixth-Federated-Logic-Conference- FLoC-2014-Vienna-Austria DTSTAMP:20130607T000000 SUMMARY:The Sixth Federated Logic Conference (FLoC 2014), Vienna, Austria DTSTART;VALUE=DATE:20140712 DTEND;VALUE=DATE:20140714 LOCATION:Vienna, Austria DESCRIPTION:The Sixth Federated Logic Conference ( FLoC 2014) will be part of the Vienna Summer of Lo gic (VSL), the largest logic event in history, wit h over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each wo rkshop will be affiliated with one of the eight co nferences. Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/flo c-ws/, or contact floc14cfw at easychair.org. Re searchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad se nse. Each workshop proposal must indicate one host ing conference among the participating conferences . Deadline for submission of workshop proposals: S eptember 30, 2013. X-ALT-DESC;FMTTYPE=text/html:
The S ixth Federated Logic Conference (FLoC 2014) will b e part\n of the Vienna Summer of Logic (VSL), the largest logic event in\n history, with o ver 2000 expected participants. FLoC 2014 will\n host eight conferences and many workshops. Eac h workshop will be\n affiliated with one of t he eight conferences.\n
\n \n \n\n Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014 .at/floc-ws/, or contact floc 14cfw at easychair.org .\n
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer scie nce, related to logic in the broad sense. Each wor kshop proposal must indicate one hosting conferenc e among the participating conferences. Deadline fo r submission of workshop proposals: September 30, 2013.\n
\n