SAT 2007 - Tenth
International Conference on
Conference ProceedingsThe SAT 2007 conference proceedings are available from Springer. The online version of the proceedings is also available from Springer.
Conference SlidesThe conference slides will be made available here.
Conference PhotosThe conference photos are available here.
Weather forecast for LisbonThe weather forecast for Lisbon over the next five days is available here.
Venue information availableInformation on the venue (including travel information in Lisbon) is available here.
Final program availableThe SAT 2007 conference program is available here.
List of accepted papers availableThe list of papers accepted to the SAT 2007 conference is available here.
Conference registration is now openThe conference registration site is now open available here.
Conference location and hotel Reservation formInformation on the SAT conference location is available here.
Information regarding hotel reservations is available here.
Traveling to Lisbon for the SAT ConferenceTAP Portugal TAP Portugal is offering a discount to the SAT 2007 participants.
Additional information is available here.
Conference sponsorsThe list of sponsors for the SAT 2007 conference has been updated.
JSAT special issuesJSAT 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 sponsorsThe list of sponsors for the SAT 2007 conference is available.
Submission deadline extendedThe 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.