18
|
19
|
20
4:15 p.m. - 5:45 p.m.
CS 201: Model-Driven Software Verification, DR. GERARD HOLZMANN, Jet Propulsion Laboratory
|
21
|
22
4:15 p.m. - 5:45 p.m.
CS 201: Towards Declarative and Efficient Querying on Protein, JIGNESH PATEL, University of Michigan
|
23
|
24
|
25
|
26
|
27
|
28
|
29
4:15 p.m. - 5:45 p.m.
CS 201: Clustered Programmable-Reconfigurable Processors, NICHOLAS P. CARTER, University of Illinois, Urbana-Champaign
|
30
CS Research Review (all-day event)
|
1
|