News
Poster Session
Written on 30.01.2026 12:20 by Leon Pernak
Dear participants,
Next week, on Thursday, Feb. 5th will be the poster session. It will start at 14:00 (s.t.!) and happen right outside the usual lecture hall HS I. Bring your printed posters and hang them in one of the free spots. Alex and me will walk around and have a quick (5-10min) conversation with each group.
As already explained, the content of the poster should be your project, with a lot of freedom. You may find inspiration in the following questions: What is the theory you are formalizing (mathematically)? Are there applications/reasons why it's important to formalize them? Which concepts in Lean/mathlib are you going to use? Are you planning on specific models for some definitions?
Poster size should be either DIN A2 or A3. Posters can be hand-written/-drawn or printed (or anything else, really, if it supports the presentation). Please have the names of all group members on the poster.
During the session, you are highly encouraged to look at the other posters and discuss amongst each other - that's what the session is intended for.
See you there,
Leon