Cover Image for Leonardo de Moura (title TBA)
Cover Image for Leonardo de Moura (title TBA)
Avatar for NYC Lean
Presented by
NYC Lean
Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.
Hosted By
Justin Asher
26 Going
Tech

Leonardo de Moura (title TBA)

NYC Lean
Warren Weaver Hall (CIWW)
New York, NY
Registration
Welcome! To join the event, please register below.
About Event

​Talk by Leonardo de Moura (leodemoura.github.io). Title and abstract will be announced closer to the event.

​Note: this meetup is on Saturday, not our usual Sunday. Room in Warren Weaver Hall to be announced.

​Schedule: 3:00–3:30 PM introductions · 3:30–4:30 PM talk · 4:30–6:00 PM social

​First time at NYC Lean? Please register with your real first and last name: NYU checks every visitor against a guest list. If you have registered for an NYC Lean meetup before, you should already be on the list.

​More at lean.nyc/calendar

Location
Warren Weaver Hall (CIWW)
251 Mercer St, New York, NY 10012, USA
Room to be announced. NYU security checks a guest list at the front desk, so register before the deadline. If you get stuck downstairs, post in the NYC Lean Zulip thread and someone will come down.
Avatar for NYC Lean
Presented by
NYC Lean
Meetups for the Lean theorem prover and formal methods in New York City, at NYU Courant. Registration is required for NYU building access.
Hosted By
Justin Asher
26 Going
Tech