Seminars

CS Colloquium : Some Decidability Results for Asynchronous System Verification

Samik Basu

Thursday, October 24, 2013 - 3:40pm
B29 Atanasoff Hall​

CS Colloquium : Mining Ultra-large Scale Software Repositories with Boa

Robert Dyer

Thursday, October 24, 2013 - 12:40pm
B29 Atanasoff Hall​

CS Colloquium : Real-time Endoscopy Video Analysis: From Research to Development

Wallapak Tavanapong

Thursday, October 3, 2013 - 3:40pm
B29 Atanasoff Hall​

CS Colloquium : Maximum Likelihood Models and Algorithms for Gene Duplications

Pawel Gorecki

Thursday, September 26, 2013 - 12:40pm
B29 Atanasoff Hall​

CS Colloquium : Non parametric techniques: Big data meets statistics

Kris De Brabanter

Thursday, September 19, 2013 - 12:40pm
B29 Atanasoff Hall​

CS Colloquium : Computational combinatorics and the search for uniquely Kr-saturated graphs

Derrick Stolee

Thursday, September 12, 2013 - 3:40pm
B29 Atanasoff Hall​

CS Colloquium : Let Me Do Your Homework For You

Kathryn Stolee

Thursday, September 5, 2013 - 12:40pm
B29 Atanasoff Hall​

Distinguished Lecture : Relativistic Refactoring

Don Batory

Wednesday, February 6, 2013 - 3:40pm
2245 Coover Hall

Pages