Join in a discussion with Professor Moshe Vardi on the topic of Logic in Computer Science.
This Friday’s seminar will take place in Upson 5126 from Noon-1P.