FLoC is pleased to host the 2nd School on Foundations of Programming and Software Systems: Logic and Learning.
The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, SIGLOG, and SIGPLAN. It was first organised 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; our focus in 2018 is Logic and Learning.
We will film the content and make it freely available after the event: details to follow!