You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tobias Fritz (Jun 07 2020 at 14:02):Hi all! We'll be having an informal conference coffee break chat in 15 mins (14:15h UTC). Everyone is welcome to join at the same Zoom link!
Tobias Fritz (Jun 07 2020 at 15:15):For everyone who wants to "go to the pub" after the talks, we'll have more breakout rooms after David's talk, at 17:15h UTC. :beers:
Paolo Perrone (Jun 07 2020 at 17:15):For whoever wants, the room is open!
Tobias Fritz (Jun 08 2020 at 13:06):Let's have another coffee break hangout 15 mins after Bart's talk, for anyone who'd like to chat!
Paolo Perrone (Jun 08 2020 at 14:05):It will start in 10 minutes.
Paolo Perrone (Jun 08 2020 at 14:15):Open!
Tobias Fritz (Jun 08 2020 at 17:09):How many people would be interested in another 'go to the pub' hangout? If you are, reply with thumbs up!
Paolo Perrone (Jun 08 2020 at 17:14):4 is enough. See you at :20
Tomáš Gonda (Jun 08 2020 at 17:14):Paolo Perrone said:
4 is enough. See you at :20
I think I will join later tho, I need to cook lunch first ;)
Robert Furber (Jun 08 2020 at 17:31):Tobias Fritz said:
How many people would be interested in another 'go to the pub' hangout? If you are, reply with thumbs up!
Where does this happen? The same Zoom link?
Tobias Fritz (Jun 08 2020 at 17:32):Yes, the same zoom link