Events
April 07
-
Verifiable PDE Reasoning and Modeling with Neurosymbolics
Event Type: Computer Science Department Colloquium
Speaker: Wuyang ChenLocation: CoRE 301
Event Date: 10:30am - 12:00pm
April 09
-
Your host is a distributed system!
Event Type: Computer Science Department Colloquium
Speaker: Midhul VuppapalapatiLocation: CoRE 301
Event Date: 10:30am - 12:00pm