NYU is
reconvening for classes in-person and remotely. Resources, information, and official updates from NYU regarding
the current status of COVID-19 and its impact on the University community are available here, which includes detailed links for
students, faculty and staff.
Randomized Algorithms Meets Formal Verification
Time and Location:
Feb. 17, 2017
at 11:30AM;
60 Fifth Avenue, Room TBA,
