[Caml-list] Marktoberdorf Summer School: Call for Participation

[Caml-list] Marktoberdorf Summer School: Call for Participation

[Tobias Nipkow]

[-- Attachment #1: Type: text/plain, Size: 1593 bytes --]

                                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

We look forward to seeing you in Marktoberdorf in August!

Orna Grumberg
Tobias Nipkow






[-- Attachment #2: S/MIME Cryptographic Signature --]
[-- Type: application/pkcs7-signature, Size: 5135 bytes --]