Survey Lecture: Termination and Complexity Analysis for Programs

 

Thursday, 14.06.2018, 4:00pm

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, Building E2, B-IT, room 5053.2

 

Speaker:  Jürgen Giesel

 

Part of UnRAVeL Survey Lecture “Uncertainty and Randomness in Algorithms, Verification, and Logic”