2-11 Aug 2017
Marktoberdorf, Germany
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 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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam