Date	About Speaker and the Talk	Where and When
Thursday October 2, 2003 More Details	Mark Holliday Dept. of Mathematics and Computer Science, Western Carolina University Using Memory Diagrams for Assessment of Student Comprehension of Object-Oriented Programs	Room 402A, Withers, NCSU Historical Campus 4:00 PM
Friday October 3, 2003 More Details	David K. Lowenthal Computer Science Department, University of Georgia Client-Centered Energy Savings for TCP Downloads	Room 2431, College of Textiles, NCSU Centennial Campus 2:00 PM
Friday October 17, 2003 More Details	Alon Halevy Computer Science and Engineering Department, University of Washington Current Challenges For Data Integration	Room 313, EGRC, NCSU Centennial Campus 9:00 AM!! ( Database Musings Seminar Series)
Monday October 27, 2003 More Details	Pavel Pevzner Dept. of Computer Science & Engineering, University of California, San Diego Transforming Men into Mice: Lesson from Human and Mouse Genomic Sequences	Room 313, EGRC, NCSU Centennial Campus 4:00 PM (Talk, telecast from Duke U.) ( Triangle Computer Science Distinguished Lecturer Series)
Monday November 10, 2003 More Details	Lydia Kavraki Department of Computer Science, Rice University Modeling the Conformational Flexibility of Proteins	Room 313, EGRC, NCSU Centennial Campus 4:00 PM (Talk, telecast from UNC) ( Triangle Computer Science Distinguished Lecturer Series)
Thursday November 13, 2003 More Details	Rebecca Mercuri John F. Kennedy School of Government, Harvard University A Better Ballot Box?	Room 402A, Withers, NCSU Historical Campus 4:00 PM
Monday November 17, 2003 More Details	Anna Karlin Department of Computer Science & Engineering, University of Washington, Seattle Mechanism Design for Fun and Profit	Room 313, EGRC, NCSU Centennial Campus 4:00 PM (Talk, telecast from Duke U.) ( Triangle Computer Science Distinguished Lecturer Series)
Thursday November 20, 2003 More Details	Gianfranco Ciardo Department of Computer Science, College of William & Mary The Importance of Being Structural (better symbolic model-checking for asynchronous systems)	Room 402A, Withers, NCSU Historical Campus 4:00 PM
Friday November 21, 2003 More Details	Greg Andrews National Science Foundation What's New at CISE: Cyberinfrastructure and the CISE Reorganization	10:30 AM!! Room 246, EGRC, NCSU Centennial Campus
Friday November 21, 2003 More Details	Kamal Karlapalem Centre for Data Engineering, IIIT, Hyderabad Multi agent simulation of unorganized traffic	Room 313, EGRC, NCSU Centennial Campus 9:15 AM!! ( Database Musings Seminar Series)
Friday December 5, 2003 More Details	Jeffrey Naughton Computer Science, University of Wisconsin-Madison Extending Database Management System Technology: Can Control Freaks Learn to Play Well with Others?	Room 313, EGRC, NCSU Centennial Campus 9:00 AM!! ( Database Musings Seminar Series)
Friday December 12, 2003 More Details	Laks V.S. Lakshmanan Computer Science, University of British Columbia Quotient Cube: A Semantic Approach to Data Cube Compression	Room 2403, Nelson Hall, NCSU Historical Campus 11:30 AM!! ( Database Musings Seminar Series)
Thursday January 15, 2004 More Details	David A. Smith http://www.opencroquet.org Croquet: A Collaboration System Architecture	4:00 PM (Talk) Room 402A, Withers, NCSU Historical Campus
Wednesday January 21, 2004 More Details	Oleg Sokolsky Department of Computer and Information Science, University of Pennsylvania Run-time Verification of Software Systems	3:30 PM (Talk) Room 2431, College of Textiles, Centennial Campus
Friday January 30, 2004 More Details	Foto Afrati Computer Science, National Technical University of Athens, Greece Approximating a Collection of Frequent Sets	Room 313, EGRC, NCSU Centennial Campus 11:00 AM!! "Database Musings Seminar Series"
Monday February 2, 2004 More Details	Christine Julien Computer Science and Engineering, Washington University A Software Engineering Perspective on Context-Awareness in Ad Hoc Mobile Networks	3:30 PM (Talk) Room 136, EGRC, Centennial Campus
Monday February 9, 2004 More Details	Joe Marks Mitsubishi Electric Research Laboratories (MERL) Ubiquitous-Computing Research at MERL: A Selective Overview	Room 313, EGRC, NCSU Centennial Campus 4:00 PM (Talk), 3:00 PM (reception in Room 463, EGRC) ( Triangle Computer Science Distinguished Lecturer Series)
Thursday February 12, 2004 More Details	Richard Mayr Computer Science, Albert-Ludwigs-University, Freiburg, Germany Semantic Equivalences and the Verification of Infinite-State Systems	Room 136, EGRC, Centennial Campus 3:30 PM (Talk)
Monday February 16, 2004 More Details	Martin Hirzel Computer Science, University of Colorado at Boulder Connectivity-Based Garbage Collection	Room 2431, College of Textiles, Centennial Campus 3:30 PM (Talk)
Thursday February 26, 2004 More Details	Eric Wohlstadter Computer Science, University of California - Davis GlueQoS: Integrating Components and Features in Distributed Environments	Room 136, EGRC, Centennial Campus 10:00 AM!! (Talk)
Monday March 1, 2004 More Details	Mike Reiter Center for Computer and Communications Security, CMU Security for, and by, converged mobile devices	Room 107H, Parks Shop, NCSU Historical Campus 4:00 PM (Talk), 3:00 PM (reception in Parks Shop Lounge) ( Triangle Computer Science Distinguished Lecturer Series)
Wednesday March 3, 2004 More Details	Alessandro Orso College of Computing, Georgia Institute of Technology Analysis and Testing of Deployed Software	Room 402A, Withers Hall, Historical Campus 2:00!!! PM (Talk)
Monday March 15, 2004 More Details	Stavros Tripakis Verimag Laboratory, Grenoble, France From Simulink to Lustre to TTA - A Layered Approach for Distributed Embedded Applications	Room 136, EGRC, Centennial Campus 3:30 PM (Talk)
Friday March 26, 2004 More Details	Michael Franklin Computer Science, UC Berkeley HiFi systems - Network-centric query processing in the physical world	Room 313, EGRC, NCSU Centennial Campus 11:00 AM!! "Database Musings Seminar Series"
Friday March 26, 2004 More Details	Jianwei Niu School of Computer Science, University of Waterloo Metro: A Semantics-Based Approach for Mapping Specification Notations to Analysis Tools	Room 2431, College of Textiles, Centennial Campus 3:30 PM (Talk)
Monday March 29, 2003 More Details	Stuart Russell Computer Science, University of California, Berkeley Identity Uncertainty	Room 107H, Parks Shop, NCSU Historical Campus 4:00 PM (Talk, telecast from Duke U.) A telecast from Duke U. as part of Triangle Computer Science Distinguished Lecturer Series
Friday April 2, 2004 More Details	Johannes Gehrke Computer Science, Cornell University Privacy Breaches in Privacy-Preserving Data Mining	Room 313, EGRC, NCSU Centennial Campus 11:00 AM!! "Database Musings Seminar Series"
Monday April 5, 2003 More Details	Jonathan Turner Computer Science, Washington University in St. Louis Extensible Networking	Room 107H, Parks Shop, NCSU Historical Campus 4:00 PM (Talk, telecast from UNC) A telecast from UNC as part of Triangle Computer Science Distinguished Lecturer Series
Friday April 16, 2004 More Details	H.V. Jagadish Electr. Engineering and Computer Science, University of Michigan The TIMBER XML Database, and Some Applications	Room 313, EGRC, NCSU Centennial Campus 11:00 AM!! "Database Musings Seminar Series"
Monday April 26, 2004 More Details	John Laird Electrical Engineering and Computer Science Department, University of Michigan Toward Human-level AI	Room 107H, Parks Shop, NCSU Historical Campus 4:00 PM (Talk), 3:00 PM (reception in Parks Shop Lounge) ( Triangle Computer Science Distinguished Lecturer Series)
Thursday April 29, 2004 More Details	Julien Langou Computer Science, University of Tennessee Numerical methods for solving large eigenvalue problems arising in nanoscience	Room 402A, Withers, NCSU Historical Campus 4:00 PM (Talk)
Friday May 7, 2004 More Details	Marianne Winslett Computer Science, University of Illinois An Introduction to Trust Negotiation	Room 313, EGRC, NCSU Centennial Campus 11:00 AM!! "Database Musings Seminar Series"
Thursday May 27, 2004 More Details	Sudharshan Vazhkudai Computer Science and Mathematics Division, Oak Ridge National Laboratory Towards a Data Management Infrastructure for the Spallation Neutron Source	Room 337, EGRC, NCSU Centennial Campus 11:00 AM!! (Talk)

 

For more information about hosting and speaking in this series, please click here.

Back to Colloquia Home Page.