From: geoff@cs.miami.edu
To: <caml-list@inria.fr>
Subject: [Caml-list] SAT/SMT/AR summer school: registration and financial support
Date: Thu, 7 May 2026 11:06:54 -0400 [thread overview]
Message-ID: <20260507150655.01796A0176F@armistead.ccs.miami.edu> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 894 bytes --]
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, 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 summer school will take place from Monday the 13th to Thursday the 17th of
July. It will precede the many workshops and conferences of FLoC 2026.
Registration is possible as part of the FLoC registration:
https://www.floc26.org/registration
Note that early registration for the summer school closes on June 1st.
Limited financial support is available for students. To be considered, please
fill out this additional short form by **May 13th**. We apologise for the
short notice.
https://forms.gle/aXtyrcPjMBdyvFWY7
Mikoláš, Filipe, Michael (organisers)
reply other threads:[~2026-05-07 15:24 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260507150655.01796A0176F@armistead.ccs.miami.edu \
--to=geoff@cs.miami.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox