Thursday, September 17, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Tuesday, September 22, 2026
16:00-17:00
HFG 707
MI talk
Ryan Quinn
Thursday, September 24, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 1, 2026
13:00-14:00
HFG 7.07
Applied mathematics talk with Annette Möller (Bielefeld)
Title and abstract: TBA
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Tuesday, October 6, 2026
14:30-16:00
MI institute meeting
16:00-17:00
HFG 7.07
MI talk
Francesca Pratali
TBA
Thursday, October 8, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 15, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 22, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, October 29, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 5, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Tuesday, November 10, 2026
13:00-18:00
 Minnaert 011
Log Geometry Days (infinite root stacks)
Thursday, November 12, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 19, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, November 26, 2026
13:00-14:00
HFG 707
Applied Math Seminar --- Clemens Kupke (University of Strathclyde)
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 3, 2026
13:00-14:00
HFG 707
Applied Mathematics Seminar --- Elias Tsakas (Maastricht University)
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 10, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 17, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 24, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, December 31, 2026
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, January 7, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, January 14, 2027
13:00-14:00
HFG707
Applied Mathematics Seminar— Marcus Pivato (Université Paris 1)
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, January 21, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, January 28, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, February 4, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, February 11, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, February 18, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, February 25, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, March 4, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!
Thursday, March 11, 2027
17:30-21:30
HFG Library
Loki - Lean formalization meeting
Named after the Dutch god of formalization, in the Loki meetings we formalize diverse areas of math. Newcomers welcome!