![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
1 hr 2 min
![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
Looking Backward; Looking Forward Federated Logic Conference (FLoC) 2018
-
- Education
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018
1 hr 2 min