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
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.
\n\nProbabilistic 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.
URL:http://probprogschool2017.di.uminho.pt/ END:VEVENT END:VCALENDAR