Tuesday, December 18, 2018 2:30 pm
-
2:30 pm
EST (GMT -05:00)
Candidate: Sean Kauffman
Topic: Runtime Verification with Interval Logic
Date: December 18, 2018
Time: 2:30 PM
Place: EIT 3141
Supervisor(s): Fischmeister, Sebastian
All are welcome to attend.