dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

Euclid, Employment and Education

  • Start Date: November 10, 2023
  • Event Start Time: 1:00 PM
  • Event End Time: 2:00 PM
  • Seminar Series: Rutgers LEAN (Mathematics) Seminar
  • Presenter(s): Vladimír Sedláček - Rutgers University || André Hernández-Espiet - Rutgers University
  • Event Location: Podcast
  • Event Additional Info: <p>Podcast: <a href="https://www.mistoproblemu.cz/e/28-andre-hernandez-espiet-euclid-employment-and-education/">https://www.mistoproblemu.cz/e/28-andre-hernandez-espiet-euclid-employment-and-education/</a></p>
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    In this podcast, Vladimir Sedlacek discusses with André Hernández-Espiet, (Rutgers University), his work on formalizing Euclidean geometry, different communities around The Lean theorem prover and much more: https://www.mistoproblemu.cz/e/28-andre-hernandez-espiet-euclid-employment-and-education/.