log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing
Michael Coblenz - UMD
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Monday, September 27, 2021, 11:30 am-12:30 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
No abstract
This talk is organized by Deena Postol