EPFL Packathon

Lausanne, 23–27 November 2026

Schedule

Monday 23 November

  1. –10:00

    Registration

  2. –11:00

    Introductory lecture

    Sidharth Hariharan, Chris Birkbeck and Seewoo Lee

    Abstract

    TBA

  3. –11:30

    ☕ 🥐

  4. –12:30

    Introduction of the working groups

  5. –14:00

    Lunch

  6. –14:30

    Working group allocation

  7. –15:30

    Work session

  8. –16:00

    ☕ 🥐

  9. –17:00

    Work session

Tuesday 24 November

  1. –10:30

    TBA

    Maryna ViazovskaEPFL

    Abstract

    TBA

  2. –11:00

    ☕ 🥐

  3. –12:30

    Work session

  4. –14:00

    Lunch

  5. –15:00

    Work session

  6. –15:30

    ☕ 🥐

  7. –16:30

    TBA

    Jireh Loreaux

    Abstract

    TBA

  8. –17:00

    Progress reports

Wednesday 25 November

  1. –10:30

    Formal Conjectures

    Moritz FirschingGoogle DeepMind

    Abstract

    We present Formal Conjectures, a collection of mathematical problems formalised in Lean. The repository welcomes contributions: formalise your favorite problem and upload it, encouraging others trying their favorite tools to solve it! We summarise the development and current state while encouraging discussion around its purpose and potential additions in the realm of sphere packings.

  2. –11:00

    ☕ 🥐

  3. –12:30

    Work session

  4. –14:00

    Lunch

  5. –15:00

    Work session

  6. –15:30

    ☕ 🥐

  7. –16:30

    Work session

  8. –17:00

    Progress reports

Thursday 26 November

  1. –10:30

    TBA

    TBA

    Abstract

    TBA

  2. –11:00

    ☕ 🥐

  3. –12:30

    Work session

  4. –14:00

    Lunch

  5. –15:00

    Work session

  6. –15:30

    ☕ 🥐

  7. –16:30

    Work session

  8. –17:00

    Progress reports

Friday 27 November

  1. –10:30

    TBA

    TBA

    Abstract

    TBA

  2. –11:00

    ☕ 🥐

  3. –12:30

    Work session

  4. –14:00

    Lunch

  5. –15:00

    Final progress reports