 Hello everybody so great that so many of you are joining already for the boring opening ceremony. I hope I can make it less boring by telling you a bit about how this is all going to work in this online setup which we certainly didn't expect when we were planning for this conference. And I will also introduce what do we hope to get out of the Solidity Summit as well as who's on the team and everything you need to know to survive the next two days with us. So I think we are good to go. That means I will share my screen with you now. And we can get started. The first life hack for everybody who will present after me is that you click share your screen and then you click on your camera again so that you can see both the speaker as well as the slides. All right. Hello everybody. I'm super happy that you are all here. My name is Francisca and I will be your host and moderator for the next two days except for the open discussion sessions where we will have expert moderators leading you through the sessions. We're super happy to have you all here. This is our very first Solidity Summit. It was expected to be an in person event in Berlin but due to the corona crisis which is happening right now obviously we are not hosting in person conference but we switched everything to be an online conference. And yeah, we hope that this will work out fine. This is certainly new to run for us to be hosting an online conference, but we are super happy to do this together with the interspace team and we hope that all of you will have a smooth experience. In order to have such a smooth experience I already sent you some instructions, but I will also walk you through how everything will work again so that everybody knows how to get the best out of this conference. So firstly welcome to everybody and why are we even hosting this event. So obviously we want to get people involved and interested in the Solidity language together and want them to be able to exchange about the topics that they are interested in. We certainly want to exchange experiences and discuss language design and tooling together because the developers of the Solidity language certainly have some questions for you who are using the Solidity language on how the language design should be moving forward. So I think that those discussions will actually then result in improvement proposals, which will definitely impact the actual implementation of the Solidity language and you will. And we don't only want to foster the communication between the Solidity team so us and you guys, but we also want to foster the communication between teams that are working on, maybe the same or similar topics. So that you are aware of each other and maybe you can collaborate moving forward. But ultimately also we want to obviously identify needs for the smart contract ecosystem for Ethereum and derive steps forward together. So yeah, first of all meet the Solidity team. Those are all the people who are officially working on the Solidity language at the moment but obviously this is an un exhaustive list we have so many open source contributors that are either contributing by reporting bugs or by requesting features or by just joining the conversations with us so this is just the official team that I'm listing here. And if there are some people from the official team in the in the jitzy room right now, feel free to turn on your camera really briefly so that people can see you. Yeah, hey guys. Also there's all of the guitar handles from the team there so in case you have questions, you can just add them in the guitar channel and then you can discuss with them over there. So now how to Solidity Summit. This conference is as I already mentioned powered by interspace, which is a new open source initiative to basically bring online conferencing to the blockchain space and maybe even beyond let's see. We've produced some great events in the past, for example the noncon, which was I think the first conference where interspace was used and then also a virtual hackathon Eastern Turin and I believe there will be much more events coming up in the future. So what does this mean this conference is facilitated by a couple of tools, which I hope will make the collaboration and interaction between all of us during the conference. It's easy and easy and will almost feel as if we are all in the same room together. It's powered by jitzy mostly jitzy is this open source conferencing tool and video conferencing tool which we are using right now. So there's one main conference room. This is a single track event so everything will happen in this main room. There's the lobby room which you can use to hang out for example in breaks if you want to try out jitzy if you want to just chat casually with people who are hanging around. You can also create your own breakout rooms. So basically if you want to take a discussion further and it's not part of the agenda anymore, you can create your own breakout room. And then you can distribute the link of this breakout room to the people who are interested, for example, using the guitar chat. We are using YouTube for the live stream so if you are watching via the live stream right now already you might know that we're using the Ethereum Foundation YouTube account and you can find the live stream link also on the interspace border. So we're using the guitar chat, solidity guitar chat for the Q&A sessions and for coordination. So in case you have any question for a speaker during an open discussion session or whatever, feel free to just put your question there and the moderators will relay the questions. We have agendas in a Google sheet as well as also in a Google calendar so if you want to create your own, oops, if you want to create your own individual itinerary you can do that by going to the Google calendar entry and just copying the agenda points that you would like to see. In the open discussion sessions we will use HackMDs to take collaborative notes and those HackMDs are also always listed in the agenda points. If you're participating today or tomorrow or even both days of the event you are also able to claim a proof of attendance protocol token, which will verify that you attended this event, and for very ad hoc coordination in case all other people have just listed above fails us. We also have a telegram group for emergency coordination in case this room breaks down or whatever needs to be coordinated. I will be sure to put it in the telegram group as well as in the guitar channel. So that's basically that and you might ask yourself, but where do I find all of those links crazy right. So, don't you worry, just go to interspace.solidity.summit.etherum.org if you aren't there already. And there you will really find everything you need in one place. And as I was outlining before you for example find the collaborative notes in the description of the open discussion session, if you click on agenda. So how does this jitzy thing work. I have made a screenshot when I was doing a conference, all on my own. So if in case you open the jitzy room in another browser tab which I think is the recommended option to do so if you are for example a speaker. It might look similar to you. And this jitzy is very easy to use actually super straight forward. There's a few features you can share your screen sharing your screen is on the left in the corner and on the bottom. You can raise your hand which might be a yeah excite surface raising his hand for example you can do that in case you want to speak so that in an open discussion session or whatever moderator can see you want to say something. So if you have the microphone settings in the middle where you can also choose which mic you would want to be using. You can quit the meeting in the middle and you can also change your camera settings there. And then on the right hand side on the bottom you have other settings. You can change the view, and you can click on the I to know which is the room you are else but you can also know that just by seeing your browser tab. Yeah, and you can also set yourself a name and as I see almost everybody who's in the room already did so. So basically by clicking on your video or by clicking on the settings settings you can give yourself a username. But this sounds like everybody already did so. I wanted to mention that you can click on the help button in the sidebar of the inner space, and there's a description of the jitsie interface if you didn't catch everything that that Francie said. Absolutely exactly. And then what's the recommended setup. So jitsie has this maximum participants of 75 participants per room limit. So you will reach this limit, but to ensure a smooth experience for everybody. In case you don't plan on actively being involved, aka speaking or discussing actively in a session. I would always recommend you to go for the live stream, because it also saves your CPU. Obviously, you can switch between live stream and participating in the jitsie room directly depending on the session. If you want to listen in, you go watch the live stream. If you want to really actively participate, you join the room. So feel free to, you know, jump around and switch around between those two. Talk to us in Gitter for Q&A. And yeah, just FYI, the live stream by nature has a little delay. So if you really actively want to discuss in such an open discussion session, I would recommend you to join the jitsie meeting because otherwise you will be one minute late more or less to the discussion. Yeah, then how do you survive 9 hours online per day? Obviously, you don't need to participate in every single session, but I would love you to do so because I think it's all really relevant and interesting content. So yeah, just a few quick reminders, which you might already be aware of, but I just wanted to let you know again, please don't forget over all of the school conferencing to drink something depending on your time of the day, coffee, tea, club matter, beer, water, whatever you prefer. Don't forget to eat also. Yeah. Don't forget to get up and stretch your legs sometimes and also have a screen break for your eyes. So just watch out of the window or go watch your kids if they are playing around at home at the moment during Corona. And yeah, you can also open the YouTube live stream on your phone. So in case you need to go somewhere or just want to wander around a little bit. That's also an option. Okay, last but not least, let's have a quick look at what is going to happen today together at the agenda. So this is the agenda you might be familiar already with it. We are currently here and doing the opening right after that Chris will present us the Solidity 2020 roadmap. After this, we have a nice talk coming up from Richard and Shang Wei about the key framework and case Solidity. After this, we will look at a source level formal verification tool together with Akash. Then we will have a presentation on set Torah. Then we will learn something about the type and chain lens, which are two tools developed by Loredana. Then we will hear about some thoughts on language design and fragmentation from Alex. And then in the afternoon, we start with the open discussion sessions. They always start in the afternoon because we want to give also the Americas a chance to participate in those. So we will start with the first discussion on safe math by default moderated by Chris. Then we will have a break. Then we will have a discussion on libraries 2.0 moderated by Chris again. Then we will receive a nice introduction on Yule plus from Nick Dodson. And after that we will also have a discussion on new food features for you moderated by Alex. Then we will learn something about the sole compiler. Then there will be another open discussion on upgradable contracts. Another short break. Another discussion on fixed point types. Then tracking mapping keys with a travel debugger by Harry and consecutively also travel debugger demo and followed by a debugging data discussion. You might notice that one talk is missing today. Unfortunately, one of our speakers fell sick. So we will not hear about curiosities and solidity development from Nick. And that's why the fixed point types discussion has been moved up a little bit. And that's almost it from my side so long. I hope you will have fun and enjoy the upcoming talks and discussions. And please feel free to ping me with any feedback you might have. I'm underscore francy high on Twitter and francy high everywhere else. So have fun and enjoy and with that, without further ado, I hand the mic over to Chris.