[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*Apologies for cross postings*
Final Call For Participation: 4th edition of the School on Foundations of
Programming and Software Systems (FoPSS 2023)
February 13-17, 2023, Bertinoro, Italy.
https://urldefense.com/v3/__https://site.unibo.it/fopss2023/en__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn8ASlB8zA$
<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$
>
The 4th edition of the School on Foundations of Programming and Software
Systems will 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].
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).
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:
Deepak Garg (MPI-SWS), on "Resource Analysis Using Types"
Marco Gaboardi (Boston University), on "Relational Reasoning for Security and
Privacy"
Benjamin Kaminski (Saarland University), on "Quantitative Verification,
Transformer-style"
Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order
Programming Languages"
Aleks Kissinger (Oxford), on "Picturing Quantum Software"
Damiano Mazza (CNRS), on "Introduction to Differentiable Programming"
Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with
Applications to Representation Learning"
Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics"
Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects"
A limited number of places is still available and we encourage those interested
in participating to the school to register at the link
https://urldefense.com/v3/__https://www.ceub.it/events/event/fopss-2023/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn93be_EhQ$
*by January 20, 2023*.
Registration will cover participation to the school and accommodation at CEUB
with half board.
We would be happy to answer any question about the organization of the school.
Just send us an email!
Looking forward to seeing you in Bertinoro.
Best Regards,
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone.
[1]
https://urldefense.com/v3/__https://probprogschool2017.di.uminho.pt/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_JjWOAAA$
<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$
>
[2]
https://urldefense.com/v3/__https://www.floc2018.org/fopss/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_n9zhkDg$
<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$
>
[3]
https://urldefense.com/v3/__https://www.mimuw.edu.pl/*fopss19/__;fg!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn8zXY-mhQ$
<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$
>
[4]
https://urldefense.com/v3/__https://www.ceub.it/?lang=en__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn9EoqqTgw$
<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$
>
________________________________
Da: Paolo Pistone
Inviato: lunedì 24 ottobre 2022 10:37
Oggetto: CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy)
*Apologies for cross postings*
Call For Participation: 4th edition of the School on Foundations of Programming
and Software Systems (FoPSS 2023)
February 13-17, 2023, Bertinoro, Italy.
https://urldefense.com/v3/__https://site.unibo.it/fopss2023/en__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn8ASlB8zA$
<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$
>
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.
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].
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).
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:
Deepak Garg (MPI-SWS), on "Resource Analysis Using Types"
Marco Gaboardi (Boston University), on "Relational Reasoning for Security and
Privacy"
Benjamin Kaminski (Saarland University), on "Quantitative Verification,
Transformer-style"
Delia Kesner (Université de Paris), on "Quantitative Types for Higher-Order
Programming Languages"
Aleks Kissinger (Oxford), on "Picturing Quantum Software"
Damiano Mazza (CNRS), on "Introduction to Differentiable Programming"
Prakash Panangaden (McGill), on "Bisimulation Metrics and Variations with
Applications to Representation Learning"
Christin Tasson (Sorbonne Université), on "Probabilistic Program Semantics"
Valeria Vignudelli (CNRS), on "Equational Theories for Probabilistic Effects"
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.
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
*by October 31, 2022*.
This we will help us keep track of the numbers.
We would be happy to answer any questions about the organization of the school.
Just send us an email!
Looking forward to seeing you in Bertinoro.
Best Regards,
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone.
[1]
https://urldefense.com/v3/__https://probprogschool2017.di.uminho.pt/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_JjWOAAA$
<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$
>
[2]
https://urldefense.com/v3/__https://www.floc2018.org/fopss/__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn_n9zhkDg$
<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$
>
[3]
https://urldefense.com/v3/__https://www.mimuw.edu.pl/*fopss19/__;fg!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn8zXY-mhQ$
<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$
>
[4]
https://urldefense.com/v3/__https://www.ceub.it/?lang=en__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn9EoqqTgw$
<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$
>
[5]
https://urldefense.com/v3/__https://forms.gle/Z5sinvogkApZrgqaA__;!!IBzWLUs!QU0qA15XoP7_8RfR7O57imgNbK2j9a449PDZFEBAF4Pw6mDeRBas6j8W6gc9L5h9ApwetGB-lgXCp38R0p3lcWDv49P96ZQNAn9PbOcobg$
<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$
>
