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: community: events

Topic: Compositional Robotics: Mathematics and Tools Workshop


view this post on Zulip Gioele Zardini (Apr 12 2021 at 10:31):

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

view this post on Zulip Georgios Bakirtzis (Apr 12 2021 at 13:10):

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 :)

view this post on Zulip Matteo Capucci (he/him) (Apr 12 2021 at 13:45):

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?

view this post on Zulip Gioele Zardini (Apr 12 2021 at 13:47):

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)

view this post on Zulip Georgios Bakirtzis (Apr 12 2021 at 13:48):

Do note that June 4 is the NSF PI meeting for cyber-physical systems so it's probably a bad date for this

view this post on Zulip Matteo Capucci (he/him) (Apr 12 2021 at 20:17):

Thanks Goiele!

view this post on Zulip Ben MacAdam (Apr 15 2021 at 16:08):

I'm starting a position working in robotics in a few months, so I'll keep tabs on this!

view this post on Zulip Gioele Zardini (May 07 2021 at 08:49):

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)

view this post on Zulip Matteo Capucci (he/him) (May 07 2021 at 09:04):

Thanks!

view this post on Zulip Gioele Zardini (May 19 2021 at 12:33):

All, we extended the deadline for submissions to May 28: spread the voice!

view this post on Zulip Gioele Zardini (May 25 2021 at 14:11):

Website and registration link now available! https://idsc.ethz.ch/research-frazzoli/workshops/compositional-robotics.html

view this post on Zulip John Baez (May 27 2021 at 00:33):

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

view this post on Zulip John Baez (May 27 2021 at 00:34):

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.

view this post on Zulip Fabrizio Genovese (May 31 2021 at 08:40):

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?

view this post on Zulip Gioele Zardini (May 31 2021 at 11:44):

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 :)

view this post on Zulip John Baez (May 31 2021 at 23:21):

You are very kind!

view this post on Zulip Kale Evans (Jun 01 2021 at 03:51):

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?

view this post on Zulip John Baez (Jun 01 2021 at 04:57):

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.

view this post on Zulip Gioele Zardini (Jun 01 2021 at 08:54):

@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 :)

view this post on Zulip Kale Evans (Jun 01 2021 at 09:19):

@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: