DSI Talk - Tue 9/23 4pm - Andrew Wu (CS): Logic Reasoning with a Touch of AI

[Matteo Riondato]

Hi All,

Please join us tomorrow, Tue 9/23, at 4pm in SCCE A131, for a talk by Prof. Andrew Wu (Computer Science), titled “Logic Reasoning with a Touch of AI”. 

Fancy refreshments before the talk.

Please spread the word to your students and colleagues.

Thanks, 
Matteo