We meet to remember the great logician Erik Palmgren who sadly passed away in November 2019 .
To honor Erik Palmgren’s work, Anton Setzer will give a talk with the title:
Palmgren’s interpretation of inductive definitions in type theory and development of higher type universes in type theory.
The meeting also marks the 2nd World Logic Day.
Venue: Theory Lab (CoFo 209)
Time: 14th of January 2020, 2-3 pm