NITheCS Colloquium “Designing Correct Algorithms”

NITheCS event featuring Prof Ina Schaefer (Technical University of Braunschweig), Prof Bruce Watson (SU) & Tobias Runge (Technical University of Braunschweig)