[LMU-OSC News] Workshop: theory formalization 23.02. PM