Monday, March 25, 2019

[DMANET] Registration at the SAT/SMT/AR Summer School is now open!


SAT / SMT / AR Summer School 2019

Lisbon, Portugal, 3 - 6 July 2019

Registration deadline: 31 May 2019, 23:59 AoE


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.

The SAT/SMT/AR summer school will precede SAT 2019
( and SMT 2019 (
taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL),
University of Lisbon, Portugal.

## Registration

Registration at the summer school is **free of charge** but *mandatory* for
all attendees. Registration deadline is **May 31, 2019**.

Please, take into consideration that the number of attendees is limited.
Register as soon you are sure to be able to attend the summer school.

Note that **scholarships** will be available for *PhD students from the US*,
thanks to the NSF support.

## More Information

More information about the summer school can be found at Any questions related to the
summer school may be addressed to the organizers

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.