[SMT-LIB] Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton

Natarajan Shankar shankar at csl.sri.com
Tue Apr 5 08:58:19 EDT 2016


   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.


More information about the SMT-LIB mailing list