---------- Forwarded message ----------
Dear all,
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:
http://probprogschool2017.di.uminho.pt/
Organisers: Luis Barbosa, Gilles Barthe, Joost-Pieter Katoen, Renato
Neves, Alexandra Silva
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li0G18XGTtCZz%2BdYH%2BP-%3DgEfP%3D388SgqjE29ZfPzyGiLg%40mail.gmail.com.
