COMPUTER SCIENCE RESEARCH WEEK JANUARY 2021
Computer Science Research Week January 2021
Speaker
Speaker 1: Professor Ranjit JhalaSpeaker 2: Professor Andreas Zeller
Contact Person
Dr Reza SHOKRI, Associate Professor, School of Computing reza@comp.nus.edu.sg
08 Jan 2021 Friday, 09:00 AM to 05:30 PM
Zoom details will be provided upon registration. https://docs.google.com/forms/d/e/1FAIpQLScKgVMaaC-P4nd0fbDZIdUpwO2SZmJMSEMx3rZJONEVNYHtyQ/viewform?usp=sf_link
https://researchweek.comp.nus.edu.sg/
09:00 - Talk 1: Language-Integrated Verification
16:00 - Talk 2: Learning the Language of Failure