[FOM] Fwd: SAT/SMT/AR Summer School 2018

Martin Davis martin at eipye.com
Thu Feb 15 13:32:06 EST 2018

---------- Forwarded message ----------
From: <geoff at cs.miami.edu>
Date: Thu, Feb 15, 2018 at 8:55 AM
Subject: SAT/SMT/AR Summer School 2018
To: davism at cs.nyu.edu

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 find novel uses in a wide variety of
applications, both in computer science and beyond.

The SAT/SMT/AR Summer School aims to bring a select group of students up to
speed quickly in this exciting research area. The school continues the
successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT
Schools and added AR in 2016. There will also be a special session on
algebra to continue the activity of the SC2 summer school in 2017.

Lecturers for this year's summer school have been announced on the school's
and detailed programme of topics will appear soon.

Applications can be made via the following form
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180215/39ca694d/attachment.html>

More information about the FOM mailing list