<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><font face="Courier" class=""> Call for Participation</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> LOGIC AND PROBABILISTIC PROGRAMMING</font></div><div class=""><font face="Courier" class=""> as Part of </font></div><div class=""><font face="Courier" class=""><span class="Apple-tab-span" style="white-space:pre"> </span> LOGIC AND INTERACTIONS 2022</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> January 31, 2022 to February 4, 2022 </font></div><div class=""><font face="Courier" class=""> CIRM, Luminy, Marseille, France</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> <a href="https://urldefense.com/v3/__https://conferences.cirm-math.fr/2686.html__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh2-aGNIuQ$" class="">https://conferences.cirm-math.fr/2686.html</a></font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Participation is free, and we expect to fund the accommodation of all</font></div><div class=""><font face="Courier" class="">participants requiring it, as well as providing a limited number of travel</font></div><div class=""><font face="Courier" class="">grants. See the "Funding" section below.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Please pre-register early if you are interested in attending, as this will</font></div><div class=""><font face="Courier" class="">help us organize the event in the best conditions</font><span style="font-family: Courier;" class="">. A first round of travel </span></div><div class=""><span style="font-family: Courier;" class="">grants will be attributed at the end of October.</span></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">If you have any question regarding the event, feel free to email the</font></div><div class=""><font face="Courier" class="">organizers: <a href="mailto:li2022@listes.math.cnrs.fr" class="">li2022@listes.math.cnrs.fr</a> .</font></div><div class=""><br class=""></div><div class=""><font face="Courier" class="">Description</font></div><div class=""><font face="Courier" class="">===========</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Probabilities play an increasing role in computer science. Important </font></div><div class=""><font face="Courier" class="">deterministically-intractable problems admit feasible approximate probabilistic </font></div><div class=""><font face="Courier" class="">solutions. Randomized algorithms are essential in distributed computing and </font></div><div class=""><font face="Courier" class="">numerical computing (Monte Carlo methods), not to mention the role of </font></div><div class=""><font face="Courier" class="">probabilistic methods in deep learning (stochastic gradient). Linear logic </font></div><div class=""><font face="Courier" class="">shows quite useful in this setting because some of the most basic notions of </font></div><div class=""><font face="Courier" class="">probability theory are linear: Markov chains or kernels, Bayesian networks etc.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">The general purpose of this week is not only to present the state of the art on </font></div><div class=""><font face="Courier" class="">the applications of proof theory, category theory and denotational semantics </font></div><div class=""><font face="Courier" class="">to the analysis of probabilistic programs and to the foundation of probabilistic </font></div><div class=""><font face="Courier" class="">formal methods for program and system verification, but also to stress the </font></div><div class=""><font face="Courier" class="">specificities of Bayesian programming and machine learning, in which programs </font></div><div class=""><font face="Courier" class="">represent statistical models.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">The program of the week is designed for conveying to the non-specialist a </font></div><div class=""><font face="Courier" class="">coherent picture of this exciting and very active research area.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Tutorial Speakers</font></div><div class=""><font face="Courier" class="">=================</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Semantics and Probabilistic Programming</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> Raphaëlle Crubillé (<a href="https://urldefense.com/v3/__http://research.crubille.lautre.net/index.htm__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0i725WRw$" class="">http://research.crubille.lautre.net/index.htm</a>), CNRS, Marseille</font></div><div class=""><font face="Courier" class=""> Ohad Kammar (<a href="https://urldefense.com/v3/__http://denotational.co.uk/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1szhUz5A$" class="">http://denotational.co.uk/</a>), The University of Edinburgh</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Bayesian and Differentiable Programming Languages </font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> Brooks Paige (<a href="https://urldefense.com/v3/__https://tbrx.github.io/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh31sdfDmg$" class="">https://tbrx.github.io/</a>) , University College London</font></div><div class=""><font face="Courier" class=""> Matthijs Vákár (<a href="https://urldefense.com/v3/__https://www.uu.nl/medewerkers/MILVakar__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0NJpK1vQ$" class="">https://www.uu.nl/medewerkers/MILVakar</a>) Utrecht University, </font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Verification of Probabilistic Systems </font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""> Marta Kwiatkowska (<a href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/people/marta.kwiatkowska/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh246rDrwQ$" class="">https://www.cs.ox.ac.uk/people/marta.kwiatkowska/</a>), </font></div><div class=""><font face="Courier" class=""> University </font><span style="font-family: Courier;" class="">of Oxford</span></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Invited Speakers</font></div><div class=""><font face="Courier" class="">================</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Claudia Faggian (<a href="https://urldefense.com/v3/__https://www.irif.fr/*5C*faggian/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh3slJuXxQ$" class="">https://www.irif.fr/\~faggian/</a>), CNRS, Paris</font></div><div class=""><font face="Courier" class="">Cameron Freer (<a href="https://urldefense.com/v3/__https://cfreer.org/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh3aExm0yg$" class="">https://cfreer.org/</a>), MIT </font></div><div class=""><font face="Courier" class="">Marco Gaboardi (<a href="https://urldefense.com/v3/__https://cs-people.bu.edu/gaboardi/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1h1VCGPw$" class="">https://cs-people.bu.edu/gaboardi/</a>), Boston University</font></div><div class=""><font face="Courier" class="">Annabelle McIver (<a href="https://urldefense.com/v3/__https://researchers.mq.edu.au/en/persons/annabelle-mciver__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1s4jzJew$" class="">https://researchers.mq.edu.au/en/persons/annabelle-mciver</a>), </font></div><div class=""><font face="Courier" class=""> Macquarie University</font></div><div class=""><font face="Courier" class="">Joost-Pieter Katoen (<a href="https://urldefense.com/v3/__https://www-i2.informatik.rwth-aachen.de/*5C*katoen/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1GffCmWQ$" class="">https://www-i2.informatik.rwth-aachen.de/\~katoen/</a>), </font></div><div class=""><font face="Courier" class=""> Aachen University</font></div><div class=""><font face="Courier" class="">Prakash Panangaden (<a href="https://urldefense.com/v3/__https://www.cs.mcgill.ca/*5C*prakash/__;JX4!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0JcEKQ_A$" class="">https://www.cs.mcgill.ca/\~prakash/</a>), McGill University</font></div><div class=""><font face="Courier" class="">Jane Hilston (<a href="https://urldefense.com/v3/__https://homepages.inf.ed.ac.uk/jeh/__;!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh0p7NtgTQ$" class="">https://homepages.inf.ed.ac.uk/jeh/</a>), </font><span style="font-family: Courier;" class="">University of Edinburgh</span></div><div class=""><font face="Courier" class="">Alexandra Silva (<a href="https://urldefense.com/v3/__https://alexandrasilva.org/*/main.html__;Iw!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1m-mff9g$" class="">https://alexandrasilva.org/#/main.html</a>), Cornell University</font></div><div class=""><font face="Courier" class="">Michele Pagani (<a href="https://urldefense.com/v3/__https://www.irif.fr/*michele/__;fg!!IBzWLUs!H67UIdQUnGiBMUQQDSZCgRT-tIljoXa8d1zhmt3rjfF3tZK6rznc4_ASmjYuJoM41_Rfqh1aBkZSOQ$" class="">https://www.irif.fr/~michele/</a>), Université de Paris</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Funding</font></div><div class=""><font face="Courier" class="">=======</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">We plan to fund the accommodation of any participant, within the limits of</font></div><div class=""><font face="Courier" class="">the capacity of the CIRM and of our budget. If you have available funding,</font></div><div class=""><font face="Courier" class="">allowing you to pay for your own accommodation, please let us know </font></div><div class=""><font face="Courier" class="">nonetheless: this will allow us to allocate more of our own funding to other </font></div><div class=""><font face="Courier" class="">participants.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">The details of your accommodation will be managed by the CIRM.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">We also plan to offer a limited number of travel grants, mainly targeted at</font></div><div class=""><font face="Courier" class="">young researchers (master or PhD students, postdocs)</font><span style="font-family: Courier;" class="">: you can apply for such a</span></div><div class=""><font face="Courier" class="">grant in the pre-registration form.</font></div></body></html>