SAT 2007 - Tenth International Conference on
Theory and Applications of Satisfiability Testing

May 28 - 31 2007, Lisbon, Portugal

To register for the SAT 2007 conference, please follow this link.

Conference registration includes reception, conference attendance, proceedings, lunch during conference days, excursion and banquet (the banquet is included for NON - Students ONLY).

To register as student, proof of status must be sent by fax to +351 21 415 63 83. Please include the reference SAT07 and your name.