Title:
Asynchronous Programming, Analysis and Testing with P#
Speaker:
Akash Lal
Researcher, Microsoft Research, Bangalore
Date/Time:
25 February 2016, Thursday, 11:00 AM to 12:00 PM
Venue:
SR2, COM1-02-04
Chaired by:
Dr Saxena, Prateek, Dean's Chair Assistant Professor, School of Computing
(
prateeks@comp.nus.edu.sg)
Refreshment provided
Limited Seats: 40 pax
First Come First Serve
Any enquiry: contact Yaoqi:
jiayaoqi@comp.nus.edu.sg