Zulip Chat Archive
Stream: general
Topic: Bonn
Kevin Buzzard (Jan 31 2020 at 20:26):
Who is in Bonn this weekend? I see @Manuel Eberl and @Sebastian Ullrich are. And @Mario Carneiro is speaking. I'm arriving after midnight.
Sebastian Ullrich (Jan 31 2020 at 20:28):
@Gabriel Ebner too
Sebastian Ullrich (Jan 31 2020 at 20:29):
We haven't found @Floris van Doorn yet
Floris van Doorn (Jan 31 2020 at 20:34):
I had an overnight flight and wasn't able to sleep on it, so I decided to not come today in order to sleep a bit.
Gabriel Ebner (Jan 31 2020 at 20:37):
@Alexander Bentkamp is also here.
Alex J. Best (Jan 31 2020 at 22:45):
https://www.hcm.uni-bonn.de/people/current-visitors/ has a bunch of peoples names ;)
Alex J. Best (Jan 31 2020 at 22:46):
What is happening though?
Reid Barton (Jan 31 2020 at 22:48):
https://www.hcm.uni-bonn.de/events/eventpages/2020/mathematical-language-practical-type-theory-2020/
Reid Barton (Jan 31 2020 at 22:48):
Last updated: Dec 20 2023 at 11:08 UTC