2000-01 Colloquium Series
[ Fall 2000 | Spring 2001 ]
Fall 2000
| Date | Room | Speaker | Talk |
|---|---|---|---|
| August 23rd Wednesday 3:30 p.m. |
FL246 | Nastaran Baradaran | The Extended Ramsey Problem MS Thesis Presentation |
| Sept. 8th Friday 11 a.m. |
FL320 | George Heineman | Engineering with Components: the Last Straw for Software? |
| Sept. 22nd Friday 11 a.m. |
FL320 | Finkel; Selkow; Gennert; Heineman |
Research Bytes 2 |
| Sept. 29th Friday 11 a.m. |
FL320 | Kinicki; Lemone; Ruiz; Rundensteiner |
Research Bytes 3 |
| Oct. 13th Friday 11 a.m. |
FL320 | Mark Last U. South Florida |
Information Theoretic Fuzzy Approach to Knowledge Discovery in Databases |
| Oct 17th Tuesday 2 p.m. |
FL311 | Robert Bruce Findler Rice University |
Contracts for Java |
| Oct 20th Friday 11 a.m. |
FL320 | tbd | -- |
| Oct 27th Friday 11 a.m. |
FL320 | Eleanor T. Loiacono WPI Dept. of Management |
WebQual: A Web Site Quality Measure |
| Nov. 3rd Friday 11 a.m. |
FL320 | tbd | -- |
| Nov. 10th Friday 11 a.m. |
FL320 | tbd | -- |
| Nov. 17th Friday 11 a.m. |
FL320 | Fabio Carrera IGSD, WPI |
Teaching Social Implications of Computing |
| Nov. 24th Friday 11 a.m. |
-- | -- | Thanksgiving Holiday |
| Dec. 1st Friday 11 a.m. |
FL320 | David Finkel CS Dept., WPI |
Being an expert: testifying in a patent infringement case |
| Dec. 8th Friday 11 a.m. |
FL320 | Mark R. Adler Nokia Research Center |
Agent Technologies and Applications at Nokia Research Center |
| Dec. 15th Friday 11 a.m. |
FL320 | John N. Guidi Chief Scientist, Terra Lycos, S.A. |
Naive Bayes Classification of Web Pages |
Spring 2001
| Date | Room | Speaker | Talk |
|---|---|---|---|
| Jan. 19th Friday 11 a.m. |
FL320 | tbd | -- |
| Jan. 26th Friday 11 a.m. |
FL320 | Arnon Rosenthal Mitre |
Incremental Interoperability and an Industrial Revolution: Why Data Interoperability Fails, and How We Can Do Better |
| Feb. 2nd Friday 11 a.m. |
FL320 | Hongwei Xi ECE & CS, University of Cincinnati |
Imperative Programming with Dependent Types |
| Feb. 9th Friday 11 a.m. |
FL320 | William Lenhart Williams College |
Geometric Graphs, Graph Drawing, and Minimum-Weight Triangulations |
| Feb. 16th Friday 11 a.m. |
FL320 | tbd | -- |
| Feb. 23rd Friday 11 a.m. |
FL320 | Jonathan Maletic University of Memphis |
Supporting Program Comprehension using Semantic and Structural Information |
| Feb. 27th Tuesday 2 p.m. |
AK233 | Marcin Paprzycki University of Southern Mississippi |
Spatial Data Integration Agents |
| Mar. 2nd Friday 11 a.m. |
FL320 | Anindya Banerjee Stevens Inst. of Tech. |
Notions of Dependence in Program Analyses |
| Mar. 9th Friday 11 a.m. |
FL320 | Franck Xia Saint John's University. |
Research in Software Engineering: Problems and Challenge |
| Mar. 13th Tuesday 11 a.m. |
FL311 | Debra Burhans SUNY Buffalo |
A Question Answering Interpretation of Resolution Refutation |
| Mar. 16th Friday 11 a.m. |
FL320 | Rakesh Verma University of Houston. |
LRR: A Laboratory for Equational Logic Programming |
| Mar. 21st Wednesday 11 a.m. |
FL320 | Jeff Siskind NEC Research Institute. |
Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic |
| Mar. 23rd Friday 11-1 |
Kinnicut Hall |
CS Faculty | Presentations of MQP Interests |
| Mar. 29th Thursday 10 a.m. |
WB323 | Dina Goldin UMass Boston |
Constraint Queries: Theory and Practice |
| Mar. 30th Friday 11 a.m. |
FL320 | Laurie King Holy Cross |
Runtime Execution of Reconfigurable Hardware in a Java Environment |
| April 6th Friday 11 a.m. |
FL320 | Dan Dougherty Wesleyan University |
The Higher-Order Matching Problem |
| April 13th Friday 11 a.m. |
FL320 | tbd | -- |
| April 20th Friday 11 a.m. |
FL320 | Yakov Kogan AT&T Labs, Middletown. |
Design Challenges of IP Common Backbone Networks |
| April 27th Friday 11 a.m. |
FL320 | Kathi Fisler WPI CS |
How to Produce the Best Object-Oriented Programmers |
Last modified: Sep 27, 2006, 16:05 EDT
