The goal of the Summer School on Foundations of Programming and Software Systems, first organized in 2017 and then in 2018 and 2019, is to introduce the participants to various aspects of computation theory and programming languages. The school, spread over a single week, is aimed at PhD students and young researchers in Theoretical Computer Science, broadly construed. Each year the school is focused on a particular, actively researched topic.

The Organizing committe:
Ugo Dal Lago
, University of Bologna
Francesco Gavazzo, University of Pisa
Paolo Pistone, University of Roma Tre

Per info: Quantitative Aspects of Program Semantics, Verification, and Transformation (

The Organizing secretariat:
Monica Michelacci, Ceub –

General information

Location: The school will take place in Bertinoro, a small town located 75 kilometres to the South-East of Bologna. The venue is CEUB ( , a renovated castle dating back to around 1000 AD.

The courses will be given from Monday, February 13th to Friday, 17th February, 2023. Participants are expected to arrive in Bertinoro on Sunday, February 12th, and will leave on Saturday, February 18th.

Accommodation: the attendees will be hosted in the Centro Universitario di Bertinoro or nearby.
The accommodations will be assigned according to the booking date. Refer to Mrs. Monica Michelacci for any question.

the fee includes the registration to the School and accommodation (transfer by bus from and to Bologna airport or railway station, half-board, i.e. breakfast and lunch, and welcome dinner of February 12th)).

Registration’s Deadline: January 20th , 2023

The fee (arrival on February 12th, departure on February 18th) is:
– 440,00 Euro (in double room) vat included
– 500,00 Euro (in single room) vat included
You could indicate your roommate in the NOTE field of the registration form.

Cancellations made before 31st January will receive a full refund less 15% (administration fee). No refunds will be granted after that.