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: July 7: Georgios Bakirtzis et al.'s talk

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

Hello all! This is the thread of discussion for the talk of Georgios Bakirtzis, Christina Vasilakopoulou and Cody Fleming, "Compositional Cyber-Physical Systems Modeling".
Date and time: Tuesday July 7, 16:40 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=Is5mWZcCVf0&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

Paolo Perrone (Jul 07 2020 at 16:30):

The talk will start in 10 minutes!

James Fairbanks (Jul 07 2020 at 17:09):

Great Talk @Giorgos Bakirtzis! I am really excited about the opportunity to get controls theory and MBSE into the Catlab ecosystem. Evan is currently working on undirected wiring diagrams which would help formalize SysML style architecture diagrams. A lot of the directed WDs for process diagrams already exists.

Georgios Bakirtzis (Jul 07 2020 at 17:20):

Yeah we need to loop back, Christina and I are still working on the theory of it all but I would like to start learning more about Catlab to see if I could code up a prototype

Georgios Bakirtzis (Jul 07 2020 at 17:22):

I forgot to thank @Jules Hedges and @Daniel Cicala for taking a risk with an engineer by accepting me to ACT 2019 school. Without that time none of this would have been possible for me :)

Toby Smithe (Jul 07 2020 at 17:29):

Yes, it's the same for me: without the ACT school last year, I too wouldn't have been able to do this kind of work (which is really the work of everyone I met there & discussed with!). (I knew I should have thanked them before I started..!)