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, contact Bill Spears at 766-5429, or e-mail wspears arobase uwyo.edu.
Spring 2008
Thursday, April 17th, 2008
Time: 6-8 pm
Room: CR 310
Dick B. Simmons, P. E., Ph.D., IEEE Fellow
Professor Emeritus, Texas A&M University
Title: "Computer and Software Engineering: What was, what is, and what will be."
link: Abstract
|
Tuesday, April 15th, 2008
Time: 4:00 pm
Room: ENG 3108
Xiaoyang Gu
Department of Computer Science, Iowa State University
Title: "Computably Rectifiable Curves and Points"
link: Abstract
|
Fall 2007
Wednesday, September 5, 2007
Time: 3:00 pm
Room: ENG 1062
Suranga Hettiarachchi
University of Wyoming Ph.D. Defense
Title: "Distributed Evolution for Swarm Robotics"
link: Abstract
|
Spring 2007
Monday, April 23, 2007
Time: 1:30 pm
Room: ENG 5069
Lucas Shaw
University of Wyoming Masters Defense
Title: "A Computational Framework for Modeling the Spread of
Pathogens and Generating Effective Containment Strategies
in Weakly Connected Island Models"
link: Abstract
|
Thursday, March 29, 2007
Time: 4:00 pm
Room: ENG 1062
Dr. Nathan Fisher
University of North Carolina at Chapel Hill
Title: "The Multiprocessor Real-Time Scheduling of General Task Systems"
link: Abstract
|
Thursday, March 22, 2007
Time: 4:00 pm
Room: ENG 1062
Dr. Khuzaima Daudjee
University of Waterloo
Title: "Scalable Data Replication with Freshness Guarantees"
link: Abstract
|
Tuesday, March 20, 2007
Time: 4:00 pm
Room: ENG 1062
Dr. Paolo D'Alberto
Post Doctoral Fellow, Carnegie Mellon University
Title: "Compiler Analysis and Optimizations: A Vertical Approach for Recursive Algorithms"
link: Abstract
|
Thursday, March 8, 2007
Time: 4:00 pm
Room: ENG 4066
Dr. Jeremy Siek
University of Colorado, Boulder
Title: "Languages and Libraries for High-Performance Computing"
link: Abstract
|
Thursday, January 25, 2007
Time: 4:00 pm
Room: ENG 4066
Jim Partan
University of Massachusetts-Amherst
Title: "Underwater Sensor Networks and Whales"
link: Abstract
|
Fall 2006
Tuesday, December 5, 2006
Time: 10:00 am
Room: ENG 4094
Divya Sethi
Title: "Using Data Access Objects to Achieve Independence"
link: Abstract
|
Spring 2006
Tuesday, April 25, 2006
Time: 4:30 pm
Room: ENG 4094
Todd Bolinger
Title: "Scientific Visualization of Galaxy Behavior Using Grid Architecture"
link: Abstract
|
Friday, April 7, 2006
Time: 4:10 pm
Room: ENG 4066
Dr. Mark Arnold
Lehigh University
Title: "Logarithmic Number Systems"
Link: Abstract
|
Wednesday, March 22, 2006
Time: 4:00 pm
Room: ENG 4066
Dr. Liqiang Wang
State University of New York (SUNY) at Stony Brook
Title: "Checking Atomicity for Concurrent Programs"
Link: Abstract
|
Monday, March 20, 2006
Time: 4:00 pm
Room: ENG 4066
Dr. Alexey Loginov
University of Wisconsin-Madison
Title: "Program Verification via Three-Valued Logic Analysis"
Link: Abstract
|
Wednesday, March 8, 2006
Time: 4:00 pm
Room: ENG 4066
Dr. Ming Li
University of Texas at Dallas
Title: "Interference and Application Aware QoS Strategies in IEEE 802.11 Wireless Networks"
Link: Abstract
|
Wednesday, March 1, 2006
Time: 4:10 pm
Room: Health Sciences 105
Dr. William M. Spears
University of Wyoming
Title: "Viruses, Vectors, and Vaccinations"
Link: Abstract
|
Tuesday, January 31, 2006
Time: 4:00 pm
Room: ENG 4066
Dr. Reid Cornwell
Center for Internet Research
Title: "Extreme Data, Hyper-complexity, Semiotics and the Internet Solution or Problems"
|
Summer 2005
Monday, August 8, 2005
Time: 2:00 pm
Room: ENG 4059
Wesley Kerr
University of Wyoming
Title: "Physics-based multiagent swarms and their application to coverage problems"
|
Spring 2005
Thursday, April 28, 2005
Time: 3:00 pm
Room: ENG 4066
Dr. Russell Bent
Brown University
Title: "Online Stochastic Optimization Under Time Constraints"
Link: Abstract
|
Tuesday, April 26, 2005
Time: 4:00 pm
Room: ENG 4066
Dr. Kenneth A. De Jong
George Mason University
Title: "Co-evolution and agent-based research in computer network security and inhalation anthrax"
Link: Bio
|
Friday, April 15, 2005
Time: 1:00 pm
Room: ENG 1044
Dr. Michael Gizzi
Mesa State
Title: "Exploring emergence in social and natural systems using NetLogo agent-based modeling"
Link: Abstract and Bio
|
Monday, April 11, 2005
Time: 2:00 pm
Room: ENG 3102
Dr. Robert Steinke
JPL
Title: "Blackboard Simulation, Timeline Variables, and Distributed Shared Memory"
Link: Abstract and Bio
|
Thursday, March 10, 2005
Time: 4:00 pm
Room: ENG 4066
Patricia Gilfeather
University of New Mexico
Title: "Making Commodity Protocols Viable in High-Performance Computing"
Link: Abstract and Bio
|
Monday, March 7, 2005
Time: 4:00 pm
Room: ENG 4066
Dr. Glen Hansen
Los Alamos National Laboratory
Title: "Mesh Generation: Conformal meshes in Complex Geometry"
Link: Abstract and Bio
|
Thursday, February 24, 2005
Time: 4:00 pm
Room: ENG 4066
Dr. Lambert Schaelicke
University of Notre Dame
Title: "SPANIDS: Intrusion Detection on High-speed Network Links"
Link: Abstract and Bio
|
Fall 2004
Tuesday, December 7, 2004
Time: 4:00 pm
Room: ENG 4066
Dr. Diana Spears
Department of Computer Science
University of Wyoming
Title: "Chemical Plume Tracing with Mobile Robots"
Link: Abstract
|
November 18, 2004
Time: 1:00 pm - 2:00 pm
Room: ENG 1044
Dr. Paul Oh
Department of Mechanical Engineering
Drexel University
Title: Micro-Air-Vehicles for Flying in Near-Earth Environments
Link: Abstract and Bio
|
November 9, 2004
Time: 4:00 pm
Room: EN 4066
Dr. Darrell Whitley
Computer Science Department
Colorado State University
Title: Optimization Algorithms for the Temperature Inverse Problem
in Atmospheric Sciences: A Case Study
Link: Abstract
|
Friday, October 8, 2004
Time: 4:00 pm
Room: EN 4066
Dr. Frank Pipitone
Navy Center for Applied Reasearch in Artificial Intelligence
Naval Research Lab, Washington D.C.
Title: "Range Based Computer Vision at NRL"
Link: Abstract and Bio
|
Summer 2004
Wednesday, August 18, 2004
11:00 am
Room: EN 4066
Dr. Donald Perlis
Department of Computer Science
University of Maryland
Title: "THE METACOGNITIVE LOOP -or- Toward Human-Level Commonsense Reasoning"
Link: Abstract
|
Spring 2004
Tuesday, April 27, 2004
4:10 pm
Room: EN 4066
Dr. Dick Bains
IBM Distinguished Engineer
IBM Server Group - Data Centric Development
Title: "iSeries (aka AS/400) - Best Kept Secret in the Industry"
Link: Abstract
|
Tuesday, April 20, 2004
4:10 pm
Room: EN 4066
Dr. Robert France
Colorado State University, CS Dept.
Title: "Model-Based Engineering of Complex Software: Challenging the Status-Quo"
Link: Abstract
|
Tuesday, April 13, 2004
4:10 pm
Room: EN 4066
Daniel Pack
USAFA/DFEE
Title: "A Cooperative Algorithm for Unmanned Aerial Vehicles
to Search, Detect, and Locate Mobile RF Time-Varying Targets"
Link: Abstract
|
Tuesday, April 6, 2004
4:10 pm
Room: EN 4066
Dr. Jack Lutz
Iowa State University
Title: "Effective Fractal Dimension"
Link: Abstract
|
Fall 2003
Tuesday, Dec 9, 2003
4:00 pm
Room: EN 4066
Dr. William Spears
University of Wyoming, CS
Title: "Distributed Robotics at the University of Wyoming"
|
Tuesday, November 25, 2003
4:00 pm
Room: EN 4066
Jeffrey Anderson
University of Wyoming, ECE
Title: "A Seed-Based Semi-Automatic Segmentation Technique for Confocal Serial Section Images"
THIS TALK WILL BE RESCHEDULED IN THE SPRING
|
Tuesday, October 7, 2003
4:00 pm
Room: EN 4066
Dr. Steve Barrett
University of Wyoming, ECE
Title: "Biomimetic Modeling of the Vision System of the Fly (Musca domestica)"
|
Summer 2003 XML Series
Wednesday, August 20, 2003
12:00 pm
Room: EN 4059
Nadya Kuzmina
University of Wyoming
Title: "XSLT: From content to presentation"
Presentation and Resources
|
Wednesday, July 16, 2003
12:00 pm
Room: EN 4066
Robin Hill
University of Wyoming
Title: "MathML: Style and Substance"
|
Wednesday, July 2, 2003
12:00 pm
Room: EN 4066
Jeffrey Van Baalen
University of Wyoming
Title: Introduction to XML Parsing
Slides
Examples |
Wednesday, June 18, 2003
12:00 pm
Room: EN 4066
Ruben Gamboa
University of Wyoming
Title: Overview of XML
Slides |
Spring 2003
Thursday, April 10, 2003
1:00 pm
Room: CR 211
Rick Foch
Naval Research Laboratory
Title: Small and Micro Air Vehicles
Flyer
Abstract and Bio |
Thursday, April 3, 2003
4:10PM - 5:00PM
EN 1046
John Hitchcock
Iowa State
Title: Fractal Dimension and the Inapproximability of MAX3SAT and MAXCLIQUE
Abstract |
Monday, March 31, 2003
3:10PM - 4:00PM
EN 3110
Nirupama Bulusu
UCLA
Title: Designing Self-configuring, Adaptive Wireless Sensor Networks
Abstract
|
Thursday, March 27, 2003
4:10PM - 5:00PM
EN 3110
Sergey Gorinsky
University of Texas
Title: Robust Congestion Control for Multicast Communications
Abstract |
Tuesday, March 25, 2003
4:10PM - 5:00PM
CR 212
Nikola Stojanovic
Whitehead Institute, Center for Genomic Research
Title: Deciphering the Mammalian Genome: An Engineer's Perspective on Genomics and Bioinformatics
Abstract
|
Fall 2002
College of Engineering Distinguished Speaker
Friday, December 13, 2002
3:10PM - 4:00PM
AG 1032
Dr. Anthony A. Maciejewski
Colorado State University
Title: Kinematically Redundant Robots: The Promise of Human-Like Dexterity
Link: Abstract and Bio
|
Friday, December 13, 2002
11:10AM - 12:10PM
ENG 4094
Dehua Zhao
University of Wyoming, CS Dept
Title: The Design and Implementation of A Relational Geographic Information System
|
Friday, December 13, 2002
12:15PM - 1:15PM
CR 212
Cesar A. Marron
University of Wyoming, CS Dept
Title: A Semantic Query Optimization Technique For Complex Spatial Queries
|
|
Tuesday, October 22, 2002
4:00PM - 5:00PM
ENG 4066
Jon Rowe
University of Birmingham
Title: Aggregating States for Stochastic Processes
Links: Abstract
and Bio,
|
Summer 2002
|
Tuesday, July 23, 2002
3:00PM - 4:00PM
Classroom Building Rm. 202
Thomas Boehne
Department of Computer Science
University of Wyoming
Title: A General Intruder for Security Protocols in MAUDE
|
|
Wednesday, May 29, 2002
11:00AM - 12:00PM
Eng. 4094 (Computer Science Conference Room)
Joseph
Kiniry
Department of Computer Science
California Institute of Technology
Title: Kind
Theory
|
Fall 2001