BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/10984/10 ---15-September-2019-3rd-School-on-Foundations-of- Programming-and-Software-Systems-FoPPS-2019-Nomina l-Techniques-Warsaw-Poland DTSTAMP:20190624T124334 SUMMARY:3rd School on Foundations of Programming a nd Software Systems (FoPPS 2019): Nominal Techniqu es, Warsaw, Poland DTSTART;VALUE=DATE:20190910 DTEND;VALUE=DATE:20190915 LOCATION:Warsaw, Poland DESCRIPTION:The Summer School on Foundations of Pr ogramming and Software Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPL AN. 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 stu dents and researchers in Theoretical Computer Scie nce, broadly construed. Each year the school is fo cused on a particular, actively researched topic. Our focus in 2019 are Nominal Techniques in Compu ter Science. For the introduction and cornerstone contributions to this area Murdoch J. Gabbay and A ndrew M. Pitts received the 2019 Alonzo Church Awa rd. Both of them are among the lecturers of FoPSS 2019. The summer school is co-located with Highli ghts 2019, the 7th annual conference on Highlights of Logic, Games and Automata 17-20 September. X-ALT-DESC;FMTTYPE=text/html:\n
The Summer Sch ool on Foundations of Programming and Software Sys tems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN. It was first organised in 2017. The goal is to introduce the participant s to various aspects of computation theory and pro gramming languages. The school, spread over a sing le week, is aimed at students and researchers in T heoretical Computer Science, broadly construed. Ea ch year the school is focused on a particular, act ively researched topic.
\n\nOur focus in 2 019 are Nominal Techniques in Computer Science. Fo r the introduction and cornerstone contributions t o this area Murdoch J. Gabbay and Andrew M. Pitts received the 2019 Alonzo Church Award. Both of the m are among the lecturers of FoPSS 2019.
\n\nThe summer school is co-located with H ighlights 2019, the 7th annual conference on H ighlights of Logic, Games and Automata 17-20 Septe mber.
URL:https://www.mimuw.edu.pl/~fopss19/ END:VEVENT END:VCALENDAR