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/2017/newsitem/8543/29-
 May---4-June-2017-1st-School-on-Foundations-of-Pro
 gramming-and-Software-Systems-Braga-Portugal
DTSTAMP:20170112T145404
SUMMARY:1st School on Foundations of Programming a
 nd Software Systems, Braga, Portugal
DTSTART;VALUE=DATE:20170529
DTEND;VALUE=DATE:20170604
LOCATION:Braga, Portugal
DESCRIPTION:It is our greatest pleasure to announc
 e the first edition of the School on Foundations o
 f Programming and Software systems. The school is 
 jointly funded by EATCS, ETAPS, ACM SIGLOG, and AC
 M SIGPLAN. The topic of the first edition is Proba
 bilistic programming. It will take place in Braga,
  Portugal, May 29th - June 4th 2017.  Probabilisti
 c programming languages are used for modelling and
  analysis purposes across multiple areas of comput
 er science, including machine learning, security, 
 and quantitative biology. In particular, they prov
 ide a rigorous foundation for machine learning whe
 re they are used to describe probabilistic models 
 and to perform inference in presence of uncertain 
 information. Probabilistic programs are also used 
 in cryptography and in privacy for modelling and q
 uantifying security. The goal of the school is to 
 introduce attendants to theoretical and practical 
 aspects of programming languages, and will propose
  courses that cover the following topics: semantic
 s, analysis, verification, applications to machine
  learning, privacy, and security. The school will 
 have lectures by Andy Gordon, Catuscia Palamidessi
 , Christel Baier, Dexter Kozen, Frank Wood, Hongse
 ok Yang, Javier Esparza, Michael Carbin, Peter Sel
 inger, Prakash Panangaden, Sriram Sankaranarayanan
 , and Vitaly Shmatikov.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>It is our grea
 test pleasure to announce the first edition of the
  School on Foundations of Programming and Software
  systems. The school is jointly funded by EATCS, E
 TAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of th
 e first edition is Probabilistic programming. It w
 ill take place in Braga, Portugal, May 29th - June
  4th 2017.</p>\n\n  <p>Probabilistic programming l
 anguages are used for modelling and analysis purpo
 ses across multiple areas of computer science, inc
 luding machine learning, security, and quantitativ
 e biology. In particular, they provide a rigorous 
 foundation for machine learning where they are use
 d to describe probabilistic models and to perform 
 inference in presence of uncertain information. Pr
 obabilistic programs are also used in cryptography
  and in privacy for modelling and quantifying secu
 rity. The goal of the school is to introduce atten
 dants to theoretical and practical aspects of prog
 ramming languages, and will propose courses that c
 over the following topics: semantics, analysis, ve
 rification, applications to machine learning, priv
 acy, and security. The school will have lectures b
 y Andy Gordon, Catuscia Palamidessi, Christel Baie
 r, Dexter Kozen, Frank Wood, Hongseok Yang, Javier
  Esparza, Michael Carbin, Peter Selinger, Prakash 
 Panangaden, Sriram Sankaranarayanan, and Vitaly Sh
 matikov.</p>\n
URL:http://probprogschool2017.di.uminho.pt/
END:VEVENT
END:VCALENDAR