Zulip Chat Archive

Stream: general

Topic: Bonn


view this post on Zulip 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.

view this post on Zulip Sebastian Ullrich (Jan 31 2020 at 20:28):

@Gabriel Ebner too

view this post on Zulip Sebastian Ullrich (Jan 31 2020 at 20:29):

We haven't found @Floris van Doorn yet

view this post on Zulip 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.

view this post on Zulip Gabriel Ebner (Jan 31 2020 at 20:37):

@Alexander Bentkamp is also here.

view this post on Zulip Alex J. Best (Jan 31 2020 at 22:45):

https://www.hcm.uni-bonn.de/people/current-visitors/ has a bunch of peoples names ;)

view this post on Zulip Alex J. Best (Jan 31 2020 at 22:46):

What is happening though?

view this post on Zulip Reid Barton (Jan 31 2020 at 22:48):

https://www.hcm.uni-bonn.de/events/eventpages/2020/mathematical-language-practical-type-theory-2020/

view this post on Zulip Reid Barton (Jan 31 2020 at 22:48):

https://www.hcm.uni-bonn.de/events/eventpages/2020/mathematical-language-practical-type-theory-2020/participants/


Last updated: May 08 2021 at 04:14 UTC