Location: INR 113

Meeting of the following three research groups:

• LAMP, EPFL
• Programming Methodology, ETHZ
• LARA, EPFL

with selected talks open to public.

Opening talks:

• 10:15 Viktor Kuncak: overview
• 11:00 Peter Mueller: overview
• 11:45 Martin Odersky: Interactive Q&A Session

• 12:30 LUNCH

Possible talks for the afternoon (15-30min):

• Funcheck and z3 integration - Progress Report (Philippe Suter)
• ~ External Uniqueness Types (Philipp Haller)
• Non-Null Types (Hubert Plociniczak)
• Plans for effect system (Lukas Rytz)
• Proglab.NET status report (Miguel Garcia)
• Type annotations and data-flow analysis in Scala (Eva Darulova and Aleksandar Prokopec)

Discussion topics

• intermediate languages, architecture, project collaboration