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.
Dear all,
I am happy to announce our ICRA 2021 workshop “Compositional Robotics: Mathematics and Tools”.
The workshop will feature an introduction to mathematical principles and practical tools for compositional robotics, as well as keynote talks from Prof. Aaron Ames and Prof. Daniel Koditschek.
You can find the detailed program of the workshop at the official webpage https://idsc.ethz.ch/research-frazzoli/workshops/compositional-robotics.html
Furthermore, we officially released a call for papers related to the workshop, available at https://easychair.org/cfp/ICRA2021CRMT.
Selected papers will be assigned an oral presentation during the workshop.
Thanks to the great team of co-organizers @Andrea Censi , @Jonathan Lorand , @David Spivak , @Brendan Fong , @Nina Otter , @Paolo Perrone , @John Baez , Dylan Shell, Jason O'Kane, Alexandra Nilles, Andrew Spielberg, Emilio Frazzoli
This is great news congratulations @Gioele Zardini and the rest of the team. For anyone that doesn't know ICRA is possibly the conference in robotics so this means a lot for ACT4E :)
That looks great :) I can't find the exact date anywhere on the page though, when is it? Also, how can one register to attend the workshop?
ICRA organizers still haven't shared the date (which will be either May 31 or June 4 and it is not our choice). We will put instructions to follow for joining. Note that the virtual participation to ICRA is free of charge this year (more info at http://www.icra2021.org)
Do note that June 4 is the NSF PI meeting for cyber-physical systems so it's probably a bad date for this
Thanks Goiele!
I'm starting a position working in robotics in a few months, so I'll keep tabs on this!
Gioele Zardini said:
ICRA organizers still haven't shared the date (which will be either May 31 or June 4 and it is not our choice). We will put instructions to follow for joining. Note that the virtual participation to ICRA is free of charge this year (more info at http://www.icra2021.org)
Un update on this: this is happening on May 31 (we are finalizing times to maximize coverage) @Georgios Bakirtzis @Matteo Capucci (he/him)
Thanks!
All, we extended the deadline for submissions to May 28: spread the voice!
Website and registration link now available! https://idsc.ethz.ch/research-frazzoli/workshops/compositional-robotics.html
I hope you all come to this workshop on category theory and robotics on Monday May 31st! Speakers include David Spivak, Andrea Censi, Gioele Zardini, Aaron Ames, Daniel Koditschek, and me. You need to register, but registration is free if you go here:
https://forms.gle/9v52EXgDFFGu3h9Q6
There will be breakout rooms for discussions, and I especially look forward to that part, because there's a lot that needs to be figured out.
Hey all, I just wanted to check: The hours for the workshop seem a bit strange to me (the workshop is hosted in Zurich, that is CET. Still, according to the calendar it will end almost at 3:00am CET). Is this correct, maybe intended to be more accessible to an American audience?
Ciao @Fabrizio Genovese yes, you are right. We sacrificed our time-zone to be able to cover more people. An inspired late night talk will be appreciated :)
You are very kind!
I'm so upset I just heard about this now. I saw because Statebox posted a link to it on Twitter earlier. This sounded like such an great learning opportunity.
Was it recorded at all? Any way to get access to the transcript or information discussed at this workshop?
There are a bunch of Google Docs listing questions and answers for the talks, and the talks could have been recorded since they were on Zoom. But only @Gioele Zardini knows.
@Kale Evans Yes it was recorded. In the next days we will post the edited videos. I'll make sure to copy the links here as well :)
@Gioele Zardini @John Baez oh that's so awesome and great to hear. Thank you. I'll keep an eye out for those links. :eyes: