 Welcome to day two of the Solidity Summit. Happy to have you all back here. Before we dive into the content, I will give you a quick outlook on what we will discuss today and which kind of talks we will have on the agenda today. So let me quickly share this with you. Obviously you can all access the agenda. This is the Google Sheet agenda, which I also just shared again on Twitter as well as in the Gitter Chat. So whenever you want to interact with the speakers today and you don't happen to be in the jitzy room itself, don't worry, you can ask all of your questions in the Gitter Chat, gitter.im slash ethereum slash solidity and moderator. So either myself or somebody else will relay your question into the chat room. So today, day number two of the Solidity Summit, we will kick it off in four minutes with Ann, who will give us an overview of creativity and Solidity development. After that, we will have Hongying Tai, who will give a more detailed overview of the Sol compiler, which we already had a lightning talk about yesterday from Michael. And today we will learn about optimizing Solidity, which was in bytecode via the LLVM framework. After that, we will get an introduction to the remix analyzer from Aniket from the remix team. And then we will hear from Sean about the overview of the Solang Solidity compiler. After that, Sebastian from Quantstamp will present how to detect a DOS vulnerabilities caused by gas limits with fuzzing. And then we have Gonzalo and Martin, who will maybe show us the visualization of large code bases with the Solidity visualize extension for VS code. Or something else, I'm not sure, maybe it will be a surprise, but they will for sure present something. And I'm super curious to see what. Then we will have a short break. And after that, in the afternoon, we will start with the discussion sessions, kicking it off with the first discussion moderated by Alex about gas unrestricted alternatives for send and transfer. Then we will get a nice introduction into LSP and possible applications of LSP to Solidity. That will also be an open discussion. After that, we will have an open discussion and lightning talk combined. First a lightning talk from remix tests and then an in language testing syntax discussion. Then we will listen from Johan about mutation testing with Vertigo, a tool. Then we will have a quite long discussion around formal verification called acting formal, where we will get both an introduction to act as well as a discussion on formal verification. And I'm sure we will also hear about the SMT checker, moderated by Martin and Leo. Then we will have another open discussion on immutable and explicit copies, which will be moderated by Alex and Leo. And then another short break, followed by another open discussion. Wow, a lot of open discussions today about modifier areas, moderated by Chris. Then we will have a talk from Leakey introducing us to source verify or verify all the sources. And then we will have another open discussion. This one moderated by Nick Giordita about ethpm equals metadata. And lastly, we will have an open discussion on functional solidity. And then you see this open slot over here at the end of the conference, where right now you cannot see any specified content. This is because we kept an open slot here in case there's anything during the day that we realized we still want to discuss or that you guys maybe still think you have questions about. So during the day in the Gitter Chat, we can collect whenever something pops up that you guys still think is missing, then we can basically use this open slot to discuss it at the end of the conference. And if we think that at 9.30 German time, we have discussed everything we needed to discuss, we might also skip the session. So yeah, keep stay tuned on the last session. And without further ado, I am stopping my screen share with the last announcement that in case you guys only joined for the second day, there's the option to get a proof of a tendency protocol batch for proving your attendance here at the Solidity Summit. If you want to claim such a batch, just write me a direct message on Gitter. And you can get such a redeem link if you provide me with some feedback on the Solidity Summit, what you liked, what you didn't like in exchange.