10th KeY Symposium at Nijmegen, The Netherlands
August 26, 2011 at 6pm to August 27, 2015 at 7pm
Held in conjunction with: 2nd International conference on Interactive Theorem Proving, ITP 2011.The KeY Symposium brings together researchers interested in KeY or related approaches. The latest achievements concerning KeY related research and the KeY Tool will be presented. Moreover, we will exchange current ideas, discuss the next steps and milestones of the area, as well as future…See More
Comment Wall
You need to be a member of CHARTER to add comments!