Add new file

_posts/2019-05-13-lorentz _seminar.md

+---
+title: Effective Verification: Workshop at the Lorentz centre, talks by Philippa Gardner and Emanuele D’Osualdo
+---
+
+Philippa and Emanuele were invited to take part in the Lorentz centre workshop: 
+Effective Verification: Static Analysis Meets Program Logics.
+
+Philippa gave a talk on TADA Live: Compositional Reasoning for the Termination 
+of Fine-grained Concurrent Programs and Emanuele gave a talk entitled: Inductive 
+Invariants for Automatic Verification of Cryptographic Protocols.
+
+The [Lorentz Center workshop series](http://lorentzcenter.nl/progsel.php) 
+bring together scientists in a work environment that fosters exchange and 
+interaction and the establishment of collaborations. For the [Effective 
+Verification workshop]( http://lorentzcenter.nl/lc/web/2019/1115/description.php3?wsid=1115&venue=Snellius), 
+the centre invited researchers in both static analysis and program logics 
+(e.g. concurrent separation logic) and encouraged them to share each other's 
+techniques and tools. The goal is to help promote work developing more effective 
+automation for program logics (using techniques from static analysis), as well 
+as help extend static analysis to prove more daring properties beyond safety 
+(using techniques from program logics).
+ 
+You can find the [programme of the workshop here](http://lorentzcenter.nl/lc/web/2019/1115/program.pdf)
\ No newline at end of file