The Coq mailing list

[Natarajan Shankar <shankar AT csl.sri.com>]

  Ninth Summer School on Formal Techniques, May 18 - May 24, 2019
  Menlo College
  Atherton, California
  http://fm.csl.sri.com/SSFT19

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

* Peter Mueller, ETH Zurich Switzerland:
      Modular Program Verification
* Daniel Jackson, CSAIL MIT USA:
      A principled approach to software design
* Orna Grumberg, Technion Israel:
      Model Checking and its Applications
* Kwangkeun Yi, Seoul National University, S. Korea:
      Introduction to Static Analysis from an Abstract Interpretation 
Perspective
* Benjamin Gregoire, INRIA France:
      An overview of Easycrypt and how to prove concrete security of 
cryptographic primitives

The main lectures in the summer school will be preceded by a background
course on logic:
* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (SRI-CSL)
  Speaking Logic

The 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

Jay Bosamiya of CMU has blogged about the 2018 Summer School at
   https://www.jaybosamiya.com/blog/2018/05/31/ssft/

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 (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/SSFT19

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