Warren Weaver Hall (CIWW)

Warren Weaver Hall (CIWW), 251 Mercer St, New York, NY 10012, USA

Upcoming at Warren Weaver Hall (CIWW)

Open Session
Meetup · Lean · 3 PM – 6 PM · NoHo
Leonardo de Moura (title TBA)
Talk · 3 PM – 6 PM · NoHo
Iris-Lean · Markus de Medeiros
Meetup · Lean · 3 PM – 6 PM · NoHo
Autoformalization: A Tutorial for Everyone · Marcus Min
Talk · Autoformalization · 3 PM – 6 PM · NoHo
All things to do in New York