Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 - 15 September 2019, 3rd School on Foundations of Programming and Software Systems (FoPPS 2019): Nominal Techniques, Warsaw, Poland

Date: 10 - 15 September 2019
Location: Warsaw, Poland

The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM 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 2019 are Nominal Techniques in Computer Science. For the introduction and cornerstone contributions to this area Murdoch J. Gabbay and Andrew M. Pitts received the 2019 Alonzo Church Award. Both of them are among the lecturers of FoPSS 2019.

The summer school is co-located with Highlights 2019, the 7th annual conference on Highlights of Logic, Games and Automata 17-20 September.

For more information, see https://www.mimuw.edu.pl/~fopss19/.

Please note that this newsitem has been archived, and may contain outdated information or links.