The 3rd HacKeYthon will take place on Wednesday, February 19, and Thursday, February 20, at TU Darmstadt .
The goal of this event is to bring 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.
Organization
The idea is to have two types of sessions:
Work in groups: Participants will work in small groups on one or more topics of suitable scope. Each group should consist of at least one experienced and at least one less experienced developer.
Bug fixing sprint: Participants will concentrate on fixing small bugs and implementing “featurelets”, i.e. very tiny features and quality of life improvements such as the option to mark folders as favorites in the file dialog (which was implemented during a previous HacKeYthon). There is a project board with some candidate issues that could be fixed under this link: https://github.com/orgs/KeYProject/projects/12/views/1?layout=board. If you start working on an issue, please move it to “In progress” (if you don’t have enough permissions, you can ask someone from the core developers to do so).
If you have questions about the organization, feel free to contact Daniel Drodt (daniel.drodt@tu-darmstadt.de) or Richard Bubel (bubel@cs.tu-darmstadt.de).
Schedule
Room A202 is in building S202 (Computer Science Building), Hochschulstraße 10
The room is located on the first floor (if you count the ground floor as zero) in the stairway
(outside the glass door, next to Prof. Reiner Hähnle’s office).
Wednesday, 19th February
| Time | TOP | Room (Piloty Building, S202) |
| 10:00 – 10:15 | Welcome | A202 |
| 10:15 – 10:45 | Topic Presentations | A202 |
| 11:00 – 12:30 | Work in Small Groups | |
| 12:30 – 13:30 | Lunch | A202 |
| 13:30 – 15:00 | Work in Small Groups | |
| 15:00 – 15:30 | Coffee Break | A202 |
| 15:30 – 17:00 | Bug Fixing Session | |
| 17:00 – 17:30 | State of Work | A202 |
| 18:00 – | Dinner at Daedis |
Thursday, 20th February
| Time | TOP | Room (Piloty Building, S202) |
| 9:30 – 9:45 | Good Morning / Planning | A202 |
| 10:00 – 12:00 | Work in Small Groups / Bugfixing | |
| 12:00 – 13:00 | Lunch | A202 |
| 13:00 – 14:30 | Work in Small Groups / Bugfixing / Wrap Up | |
| 14:30 – 15:00 | Conclusions | A202 |
Venue
The HacKeYthon takes place in the rooms of TU Darmstadt, organized by our “local host team” of the Software Engineering Group.
All rooms are within the computer science main building (Piloty Building, S2|02) at
Hochschulstraße 10
64289 Darmstadt
Organization Committee
Daniel Drodt (TUDa, local organiser)
Richard Bubel (TUDa, local organiser)
Wolfram Pfeifer (KIT)
Florian Lanzinger (KIT)
Mattias Ulbrich (KIT)
Alexander Weigl (KIT)