BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:39616331-6665-4839-b265-656439333363
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:63343364-3131-4234-b865-316131323336
DTSTAMP:20260404T141506Z
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:Qbf: First meeting
END:VEVENT
BEGIN:VEVENT
UID:39623364-3939-4336-a636-306534393761
DTSTAMP:20260404T141506Z
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:Qbf: Talks: Foundations of SAT\, QBF\, and DQBF
END:VEVENT
BEGIN:VEVENT
UID:64636664-3632-4334-b139-346461393836
DTSTAMP:20260404T141506Z
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:Qbf: Talks: Advanced Topics
END:VEVENT
END:VCALENDAR