Dissertation Defense

Name: Understanding understanding: How do we reason about computational logic?
Start: 2024-04-29T15:00:00-04:00
End: 2024-04-29T17:00:00-04:00
Location: Remote/Virtual