This page shows all presentations from this conference published in EasyChair Smart Slide.
How to be an Abstraction Engineer
Natarajan Shankar
On Time and Space (of Humans)
Kristin Yvonne Rozier
Advancing Science with Platforms and Driving Scenarios: a Perspective from a Researcher at Microsoft Research
Nikolaj Bjørner