[TYPES/announce] Call for participation: ExCAPE 2013 Summer School on Software Synthesis

Stephan Zdancewic stevez at cis.upenn.edu
Fri Feb 1 17:11:22 EST 2013

Call for Participation

First ExCAPE Summer School on
Software Synthesis

June 12-15, 2013
University of California, Berkeley

Program synthesis aims to change programming from a purely manual task
to one in which a programmer and an automated program synthesis tool
collaborate to generate software that meets its specification. As
such, it has the potential to revolutionize computing by allowing
developers to create programs from incomplete sketches, declarative
specifications of high-level requirements, positive and negative
examples, or domain-specific optimization criteria.

The goal of the school is to expose graduate students and junior
researchers to new ideas in program synthesis. The school provides a
unique opportunity for students to engage with cutting-edge research
in courses taught by experts in the field. Topics will be drawn from
theoretical foundations (computer-aided verification, control theory,
program analysis), design methodology (human-computer interaction,
model-based design, programming environments), and applications
(concurrent programming, network protocols, robotics, system

Format: Each of three tutorial areas will be covered in three hours of
lectures, plus additional hands on sessions on tools and problem
solving. The tutorials will be complemented by several invited
lectures on theory and applications of synthesis.

* Ras Bodik and Emina Torlak (UC Berkeley):
Synthesizing programs with constraint solvers

* Paulo Tabuada (UCLA):
Synthesis for cyber-physical systems

* Moshe Vardi (Rice):
Reactive synthesis

Speakers: (partial list)

1. Rajeev Alur (U. Penn): Specifying protocols using concolic snippets

2. Sumit Gulwani (Microsoft Research): Synthesis for online education

3. Stéphane Lafortune (U. Michigan): Synthesis for discrete event
systems: A case study

4. Richard Murray (Caltech): Synthesis for embedded control software

5. Sanjit Seshia (UC Berkeley): Integrating induction, deduction, and
structure for synthesis

6. Armando Solar-Lezama (MIT): Synthesis via numerical optimizations

7. Stavros Tripakis (UC Berkeley): Bridging the gap between reactive
synthesis and supervisory control

8. Gera Weiss (Ben Gurion U.): Behavioral programming


The school will be held on the campus of the University of California,

Ras Bodik (Berkeley)
Stéphane Lafortune (University of Michigan)
Steve Zdancewic (University of Pennsylvania)

Registration: Registration information is available from the summer
school’s web page at:

Registration is free and includes lunch and coffee breaks. Limited and
need-based financial assistance to cover travel/lodging costs is
available. Please contact Liz Ng (wng at cis.upenn.edu) with questions
regarding the logistics.

More information about the Types-announce mailing list