[Om] [fm-announcements] Fourth Summer School on Formal Techniques

Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)] neha.s.rungta at nasa.gov
Fri May 2 06:27:08 CEST 2014

Fourth Summer School on Formal Techniques
May 19 - May 23, 2014
Menlo College, Atherton, CA

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.

The lecturers at the school include:
* Nikolaj Bjorner (MSR Redmond): Software verification with SMT.
* Veronique Cortier (LORIA, France): Formal analysis of security protocols:
                                        Models, Techniques, and Tools
* Gerard Holzmann (JPL/Caltech): Verifying Safety Critical Code
* Gerwin Klein (NICTA Australia): Programming language semantics in Isabelle
* Marta Kwiatkowska (University of Oxford): Probabilistic model checking with PRISM
* Natarajan Shankar (SRI CSL): Speaking Logic

Invited speakers at the school include:
Dana Scott (CMU):  Lambda Calculus: History, Models, Future
Emina Torlak (UC Berkeley): Programming for Everyone:  From Solvers to Solver-Aided Languages
                                            and Beyond

We have NSF funding to support travel and accommodation for students
from US universities, but welcome applications from non-US students as
well.  Non-US students will be charged around $500 for meals and lodging.
Women and under-represented minorities are specially encouraged to
apply.  Applications should be submitted at

Information about the first three Summer Schools on Formal Techniques can be found at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20140502/5c7bf3a8/attachment.html>
-------------- next part --------------
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov 

More information about the Om mailing list