 | |
Fall 2002
December 2002
-
Monday, Dec. 16 at 1:30pm in DH 1044
Master of Science Thesis Defense
Guoqiang Pan
BDD Based Decision Procedures for Modal Logic K
-
Monday, Dec. 16 at 10am in DH 3076
Master of Science Thesis Defense
Spiridon Tsavachidis
Topic: Eliminating Incoherence from Subjective Estimates of Chance
- Monday, Dec. 16 at 11am in DH 1044
Master of Science Thesis Defense
Sameh Elnikety
Admission Control and Request Scheduling
for Dynamic Content Web Servers
- Monday, Dec. 16 at 2pm in DH 3076
Master of Science Thesis Defense
Rajnish Kumar
Topic: User-Centric Framework for Device Aggregation
- Friday, Dec. 13 at 2pm in DH 3076
Ph.D. Thesis Defense
Cristiana Amza
Topic: Conflict Aware Replication for Dynamic Content Web Sites
- Thursday, Dec. 12 at 10am in DH 3092
Master of Science Thesis Defense
Demetrios Demopoulos
Topic: Probabilistic Phenomena in Random Combinatorial Problems
-
Wednesday, Dec. 11 at 10am in DH 3076
Master of Science Thesis Defense
Scott Schaefer
Topic: A Factored, Interpolatory Subdivision Scheme for Surfaces of Revolution
-
Tuesday, Dec. 10 at 10am in Dh 1049
Speaker: Bill Harrison (OGI School of Science & Engineering, Health & Science University)
Topic: Slaying the 'Dragon': Prospects for Modular Compiler Construction
Host: Walid Taha
- Friday, Dec. 6 at 2pm in DH 3076
Speaker: Frank Mehnert (Technical Univ. - Dresden, Germany)
Topic: Cost and benefit of separate address spaces in real-time operating
systems
Host: Peter Druschel
-
Friday, Dec. 6 at 1pm in DH 1049
Speaker: Hermann Haertig (Technical Univ. - Dresden, Germany)
Topic: Security Architectures Revisited
Host: Peter Druschel
- CITI Luncheon (by invitation only)
Friday, Dec. 6 at noon in DH 3092
Speaker: Lydia Kavraki
Topic: Physical Computing: From Robots to Biomolecules
-
Wednesday, Dec. 4 at 1:30pm in DH 3076
Master of Science Thesis Defense
Tao Ju
Topic: Convex Contouring of Volumetric Data
-
Monday, Dec. 2 at 2pm in DH 1049
Master of Science Thesis Defense
Andrew Ladd
Topic: Analysis of Probabilistic Roadmap Methods for
Motion Planning and Applications to Polygon Manipulation
November 2002
October 2002
Thursday, October 24 at 1pm in DH 1049
Master's Thesis Proposal
Speaker: Li Xu
Topic: Program Redundancy Analysis and
Optimizations to Improve Memory Performance
- Tuesday, October 22 at 3pm in DH 3076
Master's Thesis Defense
Speaker: Algis Rudys
Termination and Rollback in Language-Based Systems
- October 14-15, 2002
GCC/Keck 2002 Bioinformatics Symposium
Location: Duncan Hall
- Monday, Oct. 7 at noon in DH 1049
Joint ECE/CS Seminar
Speaker: Jörg Liebeherr (University of Virginia)
Topic: Building Very Large Overlay Networks
- Friday, Oct. 4, 2002
Electrical and Computer Engineering Annual Meeting
Location: McMurtry Auditorium, Duncan Hall
- Thursday, October 3, 2002
Computer Science Annual Meeting
Location: McMurtry Auditorium, Duncan Hall
September 2002
August 2002
Summer 2002
July 2002
June 2002
May 2002
Spring 2002
April 2002
- Monday, April 29 at 4pm in DH 1064
Speaker: Stephanie Weirich (Cornell)
Faculty Candidate
Topic: Programming with Types
-
Wednesday, April 24 at 2pm in DH 3076
Master's Thesis Defense
Santa Palchaudhuri
Topic: Power Mode Scheduling for Ad Hoc Networks
-
Monday, April 22 at 3pm in DH 1070
Speaker: Haifeng Yu (Duke University)
Topic: Wide-Area Replication Using Continuous
Consistency: Theory and Practice
-
Monday, April 22 at 3pm in DH 1049
Master of Science Thesis Defense
Speaker: Brian Stoler
Topic: A Framework for Building Pedagogic
Java Programming Environments
- Monday, April 22 at 12:30pm in DH 1049
Ph.D. Thesis Defense
Speaker: Qing Yi
Topic: Transforming Complex Loop Nests for Locality
- Thursday, April 18 at 4pm in DH 1064
Speaker: Clark Barrett (Stanford)
Faculty Candidate
Topic:
Automated Decision Procedures:
A General-Purpose Verification Solution
-
School of Engineering Lecture
Wednesday, April 17 at 4pm in McMurtry Auditorium
Speaker: Moshe Y. Vardi
Topic:
On the unusual effectiveness of logic in computer science
This special lecture marks Moshe Vardi's election
to the National Academy of Engineering.
-
Wednesday, April 17 at 1pm in DH 3076
Ph.D. Thesis Defense
Speaker: Eyal de Lara
Topic: Puppeteer: Component-Based Adaptation for Mobile Computing
-
Tuesday, April 16 at 5pm in McMurtry Auditorium
Speakers: Emmanuel Cecchet (Postdoc Research Associate, Rice University), and
Pierre Dauchez, Scientific Attache, Consulate General of France, Houston)
Topic: Research Opportunities in France: INRIA and CNRS
- Thursday, April 11 at 4pm in DH 1064
Speaker: Walid Taha (Yale)
Faculty Candidate
Topic: Toward Better Language Support for Resource-Aware Programming (RAP)
- Monday, April 8 at 3pm in DH 1070
Speaker: Ryan Kastner (UCLA)
Faculty Candidate
Topic: Synthesis Techniques for Reconfigurable Systems
- Monday, April 8 at 10am in DH 3076
Master's Thesis Defense
Speaker: Rajarshi Bandyopadhyay
Topic: Predicting Protein-Ligand Interactions from Primary Structure
- Thursday, April 4 at 4pm in DH 1064
Speaker: Robert Grimm (Univ. of Washington)
Faculty Candidate
Topic: Programming for Pervasive Computing Environments
- Monday, April 1 at 3pm in DH 1070
Speaker: Steve Zdancewic (Cornell)
Faculty Candidate
Topic: Programming Languages for Information Security
March 2002
- Thursday, March 28 at 4pm in DH 3076
Speaker: Chee Yap (New York University)
Seminar Topic: Pseudo Approximation Algorithms,
with Applications to Optimal Motion Planning
Host: Ron Goldman
- Wednesday, March 27 at 4pm in DH 1070
Speaker: Alex Snoeren (Massachusetts Institute of Technology)
Faculty Candidate
Topic: Session-Based Mobility: An End-to-End Approach
-
CANCELLED
Tuesday, March 26 at 4pm in DH 1070
LACSI Seminar Series
Speaker: Richard L. Graham
Topic:
Los Alamos MPI - A high performance fault tolerant message interface implementation
-
Monday, March 25 at 3pm in DH 1070
Speaker: Matt Welsh (UC - Berkeley)
Faculty Candidate
Topic: SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
- Thursday, March 21 at 4pm in DH 1064
Speaker: Ankur Srivastava (UCLA)
Faculty Candidate
Topic: New Paradigms in Design Automation
- Monday, March 18 at 3pm in DH 1070
Speaker: Jason Flinn (Carnegie Mellon University)
Faculty Candidate
Topic: Energy-Aware Adaptation for Mobile Computing
-
Thursday, March 14 at 4pm in McMurtry Auditorium
CITI Distinguished Lecture Series
Speaker: Eric S. Raymond (President, Open Source Initiative)
Topic: The Open Source revolution: How software engineering might finally grow up
-
Monday, March 11 at 3pm in DH 1070
Zhendong Su (UC-Berkeley)
Faculty Candidate
Topic: Constraint Simplification for Scalable Program Analysis
February 2002
-
Wed., Feb. 27 at 3pm in DH 1070
Gulf Coast Consortium in Bioinformatics Seminar
Speaker: David Hsu (Univ. of North Carolina at Chapel Hill)
Topic: Stochastic Roadmap Simulation: An Efficient Representation
and Algorithm for Analyzing Molecular Motion
Host: Lydia Kavraki
-
CANCELLED
Tuesday, Feb. 26
CITI Distinguished Lecture Series
Cosponsor: Center for High Performance Software Research
Speaker: Kelvin Droegemeir (University of Oklahoma)
-
Wed. Feb. 20 at 3pm in DH 1042
Master's Thesis Defense
Speaker: Eric Allen
Topic: Efficient Implementation of Run-Time Generic Types for Java
-
Tuesday, Feb. 12 at 4pm in DH 1064
Speaker: Steve Deering (Cisco Systems, Inc.)
Topic: What's Happening with IPv6?
Host: David B. Johnson
-
Monday, Feb. 11 at 10am in DH 3076
MS Thesis Defense
Speaker: Yuri Dotsenko
Topic: Extensible Adaptation via Constraint Solving
January 2002
Fall 2001
December 2001
- Friday, Dec. 14 at 2pm in DH 3076
Todd Waterman, MS defense
- Friday, Dec. 14 at 10am in DH 3076
Cristian Coarfa, MS defense
Topic: Performance Analysis of TLS Web Server
- Thursday, Dec. 13 at 2pm in DH 3076
Philippe Meunier, MS defense
Topic: Selector-based Versus Conditional-constraint-based Data-flow Analysis of Programs
- Wednesday, Dec. 12 at 9am in DH 3076
Robby Findler, Ph.D. defense
Topic: Behavioral Contracts
- Tuesday, Dec. 11
Digital Libraries Mini-Symposium
Hosts: Computer Science, CITI and the Fondren Library
- Tuesday, Dec. 4 at 3pm in Sewell Hall 301
Speaker: Brian Noble
(University of Michigan)
Topic: Zero-interaction Authentication
Host: Dan Wallach
November 2001
October 2001
-
Monday, Oct. 29 at 4pm in DH 1070
Speaker: Stephen Keckler (UT - Austin)
Topic: Processor Architectures for 100 Nanometers and Beyond
Host: Scott Rixner
-
Tuesday, October 23 at 4pm in DH 1064
Speaker: Martin C. Rinard (MIT)
Topic: TBA
Host: Moshe Vardi
-
Monday, October 22 at 4pm in McMurtry Auditorium
CITI Lecture Series: Technology, Cognition and Culture
Speaker: Mark C. Taylor (Williams College)
Topic: Minding Bodies
CoSponsors: Center for the Study of Cultures and the Office of the Vice President for Information Technology
-
Tuesday, October 16 at 4pm in DH 1064
Speaker: Raghu Ramakrishnan (University of Wisconsin - Madison)
Topic: Mass Collaboration
Host: Willy Zwaenepoel
-
Tuesday, October 9 at 4pm in DH 1064
Speaker: Mary Vernon (Univ. of Wisconsin - Madison)
Topic: Scalable Streaming Media Servers
Host: Willy Zwaenepoel
- Monday, October 8 at 3pm in DH 1070
Computer Science Seminar
Speaker: Steve Blackburn (Univ. of Massachusetts)
Topic: Pretenuring for Java
Host: Keith Cooper
- Thursday, Oct. 4 at 4pm in DH 1064
Speaker: Abraham Silberschatz (Bell Laboratories)
Topic: Next-Generation Information Networking
Host: Moshe Vardi
- Wednesday, October 3
Department of Electrical and Computer Engineering Annual Meeting
McMurtry Auditorium, Duncan Hall
- Tuesday, October 2
Department of Computer Science Annual Meeting
McMurtry Auditorium, Duncan Hall
September 2001
Summer 2001
July 2001
June 2001
Spring 2001
May 2001
April 2001
- Monday, April 30 at 4pm in DH 1064
Speaker: George Hunter (University of Illinois - Urbana-Champaign)
Bioengineering & Computer Science Faculty Candidate
Topic: Protein Structure Analysis and Prediction
- Friday, April 27 at 2pm in DH 1070
Speaker:Stephen Wong (Oberlin College)
Faculty Candidate
Topic: Object-Oriented Programming in Introductory Computer Science
-
Thursday, April 26 at 4pm in DH 1070
LACSI Lecture Series
Speaker: Ronald Minnich (Los Alamos National Laboratory)
Topic: LOBOS, LinuxBIOS, and Why Clusters Need Them
Host: Ken Kennedy
-
Monday, April 23 at 4pm in DH 3092
Computer Science Seminar
Speaker: Marta Kwiatkowska - (University of Birmingham)
Topic: Automated Verification of a Randomized Distributed
Consensus Protocol Using Cadence SMV and PRISM
Host: Moshe Y. Vardi
-
Friday, April 20 at 3:00pm in DH 1049
Thesis Proposal
Robert Findler
-
Friday, April 20 at 1:00pm in DH 3076
Speaker: Paul Graunke
Master's Thesis Defense
Topic: Programming the Web with High-Level Programming Languages
-
Friday, April 20 at 9:30am in DH 1049
Speaker: John B. Clements
Master's Thesis Defense
Topic: Modeling an Algebraic Stepper
- Tuesday, April 17 at 4pm in DH1070
Joint CS/ECE Colloquium
Speaker: P Pal Chaudhuri (Bengal Engineering College, India)
Topic: Theory and Application of Hierarchical Cellular Automata
Host: Devika Subramanian
-
Monday, April 16 at 4pm in Abercrombie Lab A126
Speaker: Helen J. Wang (UC Berkeley)
CSL Faculty Candidate
Topic: Scalable, Robust Wide-area Control Architecture for Integrated Communications
-
Monday, April 9, at 4pm in Keck 102
Speaker:
Jeremy Buhler (Univ. of Washington)
Bioengineering & Computer Science Faculty Candidate
Topic: Searching Biosequences Using Random Projection
- Monday, April 2 at 4pm in DH 3092
Speaker: Cormac Flanagan (Compaq Stanford Research Center)
Topic: Towards Practical Extended Static Checking
Host: Matthias Felleisen
March 2001
-
Thursday, March 29 at 4pm in McMurtry Auditorium
Dean of Brown School of Engineering
New Professors Lecture Series
Speaker:
Joe D. Warren
-
Thursday, March 29 at 2pm in Keck 102
Speaker: Patrice Koehl (Stanford)
Bioengineering & Computer Science Faculty Candidate
Topic:
Computational Approaches in Structural Biology
-
Thursday, March 22 at 4pm in DH 1070
Speaker:
Stefano Lonardi (Purdue)
Bioengineering & Computer Science Faculty Candidate
Topic: Global Detectors of Unusual Words: Design, Implementation,
and Applications Pattern Discovery in Biosequences
- Monday, March 19 at 4pm in Keck 102
Speaker: Miklos Csuros (Genometrix, Inc.)
Bioengineering & Computer Science Faculty Candidate
Topic:
Fast Recovery of Evolutionary Trees with Thousands of Nodes
-
Wednesday, March 14 at 4pm in DH 1064
Speaker: Angela Demke Brown (CMU)
CSL Faculty Candidate
Topic: Taming the Memory Hogs: Explicit Compiler-based
Memory Management for Out-of-core Applications
-
LECTURE TO BE RESCHEDULED
Friday, March 13 at 4pm in DH 1064
LACSI Lecture Series
Speaker: Ronald Minnich (Los Alamos National Laboratory)
Topic:
LinuxBIOS
Host: Ken Kennedy
Friday, March 2 at noon in DH 3092
CITI Luncheon (by invitation only)
Speaker: David B. Johnson
February 2001
January 2001
-
Wednesday, January 24 at 4pm in McMurtry Auditorium
Dean of Brown School of Engineering
New Professors Lecture Series
Speaker:
Keith D. Cooper
Topic: Building 21st Century Compilers
-
Tuesday, January 9 at 3pm in DH 3076
Speaker: Sitaram Iyer
Master's Thesis Defense
Topic: The Effect of Deceptive Idleness on Disk Schedulers
Fall 2000
December 2000
November 2000
-
LECTURE POSTPONED DUE TO SPEAKER'S ILLNESS.
Rescheduled for Wednesday, February 21, 2001.
Tuesday, November 28 at 4pm in DH 1055
CITI Distinguished Lecture Series
Speaker: Eugene W. Meyers (Celera Genomics)
Topic:
Whole Genome Assemblies of the Drosophil and Human Genomes
Host: CITI
-
Tuesday, November 21 at 4pm in DH 1064
Speaker: Paul M. Petersen (
KAI)
Topic: The Software Side of Moore's Law
Host: Willy Zwaenepoel
-
Distinguished Lecture Series
Monday, November 20 at 4:15 in DH 1064
Speaker: Umesh Vazirani (UC Berkeley)
Topic: Fourier Transforms, Quantum Algorithms and Complexity
Host: Moshe Vardi
-
Monday, November 20 at Noon in DH 1064
Speaker:
Jeffrey C. Mogul (Compaq - Western Research Laboratory)
Topic: Server-directed Transcoding
Host: Willy Zwaenepoel
-
Distinguished Symposium: Embedded Intelligent Systems
Robots that explore space, interpret information
and interact with people
Thursday, November 16 in McMurtry Auditorium
Speakers:
Host: Devika Subramanian
Register for this FREE symposium
-
Wednesday, November 1 at 4:00 in DH 1064
Speaker:
Jeffrey Mark Siskind (NEC Research Institute, Inc)
Topic: Flow-Directed Lightweight Closure and CPS Conversion
Hosts: Matthias Felleisen and Devika Subramanian
October 2000
September 2000
August 2000
-
Thursday, August 24 @ 4:00 p.m.in DH 1064
Speaker:
Jason N. Flinn (Carnegie Mellon University)
Topic: Energy-Aware Adaptation for Mobile Applications
Host: Willy Zwaenepoel
-
Friday, August 18, @ 10:00 a.m. in DH 3076
Mohit Aron
Ph.D. Thesis Defense
Topic: Differentiated and Predictable Quality
of Service in Web Server Systems
-
Wednesday, August 2 @ 2:00 p.m. in DH 3076
Shriram Krishnamurthi
Ph.D. Thesis Defense
Topic: Linguistic Reuse
Summer 2000
June 2000
-
Wednesday, June 14 at 3:00 p.m. in DH 3076
Jiangchun "Frank" Luo
Master's Thesis Defense
Topic: Part Assembly Using Static and Dynamic Force Field
Spring 2000
April 2000
March 2000
-
Thursday, March 30 @ 4:00 p.m. in DH 1064
Speaker:
Christian Collberg (University of Arizona)
Faculty Candidate
Topic:
AlgoVista - A Search Engine for Computer Scientists
Visit: March 30-31
Tuesday, March 28 @ 3:00 p.m. in DH 3076
Speaker:
Charles Elkan (UCSD)
Topic:
Boosting and Naive Bayesian Learning
Host: Devika Subramanian
-
Tuesday, March 28 @ 10:00 a.m. in DH 1049
Ph.D. Thesis Defense
Henrik Weimer
Topic: Subdivision Schemes for Physical Problems
-
Monday, March 27 @ 4:15 p.m. in DH 1064
Speaker:
James O'Brien (Georgia Institute of Technology)
Faculty Candidate
Topic:
Generating Synthetic Motion Using Physically Based Simulation
Visit: March 27-28
-
Friday, March 24 @ 1:00 p.m. Location: TBA
Thesis Proposal
Qing Yi
-
Thursday, March 23 @ 4:00 p.m. in DH 1064
Speaker:
Vijay Pai (Rice University)
Faculty Candidate
Topic: Exploiting Instruction-Level Parallelism for Memory System Performance
Visit: March 23-24
-
Tuesday, March 21 @ 4:00 p.m. in DH 1064
Speaker:
Eddie Kohler (MIT)
Faculty Candidate
Topic: The Click Modular Router and its Programming Language
Visit: March 21-22
-
Monday, March 20, @ 4:15 p.m. in DH 1064
Speaker:
Parthasarathy Ranganathan (Rice University)
Faculty Candidate
Topic:
General Purpose Architectures for Media Processing Applications
Visit: March 20-21
-
Thursday, March 16 @ 4:00 p.m. in McMurtry Auditorum
Speaker: Prabhakar Raghavan (IBM Almaden Research Center)
Topic:
The Web as a Graph: Measurements, Models and Mining
Host: CITI/Moshe Vardi
-
Tuesday, March 14, 9:30 a.m. - 4:30 p.m. in DH 1064
Mini-Symposium: Software Engineering with Components
Speakers:
Clemens Szyperski (Microsoft Research); Topic: Component Software - what, why, how, when?
Robert Harper (Carnegie Mellon University); Topic: Modularity Mechanisms for Component Software
Anish Arora (Ohio State, on leave at MS Research); Topic: Fault-tolerance in component-based systems
Host: Matthias Felleisen
- Monday, March 13 @ 4:15 p.m. in DH 1064
Srinivasan Seshan (IBM T. J. Watson Research Center)
Faculty Candidate
Topic:
The Future of Internet Applications: Enabling Network-Adaptive Design
Visit: March 13-14
-
Thursday, March 2 @ 4:00 p.m. in DH 1064
Speaker:
Fay Chang (Carnegie Mellon University)
Faculty Candidate
Topic: Automatic I/O Prefetching Hints through Speculative Execution
Visit: March 2-3
February 2000
January 2000
Fall 1999
December 1999
- Friday, December 10 @ 3:00 p.m. in DH 1049
Nina Bhatti (Hewlett-Packard Laboratories)
Support for Web Server Quality of Service
- Thursday, December 9 @ 11:00 a.m. in DH 3076
Ph.D. Thesis Defense
Chen Ding
- Friday, December 3 @ 4:00 p.m. in DH 1064
Suvas Vajracharya (Los Alamos National Laboratory)
LACSI Symposia Speaker
Smarts - Scalable Multithreaded Asynchronous
Run-Time System for High-Performance Computing
November 1999
October 1999
- Wednesday, October 13 @ 4:00 p.m. Location to be announced.
Ambuj Goyal (IBM T. J. Watson Research Center)
Host: CITI
September 1999
- Tuesday, August 31 @ 1:00 p.m. in Duncan Hall 3076
Ph.D. Thesis Defense
Philip John Schielke
- Friday, August 13 @ 3:00 p.m. in Duncan Hall 3076
Master of Science Thesis Defense
Zijiang Yang
Summer 1999
July 1999
June 1999
- Wednesday, June 16 @ 4 p.m. in DH 1064
Ph.D. Thesis Defense
Matthew Flatt
- Thursday, June 10 @ 3 p.m. in DH 1049
Master of Science Thesis Defense
Kai Zhang
Spring 1999
May 1999
April 1999
- Friday, April 30
Distinguished Lecture Series
Tom DeFanti (University of Illinois-Chicago)
Host: Ken Kennedy
- Monday, April 26 @ 4 p.m. in Duncan Hall 1064
Bwolen Po-Jen Yang (Carnegie Mellon University)
Faculty Candidate
- Tuesday, April 20 @ 4 p.m. in Duncan Hall 1064
Jason Hickey (Cornell University)
Faculty Candidate
- Monday, April 19 @ 4 p.m. in Duncan Hall 1064
William Chan (University of Washington)
Faculty Candidate
- Monday, April 19 @ 1:30 p.m. in Duncan Hall 1049
Ph.D. Thesis Defense
Johnny Chen
- Thursday, April 8 @ 3 p.m. in Duncan Hall 1064
Wei Wang (University of California - Los Angeles)
Faculty Candidate
March 1999
- Monday, March 29 @ 4 p.m. in Duncan Hall 1064
Chad Carson (UC-Berkeley)
Faculty Candidate for CS and ECE
- Monday, March 22 @ 4 p.m. in Duncan Hall 1064
Burton Smith (Tera)
Host: Moshe Vardi
- COMP 527 Lecture Series
John McHugh
Tektronix Professor, Portland State University
Gypsy and the Verification of Security Properties
Host: Dan Wallach
- Thursday, March 18 @ 4 p.m. in Duncan Hall 1064
Paul Woodward
Host: Rob Fowler
- Monday, March 15 @ 4 p.m. in Duncan Hall 1064
Vikram Adve (Rice University)
Faculty Candidate
- Thursday, March 11 @ 4 p.m. in Duncan Hall 1064
George Varghese (Washington University)
Faculty Candidate
February 1999
January 1999
Fall 1998
December 1998
November 1998
October 1998
August 1998
Summer 1998
July 1998
June 1998
Spring 1998
May 1998
April 1998
March 1998
February 1998
- Tuesday, February 3 @ 4 p.m. in Duncan Hall 1064
Ralph Johnson (University of Illinois Urbana-Champaign)
Host: Matthias Felleisen
Patterns: Making the Obvious Profound
- February 25-26
Distinguished Lecture Series in CS (Joint with UH)
Norman I. Badler (University of Pennsylvania)
Host: Matthias Felleisen
January 1998
- TALK POSTPONED
Hans Hagen (University of Kaiserslautern)
Host: Ron Goldman
Fall 1997
December 1997
- Wednesday, December 3
TALK POSTPONED
Harry Mairson (Brandeis University)
Host: Moshe Vardi
Homage to Kurt Godel: His Contribution to Software Engineering
- Friday, December 5
CITI Distinguished Lecture Series
Patrick Hanrahan (Stanford University)
Graphics & Visualization
- Wednesday, December 17 @ 2 p.m. in Duncan Hall 1049
Master of Science Thesis Defense
Gaurav Banga
November 1997
- Thursday, November 6
CITI Distinguished Lecture Series
Robert Zubrin (President, Pioneer Astronautics)
Mars Direct: Humans to the Red Planet within a Decade
- Wednesday, November 12 @ 4 p.m. in Duncan Hall 1070
Scott Smith (Johns Hopkins University)
Host: Matthias Felleisen
Reusable Code Requires Reusable Types
- November 17-18
Distinguished Lecture Series in CS (Joint with UH)
Edmund Clarke (Carnegie Mellon University)
Host: Moshe Vardi
- Thursday, November 20 @ 4 p.m. in Duncan Hall 1070
David Kortenkamp (Texas Robotics and Automation Center/NASA JSC)
Host: Devika Subramanian
Integrating Active Perception with an Autonomous Robot Architecture
- Tuesday, November 25 @ 3:30 p.m. in Duncan Hall 3076
Thesis Proposal
Matthew Flatt
- Wednesday, November 26 @ 2 p.m. in Duncan Hall 1049
Master of Science Defense
Mohit Aron
Fall 1997
October 1997
- Thursday, October 30 @ 4p.m. in Duncan Hall 1064
CRPC Guest Lecturer
Michael Mascagni (University of Southern Mississippi)
Host: Chuck Koelbel
September 1997
August 1997
Summer 1997
July 1997
June 1997
Spring 1997
May 1997
April 1997
March 1997
- March 10 (Mon), 3pm @ Duncan Hall room 1070
Joerg Sack (Carleton University)
Application-Oriented Parallel Computing:
Design and Implemetation of a Parallel GIS
- March 11 (Tue), 4pm in Duncan Hall 1042
Kevin Almeroth (Georgia Institute of Technology), faculty candidate
Issues in Large-Scale, Interactive Multimedia Systems
- March 17 (Mon), 4pm @ Duncan Hall 1055
Ravi Jain (Bellcore), faculty candidate
Auxiliary Strategies for Reducing Network Impacts
of Locating Mobile Users in a PCS System
- March 18 (Tue), 4pm, Duncan Hall, McMurtry Auditorium
CITI Distinguished Lecture Series
Chung-Jen Tan (IBM T.J. Watson Research Center)
Deep Blue - The IBM Chess Machine
- March 26 (Wed), 4pm @ Duncan Hall 1064
Matthew Brand (MIT), faculty candidate
Computable Representations of People-Oriented Data
- March 26, 10 am @ Duncan Hall 3076
Gerald H. Roth, Thesis Defense
Optimizing Fortran90D/HPF for Distributed-Memory Computers
February 1997
January 1997
Back to CS colloquium page
--- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- |
|
| |