PhD Comprehensive Proposal Examination - Sean KauffmanExport this event to calendar

Tuesday, December 18, 2018 — 2:30 PM EST

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.

Location 
EIT - Centre for Environmental and Information Technology
Room 3141
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
  1. 2019 (250)
    1. December (2)
    2. November (14)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  2. 2018 (150)
    1. December (13)
    2. November (25)
    3. October (12)
    4. September (13)
    5. August (7)
    6. July (23)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
  7. 2013 (192)
  8. 2012 (31)