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.
Spencer Breiner (Oct 21 2021 at 16:19):Hi all. I've been digging around a bit in the literature and discovered this 1974 conference on "Computation and Control". Maybe the first ACT meeting?
https://www.springer.com/us/book/9783540071426
I haven't had a chance to look it over yet---Springer doesn't even provide the abstracts---but I've requested some of the articles through my library.
Obviously the computation part kept growing, but as far as I can tell the control aspects lapsed until ~2005, when Haghverdi, Tabuada & Pappas applied bisimulation to controlled dynamical systems. I found this referenced in Ames' 2006 thesis on hybrid systems. Is anyone aware of work in this area during the intervening 30 years?
Matteo Capucci (he/him) (Oct 22 2021 at 09:25):Just to warn people who might be reading: this book has been stolen by the ignoble people who run libgen.li. Please don't download it from there! Wait for Springer.
Jules Hedges (Oct 22 2021 at 10:15):YOU WOULDN'T DOWNLOAD A PROCEEDINGS
Fabrizio Genovese (Oct 22 2021 at 12:52):Jules Hedges said:
YOU WOULDN'T DOWNLOAD A PROCEEDINGS
That ad was hilarious. "YOU WOULDN'T DOWNLOAD A CAR" You bet I would if only I could!
Nathanael Arkor (Oct 22 2021 at 13:34):Fabrizio Genovese said:
Jules Hedges said:
YOU WOULDN'T DOWNLOAD A PROCEEDINGS
That ad was hilarious. "YOU WOULDN'T DOWNLOAD A CAR" You bet I would if only I could!
(To be clear, the original ad said "you wouldn't steal a car"; the "download a car" part was a meme.)
Georgios Bakirtzis (Oct 23 2021 at 23:58):Yes I’ve spoken to several of the parties 😬