Many people, who would like to attend, have told us they are unfortunately unable to travel.
Therefore, we encourage everybody to share best wishes, favorite quotes, or other recollections about Michael in our online guestbook.
| Time | Speaker | Title | Location |
|---|---|---|---|
| 09:45 – 12:30 | Morning Colloquium | Invited Talks | Senate Hall, Kollegienhaus (near train station) |
| 9:45 | Florian Rabe | Welcome | |
| 10:00 | Vyacheslav Zholudev | Verifying Knowledge at sumbsub.com | |
| 10:30 | Immanuel Normann | Flexiformal Knowledge in the Estate of Heinrich Scholz | |
| 11:00 | break | coffee | room 0.024, same building |
| 11:30 | Josef Urban | Recollections & where it all went | |
| 12:00 | Stephen Watt | TBD | |
| 12:30 | break | informal joint lunch | room 0.024, same building |
| 14:00 – 18:00 | Afternoon Colloquium | Invited Talks | Senate Hall, Kollegienhaus (near train station) |
| 14:00 | Florian Rabe | Welcome | |
| 14:15 | Manfred Pinkal | Something about Michael (in German) | |
| 14:30 | Christoph Benzmüller | How to automate higher-order logic with Michael (fast) | |
| 15:00 | James Davenport | Michael Kohlhase, OpenMath and Flexiformalism | |
| 15:30 | break | coffee | room 0.064, same building |
| 16:00 | Nicolas Thiery | From computational mathematics to education, leveraging Semantic AI for fun and profit: a journey with Michael | |
| 16:30 | Axel Adrian | Michael Kohlhase - alles, was Recht ist! (in German) | |
| 17:00 | Michael Kohlhase | ||
| 19:00 – ? | Dinner | Amasina restaurant (near to the venue) |
There are many hotels in walking distance.
We have not reserved rooms in any particular hotel.
But for everybody who wants to stay in the same hotel, we recommend the Novotel Erlangen.
It is within walking distance of the train station (1 km), but can also easily reached by bus.
We recommend arrival at Erlangen train station.
The closest airport is Nuremberg (NUE).
If you arrive between roughly 5:00 AM and 11:00 PM, you can take bus 30 to Erlangen, which takes about 30 minutes.
Otherwise, a taxi / Uber / Bolt is the best option.
If you arrive by car, you can use the small parking lot right in front of the building.
Access is restricted - so please call Florian (+4915205321277, phone or WhatsApp) a few minutes before you arrive to be let in.
Here are some randomly selected suggestions: