Research Visit Australia | Diego Marmsoler

I am just back from my research visit to Australia.

I was visiting Mark Utting at the University of Queensland (Brisbane) and Franck Cassez in Sydney to present and discuss my work on Isabelle/Solidity. The slides of my talk can be found here.

Thanks to everyone for the interesting discussions and hope to see all again soon!