Skip to content
Snippets Groups Projects
Commit 6a10169e authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2019-05-13-lorentz _seminar.md

parent 109e249f
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
_posts/2019-05-13-lorentz _seminar.md
+ 2
− 2
View file @ 6a10169e
......@@ -2,8 +2,8 @@
title: Effective Verification Workshop at the Lorentz centre, talks by Philippa Gardner and Emanuele D’Osualdo
---
Philippa Gardner and Emanuele D'Osualdo have been invited to take part in the Lorentz centre workshop:
[Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius), this May.
Philippa Gardner and Emanuele D'Osualdo gave invited talks as this May's Lorentz centre workshop:
[Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius) in Leiden, The Natherlands.
Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination
of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive
......
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