{{ .Title }}

About FoPSS Schools

The series of Summer Schools on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN. The first FoPPS was organized in 2017. The goal is to introduce the participants to various aspects of computation theory and programming languages. The school, spread over a single week, is aimed at students and researchers in Theoretical Computer Science, broadly construed. Each year the school is focused on a particular, actively researched topic.

An open-access book has been published for the first edition of the FoPSS school!

Copenhagen, Denmark
Probability in Computer Science
Bologna, Italy
Quantitative Aspects of Program Semantics, Verification and Transformation
Warsaw, Poland
Nominal Techniques
Oxford, United Kingdom
Logic and Learning
Braga, Portugal
Probabilistic Programming