Theory and Applications of Satisfiability Testing
The submission and notification dates have been changed as follows:
Abstract Submission: February 1, 2010
Paper Submission: February 8, 2010
Author Notification: March 15, 2010
Final Version: April 5, 2010
The changes were necessary to synchronize with FLoC deadlines, we
apologize for any inconvenience caused.
Ofer Strichman
Stefan Szeider
(co-chairs of SAT 2010)
http://ie.technion.ac.il/SAT10/
http://www.floc-conference.org/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
