Reliable computations in the Isabelle proof assistant Wenda Li, the University of Cambridge 2018-12-19 Room 1319, Software Building
Queue-Proportional Sampling: A Better Approach to Crossbar Scheduling for Input-Queued Switches Jun (Jim) Xu,Georgia Institute of Technology 2018-12-18 Room 1-418A, SEIEE Building
超低损耗氮化硅光波导制备及应用 Xingchen Ji, Columbia University in the City of New York 2018-12-18 Room 1-418, SEIEE Building
Opportunities and Challenges of Formal Methods In Smart Contracts 郭宇,SECBIT(安比)实验室创始人 2018-12-17 Room 3-517A, SEIEE Building
Zero-Knowledge Argument for Simultaneous Discrete Logarithms 翁健,暨南大学 2018-11-29 Room 3-412, SEIEE Building
Online Learning to Rank Shuai Li, The Chinese University of Hong Kong 2018-11-29 Room 1319, Software Building
Mining Heterogeneous Data with Cube Networks Carl Yang, University of Illinois, Urbana Champaign 2018-11-27 Room 3-517A, SEIEE Building, Shanghai Jiao Tong University