defnull
Markus KuppeThis is for you if you're in Europe and want to learn TLA+. I will be at Craft Conf in Budapest in May to talk about #tlaplus and run my TLA+ workshop (https://craft-conf.com/2023/speaker/markus-kuppe). My proceeds go to https://skool.org.hu
Craft Conference - Budapest, May 18-19, 2023
Craft is about software craft, which tools, methods, practices should be part of the toolbox of a modern developer and company, and it is a compass on new technologies, trends. You can learn from the best speakers and practitioners in our community.