About Editions Supports

14th edition: Charmey January 13 -17, 2025

Tentative Schedule

Monday
January 13
Tuesday
January 14
Wednesday
January 15
Thursday
January 16
Friday
January 17
breakfast
8:45-9:45
mini-course
8:45-9:45
mini-course
8:45-9:45
mini-course
8:45-9:45
mini-course
10:15-11:15
mini-course
10:15-11:15
mini-course
10:15-11:15
mini-course
10:00-11:00
mini-course
12:30
welcome
11:45-12:45
mini-course
11:45-12:45
mini-course
11:45-12:45
mini-course
11:15-12:15
mini-course
lunch bus at 12:40
14:30-15:30
mini-course
time for discussion /
enjoying the mountain side
16:00-17:00
mini-course
17:20-18:10
talk
17:20-18:20
talk
17:20-18:10
talk
17:30-18:30
mini-course
18:30-19:20
talk
18:30-19:20
talk
18:30-19:20
talk
19h
dinner
19:30
dinner

Mini-courses

  • Formalising arithmetic and geometry in Lean: an introduction
    David Loeffler (UniDistance Suisse)
    Abstract
  • Derived categories of coherent sheaves
    Evgeny Shinder (University of Sheffield)
    Abstract
  • Different cones of divisors: from Mori Dream Spaces to K-trivial varieties
    Zhixin Xie (Université de Lorraine)
    Abstract

Talks

Participants

Organizers

Andrea Fanelli (Bordeaux)

Philipp Habegger (Basel)

Julia Schneider (Sheffield)

Logistic support: Adrien Dubouloz (Poitiers)

Support

ANR Fracasso

Swiss Mathematical Society

Swiss Academy of Sciences

University of Basel