BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64383463-3963-4234-b561-373539326664
X-WR-CALNAME:Quantified Boolean Formulas: Algorithms and Applications Calen
 dar
X-WR-CALDESC:Events of the lecture Quantified Boolean Formulas: Algorithms 
 and Applications
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:33373738-3634-4538-b139-393663346162
DTSTAMP:20260613T093648Z
DESCRIPTION:The assignment of topic to participating students takes place d
 uring the first meeting. Therefore it is important that all interested stu
 dents are present (Students present at the meeting have higher priority if
  there are more students than topics).
DTSTART:20151021T121500Z
DTEND:20151021T130000Z
LOCATION:Building E1 3\, Room 528
SUMMARY:First meeting
END:VEVENT
BEGIN:VEVENT
UID:62313734-6431-4234-a361-636333323237
DTSTAMP:20260613T093648Z
DESCRIPTION:During this meeting\, the foundational talks on SAT\, QBF\, and
  DQBF will be given.
DTSTART:20160113T090000Z
DTEND:20160113T120000Z
LOCATION:Building E1 3\, Room 528
SUMMARY:Talks: Foundations of SAT\, QBF\, and DQBF
END:VEVENT
BEGIN:VEVENT
UID:32373735-3765-4665-b561-333939396432
DTSTAMP:20260613T093648Z
DESCRIPTION:This meeting is devoted to the more advanced topics in QBF and 
 DQBF solving.
DTSTART;VALUE=DATE:20160217
DTEND;VALUE=DATE:20160218
LOCATION:Building E1 3\, Room 528
SUMMARY:Talks: Advanced Topics
END:VEVENT
END:VCALENDAR