The KeY core development teams from KIT and TUDa will meet from
Monday, 2nd March to Wednesday, 4th March 2026
to finalize the exchange of the Java parsing framework by a modern framework that supports Java 24.
The three day intensive development effort starts at 9 a.m. on Monday morning in Room A202 (Piloty tbuilding) at TU Darmstadt.
The effort is part and supported by the DFG project “Forschungssoftware KeY“.