1st International HacKeYthon

The "HacKeYthon" is an event with the goal to bring forward the development of the KeY program verification framework, and, at the same time, unite experienced developers, new project members and associates as well as interested students. Participants work in small groups, which are mixed in terms of experience to enable knowledge transfer, on chosen programming projects related to KeY. The idea of the HacKeYthon was originally conceived by me in 2017, and I was the main organizer of the first such event in 2018.

15th International KeY Symposium

I organized the 15th KeY Symposium in Manigod, France. This included communication with participants (emails, website), assembling the program, and organizational issues regarding the venue (rooms, catering).