[TYPES/announce] Logic and Probabilistic Programming 2022 - Call for Participation

[Ugo Dal Lago]

 Call for Participation

                   LOGIC AND PROBABILISTIC PROGRAMMING
                               as Part of 
	               LOGIC AND INTERACTIONS 2022

                    January 31, 2022 to February 4, 2022 
                       CIRM, Luminy, Marseille, France

                https://urldefense.com/v3/__https://conferences.cirm-math.fr/2686.html__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh2-aGNIuQ$ 

Participation is free, and we expect to fund the accommodation of all
participants requiring it, as well as providing a limited number of travel
grants. See the "Funding" section below.

Please pre-register early if you are interested in attending, as this will
help us organize the event in the best conditions. A first round of travel 
grants will be attributed at the end of October.

If you have any question regarding the event, feel free to email the
organizers: li2022 at listes.math.cnrs.fr .

Description
===========

Probabilities play an increasing role in computer science. Important 
deterministically-intractable problems admit feasible approximate probabilistic 
solutions. Randomized algorithms are essential in distributed computing and 
numerical computing (Monte Carlo methods), not to mention the role of 
probabilistic methods in deep learning (stochastic gradient). Linear logic 
shows quite useful in this setting because some of the most basic notions of 
probability theory are linear: Markov chains or kernels, Bayesian networks etc.

The general purpose of this week is not only to present the state of the art on 
the applications of proof theory, category theory and denotational semantics 
to the analysis of probabilistic programs and to the foundation of probabilistic 
formal methods for program and system verification, but also to stress the 
specificities of Bayesian programming and machine learning, in which programs 
represent statistical models.

The program of the week is designed for conveying to the non-specialist a 
coherent picture of this exciting and very active research area.

Tutorial Speakers
=================

Semantics and Probabilistic Programming

  Raphaëlle Crubillé (https://urldefense.com/v3/__http://research.crubille.lautre.net/index.htm__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0i725WRw$ ), CNRS, Marseille
  Ohad Kammar (https://urldefense.com/v3/__http://denotational.co.uk/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1szhUz5A$ ), The University of Edinburgh

Bayesian and Differentiable Programming Languages 

   Brooks Paige (https://urldefense.com/v3/__https://tbrx.github.io/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh31sdfDmg$ ) , University College London
   Matthijs Vákár (https://urldefense.com/v3/__https://www.uu.nl/medewerkers/MILVakar__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0NJpK1vQ$ ) Utrecht University, 

Verification of Probabilistic Systems 

   Marta Kwiatkowska (https://urldefense.com/v3/__https://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh246rDrwQ$ ), 
        University of Oxford

Invited Speakers
================

Claudia Faggian (https://urldefense.com/v3/__https://www.irif.fr/*5C*faggian/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh3slJuXxQ$ ), CNRS, Paris
Cameron Freer (https://urldefense.com/v3/__https://cfreer.org/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh3aExm0yg$ ), MIT 
Marco Gaboardi (https://urldefense.com/v3/__https://cs-people.bu.edu/gaboardi/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1h1VCGPw$ ), Boston University
Annabelle McIver (https://urldefense.com/v3/__https://researchers.mq.edu.au/en/persons/annabelle-mciver__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1s4jzJew$ ), 
        Macquarie University
Joost-Pieter Katoen (https://urldefense.com/v3/__https://www-i2.informatik.rwth-aachen.de/*5C*katoen/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1GffCmWQ$ ), 
        Aachen University
Prakash Panangaden (https://urldefense.com/v3/__https://www.cs.mcgill.ca/*5C*prakash/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0JcEKQ_A$ ), McGill University
Jane Hilston (https://urldefense.com/v3/__https://homepages.inf.ed.ac.uk/jeh/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0p7NtgTQ$ ), University of Edinburgh
Alexandra Silva (https://urldefense.com/v3/__https://alexandrasilva.org/*/main.html__;Iw!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1m-mff9g$ ), Cornell University
Michele Pagani (https://urldefense.com/v3/__https://www.irif.fr/*michele/__;fg!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1aBkZSOQ$ ), Université de Paris


Funding
=======

We plan to fund the accommodation of any participant, within the limits of
the capacity of the CIRM and of our budget. If you have available funding,
allowing you to pay for your own accommodation, please let us know 
nonetheless: this will allow us to allocate more of our own funding to other 
participants.

The details of your accommodation will be managed by the CIRM.

We also plan to offer a limited number of travel grants, mainly targeted at
young researchers (master or PhD students, postdocs): you can apply for such a
grant in the pre-registration form.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20211024/224bf4e5/attachment-0001.htm>