Formally Certified Satisfiability SolvingDuckki Oe|University of Iowa2012/4/23 (월) 오전 11:00|302 Building, Room 309
Visual Analytics for Investigative Analysis and Exploration of Documents and DataJohn Stasko|School of Interactive Computing, Georgia Institute of Technology2012/4/06 (금) 오전 10:30|302 Building, Room 106
The Era of Heterogeneous Compute: Challenges and OpportunitiesSudhakar Yalamanchili|School of Electrical and Computer Engineering, Georgia Institute of Technology2012/3/21 (수) 오후 04:00|301 Building, Room 201