|
10/13/2010 |
4:00 pm - 5:00 pm |
UTCS Colloquium - Thomas Ball/Microsoft Research: "Practical Parallel and Concurrent Programming: Performance and Correctness on the Multi-core Computer with .NET 4", ACES 2.302, Wednesday, October 13, 2010, 4:00 p.m. |
|
10/7/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium - Sorin Lerner/University of California, San Diego: "Strategies for Building Correct Optimizations", ACES 2.302, Thursday, October 7, 2010, 11:00 a.m. |
|
1/27/2011 |
2:00 pm - 3:00 pm |
UTCS Colloquium - K. Rustan M. Leino/Microsoft Research, "Dafny: a program verifier for functional correctness, and for students", ACES 2.302 |
|
10/5/2006 |
3:30 pm - 5:00 pm |
UTCS Colloquia: William H. Press/Los Alamos National Laboratory DISCRETE RADON TRANSFORMS EXACT INVERSES AND UNEXPECTED GENERALIZATIONS ACES 6.304 (ICES Seminar Room) |
|
3/23/2009 |
3:30 pm - 4:30 pm |
UTCS Colloquia: Robbert Van Renesse/Cornell University: "Refining the Way to Consensus" ACES 2.402, Monday, March 23, 2009 3:30 p.m. |
|
3/2/2010 |
11:00 am - 12:00 pm |
UTCS Colloquia: Herb Lin/Chief Scientist for the Computer Science and Telecommunications Board: "Understanding U.S. Cyberattack Policy" ACES 2.302, Tuesday, March 2, 2010, 11:00 a.m. |
|
10/9/2006 |
4:30 pm - 5:30 pm |
UTCS Colloquia: Andrew Myers/Associate Professor Cornell University Making distributed systems secure by construction ACES 6.304 (ICES) |
|
2/23/2011 |
5:00 pm - 6:00 pm |
UTCS Colloquia/FoCS: "Web Application Security: Seek, Destroy, Repair", David Collins & Patrick Pelanne/HostGator, ACES 2.302, February 23, 2011, 5 pm |
|
2/22/2011 |
12:30 pm - 1:30 pm |
UTCS Colloquia/FoCS: "Scaling Facebook - Facebook Tech Talk for Grad Students", Dr. Harry Li/Facebook, ACES 2.402, February 22, 2011, 12:30 PM |
|
11/10/2010 |
3:30 pm - 4:30 pm |
UTCS Colloquia/Architecture - Daniel Jiménez/University of Texas, San Antonio: "Reducing Wasted Speculation", ACES 2.302 |
|
10/9/2009 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI: Ubbo Visser/University of Miami, Department of Computer Sciences: "Statistics-based Real-time Sports Simulation" TAY 3.128, Friday, October 9, 2009 11:00 a.m. |
|
3/6/2009 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI: Pedro F. Felzenszwalb/University of Chicago: "Object Recognition with Part-Based Models" ACES 2.402, Friday, March 6, 2009 11:00 a.m. |
|
2/27/2009 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI: Kristen Grauman/UT-Austin, UTCS: "Efficient Visual Search and Learning" ACES 2.402, Friday, Feb. 27, 2009 11:00 a.m. |
|
3/4/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI- Ellen Riloff/University of Utah, "Adventures in Bootstrapping: Acquiring Lexical Knowledge for NLP", ACES 2.402" |
|
1/21/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI- Edwin Olson/University of Michigan, "Winning the MAGIC 2010 Autonomous Robotics Competition", ACES 2.302 |
|
2/17/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI -Michael Mauk/The University of Texas at Austin, "Computer simulation of the cerebelllum", WEL 2.302 |
|
11/11/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI -Jennifer Neville/Purdue University, "How to learn from one sample? Statistical relational learning for single network", ACES 2.302 |
|
3/30/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Yulia Lierler/University of Kentucky, "Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming", ACES 2.402 |
|
10/14/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Yejin Choi/SUNY Stony Brook, "In Search of Styles in Language: Identifying Deceptive Product Reviews, Wikipedia Vandalism, and the Gender of Authors via Statistical Stylometric Analysis", ACES 2.302 |
|
10/19/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Wolf Ketter/Erasmus University, "The Power Trading Agent Competition," ACES 2.302 |
|
9/21/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Warren Powell/Princeton University, "Unifying the Jungle of Stochastic Optimization," PAI 3.14 |
|
2/10/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Vibhav Gogate/UT Dallas, "Efficient Sampling-based Inference in Presence of Logical Structure", ACES 2.402 |
|
9/7/2012 |
11:30 am - 12:30 pm |
UTCS Colloquia/AI - Silvio Savarese/University of Michigan, Ann Arbor, "Understanding the 3D World from Images," PAI 3.14 |
|
2/11/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Serge Belongie/University of California, San Diego, "Visual Recognition with Humans in the Loop", ACES 2.402 |
|
12/2/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Russell Poldrack/UT Imaging Research Center, "Reading Minds"?: Predicting Mental Function from Neuroimaging Data, ACES 2.302 |
|
2/23/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Robert Holte/University of Alberta, "Knuth-Chen Meets Heuristic Search", PAI 3.14 |
|
2/22/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Rob Holte/University of Alberta, "Improving Predictions of IDA's Performance by Ignoring Information", ACES 2.402 |
|
8/13/2012 |
2:00 pm - 3:30 pm |
UTCS Colloquia/AI - Prof. Michael Bowling/University of Alberta, "Abstraction with an Adversary," ACES 2.302 |
|
10/21/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Percy Liang/Stanford University, "Learning Compositional Semantics from Weak Supervision", ACES 2.302 |
|
5/3/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Pedro Domingos/University of Washington, "Unifying Logic and Probability: A Progress Report", ACES 2.402 |
|
3/28/2011 |
1:00 pm - 2:00 pm |
UTCS Colloquia/AI - Paul Bennett/Microsoft Research, "Class-Based Contextualized Search", ACES 2.402 |
|
4/1/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Michal Pechoucek/Czech Technical University in Prague, "Towards scalable, high-fidelity and mixed multi-agent simulation of manned/unamnned air traffic", ACES 2.402 |
|
11/5/2010 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Michael Bowling/University of Alberta: "AI After Dark: Computers Playing Poker", PAI 3.14 |
|
1/19/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Matthew L. Ginsberg/University of Oregon, "Dr. Fill: Crosswords Aren't Just for Humans Any More", PAI 3.14 |
|
3/2/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Marc Denecker/Katholieke Universiteit Leuven, "The FO(.) Knowledge Base System project: an integration project", ACES 2.302 |
|
4/29/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - K. Brent Venable/University of Padova (Italy), "Compact Preference Models in Single- and Multi-agent Settings", ACES ACES 2.402 |
|
5/17/2012 |
11:00 am - 12:30 pm |
UTCS Colloquia/AI - John Hale/Cornell, "Entropy Reduction and Asian Languages," PAR 101 |
|
10/28/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jeff Schneider/Carnegie Mellon University - Robotics Institute, "Learning Dynamic Models with Non-sequenced Data", ACES 2.302 |
|
9/14/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jeff Clune/Cornell University, "Automatically generating regular, modular neural networks with computational abstractions of evolution and developmental biology," ACES 2.402 |
|
3/23/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jamie Pennebaker/Department of Psychology, UT, Austin, "What our most forgettable words say about us", ACES 2.302 |
|
11/18/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Geoff Hollinger/University of Southern California, "Robotic Decision Making for Sensing in the Natural World", RLM 6.116 |
|
4/6/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Derek Hoiem/University of Illinois at Urbana-Champaign, "Representing and Inferring the 3D Layout of Rooms", ACES 2.302 |
|
4/20/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Daniele Nardi/Sapienza Università di Roma, "Cognitive Cooperative Robots," WEL 2.308 |
|
12/2/2011 |
3:00 pm - 4:00 pm |
UTCS Colloquia/AI - Chris Dyer/Carnegie Mellon University, "Statistical Translation as Constrained Optimization", PAI 3.14 |
|
3/25/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Chitta Baral/Arizona State University, "Translating English to KR languages using inverse lambda and parameter learning", ACES 2.402 |
|
4/8/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Charles Isbell/Georgia Tech, "Adaptive Drama Management: Bringing Machine Learning to Interactive Entertainment", ACES 2.402 |
|
4/19/2012 |
1:00 pm - 2:00 pm |
UTCS Colloquia/AI - Bart Selman/Cornell University, "Going Beyond NP: New Challenges in Inference Technology," ACES 2.402 |
|
4/13/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Andrea Thomaz/Georgia Tech, "Designing Learning Interactions for Robots", ACES 2.302 |
|
5/4/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Alexis Battle/Stanford University, "Combining data and networks to unravel the genetics of complex traits," ACES 2.302 |
|
10/18/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Alexander Smola, Google/CMU, "Learning at Scale," ACE 2.302 |
