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