Commit 86a2734b authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update 2019-10-28-iris.md

parent 1de76fc7
Pipeline #102917 failed with stages
in 2 minutes and 42 seconds
......@@ -6,4 +6,6 @@ of the [Iris workshop](https://iris-project.org/workshop-2019/#program).
The two-day workshop, held at Aarhus University, Denmark focused on [Iris]( https://iris-project.org/),
a Higher-Order Concurrent Separation Logic Framework implemented and verified
in the proof assistant Coq that can be used for reasoning about safety of concurrent programs.
\ No newline at end of file
in the proof assistant Coq that can be used for reasoning about safety of concurrent programs.
Philippa gave a talk on their joint work on “Compositional Reasoning for the Termination of Fine-grained Concurrent Programs”.
\ No newline at end of file
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