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

https://reason.di.fc.ul.pt/ssa-school-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
(http://sat2019.tecnico.ulisboa.pt/) and SMT 2019 (http://smt2019.galois.com/)
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
https://reason.di.fc.ul.pt/ssa-school-2019/. Any questions related to the
summer school may be addressed to the organizers
(ssa.school2019@gmail.com).


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************