Friday, August 13, 2021

Friday, August 13, 2021 — 11:00 to 11:00 AM EDT

Candidate: YiFeng Wang

Title: A Pursuit Evasion Game Approach to Obstacle Avoidance

 

Date: August 13, 2021

Time: 11:00 AM

Place: Remote

Supervisor(s): Smith, Stephen L. - Nielsen, Christopher

 

Abstract:

Friday, August 13, 2021 — 11:00 to 11:00 AM EDT

Candidate: Alireza Lotfi Takami

Title: A Reduction from Smart Contract Verification to Model Checking

 

Date: August 13, 2021

Time: 11:00 AM

Place: Remote

Supervisor(s): Tripunitara, Mahesh

 

Abstract:

S M T W T F S
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
31
1
2
3
4
  1. 2021 (103)
    1. December (3)
    2. November (4)
    3. October (5)
    4. September (3)
    5. August (12)
    6. July (4)
    7. June (5)
    8. May (10)
    9. April (25)
    10. March (14)
    11. February (10)
    12. January (9)
  2. 2020 (248)
    1. December (20)
    2. November (20)
    3. October (16)
    4. September (15)
    5. August (16)
    6. July (32)
    7. June (29)
    8. May (32)
    9. April (27)
    10. March (13)
    11. February (20)
    12. January (16)
  3. 2019 (282)
  4. 2018 (150)
  5. 2017 (212)
  6. 2016 (242)
  7. 2015 (242)
  8. 2014 (268)
  9. 2013 (190)
  10. 2012 (31)