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

May 28 - 31 2007, Lisbon, Portugal

News

Conference Proceedings

The SAT 2007 conference proceedings are available from Springer. The online version of the proceedings is also available from Springer.

Conference Slides

The conference slides will be made available here.

Conference Photos

The conference photos are available here.

Weather forecast for Lisbon

The weather forecast for Lisbon over the next five days is available here.

Venue information available

Information on the venue (including travel information in Lisbon) is available here.

Final program available

The SAT 2007 conference program is available here.

List of accepted papers available

The list of papers accepted to the SAT 2007 conference is available here.

Conference registration is now open

The conference registration site is now open available here.

Conference location and hotel Reservation form

Information on the SAT conference location is available here.
Information regarding hotel reservations is available here.

Traveling to Lisbon for the SAT Conference

TAP Portugal TAP Portugal is offering a discount to the SAT 2007 participants.
Additional information is available here.

Conference sponsors

The list of sponsors for the SAT 2007 conference has been updated.

JSAT special issues

JSAT will be organizing two special issues associated with the SAT conference. One special issue on selected papers from the SAT 2007 conference, and another special issue on the competitions and evaluations. Additional information is available here.

Conference sponsors

The list of sponsors for the SAT 2007 conference is available.

Submission deadline extended

The paper submission deadline has been extended. The deadline for submitting abstracts is Sunday 21, 23:59 GMT. The deadline for submitting the papers is Thursday 25, 23:59 GMT. Submissions must be done via EasyChair.