SAT 2017 conference registration
The 20th International Conference on Theory and Applications of Satisfiability Testing will take place in Melbourne, Australia alongside CP 2017 and ICLP 2017 from August 28th to September 1st, 2017.
Workshop registration includes coffee breaks. Conference+workshop registration includes coffee breaks, reception, banquet and social program, and access to all sessions of the co-located CP and ICLP conferences.
Prices include GST
Melbourne Convention Centre, 1 Convention Centre Place, South Wharf, Victoria, Australia
|Contact Name||Guido Tack|
|Contact Phone||+61 (3) 9903 1214|