Formalise 2020

Yesterday, I attended my first ever virtual conference (Formalise 20202). Formalise had authors had submit videos presenting their papers such that attendees could asynchronously watch the videos. To simulate physical interactions between authors and attendees after presentations – usually a big part of conferences – Formalise used slack and moderated Q&A after the keynotes by Corina Pasareanu and Shahar Maoz. Unfortunately life happend, and I missed the first keynote by Shahar. Really annoying. Even worse, I did not only miss the keynote, I also missed the announcement that we won the “Best Video Presentation Award” 😀 . Unforunately there is no money involved in that award, but at least all the work in making a video that was not just a voice-over slides was not completely wasted.