[FM-India] First School on Foundations of Programming and Software systems -- Probabilistic programming

Madhavan Mukund madhavan at cmi.ac.in
Tue Jan 10 18:57:23 IST 2017

----- Forwarded message from Renato Neves <nevrenato at gmail.com> -----

Date: Tue, 10 Jan 2017 13:14:44 +0000
From: Renato Neves <nevrenato at gmail.com>
To: madhavan at cmi.ac.in
Subject: 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. 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.

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

If you have any queries feel free to contact the organisers.

Best wishes,

Luis Barbosa
Gilles Barthe
Joost-Pieter Katoen
Renato Neves 
Alexandra Silva

----- End forwarded message -----

More information about the FMIndia mailing list