Formally Certified Satisfiability SolvingDuckki Oe|University of Iowa4/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 Technology4/6 (금) 10:30|302 Building, Room 106
The Era of Heterogeneous Compute: Challenges and OpportunitiesSudhakar Yalamanchili|School of Electrical and Computer Engineering, Georgia Institute of Technology3/21 (수) 16:00|301 Building, Room 201
