Departmental Colloquium Series

Reception, with refreshments, usually takes place half hour before the presentation in Muhly Lounge.

Spring 2008

Friday, May 2

Advances in automated verification of data flow programs
Prof. Cesare Tinelli, University of Iowa
http://www.cs.uiowa.edu/~tinelli
4:00-4:50pm, 140 SH

Friday, April 25

Querying Sensor Networks Using Ad-hoc Mobile Devices: A Two Layer Networking Approach
Prof. Sol Shatz, University of Illinois at Chicago
http://www.cs.uic.edu/~shatz
4:00-4:50pm, 140 SH

Friday, April 18

Context-Aware Scanning for Parsing Extensible Languages
Prof. Eric Van Wyk, University of Minnesota
http://www-users.cs.umn.edu/~evw/
4:00-4:50pm, 140 SH

Friday, April 11

Geospatial Semantics and Moving Objects Research
Prof. Kathleen Stewart Hornsby, University of Iowa
http://www.uiowa.edu/~geog/faculty/stewart/stewart.shtml
4:00-4:50pm, 140 SH

Thursday, April 10

Two Systems of Spatial Knowledge and Their Application to VE Design
Prof. Dave Waller, Department of Psychology, Miami University of Ohio
http://www.users.muohio.edu/wallerda/wallerda.htm
4:00-4:50pm, 22 SH

Friday, April 04

Declared-Strategy Voting and Approval Ratings
Prof. Ron Cytron, Washington University
http://www.cs.wustl.edu/~cytron/
4:00-4:50pm, 140 SH

Friday, March 28

An Introduction to Semidefinite Programming and Its Applications
Prof. Samuel A. Burer University of Iowa
http://dollar.biz.uiowa.edu/~burer/
4:00-4:50pm, 140 SH

Wednesday, March 5

Strategic Behavior and Combinatorial Betting in Prediction Markets
Dr. Yiling Chen, Yahoo! Research, New York City
http://research.yahoo.com/bouncer_user/21

Friday, February 29

Deep Blue in Retrospect
Prof. Monty Newborn, McGill University, Canada
http://www.cs.mcgill.ca/~newborn/
6:15-7:30pm, 1505 SC

Tuesday, February 12

Faculty candidate
4:00-4:50pm, 3321 SC

Monday, February 11

Faculty candidate
4:00-4:50pm, 203 BCSB

Thursday, January 31

Faculty candidate
4:00-4:50pm, 22 SH

Monday, January 28

What is a Tree? Analog Meets Digital / Art Meets Math
Ira Greenberg, Miami University
http:www.iragreenberg.com
7:00-8:00pm, 116 Art Building West

Thursday, January 24

Faculty candidate
4:00-4:50pm, 22 SH

Fall 2007

Friday, December 14

Clustering to Minimize the Sum of Radii
Prof. Kasturi R. Varadarajan, University of Iowa
http://www.cs.uiowa.edu/~kvaradar/
4:00-4:50pm, 2217 SC

Friday, November 30

Looking at People
Prof. David Forsyth, University of Illinois at Urbana-Champaign
http://luthuli.cs.uiuc.edu/~daf/
4:00-4:50pm, 2217 SC

Friday, November 9

Toward Assurable and Robust Security Configuration
Prof. Ehab al-Shaer, DePaul University
http://www.mnlab.cs.depaul.edu/~ehab
4:00-4:50pm, 2217 SC

Friday, October 26

Location Privacy Protection for Location-based Services
Prof. Ying Cai, Iowa State University
http://www.cs.iastate.edu/~yingcai
4:00-4:50pm, 2217 SC

Friday, October 19

Manifold Representations for Biomedical Applications
Prof. Cindy Grimm, Washington University
http://www.cs.wustl.edu/~cmg/
4:00-4:50pm, 2217 SC

Friday, October 12

Supporting Visual Expression for Structured and Unstructured Information
Dr. Haowei Hsieh, University of Iowa
4:00-4:50pm, 2217 SC

Friday, October 5

Move to Improve: Promoting Physical Navigation to Increase User Performance with Large Displays
Prof. Robert Ball, University of Wisconsin-Oshkosh
http://www.uwosh.edu/faculty_staff/ballr/
4:00-4:50pm, 2217 SC

Friday, September 28

Static Analysis for Asynchronous Programs
Prof. Rupak Majumdar, University of California, Los Angeles
http://www.cs.ucla.edu/~rupak/
4:00-4:50pm, 2217 SC

Friday, September 21

Hierarchical Matrices and Multilevel Algorithms
Prof. Suely Oliveira, University of Iowa
http://www.cs.uiowa.edu/~oliveira/
4:00-4:50pm, 2217 SC

Friday, September 07

Using Intelligent Recommender Systems to make Decisions
Prof. J. Ben Schafer, University of Northern Iowa
http://www.cs.uni.edu/~schafer/
4:00-4:50pm, 2217 SC

Last modified: February 7, 2008