SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland


The following workshops are affiliated with SAT 2013. The workshops will take place during July 8 and July 9 (morning).

Workshop Map, 3rd floor

The workshops take place on the third floor of the conference venue, as indicated in the following floor plan of the 3rd floor.