First School on Foundations of Programming and Software systems — Probabilistic Programming

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems (FoPPS). The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic Programming. It will take place in Braga, Portugal, May 29th – June 4th 2017.  Registration: March 31, 2017 (early) and May 20, 2017 (late).
Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security.
The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy,  and security. The school will have lectures by Andy Gordon,  Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov.
For more information please check the school webpage
Organisers: Luis Barbosa, Gilles Barthe, Joost-Pieter Katoen, Renato Neves, Alexandra Silva