Computer Science Colloquia
The Computer Science Department invites interested
members of the campus community and the public to attend
these colloquia. For more information on CS colloquia or if
you'd like to give a talk, contact Jim Caldwell at
766-4913, or e-mail jlc@uwyo.edu.
Summer 2011
Thursday, 21 June 2011
Time: 10 AM
Room: EN 3110
Ph.D. Defense An Integrated Static and Dynamic Program Analysis Framework for
Checking Concurrency-Related Programming Errors
.
Qichang Chen
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Thursday, 10 June 2011
Time: 2 PM
Room: EN 3110
M.S. Defense Detecting Concurrency Errors in OpenMP Programs Using Static Program Analysis
.
Rory Jarrard
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Wednesday, 16 May 2011
Time: 11 AM
Room: EN 3110
M.S. Defense The Design and Implementation of SWAT (Scientific Workflow for Adjoint Tomography)
.
Hao Qian
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Wednesday, 13 May 2011
Time: $:00 PM
Room: EN 3114
Ph.D. Prelim Embedding Multiple Types of Expert Knowledge into Machine Learning Algorithms
.
Steve Diersen
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Wednesday, 4 May 2011
Time: 4:10 PM
Room: EN 3114
M.S. Defense Bayesian Classification for SQL Injection Detection
.
Brandon Skari
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Spring 2011
Thursday, 21 April 2011
Time: 4:10-5:00 PM
Room: EN 3114
Incremental Detection of Local Community Structure
.
L. Karl Branting
The MITRE Corporation
Fort Meade, MD.
link: Abstract
|
Friday, 15 April 2011
Time: 3:00 PM
Room: Business RM 129
PhD Defense A Secure Framework for Information Sharing and Structured Search of
Distributed Research Resources
.
Anthony W. Wallace
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Fall 2011
Friday, 5 November 2011
Time: 12 noon
Room: EN 3070
PhD Defense Type Inference and Unification: Formal and Informal Proofs in and Around Wand's Algorithm.
Sunil Kothari
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract
|
Spring 2010
|
Previous years talks
|