Seminars
CS Colloquium : Colloquium
Miroslav Pajic
Thursday, November 29, 2018 - 3:30pm to 4:30pm
1230 Communications
University Seminar : Iowa Colloquium on Information, Complexity, and Logic (ICICL) - April 5th
Chris Porter
Thursday, April 5, 2018 - 3:00pm
223 Atanasoff Hall
Faculty Candidate Colloquium : Myra Cohen: From Theory to Practice and Back: A Tale of Combinatorial Designs, Optimization, and Search in Software Testing
Myra Cohen
Monday, March 19, 2018 - 4:10pm
223 Atanasoff Hall
Talk : Math and Computational Sciences Day
Multiple Panelists
Tuesday, February 13, 2018 - 12:00pm to 1:15pm
Campanile Room, Memorial Union
CS Colloquium : Building Predictable and Adaptable Mobile Systems
Lukasz Ziarek
Friday, January 26, 2018 - 4:10pm
223 Atanasoff
University Seminar : Local Polynomial Regression with Correlated Errors and Unknown Correlation Structure
Kris De Brabanter
Monday, December 4, 2017 - 4:10pm to 5:00pm
Snedecor 3105
Distinguished Lecture : Recent Work in the Science of Software and Systems
Stavros Tripakis
Friday, November 10, 2017 - 4:10pm
2300 Marston
Talk : Iowa Colloquium on Information, Complexity and Logic in Computation (ICICL)
Johanna Franklin
Thursday, November 9, 2017 - 3:10pm to 4:00pm
Carver 0001
Distinguished Lecture : Configurations Everywhere: Implications for Software Testing and Beyond
Myra Cohen
Monday, October 16, 2017 - 4:10pm
2300 Marston
Distinguished Lecture : Hunting Software Bugs Using Machine Learning
Mayur Naik
Friday, October 13, 2017 - 4:10pm
2300 Marston
Distinguished Lecture : Fixes, Proofs and Humans: Results and Lessons from Transforming Programs
Westley Weimer
Friday, October 6, 2017 - 4:10pm
2300 Marston
Faculty Candidate Colloquium : Where is the Ore in Your Big Data?
Ömer Muhammet Soysal
Tuesday, May 2, 2017 - 2:00pm
223 Atanasoff Hall
Faculty Candidate Colloquium : Panorama - A Tool to Help with Code Maintenance
Simanta Mitra
Monday, May 1, 2017 - 3:40pm
223 Atanasoff Hall
Faculty Candidate Colloquium : DiscoPoP: Productivity and Efficiency in Multicore Software Development
Ali Jannesari
Wednesday, April 26, 2017 - 12:40pm
223 Atanasoff
Faculty Candidate Colloquium : Techniques for Constructing Dependable Distributed Systems
Borzoo Bonakdarpour
Monday, April 17, 2017 - 11:00am
223 Atanasoff Hall
Faculty Candidate Colloquium : Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Kuldeep Meel
Thursday, April 13, 2017 - 3:30pm
2019 Morrill Hall
Faculty Candidate Colloquium : Learning Visual Inference and Measurement
Ayan Chakrabarti
Thursday, April 6, 2017 - 3:40pm
2019 Morrill Hall
Faculty Candidate Colloquium : Achieving Low-Delay and Fast-Convergence in Data-Intensive Mobile Computing
Jia (Kevin) Liu
Tuesday, April 4, 2017 - 3:30pm
B29 Atanasoff Hall
University Seminar : Data Driven Science for All
Hridesh Rajan
Thursday, March 30, 2017 - 6:30pm to 8:00pm
1213 Hoover
CS Colloquium : Integrating Diverse Data for Improved Computational Genomics
Scott Emrich
Thursday, March 30, 2017 - 3:40pm
2019 Morrill Hall
Faculty Candidate Colloquium : Securing Modern Systems by Preventing Information Leaks
Kangjie Lu
Thursday, March 30, 2017 - 11:00am
223 Atanasof
Faculty Candidate Colloquium : Applied Data Analytics in Neuroscience and Natural Language
Forrest Sheng Bao
Tuesday, March 28, 2017 - 11:00am
223 Atanasoff
University Seminar : Programming Molecules in the Age of Nanotechnology
Robyn Lutz
Thursday, March 2, 2017 - 8:00pm
Sun Room, Memorial Union
CS Colloquium : Kolmogorov Complexity and its Applications to Fractal Geometry
Thursday, March 2, 2017 - 3:40pm
2019 Morrill Hall