Tuesday April 3, 2018
Interactive Video Broadcast from Gates Hall, Cornell University, Ithaca, New York
Professor Andrew Myers, will lead this IC3 Working Group session on Correct by Construction (CxC) Smart Contract Programming Languages.
Time: Tuesday, April 3, 2018, 2:00-3:00pm EST. IC3 members apply here.