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