[TYPES/announce] ExCAPE Summer School on Software Synthesis - call for participation

[Steve Zdancewic]

Call for Participation


Second ExCAPE Summer School on

Software Synthesis


June 23-26, 2015

MIT, Cambridge, USA

https://excape.cis.upenn.edu/summer-school.html


ExCAPE (Expeditions in Computer Augmented Program Engineering) is 
pleased to announce that its Second Summer School on Software Synthesis 
will be held at MIT, June 23-26, 2015.


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 (reactive synthesis, inductive learning, 
probabilistic programming), design methodology (syntax-guided 
synthesis), and applications (software-defined networks, robotics).


Format:18 one-hour lectures over four days, with a group excursion on 
the afternoon of day 3. These lectures will be organized in tutorials 
with hands on sessions on tools and problem solving, supplemented by 
invited lectures on theory and applications of synthesis.


Tutorials: (2 to 4 hours each)

  *

    Reactive synthesis: Roderick Bloem (Graz)

  *

    Inductive learning and constraint solving: Sanjit Seshia (UC Berkeley)

  *

    Syntax-Guided Synthesis (SyGuS): Armando Solar-Lezama (MIT)

  *

    Probabilistic programming: Vikash K. Mansinghka (MIT)

  *

    Synthesis for robotics (speaker TBA)


Speakers:

  *

    Viktor Kuncak (EPFL)

  *

    Ashish Tiwari (SRI)

  *

    Martin Vechev (ETH)

  *

    David Walker (Princeton)

  *

    Keith Winstein (Stanford)


Venue:

The school will be held on the campus of MIT, Cambridge, USA.


Organizers:

Armando Solar-Lezama (MIT)

Stéphane Lafortune (University of Michigan)

Steve Zdancewic (University of Pennsylvania)


Registration:

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

https://excape.cis.upenn.edu/summer-school.html


Registration is free and will include lunches and coffee breaks. 
Participants will assume their transportation and lodging expenses. 
Limited need-based financial assistance to cover attendance costs is 
available to student enrollees.


Capacity is limited, so early registration is encouraged.


Lodging:

Dorm-style lodging will be available for the event through MIT housing. 
More information about this option will be posted in mid March.


ExCAPE:

The first ExCAPE Summer School on Software Synthesis was held at UC 
Berkeley in June 2013 and attracted about 90 participants from 12 
countries.


The ExCAPE project is sponsored by the National Science Foundation.  For 
more information, see: https://excape.cis.upenn.edu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150221/ed9ffafe/attachment-0001.html>