News
Guest Talk and Research Seminar Talk by Rida Hamadani
Written on 23.01.2026 21:42 by Leon Pernak
Dear participants,
I'm happy to inform you that next week's seminar session will feature a guest talk by Rida Hamadani, about their extensive experience in using Lean both in the mathematical community as well as professionally in the industry.
In addition to the talk in the seminar, Rida will give another talk on formalizing specific algebraic topics in Lean, in the Research Seminar of the algebra group, where everybody who is interested is very welcome. This talk will be on Tuesday (27th) at 14.00 (sharp) in HS IV in building E2.4.
Title and abstract of that talk will be published over the next couple days here.
Have a nice weekend,
Leon
PS: While I promised to share a link to the university poster latex templates, it seems like these are no longer publicly available. However, a quick websearch is going to provide you with plenty of other examples, and I suppose GenAI is reasonably good at LaTex these days ;)