Activities

Kick-off event

To celebrate the start of GRACE, with 4 incoming PhD students, and to celebrate 10 years of Experimental Mathematics Lab we will have a small kick-off event on December 3, 2024, in MSA 4.520.

14:30–14:40 Welcome: what is GRACE? (Jean-Marc Schlenker)
14:40–14:50 How does it work? (Katja Badanjak)
14:50–15:15 10 years of Experimental Mathematics Lab
  • What is the EML? (Gabor Wiese)
  • Infinitesimal rigidity of weakly convex polyhedra (Jilly Kevo)
  • Visualizing Conway's game of life in 3 dimensions (Célia Bourg, Sergej Soules, Amelia González Saura)
15:15–15:45 Examples of computational and experimental research in fundamental mathematics
  • Decomposing derived categories by decomposing polynomials (Pieter Belmans, slides)
  • Minimal surfaces from circle patterns (Wayne Lam)
15:45–16:00 A quick introduction to proof assistants (Pieter Belmans, slides)
16:00–... reception

Git for mathematicians

Git is a version control system. It is widely used by programmers, but we will see that it can actually be really useful for mathematicians too, in particular for collaborations, but also for solo work. In case you ever had a problem with Overleaf, or Dropbox, it could be that Git is the solution.

This is an interactive workshop, led by Pieter Belmans. Bring your own laptop to play along.

The workshop takes place December 4, 2024, in MNO 1.040, from 10 to 12. Here are the slides.