Commit 04e88a56 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2019-08-09-marktoberdorf.md

parent 1e68d946
Pipeline #102912 failed with stages
in 5 minutes and 48 seconds
---
title: Summer School Marktoberdorf 2019, “Safety and Security for Software Systems: Logics, Proofs, Applications”
title: Summer School Marktoberdorf 2019
---
Gaby Sampaio and Sacha Ayoun, two of the group’s PhD students, were invited to
attend the [40th Marktoberdorf Summer School](https://www2.in.tum.de/mod19/index.html),
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment