[TYPES/announce] SAT/SMT/AR Summer School 2018

[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
http://ssa-school-2018.cs.manchester.ac.uk<http://ssa-school-2018.cs.manchester.ac.uk`/index.php/speakers/>
========================================

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 Summer
Schools and added AR in 2016. There will also be a special session on computer
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
website and detailed programme of topics will appear soon.

http://ssa-school-2018.cs.manchester.ac.uk/index.php/speakers/

Applications can be made via the following form

https://goo.gl/forms/e2hgn5GbnPROMTEK2

Registration is £100 for applicants before 1st April and may raise to £200 after this
date (subject to level of interest). Grants for registration fee reduction and to (partially)
cover accommodation costs are available and should be applied for with the above
form. Grants will be awarded based on need but those applying earlier (in particular,
before the 1st April) will be prioritised. Note that we have separate application and
registration phases and these dates apply to application rather than registration.

Important Dates
=============
Early Registration 1st April
Registration Closes 1st May
Summer School 3-6th July

Organisers
=============
Giles Reger<http://www.cs.man.ac.uk/~regerg/>, University of Manchester
Konstantin Korovin<http://www.cs.man.ac.uk/~korovink/>, University of Manchester
Andrew Reynolds<http://homepage.divms.uiowa.edu/~ajreynol/>, University of Iowa

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180315/bb6b8066/attachment.html>