Title: Formal Foundations for Translational Separation Logic Verifiers
Speaker: Dr Michael Sammler (ETH Zürich)
Date: 7th Oct 2024 - 14:45 to 15:30
Event: (BSPW01) Big Specification: Specification, Proof, and Testing at Scale
🔗 Find out more: [ Ссылка ]
-------------------
FOLLOW US
🌐| Website: [ Ссылка ]
🎥| Main Channel: [ Ссылка ]
🐦| Twitter: [ Ссылка ]
💬| Facebook: [ Ссылка ]
📷| Instagram: [ Ссылка ]
🔗| LinkedIn: [ Ссылка ]
SEMINAR ROOMS
🥇| INI Seminar Room 1: [ Ссылка ]
🥈| INI Seminar Room 2: [ Ссылка ]
🛰️| INI Satellite Events: [ Ссылка ]
ABOUT
The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.
👉 Learn more about us and our events here: [ Ссылка ]
