On August 20 to 22 CTIC will have a workshop on Boolean Satisfiability in Aarhus (WSAT 2012). It will be a combination of minicourses and work on open problems. The participants provide open problems, which will be worked on in small groups during the workshop. If you are interested in Boolean Satisfiability and want to do some research in this area, please consider signing up for this workshop.

Please register here, before August 7, 2012

For more information regarding WSAT 2012 please visit the website.