SAT 2004

The Seventh International Conference on
Theory and Applications of Satisfiability Testing

10-13 May 2004
Vancouver, BC, Canada

2004/09/17 Decision on the submissions to the SAT 2004 LNCS volume are almost finalised; we are waiting for a very small number of missing reviews and expect to send out notifications early next week.
2004/08/23 Unfortunately, the decision on submissions to the SAT 2004 LNCS volume is still pending. The process is substantially delayed because we are still waiting for about 1/3 of the reviews. We have sent another reminder to reviewers and will contact authors as soon as acceptance decisions have been made.
2004/05/16 SAT 2004 is over - thanks to everyone for making this event as successful as it was! The conference programme, including all last-minute changes and links to electronic versions of all papers, can be found here. Also, we invite you to check out some photos from the conference. Information on the post-conference proceedings will be posted within the next 10 days.
2004/05/11 Some photos from the conference have been posted
2004/05/07 Online registration is now closed. (Unfortunately, we cannot offer onsite registration for SAT 2004.)
2004/05/06 Full programme / pamphlet is now available here
2004/05/05 Travel information to the hotel has been provided here
2004/05/03 Conference "at a glance" is available here (html) and here (pdf)
2004/04/22 The preliminary conference programme (subject to change!) is now available here; a nicely formatted version will follow shortly.
2004/04/10 Authors' permissions and release ("copyright") forms are now available here; the contact author for every paper needs to fill out this form and fax it to us at +1 604 268-6657 by Wednesday, 21 April.
2004/03/22 The list of accepted papers is now available from the "Programme" section below. Early registration ends on 24 March 2004 - make sure to register and book your hotel room now to take advantage of substantially reduced rates!
2004/03/18 Further hotel information is now available in the "Registration" section below.
2004/03/14 There are some glitches with the hotel online reservation. To use the hotel online reservation, your browser needs to have Javascript enabled. Furthermore, to get the conference rate, you need to use the group code sfusfua (apparently the reservation code given on our registration page, SFUO, works only for phone reservations!). This should give you a room rate of 150 CAD (instead of the online rate of 239 CAD for the conference dates) - this is an excellent rate considering that it's Canadian dollars and Vancouver in May.
2004/03/10 Registration is now open. The deadline for early registration is 24 March 2004
2004/03/01 Program Committee page had been updated
2004.02.21 Paper / poster submission date has passed.
SAT Solver and Benchmark Submission extended to Feb 26.
2004.02.11 Paper / poster submission is ready (see below)
Late paper / poster registration is still available
2004.02.05 Paper / poster registration is now available online
2004.02.04 SAT04 competition registration (see submission page):
  ●  Solver pre-registration
  ●  Benchmark pre-registration
2004.02.01 Submission deadlines extended (see below)