22-27 May 2016
Atherton CA, U.S.A.
Sixth Summer School on Formal Techniques, May 22 - May 27, 2016, Menlo College Atherton, California http://fm.csl.sri.com/SSFT16 Lecturers: Carolyn Talcott (SRI): Pathway Logic: Using Formal Techniques to Understand How Cells Work Jean-Christophe Filliatre (LRI Paris): An Introduction to Deductive Program Verification Alessandro Cimatti (FBK Trento): Advanced model checking for verification and safety assessment Clark Barrett (NYU/Stanford): Satisfiability Modulo Theories Sam Owre (SRI) and Natarajan Shankar (SRI): Specification, Verification, and Interactive Proof Invited Speakers: Sol Feferman (Stanford): A logical framework for mathematical practice Maria Paola Bonacina (Universita degli Studi di Verona): Ordering-based strategies for theorem proving Cindy Rubio Gonzalez (University of California, Davis): Floating-Point Precision Tuning Using Blame Analysis 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 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". ================================================================== 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 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/SSFT16 Applicants are urged to submit their applications before April 30, 2016, 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