Im Rahmen des brasilianischen Symposiums für formale Methoden (SBMF 2022) präsentierte ich Level-Up - From Bits to Words. Der Artikel wurde dort mit dem Best Paper Award ausgezeichnet.