[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