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/
*
**********************************************************
Posts
