ETAPS DAILY 4 April 2016 ETAPS DAILY Monday | The first main conferences day | Reception | Edsger W. Dijkstra

Main Conferences The conferences start Time Table

830 - 900 : opening The first day of the main ETAPS conferences will be opened 900 -1000 : invited talk by Joost-Pieter Katoen followed by the first plenary speaker, Andrew D. Gordon. 1000 -1030 : coffee break

1030 -1230: parallel sessions Title: Structure and Interpretation of Probabilistic Programs Abstract: Probabilistic programming is a technique for 1230-1400: lunch solving statistical inference and machine learning problems by writing short pieces of code to model data. We survey the area 1400-1600 : parallel sessions and describe recent advances in semantic interpretation. Probabilistic programs exhibit structures that include 1600-1630: coffee break hierarchies of random variables corresponding to the data 1630-1800: parallel sessions schema, recurring modelling patterns, and also the classical Bayesian distinction between prior and likelihood. We exploit 1900-2230: reception this structure in language designs that yield data insights with only a modicum of user input.

1 ETAPS DAILY 4 April 2016

Reception at Kazerne

Kazerne is a cultural organization oriented towards creative innovation in all its activities and at an international level. But Kazerne has ambitions to be more than just an international design hotspot where everything is shiny and new. It has its roots in the belief that creativity has an essential role to play in shaping the future of society. Edsger Wybe Dijkstra

Edsger Wybe Dijkstra (11 May 1930 - 6 August 2002) was one of the most influential persons in the history of the Dutch computer science. Dijkstra received the ACM Turing Award in 1972 for his contributions in the area of programming languages. A lot of terms which are commonly used nowadays, are pioneered by Dijkstra. Examples are: semaphores, Banker’s algorithm and Dijkstra’s shortest path algorithm. Dijkstra was also a professor at the Technical University of Eindhoven. Thanks to our sponsor: ASML

How do you reposition a wafer, nanometer accurately, every 50 μs?

Join ASML as a Software Engineer to find out.

We bring together the most creative minds to develop lithography machines that are key to producing cheaper, faster, more energy-ef!cient microchips. That’s how we developed a revolutionary wafer-repositioning system. We used an extremely diverse set of software tools - harnessed by an equally diverse and talented team of Software Engineers.

If you are a team player, passionate about solving complex problems, and enjoy working in a dynamic environment, you’ll !nd working at ASML a highly rewarding experience. You will have the freedom to experiment in a culture that will let you get things done.

www.asml.com/careers

/ASML @ASMLcompany

2