Sorry Registration for this event ended on October 16, 2024 6:00 pm
Sorry Registration for this event ended on July 18, 2025 4:45 pm
Sorry Registration for this event ended on January 23, 2026 4:45 pm
  Online registration is closed for this event. If available, tickets on the day of the event may incur an additional charge.

Formal Theorem Proving with Lean

featuring Alex Kontorovich

Wednesday, October 16
6:30 pm to 7:30 pm

(in person)

When
October 16th, 2024 from  6:30 pm to  7:30 pm
Location
635 Sixth Avenue
New York, NY 10011
United States
Contact
Phone: 212-542-0566
Event Fee(s)
Registration
Free registration (while supplies last) $0.00
Event fee $15.00
Free to members $0.00
Optional donation to help families in need
-
$7 donation
$15 donation
$30 donation