2nd HacKeYthon 2024

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.

Dates:

21. – 22. February 2024, starting at 10 a.m.

Venue:

Computer Science Department
Am Fasanengarten 5
Karlsruhe, Germany

Further information can be found on the dedicated HacKeYthon page.