[Hol-info] SAT/SMT/AR Summer School 2018

2018-03-15 Thread Giles Reger
[Apologise for cross-posting. Please forward to anybody you think may be interested] SAT/SMT/AR Summer School 2018 University of Manchester, 3-6th July

[Hol-info] SAT/SMT/AR Summer School 2018

2018-02-18 Thread geoff
SAT/SMT/AR Summer School 2018 We are pleased to announce that the next edition of the SAT/SMT/AR Summer School will take place in Manchester, UK on 3-6th July 2018. Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and