20-22 August 2012, Aarhus Workshop on Satisfiability, Aarhus, Denmark

The Aarhus Workshop on Satisfiability funded by CTIC wants to bring together researchers who are interested in different aspects of Boolean Satisfiability. The workshop consists of two parts. In Part 1, leading 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 invited to contribute one or two open problems related to satisfiability. The goal of the workshop is to learn from each other, start fruitful collaborations on the open problems, and enjoy the beautiful town of Aarhus in summer.

Important Dates:
Wednesday, August 1: Registration deadline
Friday, August 17: Deadline for submitting open problems
Monday, August 20 to Wednesday, August 22: Workshop

Please find more information on our webpage: http://ctic.au.dk/workshops-conferences/wsat2012/