Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Sat, 14 June 2025 at 02:45 pm in Glasgow, Scotland
Abstract: In the context of a curriculum restructure, we have been asked to add tool support, specifically Dafny, to our first year introductory foundations course. We have reviewed this extensively, and I will report on our findings.