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  <p>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.</p>\n\n  <p>Our 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.</p>\n\n  
 <p>The summer school is co-located with <a href="h
 ttp://highlights-conference.org" target="_blank">H
 ighlights 2019</a>, the 7th annual conference on H
 ighlights of Logic, Games and Automata 17-20 Septe
 mber.</p>\n
URL:https://www.mimuw.edu.pl/~fopss19/
END:VEVENT
END:VCALENDAR