 |
|
|
May 2005 |
Sun
|
Mon
|
Tue
|
Wed
|
Thu
|
Fri
|
Sat
|
|
1
|
2
|
3
|
4
|
5
4:15 p.m. - 5:45 p.m.
CS201: Implicit Specification Testing in Analog Circuits, YIORGOS MAKRIS, Yale University
|
6
|
7
|
|
8
|
9
|
10
4:15 p.m. - 5:45 p.m.
CS201: Measurement, Recognition, Biometrics --- Modeling and Simulation, PATRICK S. WANG, Northeastern University
|
11
|
12
|
13
|
14
|
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
|
22
|
23
|
24
4:15 p.m. - 5:45 p.m.
CS 201: XML Data Services: Data Modeling in the Web Services Era, MICHAEL J. CAREY, BEA Systems
|
25
|
26
4:15 p.m. - 5:45 p.m.
CS201: Building An Industrial Strength Formal Verification Solution, JIN YANG, INTEL
|
27
|
28
|
|
29
|
30
|
31
4:15 p.m. - 5:45 p.m.
CS201: Games and the New AI, JONATHAN SCHAEFFER, University of Alberta
|
1
|
2
|
3
|
4
|
|
|