Qinxiang Cao will present his Pre FPO, "Separation-logic-based program verification in Coq" on Thursday, December 14th, 2017 at 8am in CS 402.
by Nicki Gotsis 27 Nov '17
by Nicki Gotsis 27 Nov '17
27 Nov '17
1
0
1
0
Reminder: Distinguished Colloquium Speaker Mary Czerwinski TODAY at 12:30
by Emily Lawrence 20 Nov '17
by Emily Lawrence 20 Nov '17
20 Nov '17
1
0
1
0
CORRECTION: Distinguished Colloquium Speaker Mary Czerwinski MONDAY Nov 20
by Emily Lawrence 15 Nov '17
by Emily Lawrence 15 Nov '17
15 Nov '17
1
0
15 Nov '17
1
0
15 Nov '17
1
0
Ryan Beckett will present his Pre-FPO on Tuesday, November 14, 2017 at 11:30am in CS 233
by Nicki Gotsis 14 Nov '17
by Nicki Gotsis 14 Nov '17
14 Nov '17
1
1
1
0
13 Nov '17
1
0