| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Week of May 22, 2005 | ||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||
|
Tuesday, May 24, 2005 |
|||
|
|
May 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
|
|
|
|||
|
Thursday, May 26, 2005 |
|||
|
|
May 26 |
4:15 p.m. - 5:45 p.m. |
CS201: Building An Industrial Strength Formal Verification Solution, JIN YANG, INTEL
|