Interest in probabilistic programming languages has been greatly stimulated by inputs from machine learning, network programming languages and developments in verification of probabilistic systems.
The practice at these workshops has been to allow the speaker ample time to get to technical details. There should be lots of opportunities for extensive discussions; we will not cram the schedule with lots of short talks. The talks are given on primitive chalkboards. Please do not prepare slides for a data projector or plastic transparencies. There is a tentative schedule here. There will be a parallel workshop organized by Joel Ouaknine and James (Ben) Worrell.