<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof">
<div style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:black;background-color:white" class="FluidPluginCopy">
<p style="color:rgb(36, 36, 36);font-size:11pt;font-family:Calibri, sans-serif;background-color:white;margin:0px">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">*Apologies for cross postings*</span></p>
<div style="margin:0px"><br class="ContentPasted0">
</div>
<div style="margin:0px" class="elementToProof">
<div><span style="font-size:11pt"><span style="font-size:11pt;margin:0px" class="ContentPasted0">Final Call For Participation: </span><span style="font-size:11pt;font-family:Calibri, sans-serif;margin:0px;background-color:white" class="ContentPasted0">4th edition
of the School on Foundations of Programming and Software Systems (FoPSS 2023)</span></span></div>
</div>
<div style="margin:0px"><span style="font-size:14.67px;font-family:Calibri, sans-serif;margin:0px"><span style="font-size:11pt;margin:0px;background-color:white" class="ContentPasted0">February 13-17, 2023, </span></span><span style="font-size:11pt;font-family:Calibri, sans-serif;margin:0px" class="ContentPasted0">Bertinoro,
Italy.</span></div>
<div style="margin:0px"><span style="font-size:11pt;font-family:Calibri, sans-serif;margin:0px"><br class="ContentPasted0">
</span></div>
</div>
<div style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:black;background-color:white" class="FluidPluginCopy">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fsite.unibo.it*2Ffopss2023*2Fen&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=IxizL*2BajxDdiyMC9EnGUqGANBARUv8LOhF7Zv43hgE4*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_xVLO0rQ$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" shash="sGLDeAawfckUHK6lO55RwtaL6NLLdM8Uzz3m7kUEYk/owZcgRwwSwwuRidzJQus/FkX92ahK+dvhsBowTZYTxjZ+NHzXDkKMNn9jTKSHfXqxjsOITSMucigrpli3zAcOj8B2rDEiG+sfdWzOx+mtqz/hoyZv1pOQIxhDP+czTsk=" data-linkindex="0" data-safelink="true" style="font-size:14.67px;margin:0px;color:rgb(5, 99, 193);background-color:white;text-decoration:underline" class="ContentPasted0" data-loopstyle="link"><span style="font-size:11pt;margin:0px">https://site.unibo.it/fopss2023/en</span></a></div>
<div style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:black;background-color:white" class="FluidPluginCopy">
<br>
</div>
<div style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px;color:black;background-color:white" class="FluidPluginCopy">
<p style="color:rgb(36, 36, 36);font-size:11pt;font-family:Calibri, sans-serif;background-color:white;margin:0px" class="elementToProof">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">The 4th edition of the School on Foundations of Programming and Software Systems will be held in Bertinoro on February 13-17, 2023. </span><span style="color: black;">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].</span></p>
</div>
<div style="font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; background-color: white;" class="FluidPluginCopy elementToProof">
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"> </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">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 to organize
bus transfers to and from Bologna Airport on February 12 and 18, 2023).</span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"> </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">The main theme of this edition of</span><span lang="en-US" style="margin:0px;color:rgb(225, 225, 225)"><span style="margin:0px;color:black" class="ContentPasted0"> </span></span><span style="margin:0px"><span lang="en-US" style="margin: 0px; color: black; background-color: rgb(255, 255, 255);" class="ContentPasted0">FoPSS</span></span><span style="margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"> </span></span><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">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:</span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0"> </span><br class="ContentPasted0">
</p>
<div style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; margin: 0px; background-color: white;">
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Deepak Garg (MPI-SWS), on "Resource Analysis Using Types"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Marco Gaboardi (Boston University), on "Relational Reasoning for Security and Privacy"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Benjamin Kaminski (Saarland University), on "Quantitative Verification, Transformer-style"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order Programming Languages"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Aleks Kissinger (Oxford), on "Picturing Quantum Software"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Damiano Mazza (CNRS), on "Introduction to Differentiable Programming"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with Applications to Representation Learning"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics"</span><span style="margin:0px"></span></p>
<p style="background-color:white;margin:0px"><span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects"</span></p>
</div>
<div style="color: black; margin: 0px; background-color: white;"></div>
<div style="font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; background-color: white;" class="FluidPluginCopy elementToProof">
<br>
</div>
<div style="font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; margin: 0px; background-color: white;" class="FluidPluginCopy elementToProof">
<p class="FluidPluginCopy elementToProof" style="background-color:white;color:rgb(36, 36, 36);font-size:11pt;font-family:Calibri, sans-serif;margin:0px">
<span lang="en-US" class="ContentPasted0 ContentPasted1 elementToProof" style="margin:0px;color:black">A limited number of places is still available and we<span lang="en-US" class="ContentPasted0 ContentPasted2 ContentPasted3" style="font-size: 11pt; color: black;"> encourage
those interested in participating to the school to register at the link </span></span></p>
<p class="FluidPluginCopy elementToProof" style="background-color:white;color:rgb(36, 36, 36);font-size:11pt;font-family:Calibri, sans-serif;margin:0px">
<span lang="en-US" class="ContentPasted0 ContentPasted1 elementToProof" style="margin:0px;color:black"><br>
</span></p>
<p class="FluidPluginCopy elementToProof" style="background-color:white;color:rgb(36, 36, 36);font-size:11pt;font-family:Calibri, sans-serif;margin:0px">
<span lang="en-US" class="ContentPasted0 ContentPasted1 elementToProof" style="margin:0px;color:black"><span lang="en-US" class="ContentPasted0 ContentPasted2 ContentPasted3" style="font-size: 11pt; color: black;"><a href="https://urldefense.com/v3/__https://www.ceub.it/events/event/fopss-2023/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn93be_EhQ$" id="LPNoLPOWALinkPreview_1">https://www.ceub.it/events/event/fopss-2023/</a></span></span></p>
<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview_1 _EReadonly_1"></div>
<p style="background-color:white;color:rgb(36, 36, 36);font-size:11pt;margin:0px" class="FluidPluginCopy elementToProof">
<span lang="en-US" class="ContentPasted0 ContentPasted2" style="margin:0px;color:black"> </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p class="FluidPluginCopy elementToProof" style="background-color:white;color:rgb(36, 36, 36);font-size:11pt;margin:0px">
<span lang="en-US" class="ContentPasted0 ContentPasted2" style="margin:0px;color:black">*by January 20, 2023*.</span><span lang="en-US" style="margin:0px;color:rgb(225, 225, 225)"><span class="ContentPasted0 ContentPasted2" style="margin:0px;color:black"> </span></span></p>
<p></p>
</div>
<br class="ContentPasted0">
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Registration will cover participation to the school and accommodation at CEUB with half board. </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;" class="elementToProof">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"><br>
</span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;" class="elementToProof">
<span style="color: black;">We would be happy to answer any question about the organization of the school. Just send us an email!</span><br>
</p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;" class="elementToProof">
<span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"> </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0">Looking forward to seeing you in Bertinoro.</span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span lang="en-US" style="margin:0px;color:black" class="ContentPasted0"> </span><span style="margin:0px;color:rgb(225, 225, 225)"></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">Best Regards,</span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone.</span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0"> </span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0"> </span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">[1]</span><span style="margin:0px;color:rgb(225, 225, 225)"><span style="margin:0px;color:black" class="ContentPasted0"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fprobprogschool2017.di.uminho.pt*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=b*2FxldB81*2BJ399NxG7vNJnwXB6pgNor6PBsiw2s23LV0*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_mJ8l7Ug$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" shash="tu0565CJpcYFFWEDTyt0PfiuGVqGhmUoAdaQ8f8dK5PWWiPqoZ4xTMXwBQ7vKfP5r+TSfGQmPk3L79oYtHs7Z/Rl1m+Fx26/BPdeK58DNYlSR+A5N6EkQaw2dS8db9E9octSgRaUevyJgCpUXxb14KTfDY4bOyIlKeT88ZaVwd8=" data-linkindex="1" data-safelink="true" style="margin:0px;color:rgb(5, 99, 193);text-decoration:underline" class="ContentPasted0" data-loopstyle="link"><span style="margin:0px;color:black">https://probprogschool2017.di.uminho.pt/</span></a></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">[2]</span><span style="margin:0px;color:rgb(225, 225, 225)"><span style="margin:0px;color:black" class="ContentPasted0"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.floc2018.org*2Ffopss*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=aJc*2FLlOD6vRwuZJ2LtBbegcTJZqRJ4y5G26PovtpR7Y*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn-zLICHJQ$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" shash="dykv6U+8LYhOxEJUazY9DsVI7VH56e0suHWUaOaTkgysDGg15nzqj/J6X69AiqyIQgKs5pgkFOAye9b8xdXGaHNptHL7bO0n8iohRjeiD9EfE9XKAls1nZ39AHtJTFdajL8bdPBdTmx7Bt9MhywvlxV1GyPkDtRhfYkBAzxJT+0=" data-linkindex="2" data-safelink="true" style="margin:0px;color:rgb(5, 99, 193);text-decoration:underline" class="ContentPasted0" data-loopstyle="link"><span style="margin:0px;color:black">https://www.floc2018.org/</span><span style="margin:0px"><span style="margin:0px;color:black;background-color:rgb(255, 237, 148)">fopss</span></span><span style="margin:0px;color:black">/</span></a></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">[3]</span><span style="margin:0px;color:rgb(225, 225, 225)"><span style="margin:0px;color:black" class="ContentPasted0"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.mimuw.edu.pl*2F*fopss19*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=UEwV7MnkjB3RYD0fVGSdkxhORnLifjLxTTTNOheVVSc*3D&reserved=0__;JSUlJX4lJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn-4eQDo1w$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" shash="EGHGcK3tuAhfipqUxbgR933z0/3hcVaTnxbav3rtRNP4g5s6Dcp9Yiy7CKSojSE+gRS38XihVHmEZrxjrAX/ZtF8y9rgxr3YQO0mUi/G2zBjezy8LLl/FLML1J1gVe6VSXnXlddj8B0ZN5rGHG9WLvbETLHpVhRL5xsUd4n/Ep4=" data-linkindex="3" data-safelink="true" style="margin:0px;color:rgb(5, 99, 193);text-decoration:underline" class="ContentPasted0" data-loopstyle="link"><span style="margin:0px;color:black">https://www.mimuw.edu.pl/~</span><span style="margin:0px"><span style="margin:0px;color:black;background-color:rgb(255, 237, 148)">fopss</span></span><span style="margin:0px;color:black">19/</span></a></span></p>
<p style="color: rgb(36, 36, 36); font-size: 11pt; font-family: Calibri, sans-serif; background-color: white; margin: 0px;">
<span style="margin:0px;color:black" class="ContentPasted0">[4]</span><span style="margin:0px;color:rgb(225, 225, 225)"><span style="margin:0px;color:black" class="ContentPasted0"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.ceub.it*2F*3Flang*3Den&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=peIqRp4*2FAS*2Fn204yuteEJWbujWM1W05iq9QkdDWGw2Y*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn9oog-vDA$" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" shash="PX0odGJpaQroTJ1uF+yFth2rxcds+8BJyqQ42pMllPMeBHmIIu+j7AkqTJNxDbeTwYpCqASmHGg800I6opHb3IcywGsyuYiXJhiiBNDMhQEpmA2MAYuAa1xiN7RrkzsNJOdzo0n0F0CB1ft7CbMNoBNk/GgIztxzhel4rjEZ3HY=" data-linkindex="4" data-safelink="true" style="margin:0px;color:rgb(5, 99, 193);text-decoration:underline" class="ContentPasted0" data-loopstyle="link"><span style="margin:0px;color:black">https://www.ceub.it/?lang=en</span></a></span></p>
<div style="color: rgb(36, 36, 36); border-width: 0px 0px 1pt; border-style: none none solid; border-bottom-color: windowtext; font-size: 15px; margin: 0px; padding: 0px 0px 1pt; background-color: white;">
<br>
<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_1"></div>
<br>
</div>
</div>
<br>
</div>
<div class="elementToProof">
<div id="Signature">
<div>
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<div id=":190" class="ii gt m1472035bdc6ec7bf adP adO" style="direction:ltr; margin:5px 15px 0px 0px; padding-bottom:5px; z-index:0; background-color:rgb(255,255,255)">
<div>
<div><font face="Calibri,Arial,Helvetica,sans-serif">
<div id=":190" style="margin:5px 15px 0px 0px; padding-bottom:5px"><font>
<div style="color:rgb(0,0,0); font-size:13px; font-family:Calibri,Arial,Helvetica,sans-serif">
</div>
</font></div>
</font></div>
</div>
<div class="yj6qo" style="color:rgb(34,34,34); font-size:13px; font-family:arial,sans-serif">
</div>
</div>
<div class="hq gt a10" style="margin:15px 0px; clear:both; font-size:13px; color:rgb(34,34,34); font-family:arial,sans-serif; background-color:rgb(255,255,255)">
</div>
</div>
</div>
</div>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>Da:</b> Paolo Pistone<br>
<b>Inviato:</b> lunedì 24 ottobre 2022 10:37<br>
<b>Oggetto:</b> CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy)</font>
<div> </div>
</div>
<style type="text/css" style="display:none">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style>
<div dir="ltr">
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0 x_ContentPasted1" style="margin:0px; color:black; font-size:11pt">*Apologies for cross postings*</span></p>
<div><br>
</div>
<div class="x_ContentPasted1"><span style="font-size:11pt">Call For Participation: </span><span class="x_ContentPasted2" style="font-family:Calibri,sans-serif; font-size:11pt; background-color:rgb(255,255,255); display:inline!important">4th edition of the School
on Foundations of Programming and Software Systems (FoPSS 2023)</span></div>
<div class="x_ContentPasted1"><span style="font-family:Calibri,sans-serif; font-size:14.6667px"><span class="x_ContentPasted4" style="background-color:rgb(255,255,255); display:inline!important; font-size:11pt">February 13-17, 2023, </span></span><span style="font-family:Calibri,sans-serif; font-size:11pt">Bertinoro,
Italy.</span></div>
<div class="x_ContentPasted1"><span style="font-family:Calibri,sans-serif; font-size:11pt"><br>
</span></div>
</div>
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">
<a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fsite.unibo.it*2Ffopss2023*2Fen&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=IxizL*2BajxDdiyMC9EnGUqGANBARUv8LOhF7Zv43hgE4*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_xVLO0rQ$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="sGLDeAawfckUHK6lO55RwtaL6NLLdM8Uzz3m7kUEYk/owZcgRwwSwwuRidzJQus/FkX92ahK+dvhsBowTZYTxjZ+NHzXDkKMNn9jTKSHfXqxjsOITSMucigrpli3zAcOj8B2rDEiG+sfdWzOx+mtqz/hoyZv1pOQIxhDP+czTsk=" title="" data-linkindex="1" class="x_ContentPasted0 x_ContentPasted3"><span style="font-size:11pt">https://site.unibo.it/fopss2023/en</span></a></div>
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">
<br>
</div>
<div class="x_elementToProof" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0); background-color:rgb(255,255,255)">
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<br>
</p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">We are very pleased to announce the 4th edition of the School on Foundations of Programming and Software Systems, to be held in Bertinoro on February 13-17, 2023.</span></p>
<span class="x_ContentPasted0" style="background-color:rgb(255,255,255); display:inline!important; font-size:11pt"> </span>
<p class="x_ContentPasted0" style="background-color:rgb(255,255,255)"></p>
<p class="x_ContentPasted0" style="background-color:rgb(255,255,255); margin-top:0px; margin-bottom:0px">
</p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">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].</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">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).</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">The main theme of this edition of</span><span lang="en-US" style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></span><span style="margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; background-color:rgb(255,237,148); font-size:11pt">FoPSS</span></span><span style="margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></span><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">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:</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><br class="x_ContentPasted0">
</p>
<div style="font-size:11pt; font-family:Calibri,sans-serif; margin:0px; color:rgb(36,36,36); background-color:white">
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Deepak Garg (MPI-SWS), on "Resource Analysis Using Types"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Marco Gaboardi (Boston University), on "Relational Reasoning for Security and Privacy"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Benjamin Kaminski (Saarland University), on "Quantitative Verification, Transformer-style"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order Programming Languages"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Aleks Kissinger (Oxford), on "Picturing Quantum Software"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Damiano Mazza (CNRS), on "Introduction to Differentiable Programming"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with Applications to Representation Learning"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics"</span><span style="margin:0px"></span></p>
<p style="background-color:white; margin:0px"><span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects"</span></p>
</div>
<div style="margin:0px; background-color:rgb(255,255,255)"></div>
<br class="x_ContentPasted0" style="background-color:rgb(255,255,255)">
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">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.</span><span lang="en-US" style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">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</span><span lang="en-US" style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">*by October 31, 2022*.</span><span lang="en-US" style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">This we will help us keep track of the numbers.</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">We would be happy to answer any questions about the organization of the school. Just send us an email!</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Looking forward to seeing you in Bertinoro.</span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span lang="en-US" class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><span style="margin:0px; color:rgb(225,225,225)"></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Best Regards,</span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone.</span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">[1]</span><span style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fprobprogschool2017.di.uminho.pt*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=b*2FxldB81*2BJ399NxG7vNJnwXB6pgNor6PBsiw2s23LV0*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_mJ8l7Ug$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="tu0565CJpcYFFWEDTyt0PfiuGVqGhmUoAdaQ8f8dK5PWWiPqoZ4xTMXwBQ7vKfP5r+TSfGQmPk3L79oYtHs7Z/Rl1m+Fx26/BPdeK58DNYlSR+A5N6EkQaw2dS8db9E9octSgRaUevyJgCpUXxb14KTfDY4bOyIlKeT88ZaVwd8=" title="" data-linkindex="2" class="x_ContentPasted0"><span style="margin:0px; color:black; font-size:11pt">https://probprogschool2017.di.uminho.pt/</span></a></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">[2]</span><span style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.floc2018.org*2Ffopss*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=aJc*2FLlOD6vRwuZJ2LtBbegcTJZqRJ4y5G26PovtpR7Y*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn-zLICHJQ$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="dykv6U+8LYhOxEJUazY9DsVI7VH56e0suHWUaOaTkgysDGg15nzqj/J6X69AiqyIQgKs5pgkFOAye9b8xdXGaHNptHL7bO0n8iohRjeiD9EfE9XKAls1nZ39AHtJTFdajL8bdPBdTmx7Bt9MhywvlxV1GyPkDtRhfYkBAzxJT+0=" title="" data-linkindex="3" class="x_ContentPasted0"><span style="margin:0px; color:black; font-size:11pt">https://www.floc2018.org/</span><span style="margin:0px"><span style="margin:0px; color:black; background-color:rgb(255,237,148); font-size:11pt">fopss</span></span><span style="margin:0px; color:black; font-size:11pt">/</span></a></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">[3]</span><span style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.mimuw.edu.pl*2F*fopss19*2F&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=UEwV7MnkjB3RYD0fVGSdkxhORnLifjLxTTTNOheVVSc*3D&reserved=0__;JSUlJX4lJSUlJSUlJSUlJSUlJSUl!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn-4eQDo1w$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="EGHGcK3tuAhfipqUxbgR933z0/3hcVaTnxbav3rtRNP4g5s6Dcp9Yiy7CKSojSE+gRS38XihVHmEZrxjrAX/ZtF8y9rgxr3YQO0mUi/G2zBjezy8LLl/FLML1J1gVe6VSXnXlddj8B0ZN5rGHG9WLvbETLHpVhRL5xsUd4n/Ep4=" title="" data-linkindex="4" class="x_ContentPasted0"><span style="margin:0px; color:black; font-size:11pt">https://www.mimuw.edu.pl/~</span><span style="margin:0px"><span style="margin:0px; color:black; background-color:rgb(255,237,148); font-size:11pt">fopss</span></span><span style="margin:0px; color:black; font-size:11pt">19/</span></a></span></p>
<p style="color:rgb(36,36,36); font-size:11pt; font-family:Calibri,sans-serif; background-color:white; margin:0px">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">[4]</span><span style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fwww.ceub.it*2F*3Flang*3Den&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=peIqRp4*2FAS*2Fn204yuteEJWbujWM1W05iq9QkdDWGw2Y*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn9oog-vDA$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="PX0odGJpaQroTJ1uF+yFth2rxcds+8BJyqQ42pMllPMeBHmIIu+j7AkqTJNxDbeTwYpCqASmHGg800I6opHb3IcywGsyuYiXJhiiBNDMhQEpmA2MAYuAa1xiN7RrkzsNJOdzo0n0F0CB1ft7CbMNoBNk/GgIztxzhel4rjEZ3HY=" title="" data-linkindex="5" class="x_ContentPasted0"><span style="margin:0px; color:black; font-size:11pt">https://www.ceub.it/?lang=en</span></a></span></p>
<div style="border-width:0px 0px 1pt; border-style:none none solid; border-bottom-color:windowtext; font-size:15px; margin:0px; padding:0px 0px 1pt; color:rgb(36,36,36); background-color:white">
<p style="font-size:11pt; font-family:Calibri,sans-serif; margin:0px; border-style:none">
<span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt">[5]</span><span style="margin:0px; color:rgb(225,225,225)"><span class="x_ContentPasted0" style="margin:0px; color:black; font-size:11pt"> </span><a href="https://urldefense.com/v3/__https://eur01.safelinks.protection.outlook.com/?url=https*3A*2F*2Fforms.gle*2FZ5sinvogkApZrgqaA&data=05*7C01*7C*7C2561e717c9784b3ebe9d08dab141fc90*7Cffb4df68f464458ca54600fb3af66f6a*7C0*7C1*7C638017194235087193*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000*7C*7C*7C&sdata=KlVIKjJVSngiqrYvr85NkVfMkPugmGfgmhwBBtxUyGc*3D&reserved=0__;JSUlJSUlJSUlJSUlJSUlJSUlJQ!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_biFEoQA$" target="_blank" rel="noopener noreferrer" data-auth="VerificationFailed" shash="r3z2/ZgDW2lvonAp3f4MOtK9sMgTTJnrmSj/Mp3wRTaIToORFKtlWUb+2gXZlrb9kgqlEJ+mmqtxf//8VViOUVb18aZ87YJ9rhQchrXiXCUbHpVJtpfIkeNMZNMbhvxhs6PQbomLZd3hOcZOeteoce3nK188y9AR0zJwMaCV2Tk=" title="" data-linkindex="6" class="x_ContentPasted0"><span style="margin:0px; color:black; font-size:11pt">https://forms.gle/Z5sinvogkApZrgqaA</span></a></span></p>
</div>
<br>
</div>
<div class="x_elementToProof">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div id="x_Signature">
<div>
<div name="x_divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<div id="x_:190" class="x_ii x_gt x_m1472035bdc6ec7bf x_adP x_adO" style="direction:ltr; margin:5px 15px 0px 0px; padding-bottom:5px; z-index:0; background-color:rgb(255,255,255)">
<div class="x_yj6qo" style="color:rgb(34,34,34); font-size:13px; font-family:arial,sans-serif">
</div>
</div>
<div class="x_hq x_gt x_a10" style="margin:15px 0px; clear:both; font-size:13px; color:rgb(34,34,34); font-family:arial,sans-serif; background-color:rgb(255,255,255)">
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>