Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Konstantin Weitz

Series featuring Konstantin Weitz

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Konstantin Weitz 15 Jan 2018