Departmental Colloquium Series

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

Fall 2009

Friday, Dec 4

To Be Announced
Mike Booth

4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Nov 20

GPU Computing: The challenges of programming many-core systems
Dr. Austin Robison
NVIDIA Research
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Nov 13

Infosuasive Interaction Design
Prof. Davide Bolchini
Indiana University
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Nov 6

Social Influence and Information Diffusion in Large Online Networks
Eytan Bakshy
University of Michigan
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Oct 30

Reasoning Without Words
Prof. Colin Allen (Ida Beam Visitor)
Indiana University
4:00-5:00pm, W401 PBB

Friday, Oct 23

Model-driven Synthesis of High Assurance Secure Systems
Prof. William Harrison
University of Missouri, Columbia
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Oct 16

PointAssist: Analyzing Sub-Movement Characteristics to Aid in Pointing Tasks
Prof. Juan Pablo Hourcade
University of Iowa
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Oct 2

Investigating Applied Perception and Peer Influence in Immersive Virtual Environments
Dr. Sabarish Babu ( Profile Picture )
University of Iowa
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Sep 25

Fine-Grained Access Control with Object-Sensitive Roles
Prof. Todd Millstein
UCLA
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Sep 18

A Comprehensive Approach for Malicious Javascript Detection
Dr. Eunjin (EJ) Jung
University of Iowa
4:00-4:50pm, 140 SH (Schaeffer Hall)

Friday, Sep 11

SMT@Microsoft
Dr. Leonardo de Moura
Microsoft Research
4:00-4:50pm, S401, John Pappajohn Business Building

Spring 2009

Friday, May 1

Automated Model Revision
Prof. Sandeep Kulkarni
Michigan State University
4:00-4:50pm, Room: 140 SH

Friday, April 10

Profile-based alignment algorithms for protein three-dimensional structure prediction
Prof. Aleksandar Poleksic
University of Northern Iowa
4:00-4:50pm, Room: 140 SH

Friday, March 13

KeY: A Formal Method for Object-Oriented Software
Philipp Ruemmer
Chalmers University, Sweden
4:00-4:50pm, Room: 140 SH

Monday, March 2

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 66 SH

Friday, February 27

Rambling After All These Years
Prof. Yale Patt
University of Texas at Austin
6:00-7:00pm, Room: 1505 SC

Friday, February 27

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 140 SH

Monday, February 23

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 3315 SC

Wednesday, February 18

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 22 SH

Friday, February 13

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 140 SH

Friday, February 6

Efficient Distributed Approximation Algorithms
Prof. Gopal Pandurangan
Purdue University
4:00-4:50pm, Room: 140 SH

Wednesday, February 4

Research Seminar by Faculty Candidate
4:00-4:50pm, Room: 22 SH

Friday, January 30

Emerging Models and Technologies for Multi-scale Modeling and Simulations of Nanostructured Material Formations and Property Predictions
Prof. Jun Ni
The University of Iowa
4:00-4:50pm, Room: 140 SH

Last modified: June 23, 2009