Jonathan Weinberger (Chapman University) will join us for a talk on current developments in program verification and type theory. This will be interesting for...
Here we present the titles and abstracts for our keynotes at the upcoming SAS25 conference. The keynotes are public (Location: Rühle-Saal @hlrs). Please write...
Conference program is now online! SAS25 program Every scientific results comes with uncertainties, even the most mundane decisions can have uncertain outcomes. Often uncertainty...