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 9The "Marktoberdorf Summer School" is an 11-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
Description: S/MIME Cryptographic Signature