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

May 28 - 31 2007, Lisbon, Portugal

Conference Registration


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


Registration Cost

  Until April 9 After April 9
Non-student 350 Euro 400 Euro
Student 250 Euro 300 Euro


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.