2009 - 2010

Departmental Seminar Series

---

Biological Sequence Classification Using Machine Learning
Doina Caragea (Kansas State University)
Wednesday, November 18, 2009 - 4:30pm (Nichols Hall, Room 122)


A Structured Approach to Develop Synchronization Code: Condition Synchronization and Mutual Exclusion
Masaaki Mizuno (Kansas State University)
Wednesday, November 11, 2009 - 4:30pm (Nichols Hall, Room 122)


Sireum/Topi LDP: A Lightweight Semi-Decision Procedure for Optimizing Symbolic Execution-based Analyses
Jason Belt (Kansas State University)
Wednesday, November 4, 2009 - 4:30pm (Nichols Hall, Room 122)


Integrating Automated Analysis into Development Practice
David S. Hardin (Rockwell Collins, Inc.)
Tuesday, November 3, 2009 - 11:00am (Nichols Hall, Room 122)


Static Analysis of Dynamically Generated String Output Using LR-parsing Technology
David Schmidt (Kansas State University)
Wednesday, October 28, 2009 - 4:30pm (Nichols Hall, Room 122)


Security Risk Analysis of Enterprise Networks: Techniques and Challenges
Xinming (Simon) Ou (Kansas State University)
Wednesday, October 21, 2009 - 4:30pm (Nichols Hall, Room 122)


Experimenting with Formal Languages Using Forlan
Alley Stoughton (Kansas State University)
Wednesday, October 14, 2009 - 4:30pm (Nichols Hall, Room 122)


Information Extraction: Natural Language, Spatiotemporal Machine Learning, and Link Analysis Approaches
William H. Hsu (Kansas State University)
Wednesday, September 30, 2009 - 4:30pm (Nichols Hall, Room 122)


An Empirical Approach to Modeling Uncertainty in Intrusion Analysis
Xinming (Simon) Ou (Kansas State University)
Wednesday, September 23, 2009 - 4:30pm (Nichols Hall, Room 122)


Mastering Requirements Engineering - A Mini Tutorial
Christof Ebert (Vector Consulting Services)
Monday, August 31, 2009 - 9:30am (Nichols Hall, Room 236)

How-To Talks

---

Design Patterns in Practice
Mike A. Zimmerman and Doug Wagers (Softek, Inc.)
Wednesday, October 14, 2009 - 11:30am (Nichols Hall, Room 236)


Getting Started with LaTeX
Alley Stoughton (Kansas State University)
Wednesday, October 7, 2009 - 11:30am (Nichols Hall, Room 236)


All Years:
[2009-2010] [2008-2009] [2007-2008] [2006-2007] [2005-2006] [2004-2005] [2003-2004] [2002-2003] [2001-2002] [2000-2001] [1999-2000] [1998-1999] [1997-1998] [1996-1997]