<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
SAT/SMT/AR 2024: International Summer School on Satisfiability,
Satisfiability Modulo Theories, and Automated Reasoning<br>
<a class="moz-txt-link-freetext" href="https://sat-smt-ar-school.gitlab.io/www/2024/index.html">https://sat-smt-ar-school.gitlab.io/www/2024/index.html</a><br>
June 26-29, 2024, Nancy, France<br>
<br>
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 2022.<br>
<br>
We are pleased to announce that the next edition of the SAT/SMT/AR
Summer School will take place in Nancy, France from June 26 to June
29, 2024. The lectures planned this year are detailed on the website
and include a mix of basic and advanced theory as well as practical
sessions.<br>
<br>
The school is intended for PhD students, Master students, and
industrial practitioners who want to get a good understanding of
capabilities and current research directions in the area of SAT,
SMT, and Automated Reasoning. Prior knowledge in those areas is not
required, but knowledge of logic, general problem solving skills,
good programming and math skills are helpful.<br>
<br>
As the number of participants is limited, all prospective
participants will have to <b>apply by filling this form</b>:<br>
<br>
<a class="moz-txt-link-freetext" href="https://sondages.inria.fr/index.php/171451?lang=en">https://sondages.inria.fr/index.php/171451?lang=en</a><br>
<br>
including:<br>
<br>
- a short CV (at most 3 pages, including publications, if any),<br>
- a letter of motivation written by the applicant (1 page),<br>
- for students, the name of a supervisor from which to ask a
supporting email (1 paragraph).<br>
<br>
The letter should explain the motivation for attending the Summer
School. Based on the application letters approximately 50
participants will be chosen from all qualified applicants. Admitted
participants will then be provided a link for registration. The
registration cost is not yet fixed. In the worst case it will be
200€, but depending on pending sponsors we hope it will be under
100€. Students that need travel support may indicate so in the
application form. Students that have a paper accepted at IJCAR and
plan to attend the conference are encouraged to apply for the Woody
Bledsoe award (<a class="moz-txt-link-freetext" href="https://cadeinc.org/WoodyBledsoeAward">https://cadeinc.org/WoodyBledsoeAward</a>). Information
on how to apply will be available in due time on the IJCAR 2024
webpage ( <a class="moz-txt-link-freetext" href="https://merz.gitlabpages.inria.fr/2024-ijcar/">https://merz.gitlabpages.inria.fr/2024-ijcar/</a> ).<br>
<br>
Applications to the SAT/SMT/AR Summer School <b>close on the 10th
of May</b>. For more information, see the webpage:
<a class="moz-txt-link-freetext" href="https://sat-smt-ar-school.gitlab.io/www/2024/index.html">https://sat-smt-ar-school.gitlab.io/www/2024/index.html</a><br>
<br>
</body>
</html>