BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Lukas Ger­lach (TU Dresden)
DTSTART:20250313T153000Z
DTEND:20250313T160000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/1/">For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Bound­ed De­g
 ree</a>\nby Lukas Ger­lach (TU Dresden) as part of Leaning In! 2025\n\nAb
 stract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Yves Jäck­le (TU Berlin)
DTSTART:20250313T150000Z
DTEND:20250313T153000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/2/">Com­bi­na­to­r­i­al and po­si­tion­al games in Lean</a>\nby
  Yves Jäck­le (TU Berlin) as part of Leaning In! 2025\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Roth­gang (University of Bonn)
DTSTART:20250313T143000Z
DTEND:20250313T150000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/3/">For­mal­is­ing bor­dism the­o­ry</a>\nby Michael Roth­gang (U
 niversity of Bonn) as part of Leaning In! 2025\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Nima Rasekh (University of Greifswald)
DTSTART:20250313T110000Z
DTEND:20250313T113000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/4/">For­mal­iz­ing high­er cat­e­gories</a>\nby Nima Rasekh (Unive
 rsity of Greifswald) as part of Leaning In! 2025\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Xavier Généreux (Université de Montreal)
DTSTART:20250313T103000Z
DTEND:20250313T110000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/5/">For­mal­iza­tion of Drin­feld Mod­ules</a>\nby Xavier Généreu
 x (Université de Montreal) as part of Leaning In! 2025\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hen­ning Thiel­emann
DTSTART:20250313T100000Z
DTEND:20250313T103000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/6/">Prov­ing cor­rect­ness of Fast Dis­crete Fouri­er trans­forms<
 /a>\nby Hen­ning Thiel­emann as part of Leaning In! 2025\n\nAbstract: TB
 A\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Léo Ste­fanesco (University of Cambridge)
DTSTART:20250313T090000Z
DTEND:20250313T093000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/7/">Bring­ing ISA se­man­tics to Lean and Lean-MLIR</a>\nby Léo Ste
 ­fanesco (University of Cambridge) as part of Leaning In! 2025\n\nAbstrac
 t: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Joachim Bre­it­ner (Lean FRO)
DTSTART:20250313T083000Z
DTEND:20250313T090000Z
DTSTAMP:20260405T223710Z
UID:LeaningIn2025/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeaningIn202
 5/8/">Re­cur­sive de­f­i­n­i­tions</a>\nby Joachim Bre­it­ner (Le
 an FRO) as part of Leaning In! 2025\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LeaningIn2025/8/
END:VEVENT
END:VCALENDAR