The HacKeYthon is a two-day event with the goal of bringing forward the development of the KeY system and to transfer knowledge from experienced developers to newer members and associates of the KeY project.
In particular, also students working as student assistants with KeY or writing a related Bachelor or Master thesis are cordially invited to join the event. Participants will work in small groups of 3-5 persons on one or more topics of suitable scope. Each group should consist of at least one experienced and at least one less experienced developer.
More information can be found here.
