[FM-India] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019

Madhavan Mukund madhavan at cmi.ac.in
Tue Feb 12 13:19:42 IST 2019

----- Forwarded message -----

Date: Mon, 11 Feb 2019 23:36:15 -0800
From: Natarajan Shankar <shankar at csl.sri.com>
To: undisclosed-recipients: ;
Subject: Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019

  Ninth Summer School on Formal Techniques, May 18 - May 24, 2019
  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 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
* 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

Jay Bosamiya of CMU has blogged about the 2018 Summer School at

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.

----- End forwarded message -----

More information about the FMIndia mailing list