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

Update 2019-05-13-lorentz _seminar.md

parent 6a10169e
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
+ 1
− 1
View file @ b2290afc
...@@ -3,7 +3,7 @@ title: Effective Verification Workshop at the Lorentz centre, talks by Philippa ...@@ -3,7 +3,7 @@ title: Effective Verification Workshop at the Lorentz centre, talks by Philippa
--- ---
Philippa Gardner and Emanuele D'Osualdo gave invited talks as this May's Lorentz centre workshop: 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. [Effective Verification: Static Analysis Meets Program Logics]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius) in Leiden, The Netherlands.
Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination
of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive 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