<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="IT" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US">We are very pleased to spread the first information about the 4th edition of the School on Foundations of Programming and Software Systems, to be held in Bertinoro on February 13-17, 2023. This will be the first edition
of the school after the beginning of the COVID pandemic. The previous editions of the school took place in Porto [1], Oxford [2], and Warsaw [3].<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The school is oriented to Master and PhD students, and to young scholars. It will be held at CEUB [4], which can be reached from Bologna in about 90 minutes. (We are considering, depending on the number of participants,
to organize bus transfers to and from Bologna Airport on February 12 and 18, 2023).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The main theme of this edition of FoPSS are the quantitative aspects of program semantics, verification, and transformation. The following researchers have accepted to give short courses or seminars as part of the school:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Deepak Garg (MPI-SWS), on "Resource Analysis Using Types"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Marco Gaboardi (Boston University), on "Relational Reasoning for Security and Privacy"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Benjamin Kaminski (Saarland University), on "Quantitative Verification, Transformer-style"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order Programming Languages"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Aleks Kissinger (Oxford), on "Picturing Quantum Software"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Damiano Mazza (CNRS), on "Introduction to Differentiable Programming"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with Applications to Representation Learning"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects"<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Registration will cover participation to the school and accommodation at CEUB with half board. Thanks to the help of sponsors (including ETAPS, SIGLOG, SIGPLAN, the University of Bologna, and the DIAPASoN Project), we
plan to keep the registration fee as low as possible. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The reception capacity of the CEUB is big, but subject to limits. We therefore encourage those interested in participating to the school to pre-register by following the link below [5] and fill the form
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">*by September 22, 2022*. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">This we will us to keep track of the numbers. A web page with more detailed information will soon be ready and accessible via [5].<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We would be happy to answer any questions about the organization of the school. Just send us an email!<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Looking forward to seeing you in Bertinoro.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal">Best Regards,</p>
<p class="MsoNormal">Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">[1] https://probprogschool2017.di.uminho.pt/</p>
<p class="MsoNormal">[2] https://www.floc2018.org/fopss/</p>
<p class="MsoNormal">[3] https://www.mimuw.edu.pl/~fopss19/</p>
<p class="MsoNormal">[4] https://www.ceub.it/?lang=en</p>
<p class="MsoNormal">[5] https://forms.gle/Z5sinvogkApZrgqaA</p>
</div>
</body>
</html>