PhD Comprehensive Proposal Examination - Sean Kauffman

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.