21-26 May 2017
Atherton CA, U.S.A.
Seventh Summer School on Formal Techniques, May 21 - May 26, 2017,
Menlo College
Atherton, California
http://fm.csl.sri.com/SSFT17
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 will have a
seriously fun time experimenting with the tools and techniques presented in the
lectures during laboratory sessions.
The lecturers at the school include:
* Stephanie Delaune (IRISA France):
Verification of security protocols: from confidentiality to privacy
* Marijn Heule (University of Texas at Austin):
State-of-the-art SAT Solving
* K. Rustan M. Leino (Microsoft Research, Redmond WA):
Verified programs and proofs in Dafny
* Sam Blackshear (Facebook):
Building compositional static analyzers with Infer
* Ashish Tiwari (SRI International Computer Science Laboratory):
Formal Techniques for Analyzing Hybrid Systems
The main lectures in the summer school will be preceded by a background course on
logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique)
on "Speaking Logic". We will also have special invited talks presented by
* Paolo Mancosu, UC Berkeley
* Vaughan Pratt, Stanford
* Maria Paola Bonacina, Università degli Studi di Verona
Note: The school is preceded by the 9th NASA Formal Methods Symposium
(NFM) 2017 (https://ti.arc.nasa.gov/events/nfm-2017/) and the
associated sixth Automated Formal Methods (AFM) 2017
(http://fm.csl.sri.com/AFM17/) workshop. On May 20 there will be an
AFM tutorial day that students are encouraged to attend.
Information about previous Summer Schools on Formal Techniques can be found at
http://fm.csl.sri.com/SSFT16
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$600 for meals and lodging.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT17
Applicants are urged to submit their applications before April 30, 2017, 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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam