Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers: HotSpot 2021

view this post on Zulip Email Gateway (Mar 22 2021 at 10:23):

From: Toby Murray <toby.murray@unimelb.edu.au>
=================================================================
HotSpot 2021:
7th Workshop on
Hot topics in the Principles of Security and Trust
Co-located with EuroS&P 2021, 7

Last updated: Nov 09 2025 at 20:21 UTC