Sign up to receive special UMSEC event notifications by email.

Past Events

January 17, 2008: Code Freeze 2008
Symposium theme: "Innovation" Please join us for an action-packed day, where we will discuss business innovations for 4 hours in the mor...

December 8, 2007: Security and Peer-to-peer Systems
MSSE Seminar SeriesProf. Yongdae KimIn this talk, we discuss some of the security issues related with P2P systems. In the first part of the talk,...

November 10, 2007: An Iterative Approach to Healthcare Connectivity
MSSE Seminar SeriesJohn Feikema and Brett Peterson of VisionShare, Inc. The healthcare system requires significant amounts of communicatio...

October 13, 2007: Software as Strategy
MSSE Seminar Series Jamie Thingelstad, CTO and VP for the Wall Street Journal Digital Network Abstract: Starting technology-leveraged comp...

September 26, 2007: University of Minnesota Software Engineering Center (UMSEC), IBM University Relations, and the IBM Academic Initiative invite you to join Grady Booch

September 22, 2007: Worlds In Collision: Methodology Mashups in the Enterprise

September 5, 2007: Scalable Computing at amazon.com

January 11, 2007: Code Freeze 2007: Global Development

December 9, 2006: Method & Apparatus for Handling Intellectual Property

November 11, 2006: Jamshid Vayghan: Enterprise Architecture -- Challenges and Opportunities

November 7, 2006: MS in Software Engineering Information Session

October 14, 2006: Joe Konstan and Loren Terveen: Human-Computer Interaction - Research in a Triangle Bounded by Technology, Design, and Behavioral Science

September 26, 2006: MS in Software Engineering Information Session

September 23, 2006: Chuck Huff - Software Engineering Ethics

May 15, 2006: MS in Software Engineering Information Session in Rochester, MN

April 6, 2006: Mark Thompson (Target) : Flavors of Six Sigma and tools to use for business value discovery

April 5, 2006: MS in Software Engineering Information Session

March 9, 2006: Hridesh Rajan (Iowa State University) : Preserving Separation of Concerns through Compilation

February 9, 2006: John Knight (University of Minnesota) - Faulty Human Communications: Its Impact on Dependability And What To Do About It

January 13, 2006: Code Freeze 2006

January 5, 2006: Mike Whalen - Getting in Really Right--Software Development for Highly Critical Systems

December 17, 2005: John Riedl and Jim Pichler - Software Engineering in a Startup Environment

December 10, 2005: Open-Source in Business, Open-Source as a Business Model

November 12, 2005: Eric Van Wyk - Extensible programming languages

November 11, 2005: The Ciao Multiparadigm Programming Language and its Verifying Compiler by Manuel Hermenegildo

September 1, 2005: Patrick O'Toole - Overview of the SCAMPI Appraisal Method

June 2, 2005: Joyce Statz - Optimizing Software Delivery: Should we Buy, Build, or Outsource?

May 19, 2005: MSSE Information Session

May 5, 2005: Capers Jones - Software Quality in 2005: A survey of the state of the art

April 28, 2005: Presentation of Employer-Friendly Graduate Programs in Computer Science and Engineering

April 27, 2005: Paul A.G. Sivilotti (Ohio State U): Plausible Clocks with Guaranteed Precision

April 19, 2005: Bindings, mobility of bindings, and the nabla-quantifier

April 11, 2005: MSSE Information Session

March 30, 2005: JML and its Unit Testing Tool - a talk by Gary Leavens

March 8, 2005: MSSE Information Session

March 3, 2005: TwinSPIN Meeting

February 23, 2005: MSSE Information Session

December 11, 2004: Security on the front line -- Alan Amesbury, University of Minnesota

November 17, 2004: Formal Methods for Verification of Avionics Components at Honeywell Labs - Dr. Darren Cofer (Honeywell Labs)

November 13, 2004: Engineering Real-Time Systems -- Dr. Rich Voyles, University of Minnesota

November 11, 2004: Requirements Discovery during Testing and Operations - Robyn Lutz (Iowa State and JPL)

November 4, 2004: Software Process Development: Using What You Already Know - Patrick Wegerson (Medtronic Inc.)

October 23, 2004: Legal and Intellectual Property Issues for Software Professionals - Dan Burk, U of M Law School

October 8, 2004: CSGSA Poster Session

October 7, 2004: Proving the Shalls: The Future of Requirements - Steve Miller (Rockwell Collins)

October 6, 2004: Higher-Order Transformation and the Distributed Data Problem - Victor Winter (UN Omaha)

September 25, 2004: Chuck Huff: Practicing Virtue in Software Design

September 16, 2004: Building Ships and Building Software: Practicing Virtue in Software Design

September 13, 2004: A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded Systems - Betty Cheng (Michigan State U)

July 29, 2004: Monte Carlo Model Checking - Scott Smolka (SUNY Stony Brook)