18-24 May 2019
Atherton CA, U.S.A.
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 (Ecole Polytechnique) 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. -- [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