Department of Computer Science - The University of Iowa

Friday, April 27: Automating the Assembly of Large-Scale, Component-Based Systems
Panagiotis (Pete) Manolios, Georgia Tech
http://www-static.cc.gatech.edu/~manolios/
4:00-4:50pm, 140 SH
Friday, April 20: Computer Science in the Information Age
John Hopcroft, Cornell University
http://www.cs.cornell.edu/jeh/
3:30-4:30pm, 140 SH
Thursday, April 19: Inter-Personal Social Conversation in Multimodal Human-Virtual Human Interaction
Sabarish V. Babu, University of North Carolina at Charlotte
http://webpages.uncc.edu/~sbabu/
4:00-4:50pm, 105 MLH
Friday, April 13: Subspace Approximation under the L1 norm
Kasturi Varadarajan, University of Iowa
http://www.cs.uiowa.edu/~kvaradar/
2:30-3:20pm, S181 PBB
Friday, April 06: Sybil Attack and Countermeasures Against It
Eunjin (EJ) Jung, University of Iowa
http://www.cs.uiowa.edu/~ejjung/
4:00-4:50pm, 140 SH
Friday, March 30: Automated Deduction in Set Theory and the Consistency Problem in New Foundations
Dr. Williams McCune, University of New Mexico
http://www.cs.unm.edu/~mccune/
4:00-4:50pm, 140 SH
Friday, March 23: Studying preschool children's mouse performance in point-and-click tasks.
Juan Pablo Hourcade, University of Iowa
http://www.cs.uiowa.edu/~hourcade/
4:00-4:50pm, 140 SH
Friday, March 9: Search Engine Internals
Kaushal Kurapati, Director of Search Relevance & Quality, Ask.com
http://kaushalkurapati.wordpress.com/about/
4:00-4:50pm, 140 SH
Friday, March 2: Fair BigTen Conference Basketball Schedules
Hantao Zhang, University of Iowa
http://www.cs.uiowa.edu/~hzhang/
4:00-4:50pm, 140 SH
Friday, Februry 9: Single-chip Multiprocessors: A New Landscape for Computer Architecture and Beyond
Guri Sohi, University of Wisconsin-Madison
http://www.cs.wisc.edu/~sohi/
4:00-4:50pm, 140 SH
Friday, Februry 2: Surveillance and Spatial Analysis of Infectious Diseases
Dr. Uriel D. Kitron, UIUC
http://www.cvm.uiuc.edu/faculty/path/ukitron.html
4:00-4:50pm, 140 SH

Fall 2006

Friday, December 15: An Introduction to Open Educational Resources and the Connexions and Vietnam OpenCourseWare Projects
Hung Tran
Vietnam Education Foundation
4:00-4:50pm, 205 MLH
Friday, December 8: GO for Gene Documents
Padmini Srinivasan
http://mingo.info-science.uiowa.edu/padmini/
4:00-4:50pm, 61 SH
Friday, December 1: A Tabu-based Search Heuristic for Vehicle Routing in a Just-In-Time Production System
Jeffrey Ohlmann
http://www.biz.uiowa.edu/faculty/results.cfm?id=1773
4:00-4:50pm, 61 SH
Friday, November 10: On Some Algorithmic Foundations of Wireless Networks
Thomas Moscibroda
http://research.microsoft.com/users/moscitho/
4:00-4:50pm, 61 SH
Friday, November 3: Enabling Soft Query on Databases for User-Friendly Data Retrieval
Hwanjo Yu
http://www.cs.uiowa.edu/~hwanjoyu
4:00-4:50pm, 61 SH
Friday, October 27: Intelligent Dynamic Lighting for Games and Interactive 3D Environments
Magy Seif El-Nasr
http://faculty.ist.psu.edu/SeifEl-Nasr/
4:00-4:50pm, 61 SH
Friday, October 20: Spotlight on HPC Applications in Medical Imaging
Jun Ni
http://www.cs.uiowa.edu/~jni/
4:00-4:50pm, 61 SH
Friday, October 13: Proving Invariants by Model Checking
Fabio Somenzi
http://vlsi.colorado.edu/~fabio/
4:00-4:50pm, 61 SH
Friday, September 29: Interactive Image-Space Refraction and its Application to Rendering Caustics
Chris Wyman
http://www.cs.uiowa.edu/~cwyman/
4:00-4:50pm, 61 SH
Friday, September 15: Convex Optimization of Centralized Inventory Operations
Samuel Burer
http://dollar.biz.uiowa.edu/~burer/
4:00-4:50pm, 61 SH
Wendesday, August 30: Combinatorial Algorithms for Data Migration
Rajiv Gandhi
http://crab.rutgers.edu/~rajivg/
4:00-4:50pm, 61 SH
Friday, August 25: Toward data-driven research on biological images: Challenges for image analysis, data mining, machine learning, and databases
Vebjorn Ljosa
http://www.ljosa.com/~ljosa/
4:00-4:50pm, 61 SH

Spring 2006

Friday, April 28: The Layered Net Surface Problems in Discrete Geometry and Medical Image Segmentation
Xiaoding Wu
http://www.engineering.uiowa.edu/~xwu3/
4:00-4:50pm, 22 SH
Friday, April 21: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
Wolfram Schulte and Nikolai Tillmann, Microsoft Research
http://research.microsoft.com/users/schulte/
4:00-4:50pm, 22 SH
Wednesday, April 12: Surveying the Digital Future: Just an Essential Part of Everyday Life
Jeffrey Cole, University of Southern California
http://digitalcenter.org/
2:30-3:30pm, S401 Pappajohn Business Building
Friday, March 31: Assessing the Kazakh Sailau Voting System
Doug Jones, The University of Iowa
http://www.cs.uiowa.edu/~jones
4:00-4:50pm, 22 SH
Monday, March 6: Faculty candidate
4:00-4:50pm, 22 SH
Friday, March 3: Faculty candidate
4:00-4:50pm, 22 SH
Monday, February 27: Faculty candidate
4:00-4:50pm, 22 SH
Friday, February 24: faculty candidate
4:00-4:50pm, 22 SH
Friday, February 17: Faculty candidate
4:00-4:50pm, 22 SH
Friday, February 10: Faculty candidate
4:00-4:50pm, 22 SH

Fall 2005

Friday, December 2: A Proposal for Sensor Network Programming
Professor Ted Herman, University of Iowa
http://www.cs.uiowa.edu/~herman/
4:00-4:50pm, 40 SH
Friday, November 11: Compiler Validation using Automated Decision Procedures
Professor Clark Barrett, NYU
http://www.cs.nyu.edu/~barrett/
4:00-4:50pm, 61 SH
Host: Cesare
Friday, November 4: On Vertex Identifying Codes in Graphs
Professor Ryan Martin, Iowa State University
http://orion.math.iastate.edu/rymartin
4:00-4:50pm, 40 SH
Host: Sriram
Friday, October 28: From Randomized to Quantum Computation
Professor Jaikumar Radhakrishnan,
Tata Institute of Fundamental Research, Mumbai, India,
and Toyota Technological Institute at Chicago
http://www.tcs.tifr.res.in/~jaikumar/
4:00-4:50pm, 40 SH
Host: Kasturi
Wednesday, October 19: Plastic Variation and its Implications: the Evoluation of Sex and Adaptation on Rugged Adaptive Landscapes
Professor Lilach Hadany, University of Iowa
lilach-hadany@uiowa.edu
4:00-4:50pm, 61 SH
Host: Joe
Friday, October 14: Privacy-Preserving Database Union
Professor Alberto Maria Segre, University of Iowa
http://www.cs.uiowa.edu/~segre/
4:00-4:50pm, 61 SH
Friday, October 7: Synthesizing and Evaluating Data-Driven Motion Transitions
Professor Bobby Bodenheimer, Vanderbilt University
http://www.vuse.vanderbilt.edu/~bobbyb/
4:00-4:50pm, 61 SH
Host: Joe
Friday, September 30: Extracting and Summarizing Consumer Opinions on the Web
Professor Bing Liu, University of Illinois at Chicago
http://www.cs.uic.edu/~liub/
4:00-4:50pm, 61 SH
Host: Hwanjo
Friday, September 16: Proving the Shalls: Requirements, Proofs, and Model-Based Development
Dr. Steve Miller, Rockwell-Collins
spmiller@cca.rockwell.com
4:00-4:50pm, 61 SH
Host: Steve
Friday, September 9: Fault-Tolerant Search and q-Grams
Professor Jurgen Albert, University of Wurzburg, Germany
http://www2.informatik.uni-wuerzburg.de/
4:00-4:50pm, 61 SH
Host: Jarkko

Spring 2005

Friday, April 22: Natural Language Processing in the Context of Knowledge Management
Marc Light, The University of Iowa
4:00-4:50pm, 61 SH
Host: Tinelli
Friday, March 11: Designing, creating, and evaluating developmentally appropriate technologies for children
Juan Pablo Hourcade, U.S. Census Bureau
4:00-4:50pm, 61 SH
Host: Cremer
Friday, March 25: Solving Lift-and-Project Relaxations of Binary Integer Programs
Samuel Burer, The University of Iowa
4:00-4:50pm, 61 SH
Host: Segre
Friday, March 25: Supporting Content Distribution Applications in Overlay Multicast
Yi Cui University of Illinois at Urbana-Champaign
9:30-10:20am, 114 MLH
(note unusual time and location)
Host: Cremer
Tuesday, March 8: Software Security Verification with Type Qualifiers
Rob Johnson, University of California, Berkely
4:00-4:50pm, 112 Macbride Hall
(note unusual day and location)
Host: Tinelli
Monday, March 7: Human or not? How to tell the difference
Monica Chew, University of California, Berkeley
4:00-4:50pm, 61 SH
Host: Cremer
Friday, March 4: Algorithms for Data Migration
Yoo-Ah Kim, University of Maryland
4:00-4:50pm, 61 SH
Host: Pemmaraju
Monday, February 28: A Price-based Approach to Resource Allocation in Wireless Networks
Yuan Xue, University of Illinois at Urbana-Champaign
4:00-4:50pm, 61 SH
Host: Herman
Friday, February 25: Scalable Self-healing for Wireless Sensor Network Applications
Murat Demirbas, Massachusetts Institute of Technology
4:00-4:50pm, 61 SH
Host: Herman
Friday, February 18: Effective XML Data Management using Relational Databases
Yi Chen, University of Pennsylvania
4:00-4:50pm, 61 SH
Host: Cremer
Friday, February 4: Securing Network Routing
Yih-Chun Hu, University of California, Berkeley
4:00-4:50pm, 61 SH
Host: Herman
Friday, January 28: Perspectives on Information Technology in Hydrology
Anton Kruger, The University of Iowa
4:00-4:50pm, 61 SH
Host: Lawrence
Friday, January 21: Hidden Access Control Policies with Hidden Credentials
Keith Frikken, Purdue University
4:00-4:50pm, 61 SH
Host: Cremer

Fall 2004

Friday, September 10: Semidefinite Programming for Sensor Network Localization and other Euclidean Distance Geometry Problems
Yinyu Ye, Stanford University
4:00-4:50pm, 113 MLH
Host: Segre
Friday, September 17: An Application of the Probabilistic Method
Sriram Pemmaraju, The University of Iowa
4:00-4:50pm, 113 MLH
Friday, October 1: Towards a Quantum Programming Language
Peter Selinger, University of Ottawa
4:00-4:50pm, 113 MLH
Host: Souza (Math Dept.)
Wednesday, October 6: Towards a Grand Unified Theory of Underspecification
Alexander Koller, Saarland University
4:00-4:50pm, 113 MLH
Host: Tinelli
Friday, October 8: A Semi-automatic System for Application-level Checkpoint/Recovery (CPR) in Computational Grids
Keshav Pingali, Cornell University
4:00-4:50pm, 113 MLH
Host: Segre
Friday, October 15: Text Mining: A Snapshot of Research Problems
Padmini Srinivasan, The University of Iowa
4:00-4:50pm, 113 MLH
Wednesday, October 20: The Road Less Traveled By: A Critical Look at I/O
George Gorbatenko, University of Minnesota
4:00-4:50pm, 113 MLH
Host: Lawrence
Friday, October 29: Dividing and Conquering Logic
Eyal Amir, University of Illinois at Urbana-Champaign
4:00-4:50pm, 113 MLH
Host: Tinelli
Friday, November 5: Mobility and Resource Management in Smart Home Environments
Sajal Das, University of Texas at Arlington
4:00-4:50pm, 113 MLH
Host: Ghosh
Friday, November 12: On rainbow arithmetic progressions
Maria Axenovich, Iowa State University
4:00-4:50pm, 113 MLH
Host: Pemmaraju
Wednesday, November 17: Locomotion in Virtual Environments
William Thompson, University of Utah
4:00-4:50pm, 113 MLH
Host: Kearney
Friday, November 19: Higher-Order Transformation and the Distributed Data Problem
Victor Winter, University of Nebraska at Omaha
4:00-4:50pm, 113 MLH
Host: Tinelli
Friday, December 3: The Risks of Electronic Voting
Dan Wallach, Rice University
4:00-4:50pm, 113 MLH
Host: Jones

Spring 2004

Friday, April 23: An Invitation to Randomized Algorithms
Aravind Srinivasan, University of Maryland, College Park
4:00-4:50pm, 105 MLH
Friday, April 16: Using P2P experience to build large-scale Grid services
Matei Ripeanu, University of Chicago
4:00-4:50pm, 105 MLH
Friday, March 26: A User-Friendly Probability Machine, with Applications
Branden Fitelson, University of California, Berkely
4:00-4:50pm, 105 MLH
Friday, March 12: Rewriting Logic Based Semantics and Analysis of Concurrent Programs
José Meseguer, University of Illinois at Urbana-Champaign
4:00-4:50pm, 105 MLH
Monday, March 8: Explicit Control in a Batch-Aware Distributed Filesystem
Douglas Thain, University of Wisconsin
4:00-4:50pm, 105 MLH
Friday, March 5: Algorithms for Processing Massive Data at Network Line Speed
Graham Cormode, Rutgers University
4:00-4:50pm, 105 MLH
Wednesday, March 3: Automatic Generation of Geo-Specific High Fidelity Virtual Driving Environments
Yiannis Papelis, University of Iowa
4:00-4:50pm, 105 MLH
Friday, February 27: Interactive Approaches to Rendering Real World Illumination
Chris Wyman, University of Utah
4:00-4:50pm, 105 MLH
Wednesday, February 25: Efficient algorithms for Oligonucleotide Fingerprinting of Ribosomal DNA Genes in the analysis of microbial communities
Andres Figueroa, University of California, Riverside
4:30-5:20pm, 140 SH
Friday, February 20: Exploiting Emergent Usage Behavior for Locating Files in Large Resource-Sharing Communities
Adriana Iamnitchi, Duke University
4:00-4:50pm, 105 MLH
Wednesday, February 18: Advanced Visualization and Collaboration Environments
Andrew Johnson, University of Illinois at Chicago
3:30-4:20pm, W401 PBB
Monday, February 16: Investigating the Effect of Texture on 3D Shape Perception
Sunghee Kim, University of Minnesota
4:00-4:50pm, 105 MLH
Friday, February 13: On-line Statistics for Database Query Optimization
Ashraf Aboulnaga, IBM Almaden Research Center
4:00-4:50pm, 105 MLH

2003 Top

Wednesday, December 10: Computational and Combinatorial Aspects of RNA Secondary Structures
Christine Heitsch, University of Wisconsin
3:30-4:20pm, 118 MLH
Friday, December 5: Reference Directed Indexing: Redeeming Relevance for Subject Search in Citation Indexes
Shannon Bradshaw, University of Iowa
3:30-4:20pm, 118 MLH
Friday, November 21: Extremal problems on packing sparse graphs
Alexandr Kostochka, University of Illinois at Urbana-Champaign
3:30-4:20pm, 118 MLH
Friday, November 14: Virtual Environments for Architecture and Construction: Research Challenges in 3D User Interface Design
Doug Bowman, Virginia Tech
3:30-4:20pm, 118 MLH
Friday, November 7: Collaborative Resource Allocation for Wireless Sensor Networks
Marco Caccamo, University of Illinois at Urbana-Champaign
3:30-4:20pm, 118 MLH
Thursday, October 30: Building a Reliable Software Infrastructure for Scientific Computing
Osni Marques, Lawrence Berkeley National Laboratory
11-11:50am, 114 MLH
Friday, October 24: NICE: A Network Infrastructure to Support Combinatorial Search
Alberto Segre, University of Iowa
3:30-4:20pm, 40 SH
Friday, October 17: Phase transitions, backbones and heuristic search
Weixiong Zhang, Washington University in St. Louis
3:30-4:20pm, 118 MLH
Friday, October 10: Sequencing by hybridization of nucleic acids: the analog spectrum approach.
Franco Preparata, Brown University
3:30-4:20pm, 118 MLH
Friday, October 3: Question Answering as Information Extraction
David Eichmann, University of Iowa
3:30-4:20pm, 118 MLH
Wednesday, September 24: PAC-Bayesian results in learning theory
David McAllester, Toyota Technological Institute at Chicago
3:30-4:20pm, 118 MLH
Friday, September 12: Pattern Discovery and the Algorithmics of Surprise
Alberto Apostolico, Purdue University
3:30-4:20pm, 118 MLH
Friday, August 29: Computation, Game Theory, and the Internet
Bruno Codenotti, National Research Council, Italy and
University of Iowa
3:30-4:20pm, 118 MLH
Friday, July 25: Secure Transmission using All-or-Nothing of Data (STAND)
Sugata Sanyal, Tata Institute of Fundamental Research India
3:00-3:50pm, 114 MLH
Monday, March 10: A Motion Planning Approach to Protein Folding
Guang Song, Texas A&M University
9:30-10:20am, 31 SH
Thursday, March 6: Computer Generated Illustrations: Creation and Psychophysical Evaluation
Bruce Gooch, University of Utah
4:00-4:50pm, 218 MLH
Thursday, February 27: Deconvolving Sequence Variation in Mixed DNA Populations
Andy Wildenberg, University of New York at Stony Brook
11-12noon, 214 MLH
Tuesday, February 25: Expressive Lighting for Interactive Narrative: Thinking Beyond Illumination
Magy Seif El-Nasr, Northwestern University
4:00-4:50pm, 218 MLH
Friday, February 21: Scheduling TCP Flows through Internet Traffic Managers: Modeling and Practice
Liang Guo, Boston University
9:30-10:20am, 219 JH
Wednesday, February 19: Proximity problems for non-Euclidean data
Aristides Gionis, Stanford University
9:30:10:20am, 219 JH
Monday, February 17: Principles and Pragmatics for Embedded Systems
John Regehr, University of Utah
9:30:10:20am, 31 SH
Thursday, February 13: Distance-Based Genome Rearrangement Phylogeny
Li-San Wang, University of Texas at Austin
4:00-4:50pm, 60 SH
Wednesday, February 12: Designing Self-configuring, Adaptive Wireless Sensor Networks
Nirupama Bulusu, University of Colorado - Boulder
9:30-10:20am, 219 JH
Monday, February 10: Homogeneous subsets of the discrete plane and tilings
Maurice Nivat, Universite' Denis Diderot, France
3:30-4:20am, 110 MLH
Wednesday, February 5: Managing Projects in "Internet Time"
Dawn Ainger, Computing Solutions, Inc.
3:30-4:20pm, 110 MLH

2002 Top

Friday, December 6: Verification of Mobile Systems: From Process Algebra to Model Checking
Mr. Reza Ziaei, University of Illinois at Urbana-Champaign, USA
3:30-4:20pm, 118 MLH
Friday, November 22: Satisfiability Modulo Theories
Prof. Cesare Tinelli, University of Iowa, USA
3:30-4:20pm, 118 MLH
Friday, November 15: Scalable Simulation in Virtual Environments
Prof. Stephen Chenney, University of Wisconsin - Madison, USA
3:30-4:20pm, 118 MLH
Friday, October 18: Edge Disjoint Paths Revisited
Dr. Chandra Chekuri, Bell Labs, USA
3:30-4:20pm, 118 MLH
Friday, October 11: A "Living Book"
Dr. Peter Baumgartner, University of Koblenz, Germany.
3:30-4:20pm, 118 MLH
Wednesday, October 2: Self-Stabilizing Distributed File System
Prof. Shlomi Dolev, Ben-Gurion University, Israel
3:30-4:20pm, 118 MLH
Friday, September 27: Approximation Algorithms to Minimize Total Response Time in Scheduling Broadcasts
Mr. Rajiv Gandhi, University of Maryland, USA
3:30-4:20pm, 118 MLH
Friday, September 13: Methods and Tools for Flight Critical Systems
Dr. Steven P. Miller, Rockwell Collins, USA
3:30-4:20pm, 118 MLH
Monday, June 10: ASIC Design of Porous Silicon MEMS
Prof. H. Saha, Jadavpur University, India
11am-12noon, 113 MLH
Friday, April 26: Intentional Programming: fertile ground for growing language features
Prof. Eric Van Wyk, University of Minnesota, Twin Cities, Minnesota
2:30-3:20pm, 110 MLH
Thursday, April 11: New Methods for Ensemble Classification
Prof. Nick Street, University of Iowa, Iowa
4:00-4:50pm, 205 MLH
Tuesday, April 9: HOPS: A Distributed Hybrid Optimization Technique for Protein Structure Prediction
Prof. Alberto Maria Segre, University of Iowa, Iowa
4:00-4:50pm, 15 SH
Thursday, April 4: Equistable Graphs
Prof. Uri Peled, University of Illinois at Chicago, Illinois
1:30-2:20pm, 217 MLH
Tuesday, April 2: Text Retrieval as Risk Minimization
Mr. ChengXiang Zhai, Carnegie Mellon University, Pennsylvania
4:00-4:50pm, 15 SH
Monday, April 1: Crawling the Web for Recent & Relevant Information
Prof. Filippo Menczer, University of Iowa, Iowa
4:30-5:20pm, 105 MLH
Thursday, March 28: Attack-Resistant Peer-to-Peer Networks
Mr. Jared Saia, University of Washington, Washington
4:00-4:50pm, 205 MLH
Tuesday, March 26: New Algorithms for Radiosurgical Treatment Planning Problems
Mr. Xiaodong Wu, University of Notre Dame, Indiana
4:00-4:50pm, 15 SH
Thursday, March 14: Tolerating Software Faults in Distributed Systems
Mr. Neeraj Mittal, University of Texas at Austin, Texas
4:00-4:50pm, 205 MLH
Tuesday, March 12: Efficient Parallel Algorithms for Solvent Accessible Surface Area of Proteins
Mr. Natsuhiko Futamura, Iowa State University, Iowa
4:00-4:50pm, 15 SH
Thursday, March 7: Mixed-Initiative Interaction = Mixed Computation
Prof. Naren Ramakrishnan, Virginia Tech, Virginia
1:30-2:20pm, 114 MLH
Tuesday, March 5: Active Memory Processor: A Garbage Collected Memory Module
Mr. Witawas Srisa-an, Illinois Institute of Technology, Illinois
4:00-4:50pm, 15 SH
Friday, March 1: Uniform Description of Efficient Decision Procedures using Extended Signatures
Dr. Ashish Tiwari, SRI International, California
2:30-3:20pm, 110 MLH
Thursday, February 28: Connected Domination in Ad Hoc Wireless Networks
Ms. Xiuzhen Cheng, University of Minnesota, Twin Cities, Minnesota
4:00-4:50pm, 205 MLH
Thursday, February 21: Checking Validities and Proofs with CVC and Flea
Mr. Aaron Stump, Stanford University, California
4:00-4:50pm, 205 MLH

2001 Top

Opportunities in Bioinformatics for Computer Science
           Prof. Lenwood Heath, Virginia Tech.
           Friday, November 16th, 218 MLH, 2:30 pm - 3:20 pm

The Discourse Parsing and Summarization of Free Texts
           Prof. Daniel Marcu, University of Southern California.
           Monday, October 22th, 218 MLH, 2:30 pm - 3:20 pm

Component-Based Development(CBD) Using Enterprise JavaBeans(EJB)
           Prof. Soo Dong Kim, Soongsil University, Seoul, Korea.
           Wednesday, October 3rd, 71 SH, 3:30 pm - 4:20 pm

Problems with Computer-Based Voting Systems
           Prof. Doug Jones, The University of Iowa.
           Thursday, June 14th, 214 MLH, 2:00 pm-2:50 pm

Houdini, an Annotation Assistant for ESC/Java
           Dr. K. Rustan M. Leino, Compaq SRC, Palo Alto, CA.
           Monday, May 7th, 22 Schaeffer Hall, 10:30 am - 11:20 am

System Approximation and Canonical Design
           Prof. Charles Rattray, University of Stirling, Scotland.
           Tuesday, April 17th, 3321 Seamans Center, 2:30 pm - 3:20 pm

High Performance Computing Trends and the Computational Grid
           Prof. Jack Dongarra, University of Tennessee, Tennessee.
           Monday, April 16th, 3315 Seamans Center, 10:30 am - 11:20 am

The Effective Spectra of a Matrix
           Prof. Anne Greenbaum, University of Washington, Washington.
           Monday, March 19th, 103 Schaeffer Hall, 10:30 pm - 11:20 am

A Distribution-Independent Framework for Scientific Applications
           Prof. Srinivas Aluru, Iowa State University, Iowa.
           Tuesday, March 6th, 114MLH, 10:30-11:20 am

Autonomous Control Structure For Artificial Cognitive Agent
           Prof. Roland Hausser, Frederich Alexander University Erlangen,
           Germany
           Wednesday, February 28th, 15SH, 4:00 pm - 5:00 pm

Database Semantics for Natural Language
           Prof. Roland Hausser, Frederich Alexander University Erlangen,
           Germany
           Tuesday, February 27th, 66SH, 4:00 pm - 5:00 pm

What Does the Scattering Amplitude Have To Do with Conjugate Gradients, FluidMechanics and Differential Algebraic Equations
           Prof. Paul Saylor, University of Illinois
           January 22nd, 2001, 118 Macbride Hall, 10:30 am -11:20 am

2000 Top

New Approaches to MetaSearch
           Prof. Javed A. Aslam, Dartmouth College
           Friday, December 8th, 2000, 210 MLH, 11:30am - 12:20pm

A Parallel 3D Unsteady Flow Computation In a Doubly Constricted Vessel
           Prof. B. V. Rathish Kumar, IIT Kanpur,India and Advanced
           Computing Centre RIKEN, Japan
           Friday, November 17th, 2000, 110 MLH, 1:30 pm - 2:20 pm

An Advertisement for Combinatorica
           Prof. Sriram Pemmaraju, University of Iowa
           Tuesday, November 7th, 2000, 31 SH, 12:30 pm - 1:30 pm

Computational Biology and Large-Scale Human Genome Research at Iowa
           Prof. Thomas L. Casavant, University of Iowa
           Tuesday, October 24th, 2000, S401 PBB, 12:30 pm - 1:30 pm

Exploiting Redundancy in the Genetic Code
           Prof. Steven Skiena, SUNY Stony Brook
           Friday, October 13th, 2000, 210 MLH, 11:30 am - 12:20 pm

A Java Modeling Language and also Specification Inheritance
           Prof. Gary T. Leavens, Iowa State University
           Tuesday, September 5th, 2000, 105 MLH, 1:30 pm - 2:20 pm

Distributed Circular Systems
           Prof. Rani Siromoney, Madras Christian College
           Monday, August 21st, 2000, 132 MH, 3:30 pm - 4:20 pm

Dynamically Adapting Registration Areas to User Mobility and Call Patterns for Efficient Location Management in PCS Networks
           Prof. Sandeep Gupta, Colorado State University
           Thursday, August 17th, 2000, 110 MLH, 3:30 - 4:20 pm

Applications of Submodular Functions to Algorithms in VLSI CAD and Network Design (parts I and II)
           Prof. Sachin Patkar, Indian Institute of Technology
           Monday, August 14th, 2000, 110 MLH, 10:00-11:00 am

Triggered Updates for Temporal Consistency in Real-Time Databases
           Prof. Susan V. Vrbsky, University of Alabama
           Monday, May 15th, 2000, 110 MLH, 9:30 - 10:30 am

An order on cellular automata
           Prof. Ivan Rapaport, University of Chile
           Friday, January 21st, 2000, 60 SH, 2:30 - 3:30 pm

1999 Top

Overview of Research Work in California Labs of STMicroelectronics
           Dr. Simant Dube, STMicroelectronics Inc.
           Friday, November 12th, 1999, 113 MLH, 3:30 - 4:30 pm

Aperiodic Hierarchical Tilings
           Prof. Chaim Goodman-Strauss, University of Arkansas
           Friday, November 5th, 1999, 113 MLH, 3:30 - 4:30 pm

Biomolecular Computing and Programming
           Prof. Max Garzon, University of Memphis
           Friday, October 22nd, 1999, 113 MLH, 3:30 - 4:30 pm

Devising Effective Parallel Algorithms
           Dr. Bruce Hendrickson, Sandia National Labs
           Thursday, October 7th, 1999, 113 MLH, 9:30 - 10:30 am

Chernoff Bounds and their Applications
           Prof. Sriram V. Pemmaraju, Department of Mathematics, IIT Bombay
           Monday, June 28th, 1999, 218 MLH, 1:30 pm - 2:30 pm

The Black Art of Preconditioning: Fast Algorithms for Incomplete Factorization
           Prof. Alex Pothen, Old Dominion University, Norfolk VA, and
           ICASE, NASA Langley Research Center, Hampton VA
           Wednesday, April 28th, 1999, 210 MLH, 1:30 pm - 2:20 pm

Stabilizing Data Structures
           Prof. Ted Herman, University of Iowa
           Friday, April 23rd, 1999, 210 MLH, 1:30 pm - 2:20 pm

Lime: Linda Meets Mobility
           Prof. Gian Pietro Picco, Washington University St Louis and
           Dipartimento di Automatica e Informatica Politecnico di Torino
           Friday, April 16th, 1999, 218 MLH, 3:30 pm - 4:20 pm

A Distributed Control Scheme for Motor Networks with Communication-Constrained Channels
           Prof. Nicola Ferrier, University of Wisconsin
           Thursday, April 15th, 1999, 15 SH, 1:30 pm - 2:20 pm

New Spectral Graph Partitioning algorithms
           Prof. Suely Oliveira, University of Iowa
           Monday, March 8th, 1999, 210 MLH, 1:30 pm - 2:20 pm

Quantum Computation
           Mika Hirvensalo, University of Turku, Finland
           Friday, January 29th, 1999, 213 MLH, 2:30 pm - 3:20 pm

1998 Top

MPEG-7, the Multimedia Content Description Interface
           Dr. Ajay Divakaran, Mitsubishi Electric Information
           Tuesday, November 24th, 1998, 214 MLH, 1:05 pm - 2:00 pm

Directions in National High Performance Networking
           Dr. Bill Decker, Program Director, Advanced Network Infrastructure,
           NSF/CISE/ANIR
           Monday, October 26th, 1998, 3 SH, 2:30pm-3:20pm

Small Aperiodic Sets of Wang Tiles and Cubes
           Prof. Karel Culik II, Department of Computer Science, University of
           South Carolina
           Tuesday, October 13th, 1998, B13 MLH, 4:00pm-4:50pm

Applications of Mathematical Optimization in Machine Learning
           Prof. Nick Street, Department of Management Sciences,
           University of Iowa
           Friday, September 25th, 1998, 218 MLH, 3:30pm-4:20pm

New Algorithms for Generating Conway Polynomials
           Prof. Lenwood S. Heath, Department of Computer Science,
           Virginia Tech, Blacksburg, VA
           Monday, June 29th, 1998, 221 MLH, 10:00am-10:50am

Variations of Weighted Finite Automata for Image and Video Compression
           Prof. Dr. Jürgen Albert, Department of Computer Science,
           University of Würzburg, Germany
           Friday, June 5th, 1998, B11 MLH, 2:00pm-2:50pm

Temporal Logic Model Checking
           Prof. Edmund M. Clarke, School of Computer Science,
           Carnegie Mellon University
           Friday, April 17th, 1998, 214 MLH, 2:30pm-3:20pm

An Efficient Wait-Free Algorithm for Generalized Snapshots
           Prasad Jayanti, Department of Computer Science, Dartmouth College
           Friday, March 27th, 1998, 214 MLH, 2:30pm-3:20pm

Using the Prover ANDP to Simplify the Axioms of Constructive Geometry
           Prof. Li Dafa, Department of Mathematics, Tsinghua
           University, China
           Wednesday, March 11th, 1998, 214 MLH, 2:30pm-3:20pm

From Actions Theories to Active Databases
           Prof. Jorge Lobo, University of Illinois at Chicago
           Friday, March 6th, 1998, 214 MLH, 2:30pm-3:20pm

From Hardware to Wetware: Computing with DNA
           Prof. Lila Kari, University of Western Ontario
           Friday, February 6th, 1998, 214 MLH, 2:30pm-3:20pm

Formal Verification at Rockwell Collins
           Dr. Matthew Wilding, Rockwell Collins, Inc., Advanced
           Technologies Center
           Friday, January 30th, 1998, 214 MLH, 2:30pm-3:20pm

1997 Top

Mechanical Verification of a Cache Coherence Protocol
           Dr. Amy Felty, Bell Labs
           Friday, November 21st, 1997, 218 MLH, 2:30-3:20pm

Applying chains of recurrence technique to loop optimization
           Prof. Eugene Zima, Moscow University and University of Waterloo
           Friday, November 7th, 1997, 218 MLH, 2:30-3:20pm

Experiments with subdivision of search: the Clause-Diffusion theorem prover Peers-mcd
           Prof. Maria Paola Bonacina, Dept. of Computer Science,
           University of Iowa
           Friday, October 17th, 1997, 218 MLH, 2:30-3:20pm

Construction of Non-Reducible Descriptors in Pattern Recognition
           Prof. Ventzeslav Valev, Institute of Mathematics and Informatics,
           Bulgarian Academy of Sciences and Department of Radiology,
           The University of Iowa
           Wednesday, October 8th, 1997, 218 MLH, 2:30pm

Non-clausal resolution
           Prof. Leo Bachmair, Dept. of Computer Science, SUNY at
           Stony Brook
           Friday, May 2nd, 1997, 218 MLH, 3:30-4:20 p.m.

On the modelling of search in theorem proving: towards a theory of strategy analysis
           Prof. Maria Paola Bonacina, Dept. of Computer Science,
           University of Iowa
           Thursday, April 24th, 1997, 221 MLH, 4:30-5:20 p.m.

The Rewriting Logic Research Program
           Dr. Jose' Meseguer, Computer Science Laboratory, SRI International
           Friday, April 18th, 1997, 213 MLH, 3:30-4:20 p.m.

Study of Japanese Text Compression
           Dr. Noriko Satoh, I/O Systems Lab., Fujitsu Laboratories Ltd.
           Monday, March 31st, 1997, 219 Jessup Hall, 3:30-4:20 p.m.

A Rate-Distortion Optimal Method of Compressing Video
           Dr. Lyman Hurd, Iterated Systems Inc.
           Thursday, March 6th, 1997, 110 MLH, 1:05 p.m.

History-Dependent Automata
           Prof. Ugo Montanari, Computer Science Laboratory, SRI International
           Tuesday, Feb. 25th, 1997, 217 MLH, 4:30-5:20 p.m.

1996 Top

Natural Language Processing
           Professor Robert C. Berwick, Massachusetts Institute of Technology
           Thursday, May 2, 1996, OLD CAPITOL SENATE CHAMBER, 11:30 a.m.

Propositional Search Spaces and First-Order Theorem Proving
           David A. Plaisted, UNC Chapel-Hill
           Monday, April 1, 1996, B13 MLH, 2:30 p.m.

Containment Algorithms for Nonconvex Polygons with Applications to Packing and Nesting
           Karen Daniels, Harvard University, University of Miami
           Tuesday, April 2, 1996, 217 MLH, 2:30 p.m.

Towards Next Generation Program Analyzers
           R. Sekar, Research Scientist, Bellcore
           Wednesday, April 3, 1996, 105 MacLean Hall, 2:30 p.m.

The Touring Machine System(TM): An Open Distributed Platform for Distributed Multimedia Applications
           R.C. Sekar, Research Scientist, Bellcore
           Thursday, April 4, 1996, 210 MLH, 9:30 a.m.

High Performance Network Media Systems using ATM Port Interconnect Controller (APIC)
           Guru M. Parulkar, Applied Research Laboratory, Washington
           University in St. Louis
           Thursday, April 4, 1996, 3407 EB, 3:30 p.m.

Open Forum: Dial-In Access to Computer Resources
           Tuesday, March 12, 1996, 4-5:30, W10 PBAB
               or Thursday, March 28, 1996, 7-8:30 p.m., Shambaugh Auditorium LIB

Output-Sensitive Algorithms for Two- and Three-Dimensional Convex Hulls
           Timothy Chan, Johns Hopkins University
           Wed, March 13, 1996, 2:30-3:30

Fast Connectionist Learning for Trailer Backing using a Real Robot
           Maria Gini, University of Minnesota
           Monday, March 11, 1996, 2:30, Old Capitol Senate Chamber.

Lanczos-Krylov Methods for Control Theory
           Dan Boley, University of Minnesota
           Monday, March 11, 1996, 11:30 am, Old Capitol Senate Chamber.

1995 Top

Forcing Behavioral Subtyping by Specification Inheritance in Larch/C++
           Gary Leavens, Iowa State University
           Tuesday, November 21, 1995.

New Results on an Equation-Based Approach Solving Complementarity Problems
           Andreas Fischer, Technical University of Dresden
           Tuesday, November 7, 1995

Modular Design of Communication Protocols
           Gurdip Singh, Department of Computing and Information Sciences,
           Kansas State University
           Friday, November 10, 1995

Unsupervised pattern recognition in DNA or protein sequences
           Charles Elkan, Department of Computer Science, University of
           California at San Diego
           Monday, November 13, 1995

Nagging, Search Reduction through Healthy Competition
           David Sturgill, Department of Computer Science, Cornell University
           Tuesday, October 24, 1995.

Making Programs Explode: Using Simple Random Testing on Real Programs
           Barton P. Miller, University of Wisconsin
           Thursday, September 21, 1995 POSTPONED--to be announced later.

Algorithms for All Single Deletions in a Minimum Spanning Tree, Simultaneously
           Michael Loui, University of Illinois at Urbana-Champaign
           Monday, Autust 7, 1995

1994 Top

Graph Embeddings and Simplicial Maps
           Lenwood S. Heath, Virginia Polytechnic Institute
           Friday, April 29, 1994

How I Write a Scientific Paper: Selling Your Data With Power Writing
           Garry R. Buettner, Ph.D., Director, ESR Center, College of
           Medicine, The University of Iowa
           Thursday, April 14, 1994

Ongoing Research at Neural Systems, Inc.
           Santosh Ananthraman, Neural Systems, Inc.
           Thursday, March 31, 1994

Algebraic Structures, Formal Languages and Applications to Parallelism
           Dragos Vaida, University of Bucharest, Romania
           Monday, March 14, 1994

Specifying and Reasoning about Regular Data Structures
           Deepak Kapur, State University of New York, Albany, NY
           Friday, March 11, 1994

Automated Induction for Partial Functions
           Dimitri Naidich, Institute of Cybernetics, Kiev, Ukraine
           Thursday, February 17, 1994

Signal Compression Based on Models of Human Perception
           James Johnston, AT&T Bell Laboratories, Murray Hill, New Jersey
           Friday, February 4, 1994

A Distributed, Adaptive, Inference System
           Alberto Maria Segre, Department of Computer Science,
           Cornell University
           Thursday, January 27, 1994

Last modified: April 9, 2007


	Translate this page automatically.

	©2005 The University of Iowa, All Rights Reserved.