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/4555/20-
 22-August-2012-Aarhus-Workshop-on-Satisfiability-A
 arhus-Denmark
DTSTAMP:20120703T000000
SUMMARY:Aarhus Workshop on Satisfiability, Aarhus,
  Denmark
DTSTART;VALUE=DATE:20120820
DTEND;VALUE=DATE:20120822
LOCATION:Aarhus, Denmark
DESCRIPTION:The Aarhus Workshop on Satisfiability 
 funded by CTIC wants to bring together researchers
  who are interested in different aspects of Boolea
 n Satisfiability. The workshop consists of two par
 ts. In Part 1, leading experts in the field will g
 ive a minicourse on selected topics. In Part 2, we
  will work in small groups on open problems. All p
 articipants are invited to contribute one or two o
 pen problems related to satisfiability. The goal o
 f the workshop is to learn from each other, start 
 fruitful collaborations on the open problems, and 
 enjoy the beautiful town of Aarhus in summer.   Im
 portant Dates:  Wednesday, August 1: Registration 
 deadline   Friday, August 17: Deadline for submitt
 ing open problems   Monday, August 20 to Wednesday
 , August 22: Workshop   Please find more informati
 on on our webpage: http://ctic.au.dk/workshops-con
 ferences/wsat2012/
X-ALT-DESC;FMTTYPE=text/html:\n        <p>The Aarh
 us Workshop on Satisfiability funded by CTIC wants
  to bring together researchers who are interested 
 in different aspects of Boolean Satisfiability. Th
 e workshop consists of two parts. In Part 1, leadi
 ng experts in the field will give a minicourse on 
 selected topics. In Part 2, we will work in small 
 groups on open problems. All participants are invi
 ted to contribute one or two open problems related
  to satisfiability. The goal of the workshop is to
  learn from each other, start fruitful collaborati
 ons on the open problems, and enjoy the beautiful 
 town of Aarhus in summer.</p>\n        <p>\n      
   Important Dates:<br/>\n        Wednesday, August
  1: Registration deadline <br/>\n        Friday, A
 ugust 17: Deadline for submitting open problems <b
 r/>\n        Monday, August 20 to Wednesday, Augus
 t 22: Workshop<br/>\n         </p>\n    \n        
 <p>Please find more information on our webpage: <a
  target="_blank" href="http://ctic.au.dk/workshops
 -conferences/wsat2012/">http://ctic.au.dk/workshop
 s-conferences/wsat2012/</a></p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4555/20-
 22-August-2012-Aarhus-Workshop-on-Satisfiability-A
 arhus-Denmark
END:VEVENT
END:VCALENDAR