SAT/SMT/AR Summer School 2016 http://logicrunch.it.uu.se:4096/wp International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning Mon, 05 Dec 2016 21:51:53 +0000 en-US hourly 1 http://wordpress.org/?v=3.6.1 Hello world! http://logicrunch.it.uu.se:4096/wp/2015/12/21/hello-world/ http://logicrunch.it.uu.se:4096/wp/2015/12/21/hello-world/#comments Mon, 21 Dec 2015 14:36:24 +0000 admin http://logicrunch.it.uu.se:4096/wp/?p=1 Welcome to WordPress. This is your first post. Edit or delete it, then start blogging!

]]> http://logicrunch.it.uu.se:4096/wp/2015/12/21/hello-world/feed/ 1