Relevant Links
# | 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 |