это по его часам коузалити не определяется?

логические часы так называемые

я понимаю

ну алекс вроде тьфу-тьфу почти допилил свою теорию историй, в ближайшие месяцы скорее всего начнем под неё рефакторить логику, а папир соответственно будет наверное к следующему году

но я конечно там если и буду то соавтором, в таком качестве у меня уже есть один папир - https://arxiv.org/abs/1912.06191

ну не, темпоралку в смысле “a temporal logic”

Легендарный победитель золотой Hoare ды  и модаливонского ордена князь Александр На-Невский?

опятьнесмешно

пойдёт

нет

si

чем выше горы тем ниже приоры

+

прикольно

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 Kodischek.
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

читаемость класс

Красотища какая

А я устала выбирать ролики(

ребята