Filter (enter a value or select a category)
Past Events
- 29 April 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 2:00PM - Mathematical reflections on recent progress - Location: Lean Seminar Zoom ID: 96753161671, Password: 142980
- 22 April 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 10:00AM - Some Questions About AI and Mathematics - Location: Lean Seminar Hill 705
- 16 April 2026
-
Time: 11:00AM - Automated Formalization of OEIS using the Sequencelib Platform - Location: Lean Seminar Hill 005
-
Time: 10:00AM - Sequencelib: A Platform for Formalizing the OEIS - Location: Lean Seminar Hill 005
- 15 April 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
- 08 April 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 10:00AM - Searching for (formal) proofs - Location: Lean Seminar Hill 705
- 01 April 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 10:00AM - From solving formal systems to building theories (and back) - Location: Lean Seminar Hill 705
- 25 March 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 10:00AM - Towards Learning a Metric for Mathematical Interestingness - Location: Lean Seminar Hill 705
- 11 March 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
- 04 March 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
-
Time: 10:00AM - Designing Interactive Partners for Proof - Location: Lean Seminar Hill 705
- 25 February 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
- 18 February 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
- 11 February 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
- 04 February 2026
-
Time: 2:00PM - LEAN Working Group - Location: Lean Seminar HLL 260
Special Note to All Travelers
Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.
Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.