| ||||||
| ||||||
Seminars | ||||||
| ||||||
| Two Weeks starting on April 11, 2004 | ||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||
|
Thursday, April 15, 2004 |
|||
|
|
Apr 15 |
4:15 p.m. - 5:45 p.m. |
CS 201: Jon Postel Distinguished Lecture Series (4): Crossing the Structure Chasm, ALON Y. HALEVY, University of Washington, Seattle
|
|
|
|||
|
Tuesday, April 20, 2004 |
|||
|
|
Apr 20 |
4:15 p.m. - 5:45 p.m. |
CS 201: Model-Driven Software Verification, DR. GERARD HOLZMANN, Jet Propulsion Laboratory
|
|
|
|||
|
Thursday, April 22, 2004 |
|||
|
|
Apr 22 |
4:15 p.m. - 5:45 p.m. |
CS 201: Towards Declarative and Efficient Querying on Protein, JIGNESH PATEL, University of Michigan
|