# Solidity Summit 2023 Recap Source: https://soliditylang.org/blog/2023/11/30/solidity-summit-2023-recap Kiwi News: https://news.kiwistand.com/stories/Solidity-Summit-2023-Recap?index=0x6568d2821e02687aebd38ecd7b4865ec6a41c293688fa4c25c68fc4a6a63e9e1a1bd21dc Submitted by tim on 2023-11-30 UTC, 1 upvote, 0 comments ## Summary Solidity Summit 2023, the third edition of the event, took place in Istanbul, Türkiye, on November 16, 2023, as part of Devconnect week, according to the Solidity Team's recap. Roughly 300 participants attended more than 15 sessions covering Solidity internals, tooling, smart contract testing and security, and EVM languages and mechanisms. Speakers included Daniel Kirchner, who gave the keynote "Solidity in 2023," and Omar Tawfik, who presented Slang, a project for building Solidity compiler APIs from a declarative language specification. Recordings and slides of all talks are available on YouTube and StreamETH. ## Article Posted by Solidity Team on November 30, 2023 Announcements We can't believe it's already been two weeks since we met in Istanbul, Türkiye, for the third edition of Solidity Summit! Solidity Summit 2023 was part of the Devconnect week and took place on Thursday, November 16, 2023. With roughly 300 participants, the event was well attended. The day was packed with 15+ sessions on: Solidity internals and tips & tricks Solidity tooling Smart contract testing & security best practices EVM Languages and mechanisms ... and more! The full agenda of the day can be found here. You can watch all talks by browsing through the individual videos in the YouTube playlist or in the StreamETH archive. Recordings and slides Sorted by topic, here are all talks with links to the recordings and slides. Solidity Keynote: Solidity in 2023 - Daniel Kirchner Recording Slides Slang: Building Solidity Compiler APIs from a Declarative Language Specification - Omar Tawfik Recording Slides Experimental Solidity - Daniel Kirchner Recording Slides Tooling & Security Decoding the EVM: A New Debugging Format for Smart Contracts - gnidan Recording Slides How Good Is Your Formal Specification? Mutation Testing To The Rescue! - Chandrakana Nandi Recording Slides Solidity's most common security pitfalls (and its best safeguards) - gmhacker Recording Slides Documenting Solidity with diagrams - Nick Addison Recording Slides Beyond Fuzzing: Symbolic Testing in Practice - Karmacoma Recording Branching Tree Technique: Writing structured Solidity tests - Paul Razvan Berg Recording Slides EVM Languages, L2s & Mechanisms Test your tests: The dos and don'ts of testing - Kurt Willis Recording Slides The Art of Huff - jtriley Recording Slides Deep dive into L2 deployed contracts - Ren Crypto Fish Recording Slides Namespace storage (for now and for a verkle EVM) - Hadrien Croudbois Recording Slides Differential Fuzzing with Foundry for Gas Optimization - Anna Caroll Recording Slides How we built MUD: An onchain kernel for complex applications on Ethereum - Alvarius Recording Slides Panel Discussion: State of EVM Languages - Hari (Solidity contributor), maddiaa (Huff contributor), Grant (Fe lang), jtriley (Edge), zee eighty (Vyper) Recording Yul, IR, Inline Assembly via-IR - Nikola Matić Recording Slides Summit impressions See you at the next summit! Lastly, we want to extend a big thank you to all speakers for making the day so interesting by contributing excellent content and to all attendees for their eager participation and questions! We hope you enjoyed the day as much as we did and are looking forward to the next Solidity Summit already. In the meantime, feel free to send feedback and ideas for the upcoming summits our way (solidity-summit[at]ethereum.org) and see you all at the next Solidity Summit!