Aarhus University Seal / Aarhus Universitets segl


The Aarhus Workshop on Satisfiability (WSAT2012) 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.

The workshop is funded by CTIC, the Sino-Danish Center for the Theory of Interactive Computation.

If you have any questions regarding the workshop, please send us an email on WSAT2012@cs.au.dk  

Important Dates

Tuesday, August 7, 2012: Registration deadline. 

Friday, August 17, 2012: Deadline for submitting open problems