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!

Terms and Conditions

Please ensure that your event selections and personal details for FoPSS are correct, and that you have adequate travel insurance to cover your trip.  Refunds: FoPSS/FLoC2018 are not liable in the event of trip cancellation or interruption. Requests for cancellation and refunds must be received no later than 15 May 2018, and may be subject to a £50 processing fee. No refunds will be processed after this date. Conference Organisers will accept a substitute at no additional cost, if a registered participant is unable to attend the School.  Special requirements: we will endeavour to make adequate provision for special dietary or access requirements, provided these are correctly described on the registration form. Contact help@floc2018.org if you would like to discuss your requirements.