[SMT-LIB] Fwd: Summer school on formal methods and networks

[Clark Barrett]

May be of interest to those on this list...
---------- Forwarded message ----------

We are pleased to announce a new event: a summer school on applications of
formal methods to networking. The school will be held in Ithaca, NY this
June and will consist of lectures by a number of leading researchers on
techniques and tools for specifying and verifying the behavior of networks.
See below for further details.

--

             Summer School on Formal Methods and Networks
         http://www.cs.cornell.edu/conferences/formalnetworks
                           June 10-14, 2013
                          Cornell University
                           Ithaca, NY, USA

INTRODUCTION

In many areas of computing, techniques ranging from testing to formal
modeling to full-blown verification have been successfully used to help
programmers create reliable systems. For example, in processor development,
automated theorem proving uncovers deep bugs in designs before they become
costly errors in silicon; avionics developers use program analysis to
verify critical safety properties of the embedded software running on
airplanes; and operating system vendors have successfully used model
checking to eliminate entire classes of bugs in device drivers. But, until
recently, networks have largely resisted analysis using formal techniques.

The goal of this summer school is to bring together leading researchers and
graduate students to study recent research results on applying formal
methods to networks. The curriculum will consist of a series of lectures on
topics from theoretical frameworks for modeling network behavior to
practical techniques and tools. The lectures will be designed to be
accessible to a general computer science audience and will not assume
advanced knowledge of formal methods or networks.

SPEAKERS

Nikolaj Bjorner (Microsoft Research)
Satisfiability Modulo Theories Solving for Network Verification

Brighten Godfrey (University of Illinois at Urbana-Champaign) Verifying
Networks in Real Time

Timothy Griffin (University of Cambridge) Partial Automation in the Design
and Implementation of Path-finding Algorithms

Arjun Guha (University of Massachusetts Amherst) Network Programming With
Frenetic

Shriram Krishnamurthi (Brown University) Modeling and Reasoning about
Network Components

Ratul Mahajan (Microsoft Research)
Systematically Exploring the Behavior of Control Programs

Nick McKeown and Peyman Kazemian (Stanford University) Network Verification
Using Header Space Analysis

Pamela Zave (AT&T Research)
Compositional Abstractions of Network Architectures

REGISTRATION

Information coming soon...

SUPPORT

Generous support for the summer school is provided by the National Science
Foundation under grants CNS-1111698 and CNS-1111520. To encourage broad
participation, registration fees will be kept low, and we expect to be able
to offer a number of student travel scholarships.

ORGANIZERS

Nate Foster (Cornell University)
Jennifer Rexford (Princeton University)
David Walker (Princeton University)