Colloquium Fall 2018

Past Events

• DEC 12
  10:30AM, Warren Weaver Hall 1302
  Some Applications of the Multiplicative Weights Update Method in (Semi) Infinite Discrete Optimization
  Khaled Elbassioni, Masdar Institute, Khalifa University of Science and Technology
• DEC 7
  11AM, 60 Fifth Avenue 150
  Syntax-Guided Program Synthesis
  Rajeev Alur, University of Pennsylvania
• DEC 7
  9:30AM, Warren Weaver Hall 109
  New York Area Theory Day
  IBM/NYU/Columbia
• NOV 1
  3:30PM, Warren Weaver Hall 317
  Innovative Teaching Seminar: Innovation in teaching mathematics: objectives, methods, and outcomes
  Annoesjka Cabo, Delft University of Technology
• OCT 19
  11AM, 60 Fifth Avenue 150
  Blockchains and Trusted Execution Environments: Towards a New Security Paradigm
  Fan Zhang, Cornell University