Presentation: "Halting problem, no problem!"
Time: Friday 09:30 - 10:30
Location: Cornell
Recent advances mean that a new post-halting-problem era is coming in which we will have tools that can automatically prove termination, tools that can automatically tell us conditions in which code will terminate, and even runtimes that ensure that code won't diverge while it's running.
This talk will show off some of these tools and describe how they work.