Most RecentPosts
The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
Two weeks ago, at the 6th and 7th of December, 2018, the1st International HacKeYthontook place in the rooms of the KIT in Karlsruhe, Germany. In five groups consisting of 3 to 4 participants each we worked on small projects contributing to the overall good of the KeY system. The projects were addressing properties such as usability and performance of the system which are frequently ignored or postponed since their direct value for research is limited.
Continue reading“Report about the 1st International HacKeYthon 2018 ”→
This year, a new kind of KeY-related event will take place for the very first time, as discussed during the KeY Symposiums in Rastatt and Gothenburg: TheHacKeYthon.
The KeY Symposium brings together researchers interested in KeY and related aspects. We will exchange recent achievements, current ideas, discuss the next steps and milestones of the area, as well as future directions in general. Also the latest developments in the KeY tool are presented and discussed.
GIPHY App Key not set. Please check settings