Category Theory
Zulip Server
Archive

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.

Stream: event: ACT20

Topic: general information

Paolo Perrone (Jun 10 2020 at 21:06):

Hello all! Here is some general information about the conference.

Paolo Perrone (Jun 10 2020 at 21:06):

Main website: act2020.mit.edu

Paolo Perrone (Jun 10 2020 at 21:09):

Here is where all the live streams can be found: https://www.youtube.com/playlist?list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Here is where all the recordings will go: https://www.youtube.com/playlist?list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
Here is where all the tutorials can be found: https://www.youtube.com/playlist?list=PLCOXjXDLt3pYPE63bVbsVfA41_wa3sZOh

Paolo Perrone (Jun 16 2020 at 14:34):

The boring part

• Technology: Most of the events will take place on Zoom, YouTube, here on Zulip, or on Jitsi. For troubleshooting or support, see the tech support thread.
• Privacy: If you take part in the Zoom call, your profile, your picture, and your voice may appear in a video recording. If you don't want this, please connect via the YouTube live stream instead - you can do that in full anonymity.
• Rules: We will monitor all the channels as best as we can. Please excuse us if you see anything inappropriate, and please report it so that we can deal with it as fast as we can. Also please, don't be that person yourself!
• Disclaimer: While we do our best to monitor the channels for blatantly inappropriate behavior, we can't and don't want to control or censor what the speakers, or the audience, is saying or asking. The views of the committee, and of each individual member of the committee, do not necessarily reflect the views of the speakers or of the audience.

Paolo Perrone (Jul 02 2020 at 02:50):

Hello all!
Here is where all the Zoom meetings will happen: https://mit.zoom.us/j/7055345747.

Christian Williams (Jul 02 2020 at 02:56):

Thanks for setting everything up on here, Paolo.

Aleks Kissinger (Jul 06 2020 at 09:40):

hi organisers. Is there a preferred place/topic for social/coffee/pub chats at ACT? it would be great to get an idea of who's "attending" and chat w folks. excited about this week!

Paolo Perrone (Jul 06 2020 at 10:28):

Here are Jitsi rooms for social and less-social purposes:

- Coffee – casual chatting
- Pub – casual chatting
- Dynamical – things occurring in time, Petri nets, robotics, etc.
- Quantum – all things quantum
- Linguistics – language, NLP
- Types – type theory, programming language theory
- Probability - random topics are welcome and encouraged
- Philosophy – what is behind it all?
- Tools – what software do we need? how do we design it?
- PureCT – pure category theory discussions
- AppliedApplied – like actually applied
- Flourish – strategies for the flourishing of ACT
- Ethics – what makes a good world and how do we fit into that?

Bob Coecke (Jul 06 2020 at 10:28):

Aleks Kissinger said:

hi organisers. Is there a preferred place/topic for social/coffee/pub chats at ACT? it would be great to get an idea of who's "attending" and chat w folks. excited about this week!

There's pub/coffee links on con webpage.

Paolo Perrone (Jul 06 2020 at 10:30):

The conference will start in 30 minutes!

Paolo Perrone (Jul 06 2020 at 11:03):

(just started)

Cole Comfort (Jul 06 2020 at 22:08):

Bob Coecke said:

Aleks Kissinger said:

hi organisers. Is there a preferred place/topic for social/coffee/pub chats at ACT? it would be great to get an idea of who's "attending" and chat w folks. excited about this week!

There's pub/coffee links on con webpage.

I see that you are the only one in either the pub or the quantum chatrooms... a superposition of being drunk and quantum...

Paolo Perrone (Jul 07 2020 at 11:23):

Here's a new room!
Probability - random topics are welcome and encouraged.

Paolo Perrone (Jul 07 2020 at 12:50):

Just for your information, Monday's live streams are not available anymore. Watch the video recordings instead!

Tomáš Jakl (Jul 10 2020 at 18:06):

Thank you all for a great conference!

Paolo Perrone (Jul 10 2020 at 22:18):

All the videos are now here!
https://www.youtube.com/playlist?list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI

Tomáš Gonda (Jul 10 2020 at 22:57):

Paolo Perrone said:

All the videos are now here!
https://www.youtube.com/playlist?list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI

Awesome, thanks for all the hard work!