SAT 2017 conference registration

In stock

Required Fields

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

More Information
Contact Name Guido Tack
Contact Email
Contact Phone +61 (3) 9903 1214