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: Dec 05 2021 at 23:19 UTC