Site officiel du ministère français chargé de l'enseignement supérieur, de la recherche et de l'innovation. Il diffuse les actualités, les politiques publiques, les dispositifs d'accompagnement (aides financières, orientation) et les appels à projets pour les étudiants, chercheurs et établissements. Il centralise également les informations sur les formations, les concours et les initiatives ministérielles.

Ce projet définit des extensions de CTL et TCTL avec des opérateurs stratégiques, appelées Strategic CTL (SCTL) et Strategic TCTL (STCTL). Il fournit une sémantique synchrone et asynchrone pour chacune de ces logiques, interprétées sur des réseaux d'automates étendus qui effectuent des mouvements synchrones ou se synchronisent via des actions jointes. Le projet offre également un support pour la vérification de modèles à l'aide de l'outil IMITATOR.

Le site officiel du Département de Maine-et-Loire présente ses missions et services publics dédiés aux habitants. Il propose des informations sur les aides sociales, l'éducation, l'autonomie des personnes âgées ou en situation de handicap, la gestion des collèges, la culture, l'environnement et les appels à projets pour les professionnels. Le site facilite l'accès aux services administratifs et aux actualités locales.

Site officiel du Conseil départemental de Meurthe-et-Moselle, une collectivité territoriale qui gère les politiques publiques locales. Il propose des services d'aide sociale, d'éducation, de santé, d'environnement, de culture et de tourisme. Le site diffuse les actualités, les appels à projets, les marchés publics et les informations pratiques pour les habitants et les partenaires.

Site officiel de la Région Île-de-France qui centralise les informations et services publics pour les habitants, entreprises, associations et collectivités locales. Il propose des actualités, des aides financières, des appels à projets, des espaces dédiés par profil (lycéens, professionnels, etc.), des données budgétaires et des outils pour participer à la vie citoyenne et territoriale.

Le projet arc est un outil en ligne de commande permettant d'analyser des systèmes modélisés à l'aide du langage AltaRica. Il intègre des compilateurs pour d'autres langages et un model-checker basé sur une ancienne package appelée altatools.

Myreview est un outil conçu pour aider à l'organisation de appels à projets, la gestion des soumissions et la coordination du processus d'évaluation par les pairs.

Site officiel de la Région Occitanie qui présente ses missions, ses actions et ses services publics. Il informe les citoyens sur les aides régionales, les appels à projets, les événements culturels et sportifs, et facilite la participation citoyenne via des budgets participatifs et des concertations. Le site met en avant les initiatives locales et les infrastructures régionales.

Ce portail est la plateforme officielle de la Région Sud Provence-Alpes-Côte d'Azur. Il centralise les informations sur les compétences régionales, les aides financières, les actualités locales et les services publics. Il permet aux citoyens, entreprises et collectivités de découvrir les actions menées par la région, d'accéder à des subventions, de consulter des appels à projets et de rester informés des grands événements et initiatives locales.

La Chambre d'Agriculture de la Charente est une organisation dédiée au soutien et au développement de l'agriculture dans le département de la Charente. Elle propose des services d'aide, de formation, de gestion des baux agricoles, d'aides et d'appels à projets, ainsi que des applications en ligne pour faciliter la gestion des exploitations agricoles.