Rassemble, sur le thème de la modélisation et de la validation des systèmes réactifs (qu'ils soient appelés systèmes à événements discrets, systèmes temps réel ou systèmes réactifs), un ensemble de chercheurs, d'informaticiens et d'automaticiens en vue de favoriser les échanges scientifiques et les débats d'idées.