[TYPES/announce] CfPart: FoPSS 2023 (February 2023, Bertinoro, Italy)

Mon Oct 24 04:37:55 EDT 2022

*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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSiuFZ2SScQ$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSitOG3FJQg$  >

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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSivEzNVRHw$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSivq17D_OQ$  >

[2] https://urldefense.com/v3/__https://www.floc2018.org/fopss/__;!!IBzWLUs!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSispgY1oeg$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSivdU6-EUQ$  >

[3] https://urldefense.com/v3/__https://www.mimuw.edu.pl/*fopss19/__;fg!!IBzWLUs!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSivGP23aAg$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSivVCUtZTA$  >

[4] https://urldefense.com/v3/__https://www.ceub.it/?lang=en__;!!IBzWLUs!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSitchvBG4A$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSiuztiOh8Q$  >

[5] https://urldefense.com/v3/__https://forms.gle/Z5sinvogkApZrgqaA__;!!IBzWLUs!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSiuycln91w$  <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!VDoGhQwA5AM22LGoVYaEy91B8jA8bXIdYdlolLDugnt0-ICH_5qyS7tAYK8Mw3dGoBA-52OFqtewtCPla4g0WK9rWgwNoTsUSisTTZtwAw$  >

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221024/3e2655a4/attachment-0001.htm>