The Working Workshops was a one-day event held last October 18th, 2023, in Bucharest and was organized by Runtime Verification in preparation for the [xDay2023](https://twitter.com/xDay2023). Some of the topics discussed include the state of K, symbolic execution of Solidity with Kontrol, MX Property Verification with Kasmer, Matching Logic in Lean and Proof of Proof with Pi.

Watch on YouTube

"Working Workshops - Bucharest October 2023" was a dynamic and insightful one-day event held on October 18th, 2023, in Bucharest, organized by Runtime Verification. It served as a precursor to xDay2023, featuring in-depth discussions on various cutting-edge topics like K framework, Solidity's symbolic execution with Kontrol, MX Property Verification using Kasmer, Matching Logic in Lean, and Pi's Proof of Proof concept. The event showcased speakers such as Horatiu Cheval, Denisa Diaconescu, Dorel Lucanu, Grigore Rosu, and Mihai Calancea.