Formal Reasoning and Amazon Web Services

Time and Location:

April 10, 2019 at 2PM; 60 Fifth Avenue, Room 150

Speaker:

Byron Cook, University College London/Amazon Web Services