[TYPES/announce] Marktoberdorf Summer School: Call for Participation

[Tobias Nipkow]

                             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 a 11 day summer school for young computer 
scientists and mathematicians. It provides in-depth presentations of 
state-of-the-art topics in "Logical Methods for Safety and Security of Software 
Systems".

Lecturers 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

We look forward to seeing you in Marktoberdorf in August!

Orna Grumberg
Tobias Nipkow


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5135 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170227/4a564ccd/attachment.p7s>