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.


  • Local information about the location and public transport, as well as information about lunch and dinner has been added below.
  • The registration period has now ended. If you've missed the registration for some reason, you are still very welcome to attend the workshop.

Invited Speakers

  • 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
Do you think you really know Martin?
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

Local Information

The workshop takes place in the large auditorium at Oettingenstraße 67 (map). Trams and busses stop about 200m from there at a stop called Tivolistraße. From the stop, follow Tivolistraße towards the west (not crossing the Isar river). At the first intersection (between Tivolistraße and Oettingenstraße), you should be able to see the mint-coloured glass front of the auditorium slightly to the left.

Use the MVV Journey Planner to find the best public transport connection from your location to Oettingenstraße 67. It will also tell you the tickets needed for the trip.

Main routes:

  • From the airport
    • S-Bahn S8 towards the city centre, exit at station Isartor
    • Tram 16 towards Effnerplatz, exit at stop Tivolistraße
  • From Hauptbahnhof
    • Underground U4 towards Arabellapark or U5 towards Neuperlach Süd, exit at station Lehel
    • Tram 16 towards Effnerplatz, exit at stop Tivolistraße
  • From Ostbahnhof
    • Underground U5 towards Laimer Platz, exit at station Lehel
    • Tram 16 towards Effnerplatz, exit at stop Tivolistraße


Lunch will be provided free of charge for all participants of the workshop, as well as light snacks and beverages during the coffee breaks of the workshop.

If you want to go for a walk after lunch, you can go to Monopteros, look at the surfers at Eisbach (small wave, large wave) and/or get an ice cream at Bayerische Eismanufaktur.


For dinner, we suggest to go together to the famous Bavarian Beer Garden at Chinese Tower (Chinesischer Turm). It serves typical Bavarian food and beer and is only about 300m away from the workshop venue.