Abstract
Details coming soon.
Details coming soon.
Wednesday Mar 18 / 10:35AM GMT
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods", the discipline of mathematically verifying software and systems.
Hillel Wayne
Author of "Logic for Programmers" and "Learn TLA+", Thought Leader in the Space of Empirical Software Engineering
Wednesday Mar 18 / 11:45AM GMT
Let's take back the internet! Learn about Spritely's work to re-decentralize the net with new foundational technologies that put users in control.
Christine Lemmer-Webber
Executive Director @Spritely Institute, Co-Author of ActivityPub
David Thompson
CTO @Spritely Institute,
Wednesday Mar 18 / 02:45PM GMT
Details coming soon.
Wednesday Mar 18 / 03:55PM GMT
Details coming soon.