LASER 2012: Summer School on Innovative Languages for Software Engineeringlaser.inf.ethz.ch1 pointnadia_p14 years ago