Colloquium J. Morgenstern - Lars Birkedal - 23 septembre 2019 - 11h - Inria - Sophia Antipolis

Le 23 septembre 2021 à 11 heures à Inria - Sophia Antipolis

Lars Birkedal d'Aarhus University

Présentera "An Introduction to Iris: Higher-Order Concurrent Separation Logic"

Résumé / Abstract :

Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.

In this talk I will give an introduction to our research on Iris, a logical framework, implemented and verified in the Coq proof assistant, which can be used for mathematical reasoning about safety and correctness of concurrent higher-order imperative programs.

Plus d'informations et inscription sur le site du colloquium

La présentation sera faite en anglais.