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/2012/newsitem/4542/16-
 17-November-2012-Logik-in-der-Informatik-LogInf-20
 12-Mannheim-Germany
DTSTAMP:20120617T000000
SUMMARY:Logik in der Informatik (LogInf 2012), Man
 nheim, Germany
DTSTART;VALUE=DATE:20121116
DTEND;VALUE=DATE:20121117
LOCATION:Mannheim, Germany
DESCRIPTION:The annual meeting of the working grou
 p "Logic in Computer Science" of the "Society for 
 Computer Science" in 2012 will take place at the U
 niversity of Applied Sciences in Mannheim on Novem
 ber 16 & 17 (Friday and Saturday), 2012. Invited S
 peakers: Klaus Ambos-Spies (Heidelberg), Carsten L
 utz (Bremen) and Nicole Schweikardt (Frankfurt)   
 For further information and registration, please s
 ee http://www.am.hs-mannheim.de/gi_tagung_2012.php
 . or contact Professor Dr. Lutz Strüngmann at l.st
 ruengmann at hs-mannheim.de.   Regular talks from 
 all areas of logic and its applications in compute
 r science are very welcome. Please send an email w
 ith a short abstract (max. 1 page) by October 16, 
 2012.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 nnual meeting of the working group &quot;Logic in\
 n      Computer Science&quot; of the &quot;Society
  for Computer\n      Science&quot; in 2012 will ta
 ke place at the University of\n      Applied Scien
 ces in Mannheim on November 16 &amp; 17 (Friday an
 d\n      Saturday), 2012.  Invited Speakers: Klaus
  Ambos-Spies\n      (Heidelberg), Carsten Lutz (Br
 emen) and Nicole Schweikardt\n      (Frankfurt)\n 
      </p>\n    \n      \n      <p>For further info
 rmation and registration, please see\n      <a tar
 get="_blank" href="http://www.am.hs-mannheim.de/gi
 _tagung_2012.php">http://www.am.hs-mannheim.de/gi_
 tagung_2012.php</a>.\n      or contact Professor D
 r. Lutz Str&uuml;ngmann at\n      <a class="email"
 >l.struengmann <span class="at">at</span> hs-mannh
 eim.de</a>.\n      </p>\n    </div><div>\n      <p
 >Regular talks from all areas of logic and its app
 lications\n        in computer science are very we
 lcome.\n        Please send an email with a short 
 abstract (max. 1 page)\n        by October 16, 201
 2.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2012/newsitem/4542/16-
 17-November-2012-Logik-in-der-Informatik-LogInf-20
 12-Mannheim-Germany
END:VEVENT
END:VCALENDAR