Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19-23 May 2014, 4th Summer School on Formal Techniques (SSFT14), Atherton CA, U.S.A.

Date: 19-23 May 2014
Location: Atherton CA, U.S.A.

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 fourth 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 developing 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.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are urged to apply early. For more information, see http://fm.csl.sri.com/SSFT14

Please note that this newsitem has been archived, and may contain outdated information or links.