[PRL] Fwd: [MIT-PL] ExCAPE Summer School on Software Synthesis - call for participation

Mitchell Wand wand at ccs.neu.edu
Mon Apr 27 11:17:44 EDT 2015


Free!

---------- Forwarded message ----------
From: Armando Solar-Lezama <asolar at csail.mit.edu>
Date: Mon, Apr 27, 2015 at 11:15 AM
Subject: [MIT-PL] ExCAPE Summer School on Software Synthesis - call for
participation
To: pl at lists.csail.mit.edu


 For those of you who are here for the summer, we are hosting a summer
school on software synthesis which should be interesting.

  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.


_______________________________________________
Pl mailing list
Pl at lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/pl
http://projects.csail.mit.edu/pl
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the PRL mailing list