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

May 28 - 31 2007, Lisbon, Portugal

SANA Malhoa Hotel, Lisbon

The SAT 2007 conference will be located at the SANA Malhoa hotel, in downtown Lisbon.

Please visit the hotel reservation link for additional information regarding room rates, availability and reservations.