LIX hosts a workshop on distributed hybrid systems on wednesday, July 4th. The workshop will be in salle Gilles Kahn; we have 30 registered participants, so there should be plenty of room for extra spectators.
9:10 L. Fajstrup: Symmetries in the PV-model and of directed invariants
10:20 L. Jaulin: Distributed localization and control of underwater robots
13:30 E. Ledinot: Towards CPS certification reformation: call for effective foundations
14:20 A. Platzer: Logic of distributed hybrid systems
16:50 T. Dang: Invariance and stability verification of hybrid systems
See also http://dhs.gforge.inria.fr/#program