[PRL] Fwd: Sixth Summer School on Formal Techniques May 22-27, 2016, Atherton California

[Pete Manolios]

Mitesh went to this in a previous year. Talk to him if you're thinking
about attending.

---------- Forwarded message ----------
From: Natarajan Shankar <shankar at csl.sri.com>
Date: Sun, Apr 10, 2016 at 10:15 AM
Subject: Sixth Summer School on Formal Techniques May 22-27, 2016, Atherton
California



Please circulate the attached announcement for the Sixth Summer School on
Formal Techniques among
your students and colleagues.
===============================================================
  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.



-- 
Pete Manolios
Professor of Computer and Information Science
Northeastern University
http://www.ccs.neu.edu/home/pete
-------------- next part --------------
HTML attachment scrubbed and removed