[pl-seminar] Great summer school

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

This year's Marktoberdorf looks really good.

-Loris

MARKTOBERDORF SUMMER SCHOOL
      Logical Methods for Safety and Security of Software Systems
                  August 2-11 2017
              Âhttps://asimod.in.tum.de/2017/

Apply online:Âhttps://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9

The "Marktoberdorf Summer School" is an 10-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Logical Methods for Safety and Security of Software Systems" and leaves ample room for interaction between participants and speakers.

Speakers and courses:

CHRISTEL BAIER:
   ÂProbabilistic Model Checking
GILLES BARTHE:
   ÂRelational Verification for Differential Privacy and Cryptography
NICOLAJ BJÃRNER:
   ÂSatisfiability Modulo Theories
CÃDRIC FOURNET:
   ÂSecurity Verification in F*
ORNA GRUMBERG:
   ÂProgram Repair
JOOST-PIETER KATOEN:
   ÂFoundations of Probabilistic Programming
DANIEL KROENING:
   ÂStatic Analysers for Black Hats and White Hats
ORNA KUPFERMANN:
   ÂAutomated Synthesis of Temporal-Logic Specifications
MAGNUS MYREEN:
   ÂVerification of an ML Compiler
TOBIAS NIPKOW:
   ÂVerified Analysis of Functional Data Structures
LARRY PAULSON:
   ÂProof Support for Hybrid System Analysis
ANDRE PLATZER:
   ÂDynamic Logic for Dynamical Systems