This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Luca 🤓
lucadistefano.eu
did:plc:pyx4u3ete4fo7ypvysyv2uge
I've gladly accepted to join the Program Committee of #FMICS 2025, the 30th Intl Conference on Formal Methods for Industrial Critical Systems ✅ This year, we're co-located with #CONFEST, one of the foremost venues for concurrency theory research. Call for Papers out soon! 👀
#CONCUR #QEST #FORMATS
2025-01-31T10:32:58.446Z