Martin Hofmann Memorial Meeting

old picture

Institute of Informatics
LMU Munich
Saturday, 13 July 2019

Everyone is invited for a one-day workshop in memory of Martin Hofmann in Munich on Saturday, 13 July 2019.

We will meet to remember and celebrate Martin's life and work. There will be invited talks from friends and colleagues as well as ample time for discussions and exchange of memories during the breaks. The talks will be about various topics in Computer Science and Mathematics that Martin would have enjoyed. The talks will combine scientific content with personal stories about Martin.


If you would like to attend the workshop then please register by the end of June.

Invited Speakers

The following invited speakers have agreed to give a talk.

  • Thorsten Altenkirch (University of Nottingham)
  • Nick Benton (Facebook)
  • Ugo Dal Lago (Università degli Studi di Bologna)
  • Sigrid Roden & Max Jakob (Ludwig-Maximilians-Universität München)
  • Dulma Churchill (Facebook)
  • Don Sannella (University of Edinburgh)
  • Helmut Seidl (Technische Universität München)
  • Thomas Streicher (Technische Universität Darmstadt)


9:15 Welcome
9:30 Don Sannella
Martin as a PhD student
10:00 Thorsten Altenkirch
Type Theory at Bath Street Housing Coop
10:30 Break
11:00 Thomas Streicher
My Collaboration with Martin over the Years
11:30 Ugo Dal Lago
Complexity Classes and Higher-Order Calculi — How Martin Contributed to Shaping ICC
12:00 Lunch
13:30 Helmut Seidl
Three Improvements to the Top-Down Solver
14:00 Sigrid Roden & Max Jakob
title to be announced
14:30 Break
15:00 Dulma Churchill
Martin Hofmann: An Extraordinary Advisor
15:30 Nick Benton
Remembering Martin: Effects and Equivalence Checking
16:00 Break
16:30 All Participants
Open Session
17:00 Adjourn