SAT 2010 - Thirteenth International Conference on
Theory and Applications of Satisfiability Testing
July 11—July 14, 2010, Edinburgh, Scotland, UK
General information
Posters
- For every paper presented at the conference there can be some form of poster.
- This might be just one piece of paper, or a print-out of the talk, or a full-fledged poster.
- (Location of poster presentation to be updated)
Uploading files for your talk
(To be updated)
Local information and registration
All local and registration information appear on the FLoC'10 web page.
Business meeting
(To be updated)