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/2013/newsitem/5265/8-9
 -November-2013-Jahrestagung-Logik-in-der-Informati
 k-2013-Bremen-Germany
DTSTAMP:20130921T000000
SUMMARY:Jahrestagung "Logik in der Informatik" 201
 3, Bremen, Germany
DTSTART;VALUE=DATE:20131108
DTEND;VALUE=DATE:20131109
LOCATION:Bremen, Germany
DESCRIPTION:The 20th annual meeting of the working
  group "Logic in Computer Science" of the "Society
  for Computer Science" will be held at the Univers
 ity of Bremen on November 8 and 9, 2013 (presumabl
 y from Friday noon to Saturday noon). The followin
 g speakers have confirmed to give an invited talk:
  Christel Baier (TU Dresden) and Manuel Bodirsky (
 LIX Palaiseau).   We plan to have an informal dinn
 er the night of November 8. To registrater (free o
 f charge), please send an email by October 13 to T
 homas Schneider at tschneider at informatik.uni-br
 emen.de, and please indicate whether you intend to
  join the dinner (at your own expense).   For furt
 her information (accommodation etc.), see http://w
 ww.informatik.uni-bremen.de/tdki/events/loginf2013
  or contact one of the organizers at clu at inform
 atik.uni-bremen.de, goeller at informatik.uni-brem
 en.de or tschneider at informatik.uni-bremen.de.  
  Presentations from all areas of logic in computer
  science and its applicates are welcome. Please se
 nd us an email with title and abstract by October 
 13: to tschneider at informatik.uni-bremen.de. The
 re will be no proceedings.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The 2
 0th annual meeting of the working group &quot;Logi
 c in\n      Computer Science&quot; of the &quot;So
 ciety for Computer\n      Science&quot; will be he
 ld at the University of Bremen on\n      November 
 8 and 9, 2013 (presumably from Friday noon to Satu
 rday\n      noon).  The following speakers have co
 nfirmed to give an invited\n      talk: Christel B
 aier (TU Dresden) and Manuel Bodirsky (LIX\n      
 Palaiseau).\n      </p>\n      <p>We plan to have 
 an informal dinner the night of November 8.\n     
  To registrater (free of charge), please send an e
 mail by October\n      13 to Thomas Schneider at\n
       <a class="email">tschneider <span class="at"
 >at</span> informatik.uni-bremen.de</a>, and pleas
 e\n      indicate whether you intend to join the d
 inner (at your own\n      expense).\n      </p>\n 
    \n      \n      <p>For further information (acc
 ommodation etc.), see\n      <a target="_blank" hr
 ef="http://www.informatik.uni-bremen.de/tdki/event
 s/loginf2013">http://www.informatik.uni-bremen.de/
 tdki/events/loginf2013</a>\n      or contact one o
 f the organizers at\n      <a class="email">clu <s
 pan class="at">at</span> informatik.uni-bremen.de<
 /a>,\n      <a class="email">goeller <span class="
 at">at</span> informatik.uni-bremen.de</a> or\n   
    <a class="email">tschneider <span class="at">at
 </span> informatik.uni-bremen.de</a>.\n      </p>\
 n    </div><div>\n      <p>Presentations from all 
 areas of logic in computer science and\n      its 
 applicates are welcome. Please send us an email wi
 th title\n      and abstract by October 13: to\n  
     <a class="email">tschneider <span class="at">a
 t</span> informatik.uni-bremen.de</a>. There will\
 n      be no proceedings.\n      </p>\n      </div
 >
URL:/NewsandEvents/Archives/2013/newsitem/5265/8-9
 -November-2013-Jahrestagung-Logik-in-der-Informati
 k-2013-Bremen-Germany
END:VEVENT
END:VCALENDAR