|
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) |
|
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. |
|
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. |
|
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) |
|
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/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. |
|
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. |
|
2/12/2009 |
2:00 pm - 3:00 pm |
UTCS Colloquium - Tom Heath/Talis Information Ltd.: "Linking Distributed Data across the Web" ACES 2.402, Thursday, February 12, 2009 2:00 p.m. |
|
5/1/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium and ACT Seminar: Madhu Sudan/MIT "The Role of Invariance in Property Testing" ACES 2.402, Friday, May 1, 2009 11:00 a.m. |
|
9/20/2007 |
5:00 pm - 7:00 pm |
UTCS Colloquium Mixer/FoCS: NetQoS Inc. Mixer ACES Connector Lobby Thursday September 20 2007 at 5:00 p.m. |
|
9/12/2007 |
5:30 pm - 6:30 pm |
UTCS Colloquium Mixer: ConocoPhillips (FoCS) ACES Connector Lobby Wednesday September 12 2007 at 5:30 p.m. |
|
11/5/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium- Arvind Narayanan/Stanford University: "What does it mean to own our genes?" ACES 2.402, Thursday, November 5, 2009, 11:00 a.m. |
|
11/13/2009 |
1:00 pm - 2:30 pm |
UTCS Colloquium- Geoffrey Challen/Harvard University: "Managing Sensor Network Resource Usage and Monitoring Active Volcanoes," ACES 2.402, Friday, November 13, 2009, 1:00 p.m. |
|
10/8/2010 |
1:00 pm - 2:00 pm |
UTCS Colloquium- George Porter/UC, San Diego: "A Hybrid Electrical/Optical Switch Architecture for Modular Data Centers", ACES 2.402 |
|
9/10/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium- Luke Zettlemoyer/University of Washington: "Learning to Follow Orders: Reinforcement Learning for Mapping Instructions to Actions" ACES 2.302, Friday, September 10, 2010 11:00 a.m. |
|
7/29/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium- Martin Hirzel/IBM T.J. Watson Research Center: "Programming Language Challenges and Solutions in Stream Processing" ACES 2.402, Thursday, July 29, 2010 11:00 a.m. |
|
9/30/2010 |
2:00 pm - 3:00 pm |
UTCS Colloquium- Philip Resnik/University of Maryland: "Translation as Collaboration" ACES 2.402, Thursday, September 30, 2010, 2:00 p.m. |
|
9/4/2009 |
10:00 am - 11:00 am |
UTCS Colloquium- Victor Pankratius/ University of Karlsruhe, Germany: "Transactional Memory versus Locks - A Comparative Case Study," TAY 3.128, Friday, September 4, 2009, 10:00 am |
|
6/19/2008 |
4:00 pm - 5:00 pm |
UTCS Colloquium-Algorithms & Computational Theory Seminar: Fred Brown/University of Adelaide Australia Suffix Tree Construction Algorithms (Genome Scale Suffix Arrays and Trees) ACES 3.408 Thursday June 19 2008 4:00 p.m. |
|
4/27/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium-Cordelia Shmid/INRIA: "Learning Visual Human Actions from Movies" TAY 3.128, Monday, April 27, 2009 |
|
4/7/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium-Devi Parikh/Carnegie Mellon University: "The Role of Context in Image Understanding: When, For What, and How?" ACES 3.408, Tuesday, April 7, 2009 11:00 a.m. |
|
5/10/2010 |
10:30 am - 11:30 am |
UTCS Colloquium-Dhruv Batra/Carnegie Mellon University: "Graph-Structured Discrete Labelling Problems in Computer Vision," TAY 3.128, Monday, May 10, 2010, 10:00 a.m. |
|
2/19/2010 |
3:15 pm - 4:15 pm |
UTCS Colloquium-Dr. Persi Diaconis/Stanford University: "The Search for Randomness," GSB 2.124, Friday, February 19, 2010, 3:15 p.m. |
|
5/14/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium-Greg Bronevetsky/Lawrence Livermore National Lab: "Statistical Fault Detection and Analysis," ACES 6.304, Friday, May 14, 2010, 11:00 a.m. |
|
4/19/2010 |
4:00 pm - 5:30 pm |
UTCS Colloquium-Herbert Edelsbrunner/Institute of Science and Technology Austria and Duke University: "Persistent Homology," ACES 4.304, Monday, April 19, 2010, 4:00 p.m. |
|
4/30/2009 |
3:30 pm - 5:00 pm |
UTCS Colloquium-Ilya Mironov/Microsoft Research Silicon Valley: "Building Privacy into the Netflix Prize Contenders" ACES 2.302 Thursday, April 30, 2009 3:30 p.m. |
|
2/3/2009 |
2:00 pm - 3:30 pm |
UTCS Colloquium-James Larus/Microsoft: "Spending Moore's Dividend" ACES 2.402, Tuesday, February 3, 2009 2:00 p.m. |
|
4/20/2009 |
3:30 pm - 4:30 pm |
UTCS Colloquium-Jon Howell/Microsoft Research: "Leveraging Legacy Code to Deploy Desktop Applications on the Web" ACES 2.402, Monday, April 20, 2009 3:30 p.m. |
|
4/15/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium-Michael Hicks/University of Maryland: "Dynamic Software Update Validation: An Empirical Study," ACES 2.302, Thursday, April 15, 2010, 11:00 a.m. |
|
7/10/2009 |
2:00 pm - 3:25 pm |
UTCS Colloquium-Roman Manevich/UCLA: "Partially Disjunctive Shape Analysis" TAY 3.128, Friday, July 10, 2009 2:00 pm |
|
3/30/2007 |
11:00 am - 12:00 pm |
UTCS Colloquium/ ACT Special Seminar Anna Lysyanskaya Brown University Compact Ecash and Applications ACES 3.408 Friday March 30 2007 at 11:00 a.m. |
|
4/22/2010 |
4:00 pm - 5:30 pm |
UTCS Colloquium/ACT Seminar-Avi Wigderson/Institute for Advanced Study: "Expanders, Groups and Representations," ACES 2.402, Thursday, April 22, 2010, 4:00 p.m. |
|
2/29/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium/ACT Seminar: Amit Chakrabarti/Dartmouth Robust Communication Complexity and Applications ACES 3.408 Friday February 29 2008 11:00 a.m. |
|
11/30/2007 |
10:00 am - 10:00 pm |
UTCS Colloquium/ACT Seminar: Jianer Chen Texas A&M University An O(n%5E4) Time Algorithm for Bounded Feedback Vertex Set ACES 3.408 Friday November 30 2007 10:00 a.m. |
|
2/15/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium/ACT Seminar: John E. Savage/Brown University: Computing with Stochastically Assembled Nanoscale Devices ACES 2.402 Friday February 15 2008 11:00 a.m. |
|
11/9/2007 |
11:00 am - 12:00 pm |
UTCS Colloquium/ACT Seminar: Venkatesan Guruswami/University of Washington & IAS Expander codes pseudorandom matrices and Euclidean sections of L_1 ACES 3.408 Friday November 9 2007 11:00 a.m. |
|
9/16/2009 |
2:30 pm - 3:30 pm |
UTCS Colloquium/ACT Seminar: Lance Fortnow/Northwestern University: "Bounding Rationality with Computational Complexity" TAY 3.144, Wednesday, September 16, 2009 2:30 p.m. |
|
10/16/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium/ACT Seminar:Anup Rao/University of Washington and Princeton University: "Direct Sums in Randomized Communication Complexity," ACES 2.402, Friday, October 16, 2009 11:00 a.m. |
|
5/2/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI Thamar Solorio/University of Texas at Dallas: Processing Code-Switched Text ACES 2.402 Friday May 2 2008 11:00 a.m. |
|
11/19/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI - Gopal Gupta/UT Dallas "Logic, Co-induction and Infinite Computations", PAI 3.14 |
|
10/21/2010 |
1:00 pm - 2:00 pm |
UTCS Colloquium/AI - L. Venkata Subramaniam/IBM Research India: "Real World Text Analytics", ACES 2.402 |
|
1/28/2011 |
2:00 pm - 3:00 pm |
UTCS Colloquium/AI - Marc Deisenroth/University of Washington: "Probabilistic Inference and Learning for Control", ACES 2.402 |
|
12/3/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI - Vittorio Ferrari/Swiss Federal Institute of Technology Zurich "Visual Learning with Generic Knowledge", ACES 2.302 |
|
10/22/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI- Andrew McCallum/University of Massachusetts Amherst: "Probabilistic Programming and Probabilistic Databases with Imperatively-defined Factor Graphs", ACES 2.402 |
|
8/6/2010 |
12:30 pm - 1:30 pm |
UTCS Colloquium/AI- Ian Endres/UIUC: "Category Independent Object Proposals" ACES 3.408, Friday, August 6, 2010 12:30 p.m. |
|
10/8/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI- Ted Pedersen/University of Minnesota, Duluth: "The Effect of Different Context Representations on Word Sense Discrimination in Biomedical Texts" ACES 2.402 |
|
2/25/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI-Astro Teller/Cerebellum Capital, Inc.: "Time Traveling And Other Small Problems of AI-Based Finance," ACES 2.402, Thursday, February 25, 2010, 11:00 a.m. |
|
3/11/2010 |
2:00 pm - 3:00 pm |
UTCS Colloquium/AI-Burr Settles/CMU: "Asking the Right Questions: New Query Types for Active Learning," ACES 2.402, Thursday, March 11, 2010, 2:00 p.m. |
|
11/6/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI-Cindi Thompson/ PricewaterhouseCooper: "Comparing versions of electronic or paper-based documents with Magic Lens," TAY 3.128, Friday, November 6, 2009, 11:00 a.m. |
|
4/29/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/AI-Cynthia Breazeal/MIT: "Robots as Social Learners," ACES 2.402, Thursday, April 29, 2010, 11:00 a.m. |
