MARKTOBERDORF SUMMER SCHOOL
Date: Mar 06, 2017 5:15 am – Mar 06, 2017 6:15 am
Logical Methods for Safety and Security of Software Systems
August 2-11 2017 | Marktoberdorf, Germany | 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
Submitted by Anonymous
on
Logical Methods for Safety and Security of Software Systems
August 2-11 2017 | Marktoberdorf, Germany | 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