25ieme Séminaire Ouvert International sur la Programmation Reactive Synchrone

Le Séminaire Ouvert International  Synchron  est le rendez-vous annuel des experts et des jeunes chercheurs du domaine de la programmation reactive synchrone et de sa spécialisation de thématiques connexes (spécifications exécutables et sémantique opérationnelle, analyse et abstraction de programmes, modèles de processus concurrents et parallèles, méthodes formelles et approches de conception orientées-modèles,  temps-réel et prédictivité temporelle, architectures dédiées, synthèse de contrôleurs…). Les nouveaux domaines d’applications de l’approche réactive synchrone sont également un thème d’interêt majeur du Workshop, ainsi que les liens entre temps logique et temps physique, la modélisation hétérogène de systèmes complexes, et les liens étroits entre représentations de logiciel et de matériel dans un cadre réactif.

Le format original « ouvert » du Séminaire Synchron le rend unique dans le panorama actuel du domaine: sans présélection préalable d’articles, les auteurs présentent leurs travaux dans la mesure des espaces disponibles. Alors que laplupart des participants sont des habit(u)és de la discipline, les nouveaux intervenants sont plus que bienvenus. L’hébergement commun des participants en un lieu unique rend propices les discussions scientifiques informelles à partir de ces présentations, mêlant chercheurs expérimentés et novices. Les innovations alliant les thèmes privilégiés du séminaire à de nouveaux sujets émergents trouvent également généralement un large écho.