1st International HacKeYthon 2018

News: The meeting room for the initial session has been changed. We now meet in the lab room 201 (and not the seminar room 010), which is in the 2nd floor of the computer science building. (Dec. 5th, 2018)

News: Preliminary program has been published. (Nov. 21st, 2018)

News: The registration for the HacKeYthon is now open. Please register until the deadline given below. If you did not receive the registration link, please contact Dominic Steinhöfel. Also, we published the final list of topics offered along with the associated team speakers. (Nov. 9th, 2018)

News: The place for the HacKeYthon has been fixed (it will take place in Karlsruhe), and we extended the time frame a bit. (Nov. 2nd, 2018)

News: The Call for Participation has been updated by a revised list of topics. (Nov. 2nd, 2018)

News: The Call for Participation is out! (Oct. 26th, 2018)

In 2018, a new type of KeY-related event takes place for the very first time: The HacKeYthon. The goal of this happening is to bring together experienced KeY developers, new project members and associates as well as interested students which in small groups tackle several interesting programming projects related to KeY in a nice and productive setting. Thus, at the same time we can bring forward the development of the KeY framework as well as transfer valuable knowledge to the next generation of KeY developers.

The HacKeYthon is an invitation-only event. If you are interested in participating but have not been invited yet, please contact Dominic Steinhöfel (see people page for contact details). Also for other questions or concerns feel free to drop an email.

Information about the registration will be published here after the public feedback deadline.

The HacKeYthon will take place in Karlsruhe (KIT). We will send more concrete information to registered participants after expiration of the registration deadline.

For information about the list of topics offered and associated team speakers, please visit our dedicated HacKeYthon topics page.


Visit the HacKeYthon program page.


The HacKeYthon takes place in the rooms of the KIT organized by our “local host team” of the Application-oriented Formal Verification group. All rooms are within the computer science main building 50.34 at

Am Fasanengarten 5
76131 Karlsruhe

You can see the place in the below map. The initial meeting at the 6th of December, starting at 10:00 AM, takes place in the seminar room 010. The room is in the ground floor of the north wing, to be reached using the west entrance, takes place in the lab room 201, opposite of the secretariat of Prof. Beckert. We put some signs leading there from 010 and the nearest entrance to the computer science building.


  • October 26th, 2018: Call for Participation
  • December 6th, 2018, 10:00 a.m.: Start of the HacKeYthon
  • December 7th, 2018, 2:00 4:00 p.m.: End of the HacKeYthon


  • November 5th, 2018: Deadline for public feedback to topics selection
  • November 23rd, 2018: Registration Deadline

Organization Committee

Dominic Steinhöfel (TUD)
Eduard Kamburjan (TUD)
Mattias Ulbrich (KIT)
Michael Kirsten (KIT)
Richard Bubel (TUD)

and with a lot of support by Alexander Weigl (KIT)