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.
Paolo Perrone (May 17 2024 at 08:43):Hi all.
The conference KI2024 (Künstliche Intelligenz = Artificial intelligence) is hosting a workshop on Human-Machine Interaction (HuMaIn), with a focus on safety and ethics, at the end of September in Würzburg, Germany.
The proceedings are peer-reviewed and published, as usual in CS.
More information here.
Chad Nester (May 17 2024 at 08:45):Can you say a bit about how this relates to category theory?
Chad Nester (May 17 2024 at 08:46):The "aims and scope" of the conference are as follows:
HuMaIn seeks contributions on Human-Machine interaction in the broadest sense. We are especially open to interdisciplinary contributions. This includes ethical design principles for human-AI interaction, psychological foundations of human-AI interaction, artistic applications of (generative) AI, human-friendly robot and software interfaces, applications of AI in social robotics and healthcare, social science studies of AI applications, or the effects of AI on political discourse.
I'm kind of struggling to imagine what sort of thing I would even submit.
Paolo Perrone (May 17 2024 at 08:49):It is not directly a category theory event, but since lately there's been a lot of interest in applying category theory to try to build safer AI, I think this would be a possible venue to submit such work.
(I believe the organizers are somewhat category-friendly.)
John Baez (May 17 2024 at 10:06):I guess @davidad (David Dalrymple), some people at the Topos Institute, and maybe @Bruno Gavranović are interested in using category theory to help design safer AI systems - e.g. systems that incorporate reasoning better than a lot of current large language models.
Jules Hedges (May 17 2024 at 13:49):Ah, Sharwin is an organiser
Jules Hedges (May 17 2024 at 13:50):Paolo Perrone said:
(I believe the organizers are somewhat category-friendly.)
Besides that, this is not obvious from the text or from the scientific committee
Jules Hedges (May 17 2024 at 13:51):I wonder whether or not it's a coincidence that Würzburg is pretty close to Heilbronn, where Dieter Schwarz is doing whatever he's doing
Jules Hedges (May 17 2024 at 13:51):(this is the richest guy in Germany (I think) who's setting up a research campus for AI safety, among other things)