Wednesday, November 21, 2018 10:00 am
-
10:00 am
EST (GMT -05:00)
Candidate: Murphy Thomas Reynolds Berzish
Topic: Solvers for Theories over Strings and Regular Expressions
Date: November 21, 2018
Time: 10:00 AM
Place: EIT 3145
Supervisor(s): Ganesh, Vijay
All are welcome to attend.