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.
News
- 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)
Programme
| 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
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.
Dinner
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.