[Caml-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018

[Caml-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018

[Natarajan Shankar]

  Eighth Summer School on Formal Techniques, May 19 - May 25, 2018
  Menlo College
  Atherton, California
  http://fm.csl.sri.com/SSFT18

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
sixth 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:

*  Emina Torlak (University of Washington)
   Solver-Aided Programming

*  Mooly Sagiv (Tel Aviv University)
   Modularity for Decidability: Implementing and Semi-Automatically
    Verifying Distributed Systems

*  Nikhil Swamy and Jonathan Protzenko (Microsoft Research)
   Programming and Proving in F* and Low*

*  Andreas Abel (Chalmers/Gothenburg University)
   Introduction to Dependent Types and Agda

*  Dirk Beyer (Ludwig Maximilian University, Munich, Germany)
   Software Model Checking

The main lectures in the summer school will be preceded by a two-day
background course on
logic:

* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole
Polytechnique)
  Speaking Logic

We will also have invited talks by
* Nina Narodytska (VMWare Research)
  Verifying Properties of Binarized Deep Neural Networks
* Gordon Plotkin (U. Edinburgh, UK)
  Some Principles of Differentiable Programming Languages Research Papers
* Edward A. Lee (UC Berkeley)
  Plato and the Nerd - The Creative Partnership of Humans and Technology


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

We expect to provide support for the travel and accommodation for a
limited number
of students registered at US universities, but welcome applications from
non-US
students as well as non-students (if space permits).  Non-US students
will have to
cover their own travel and will be charged around US$800 for meals and
lodging.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT18

Applicants are urged to submit their applications before April 30, 2018,
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.

[Caml-list] Tenth Summer School on Formal Techniques, May 16-22, 2020; First FMiTF Bootcamp, May 23-28, 2020, Atherton, California

[Natarajan Shankar]

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.