Department of Computer Science

Benjamin Wah

Department of Electrical and Computer Engineering and the Coordinated Science Laboratory,

University of Illinois, Urbana-Champaign

CITATION

Title: Nonlinear Optimization in Planning and Scheduling

Date: Apr. 22, 2004

Time: 3:30PM

Location: 2055 Hoover

Amir Pnueli

Courant Institute of Mathematical Sciences,

New York University

CITATION

Title: Taming the Infinite: Verification of Infinite-State Systems

Date: Apr. 14, 2005

Time: 3:40PM

Location: 1148 Gerdin Building

Barbara Liskov

Department of Electrical Engineering and Computer Science,

Massachusetts Institute of Technology

CITATION

Title: Software Upgrades in Distributed Systems

Flyer: PDF

Date: Apr. 6, 2006

Time: 3:30PM

Location: Alliant Energy Lee Liu Auditorium, Howe Hall

John E. Hopcroft

Department of Computer Science,

Cornell University

CITATION

Title: Computer Science in the Information Age

Flyer: PDF

Date: Apr. 19, 2007

Time: 4:00PM

Location: 2055 Hoover

Jin-Yi Cai

Department of Computer Science,

University of Wisconsin--Madison

and Radcliffe Institute, Harvard University

CITATION

Title: Computational Complexity and Holographic Algorithms

Date: Apr. 10, 2008

Time: 3.40PM

Location: 1210 LeBaron