Commit 4ec64894 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files


parent 052cfaba
Pipeline #170645 passed with stages
in 3 minutes and 7 seconds
......@@ -9,6 +9,7 @@ showcase advancements made in "Logic and Programming Languages"
and "Logic and Artificial Intelligence", with presentations by PhD
students, post-docs and academics working in areas where there is a
need for logical inference or advantages in using logic-based methods.
Philippa will talk on “Compositional Reasoning about Software Systems:
Separation Logic.” , with Petar talking about “Gillian: A Multi-language
Separation Logic.” and Petar with talk about “Gillian: A Multi-language
Platform for Compositional Symbolic Execution.”
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