Computer & Information Science / CIS Distinguished Lecture & Colloquia Series

Thursday, October 9, 2003
Val Tannen
Computer and Information Science Department, University of Pennsylvania
Title: Languages for Distributed Information

Thursday, October 16, 2003
Carl A. Gunter
Computer and Information Science Department, University of Pennsylvania
Title: Open APIs for Embedded Systems

Thursday, October 23, 2003
Randy Bryant
School of Computer Science, Carnegie Mellon University
Title: Formal Verification of Infinite State Systems using Boolean Methods

Thursday, November 6, 2003
Dinesh Pai
Department of Computer Science, Rutgers University
Title: Multisensory Simulation and Interaction

Tuesday, November 11, 2003
Klara Nahrstedt
Department of Computer Science, University of Illinois at Urbana-Champaign
Title: Quality-aware Service Composition Framework for Advanced Distributed Multimedia Services

Tuesday, November 18, 2003
Dan Roth
Department of Computer Science, University of Illinois at Urbana-Champaign
Title: Learning and Reasoning in Natural Language

Thursday, November 20, 2003
Craig Chambers
Department of Computer Science and Engineering, University of Washington
Title: Software Composition for the 21st Century

Tuesday, November 25, 2003
John Lafferty
School of Computer Science, Carnegie Mellon University
Title: Data and Structure in Machine Learning

Tuesday, December 2, 2003
Claire Cardie
School of Computer Science, Cornell University
Title: Machine Learning for Noun Phrase Coreference

Thursday, December 4, 2003
Lyle Ungar
Computer and Information Science Department, University of Pennsylvania
Title: T.B.D.

Thursday, February 20, 2003
Christoph Kirsch
Department of Electrical Engineering and Computer Science - University of California, Berkeley
Title: Real-Time Programming Based on Scheduler-Carrying Cod

Tuesday, February 25, 2003
Vijay Vazirani
College of Computing - Georgia Institute of Technology
Title: How Intractable is the "Invisible Hand": Polynomial Time Algorithms for Market Equilibria

Thursday, February 27, 2003
Milo Martin
Department of Computer Sciences - University of Wisconsin-Madison
Title: Token Coherence: Enabling Faster Multiprocessor Performance and Correctness Servers by Decoupling

Tuesday, March 4, 2003
Josh Stuart
Biomedical Informatics and Department of Developmental Biology - Stanford University
Title: Recommending genes and predicting gene function reliably

Thursday, March 6, 2003
Hannes Vilhjalmsson
MIT Media Arts and Sciences - MIT Media Laboratory
Title: Personal Conversational Agents: Communicative agency through automated graphical avatars

Thursday, March 20, 2003
Emmett Witchel
Computer Science - MIT Laboratory
Title: Mondriaan Memory Protection

Tuesday, March 25, 2003
Samuel Madden
Computer Science - University of California, Berkeley
Title: Query Processing in Sensor Networks

Thursday, March 27, 2003
Subhash Khot
Computer Science - Princeton University
Title: Probabilistically Checkable Proofs (PCPs) and Hardness of Approximation

Monday, March 31, 2003
Ziv Bar-Joseph
Computer Science, MIT
Title: Time series expression data: from individual gene expression to genetic regulatory network

Tuesday, April 1, 2003
Ofer Strichman
Computer Science, Carnegie-Mellon University
Title: Completeness and complexity of Bounded Model Checking

Grace Hopper Lecture Series Spring 2003

Friday, February 28, 2003
Dr. Nancy A. Lynch

NEC Professor of Software Science and Engineering
Massachusetts Institute of Technology

Topic: "RAMBO: A Reconfigurable Atomic
Memory Service for Dynamic Networks"

Heilmeier Hall, 1st Floor Towne Bldg.
3:00 p.m.