[DMANET] Aarhus Workshop on Satisfiability Augest 20-22

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

Confirmed speakers:

Ramamohan Paturi, University of California at San Diego
Rahul Santhanam, University of Edinburgh


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/


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************