coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation - Iris Workshop 2019 - Aarhus Univ - October 28-29, 2019

From: Lars Birkedal <birkedal AT cs.au.dk>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "CONCURRENCYWG AT jiscmail.ac.uk" <CONCURRENCYWG AT JISCMAIL.AC.UK>
Cc: Sofia Rasmussen <sofia AT cs.au.dk>, Lars Birkedal <birkedal AT cs.au.dk>, Robbert Krebbers <mail AT robbertkrebbers.nl>
Subject: [Coq-Club] Call for Participation - Iris Workshop 2019 - Aarhus Univ - October 28-29, 2019
Date: Wed, 25 Sep 2019 08:42:10 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.au.dk; dmarc=pass action=none header.from=cs.au.dk; dkim=pass header.d=cs.au.dk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=QnUDf4fXYFGr4a2CAnL2Va++Sym0E9QYd6TNPEfCavI=; b=O6bi1euz1m5tKuoYfAyJ9pkZJWgPQBsmgvxAkWVMhZTZ7PRRtUnthzzLBQ6Tq4aGErQR/lD6qWURMtrLp+3pKrA1EIkSZItpq9/vcW9M/WqWU5+fThripARqyT2MDlM6gfRvVCN1foFwcmjakBEd8aasrb7pZM0p5J8cVAkx9WB0HxhgcTKjaqCu1AcK/riDEH39ttDPbaUfn3MIvRXCj2bzobt5BPROBErt8nOaaE4g2rp9JXMK3XUJT0hweb1f15lShILLyX3+JIhFbu0Ks6V3asA9V/A8cTeNh4OM/LRG556iQRJRAvDkivfP5DRGERxTHvxRk2Me3N9DGo5Hug==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KI4zeXtLXdSTvgh7gKf2HBkwlbuYySWeHVpIv4K9BBLtJUyzKPta7l+94qClhmzn2y1uKIuWSyJhy3JDtGArmxJLmhAZXHEaGY85VGi+VCvBlvRurVTAa99pXku6umwmYXCpuPtJeu0AacPzeAYziFxPR/Dy6YIumUZyYysPqXqizwS1hDGJwyzPAXPlHPqJr205OPoEAJobCAOuqkSF8FBYrIojEMZDxf+KhBMlz6xtuwuJ9X9RWFJE2BL9j0KBMFhVKyYDKf5z3Zl9b/StCeYTCCmo/SCarYAjXQ0GS4UxDNgygSwj2Cuka1PbXK23YmFd9/MPyuPcvmgAY/OH+g==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=birkedal AT cs.au.dk; spf=Pass smtp.mailfrom=birkedal AT cs.au.dk; spf=Pass smtp.helo=postmaster AT EUR04-HE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:h/M99h9QqC8a0P9uRHKM819IXTAuvvDOBiVQ1KB+0+IRIJqq85mqBkHD//Il1AaPAdyArakewLKL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhGiTanb75+Mhq6oRnRu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0higZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDIOiYYUSE+oPM+VWoY78p1QSohSzHhOjCP/qyjJShn/6wa833uI8Gg/GxgwgGNcOvWzSotrvLqcSSv2+wbTJzTXZbPNZxyry55LMchs8pvyDRrNwcdDSyUYxCgzKlFGQpJf5MDOOzOgCqXWb4/B9WuKskmMqrRx6rDaoxscpkIbJh4QVx0jC9SV+3Yo4JMe0SEhmYdK8EZtQrSCaN5BvTsM6WWFovyQ6xaMatp6nZiQKz44nxxHHZ/OdboiE+A/sVOWXLDxlh3xlYKqyihmu/US61+HwSsu53ExIoyZfkdTBtmgB2hzJ5sSaSfZw/12t1SuS2w3S8O1JI0I5mbLVK5E/wbM8ip8evEHBEyL1hEr2gqqbeVgr9+Wo9ejqZ7rrqYOdOoNojwzzMqQjldCiDuk+LwMARXKU+f6m273m5UD5QKtFjvkxkqTBv57VK9gVqrK2DgNM0Igt5AuzAy6h0NsDg3YLNlVFeA+bj4fyPFHOPfb4Auqlj1S0ijdrwOzGMaP9DZXRL3jDl7Hhcax6605B1Aozyddf55VXCr0bPP3zXUrxuMTZDh8/LQO03/7qBdph2o8ERG6DHq2UPLnQvFOS5e8iI/GAZIoPtzb8L/gl6eTujXg8mVIFZqap3IEXaHOmEft7OUqZZWHhjcsaEWsQpAU+Ufbmh0CBUTJLfXa9Q7o85i0nCIKhFYrMWoetgKWY0CinGp1We3tJB0uXEXbocoWEQ+0DZDiTIs9niDwEVKKuR5Uv1RG050fGzO8tMvvM9zZdvJTl08Vz7OD7kRAp6ScyFMmUyCeQV2xymCUFSyJ8lPRjsFRw0RKK165/nvpTGPRX5uhVSUEhOJfHifFiBtb0HA/NY4HNABytRczjCjUsRPowxcUPagBzAZ/q2hvExm+hB6Ifv72NHp09tKzGiTy5be1a7V377pMMqXIXfeRnN2y9jat29gyVDoWPjkbT3/KBUoI34RT32UGo/FWhlGN5ayVVeIThG1k0IHb1+4fX/ETHGpunE69vGApbysOOI68CPtfol1ZLSP7nEN/FJWus3WuzU0XbjoiQZZbnLj1OlB7WD1IJxkVKpS7faVoOQxy5qmebNwRAUEr1ahq0o+Jl7nqmCEM3nVnTPh9RkoGt8xtQvsSyDvYa37YKoiAk8m0mF0371s+QB9nS/lM8LpUZWss05RJ87UyctwF5OcD/fY1fvAZCNiRa5gbp3RgxDZhcm883qn9s1BB1Na+TzFJGcXWfwIz0PbrUbGL1+UL2Zg==

Call for Participation - Iris Workshop 2019

Aarhus University - October 28-29, 2019

Dear All,

On October 28-29, we are hosting the Iris Workshop 2019 at the

Department of Computer Science, Aarhus University.

It is a specialist workshop focusing on Iris-related research,

but we welcome participation by anyone who is interested.

Find more information about the workshop here:

https://iris-project.org/workshop-2019/

and find out more about Iris here:

https://iris-project.org

Participation in the workshop is free, but you need to register your

participation at https://events.au.dk/iris2019 (deadline: October 11).

All participants are welcome to stay 1-3 days longer for more

informal discussions and interaction.

PRELIMINARY PROGRAM:

October 28

09:00 - 10:00: Invited talk: Ralf Jung: Logical Atomicity in Iris: The Good, the Bad, and the Ugly

10:00 - 10:30: Coffee break

10:30 - 11:00: Amin Timany: Aneris: A Logic for Node-Local, Modular Reasoning of Distributed Systems

11:00 - 11:30: Jesper Bengtson: Actris: Session-Type Based Reasoning in Separation Logic

11:30 - 12:00: Rodolphe Lepigre: TBA

12:00 - 13:30: Lunch

13:30 - 14:30: Invited Talk: François Pottier: Playing spy games in Iris

14:30 - 15:00: Léo Stefanesco: TBA

15:00 - 15:30: Coffee and cake

15:30 - 16:00: Philippa Gardner: Compositional Reasoning for the Termination of Fine-grained Concurrent Programs

16:00 - 17:00: Invited Talk: Gregory Malecha: TBA

18:30 - 21:30: Conference dinner at No. 16 (https://no16.nu/)

October 29

09:00 - 10:00: Invited talk: Dan Frumin: Compositional Non-Interference for Fine-Grained Concurrent Programs

10:00 - 10:30: Coffee break

10:30 - 11:00: Glen Mével: Iris for Multicore OCaml

11:00 - 11:30: Armaël Guéneau: Formal verification of an incremental cycle detection algorithm

11:30 - 12:00: Andrew Appel: Recent developments in the Verified Software Toolchain

12:00 - 13:30: Lunch

13:30 - 14:30: Invited Talk: Bart Jacobs: Specifying I/O using Abstract Nested Hoare Triples

14:30 - 15:00: Aïna Linn Georges: Implementing a Capability Machine model into Iris

15:00 - 15:30: Coffee and cake

15:30 - 16:00: Paolo Giarrusso: Step-Indexed Logical Relations for (guarded) Dependent Object Types

16:00 - 16:30: Hai Dang: RustBelt Relaxed

Best wishes,

Robbert Krebbers and Lars Birkedal

--
Lars Birkedal
Villum Investigator
Professor, Head of Logic and Semantics Group
Dept. of Computer Science
Aarhus University
Aabogade 34
8200 Aarhus N
Denmark
birkedal AT cs.au.dk
www.cs.au.dk/~birke

[Coq-Club] Call for Participation - Iris Workshop 2019 - Aarhus Univ - October 28-29, 2019, Lars Birkedal, 09/25/2019