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

May 28 - 31 2007, Lisbon, Portugal

Hotel Reservation

The SAT 2007 Conference Hotel is the SANA Malhoa Hotel in Lisbon.

You can reserve a hotel room at the SANA Malhoa Hotel by filling in the following form, available either in PDF or DOC format. Room reservations should be sent by email or by fax. The email address is and the fax number is +351 210 061 801.

The negotiated room rate for the SANA Malhoa hotel is 95 Euros per night for single rooms and 105 Euros per night for double rooms. These room rates include breakfast and all taxes. The negotiated room rate is valid for a restricted number of rooms, and for reservations made until April 9th. After April 9th, the room rate will depend on availability.

An alternative close by hotel is the IBIS Malhoa Hotel. You may reserve a room with the IBIS Hotel by following this link. The room rate for the IBIS Hotel is 59 Euros per night, for either single or double rooms. This room rate includes all taxes but not breakfast. Please note that the IBIS Hotel accepts reservations for at most five nights. For longer stays, it will be necessary to make two reservations.