Colloquium Spring 2019

Past Events

• MAY 10
  9:30AM, Mudd Building, Columbia University CSB 451
  New York Area Theory Day
  IBM/NYU/Columbia
• APR 18
  11AM, Warren Weaver Hall 1314
  A journey in Artificial Intelligence, Information and Computer Science
  Philippe Jacquet, Nokia Bell Labs
• APR 12
  11AM, 60 Fifth Avenue 150
  Machine Learning for Medical Decision Support
  Pengtao Xie, Petuum Inc.
• APR 11
  11AM, 60 Fifth Avenue C15
  Agency in the Era of Learning Systems
  Jakob Foerster, University of Oxford
• APR 10
  2PM, 60 Fifth Avenue 150
  Formal Reasoning and Amazon Web Services
  Byron Cook, University College London/Amazon Web Services
• APR 9
  2PM, 60 Fifth Avenue 150
  Opportunities and Challenges of Side-Channel Security in the Era of Confidential Computing
  Yinqian Zhang, Ohio State University
• APR 8
  2PM, 60 Fifth Avenue 150
  Perceiving Humans in the 3D World
  Angjoo Kanazawa, University of California, Berkeley
• APR 5
  3PM, 60 Fifth Avenue 527
  AI Solutions for the Underserved Billions
  P. Anandan, Wadhwani Institute for Artificial Intelligence
• APR 5
  11AM, 60 Fifth Avenue 150
  AlphaGo and the Computational Challenges of Machine Learning
  Chris Maddison, University of Oxford
• APR 3
  2PM, 60 Fifth Avenue 150
  End-to-end Optimization of Discrete Latent Structures
  Mohammad Norouzi, Google
• APR 1
  2PM, 60 Fifth Avenue 150
  Visual Question Answering and Beyond
  Aishwarya Agrawal, Georgia Tech
• MAR 29
  11AM, 60 Fifth Avenue 150
  Better understanding of algorithmic and statistical matters in generative models
  Andrej Risteski, MIT
• MAR 27
  2PM, 60 Fifth Avenue 150
  AI for Imperfect-Information Game Settings
  Noam Brown, Carnegie Mellon University
• MAR 25
  2PM, 60 Fifth Avenue 150
  Rethinking the Role of Optimization in Learning
  Suriya Gunasekar, Toyota Technological Institute at Chicago
• MAR 15
  11AM, 60 Fifth Avenue 150
  Designing New Abstractions for High-Performance Network Functions
  Guyue (Grace) Liu, George Washington University
• MAR 12
  2PM, 60 Fifth Avenue 150
  AlphaStar: Mastering the Real-Time Strategy Game StarCraft II
  Oriol Vinyals, Google DeepMind
• MAR 11
  2PM, 60 Fifth Avenue 150
  From Scripting to Proving: Gradual Verification for Expressive Programming Languages
  David Van Horn, University of Maryland
• MAR 6
  2PM, 60 Fifth Avenue 150
  Verification and Synthesis Algorithms for Safe Autonomy
  Chuchu Fan, University of Illinois at Urbana-Champaign
• FEB 27
  2PM, 60 Fifth Avenue 150
  Rethinking the relationship between data and robotics
  Lerrel Pinto, Carnegie Mellon University
• FEB 22
  11AM, 60 Fifth Avenue 150
  Why do neural networks learn?
  Behnam Neyshabur, New York University
• FEB 11
  2PM, 60 Fifth Avenue 150
  Precise Program Reasoning using Probabilistic Methods
  Mukund Raghothaman, University of Pennsylvania
• JAN 30
  2PM, 60 Fifth Avenue 150
  Covariant and compositional neural network architectures for learning from graphs, images and physical systems
  Risi Kondor, University of Chicago