Inria Colloquium Morgenstern - Lars Birkedal – An Introduction to Iris: Higher-Order Concurrent Separation Logic

  • Research
Published on September 3, 2021 Updated on September 3, 2021
Dates

on the September 23, 2021

11 a.m.
Location
Hybrid event
Online and @ Inria Sophia Antipolis, amphi Kahn (attendance requires registration)