caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Natarajan Shankar <shankar@csl.sri.com>
To: undisclosed-recipients: ;
Subject: [Caml-list] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California
Date: Wed, 26 Feb 2020 16:00:00 -0800	[thread overview]
Message-ID: <9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com> (raw)
In-Reply-To: <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com>

Tenth Summer School on Formal Techniques , May 16 - May 22, 2020 
(http://fm.csl.sri.com/SSFT20)
                                                     and
First Formal Methods in the Field (FMiTF) Bootcamp, May 23-28, 2020 
(http://fm.csl.sri.com/SSFT20/FMiTF.html)
Menlo College, Atherton, California


Techniques based on formal logic, such as model checking,
satisfiability, static analysis, and automated theorem proving, are
finding a broad range of applications in modeling, analysis,
verification, and synthesis. This school, the tenth in the series, will
focus on the principles and practice of formal techniques, with a
strong emphasis on the hands-on use and development of this
technology. It primarily targets graduate students and young
researchers who are interested in studying and using formal techniques
in their research. A prior background in formal methods is helpful but
not required. Participants at the school can expect to have a seriously
fun time experimenting with the tools and techniques presented in the
lectures during laboratory sessions.
=============================================================
The lecturers at the school include:

* Thomas Reps (University of Wisconsin)
   Algebraic Program Analysis: Automating Abstract Interpretation
* Pamela Zave (Princeton University)
   Specification, Implementation, and Verification of Network Properties
* J Strother Moore and Warren A. Hunt, Jr. (University of Texas)
   Proving Properties of Algorithms, Hardware, and Software with ACL2
* Jose Meseguer (University of Illinois at Urbana-Champaign)
   Executable Formal Specification and Verification in Maude

The main lectures in the summer school start on Monday May 18 and
  will be preceded by a background course on logic:
* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole 
Polytechnique)
   Speaking Logic
=============================================================
The summer school will be immediately followed by the
First Formal Methods in the Field (FMiTF) Bootcamp
May 23-28, 2020
Menlo College, Atherton, CA
http://fm.csl.sri.com/SSFT20/FMiTF.html

The first FMitF Bootcamp will cover two themes, "Building Verified JIT
Compilers" and "Formally verifying low-level programs in F*". The
exercises in the Bootcamp assume that the students have a working
knowledge of formal techniques. The main focus of the Bootcamp is on
applying this knowledge to some domain-specific challenge problems.

Lecturers

  *  Emina Torlak and Xi Wang (University of Washington)
     Building Verified JIT Compilers

  * Jonathan Protzenko and Nikhil Swamy (Microsoft Research)
    Formally verifying low-level programs in F*
=============================================================
The summer school also include several distinguished invited talks.
Information about previous Summer Schools on Formal Techniques can be 
found at
http://fm.csl.sri.com/SSFT11
http://fm.csl.sri.com/SSFT12
http://fm.csl.sri.com/SSFT13
http://fm.csl.sri.com/SSFT14
http://fm.csl.sri.com/SSFT15
http://fm.csl.sri.com/SSFT16
http://fm.csl.sri.com/SSFT17
http://fm.csl.sri.com/SSFT18
http://fm.csl.sri.com/SSFT19

Jay Bosamiya of CMU has blogged about the 2018 Summer School at
    https://www.jaybosamiya.com/blog/2018/05/31/ssft/
=======================================================================
You are welcome to register for one or both of the summer school and
the Bootcamp.  The target audience for both events is
first/second/third year graduate students in computer science.  We
expect to provide support for the travel and accommodation for (a
limited number of) students registered at US universities.  We welcome
applications from non-US students as well as non-students (who will be
admitted only if space permits).  Non-US students will have to cover
their own travel and will be charged around US$800 for the summer school
and $700 for the Bootcamp covering meals and lodging.  Applications 
should be
submitted at the website http://fm.csl.sri.com/SSFT20

Applicants are urged to submit their applications before April 30,
2020, since there are only a limited number of spaces available.
Non-US applicants requiring US visas are requested to apply early. We
strongly encourage the participation of women and under-represented
minorities in the summer school.

      parent reply	other threads:[~2020-02-27 19:44 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-01 17:05 [Caml-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018 Natarajan Shankar
     [not found] ` <0e5c7eb9-65d3-96fe-6ca9-4259841bf175@csl.sri.com>
2020-02-27  0:00   ` Natarajan Shankar [this message]

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=9eb14ee9-e10b-ccf6-b2b1-9b290df216c4@csl.sri.com \
    --to=shankar@csl.sri.com \
    /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;
as well as URLs for NNTP newsgroup(s).