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

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

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

Tuesday, December 5, 2006
Time: 10:00 am
Room: ENG 4094
Divya Sethi
Title: "Using Data Access Objects to Achieve Independence"
link: Abstract

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"

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"

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

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

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

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

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)"

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

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

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,

Monday, September 30, 2002
2:10PM - 4:00PM
Classroom Building, Rm. 202
Eitan Suez
Neopost Loopone, Inc.
Austin, TX
Title: Designing a three-tier web application for Java API documentation
Links: http://www.uptodata.com, http://www.dbdoc.org.

Friday, July 26, 2002
3:00PM - 4:00PM
Classroom Building, Rm. 206
Tjark Weber
Department of Computer Science
University of Wyoming
Title: Program Transformation using Nuprl

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

Friday, June 7, 2002
11:00AM - 12:00PM
Eng. 4094 (Computer Science Conference Room)
Authur Chtcherba
Department of Computer Science
University of New Mexico
Title: Symbolic resultants via Dixon formulation, and their applications to geometry

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

Wednesday, October 17, 2001
4:10 - 5:00PM
Eng. 4066
Professor Michael A. Langston
Department of Computer Science
University of Tennessee
Title: Research Directions in Algorithmic Graph Theory