<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div><span style="background-color: rgb(255, 255, 255); ">Fourth Summer School on Formal Techniques</span></div>
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">May 19 - May 23, 2014</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">Menlo College, Atherton, CA</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><a class="moz-txt-link-freetext" href="http://fm.csl.sri.com/SSFT14" style="background-color: rgb(255, 255, 255); ">http://fm.csl.sri.com/SSFT14</a><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">Techniques based on formal logic, such as model checking,</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">satisfiability, static analysis, and automated theorem proving, are</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">finding a broad range of applications in modeling, analysis,</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">verification, and synthesis. This school, the fourth in the series,</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">will focus on the principles and practice of formal techniques, with a</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">strong emphasis on the hands-on use and development of this</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">technology. It primarily targets graduate students and young</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">researchers who are interested in developing and using formal</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">techniques in their research. A prior background in formal methods</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">is helpful but not required. Participants at the school will have a</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">seriously fun time experimenting with the tools and techniques</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">presented in the lectures during laboratory sessions.</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">The lecturers at the school include:</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Nikolaj Bjorner (MSR Redmond): Software verification with SMT.</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Veronique Cortier (LORIA, France): Formal analysis of security protocols:</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); "> Models, Techniques, and Tools</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Gerard Holzmann (JPL/Caltech): Verifying Safety Critical Code</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Gerwin Klein (NICTA Australia): Programming language semantics in Isabelle</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Marta Kwiatkowska (University of Oxford): Probabilistic model checking with PRISM</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">* Natarajan Shankar (SRI CSL): Speaking Logic</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); ">Invited speakers at the school include:</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); ">Dana Scott (CMU): Lambda Calculus: History, Models, Future</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); ">Emina Torlak (UC Berkeley): Programming for Everyone: From Solvers to Solver-Aided Languages</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "> and Beyond</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">We have NSF funding to support travel and accommodation for students</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">from US universities, but welcome applications from non-US students as</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">well. Non-US students will be charged around $500 for meals and lodging.</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">Women and under-represented minorities are specially encouraged to</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">apply. Applications should be submitted at</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><a class="moz-txt-link-freetext" href="http://fm.csl.sri.com/SSFT14" style="background-color: rgb(255, 255, 255); ">http://fm.csl.sri.com/SSFT14</a><br style="background-color: rgb(255, 255, 255); ">
<br>
<span style="background-color: rgb(255, 255, 255); "></span><span style="background-color: rgb(255, 255, 255); ">Information about the first three Summer Schools on Formal Techniques can be found at</span><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><a class="moz-txt-link-freetext" href="http://fm.csl.sri.com/SSFT11" style="background-color: rgb(255, 255, 255); ">http://fm.csl.sri.com/SSFT11</a><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><a class="moz-txt-link-freetext" href="http://fm.csl.sri.com/SSFT12" style="background-color: rgb(255, 255, 255); ">http://fm.csl.sri.com/SSFT12</a><br style="background-color: rgb(255, 255, 255); ">
<span style="background-color: rgb(255, 255, 255); "></span><a class="moz-txt-link-freetext" href="http://fm.csl.sri.com/SSFT13" style="background-color: rgb(255, 255, 255); ">http://fm.csl.sri.com/SSFT13</a>
</body>
</html>