| Main | EJCP2023 | Édition précédente (2022) | About | Contact |
Édition 2023 (3 au 7 juillet 2023)
L’école aura lieu en présentiel, à Valence (Drôme), à l’Esisar, une école d’ingénieur·e·s du groupe INP, et est organisée par les deux laboratoires LCIS et CNRS/Verimag
Parmi les nouveautés cette année:
- un keynote réalisé par un intervenant industriel local
- une table ronde organisée par le laboratoire LCIS.
Les inscriptions sont ouvertes (jusqu’au 15 juin 2023!). Les frais d’inscription comprennent le logement, les salles et les repas de midi, ainsi que l’apéritif du premier soir. Le montant est de 480 EUR TTC, et l’inscription se fait sur Azur Colloque. Attention !
- n’utilisez pas le lien “connexion” en haut à droite.
- si vous utilisez du financement CNRS, le paiement par carte achats n’est pas possible (bon de commande uniquement).
Autre info: Valence a une gare TGV mais si vous arrivez à Valence Ville il est plus simple de prendre un bus pour l’école. (C2 par exemple).
Programme
Lundi 3 juillet 2023 Heure de début TBD (en cours!)
-
Problématiques et enjeux du numérique responsable Jacques Combaz (Verimag) et Kevin Marquet (INSA de Lyon).
-
Programmation par contrat pour le logiciel critique . Keynote, Emmanuel Chenu, Thales group.
Mardi 4 juillet
- Sécurité logicielle et matérielle Marie-Laure Potet
- Résumé: Dans ce cours nous étudierons les différentes problématiques liées au développement de code sécurisé, brique de base indispensable pour donner des garanties sur les applications sensibles. Un focus sera mis sur du code bas niveau embarqué (C, assembleur) et les différentes techniques d’attaques en lien avec la gestion mémoire. Nous étudierons en particulier les différents modèles d’attaquants, les faiblesses liées aux environnements de développement (langage, compilateur) et les protections possibles. Nous étudierons aussi les différentes techniques d’analyse de code utilisées. Une ouverture sera faite sur les techniques d’attaques physiques, en lien avec les hauts niveaux de certification Critères Communs. Ce cours sera accompagné d’exemples et exercices et d’un TP illustrant les aspects attaques/défenses sur du code et permettra, entre autre, de mettre en place une attaque par buffer overflow.
- Bio: Marie-Laure Potet est professeur à Grenoble INP/Université Grenoble Alpes. Elle a développé depuis de nombreuses années une activité d’analyse de code pour la sécurité au laboratoire Vérimag, en particulier dans le cadre de l’analyse de binaire et des attaques par injection de fautes, en collaboration forte avec le CEA (plate-forme Binsec du LSL, co-encadrement de thèse avec le Cesti/LETI). L’outil principal utilisé est l’exécution symbolique. Elle a participé, ou participe, à de nombreux projets dans ce domaine, en particulier actuellement dans les projets Arsène et Secureval du PEPR Cybersécurité.
Mercredi 5 juillet
- Reproductibilité des résultats et génie logiciel empirique coordination Olivier Barais, univ Rennes; interventions : Mathieu Acher (Prof Insa, IUF) & Paul Temple (univ Rennes) .
Jeudi 6 juillet
- Introduction à la programmation par contraintes Marie Pelleau, univ Côte d’Azur
- Résumé: La programmation par contraintes s’attache à résoudre des problèmes fortement combinatoires, exprimés à l’aide de relations logiques (les contraintes), portant sur des variables dans des domaines fixés, souvent finis. Chaque type de contraintes est dotée d’un algorithme de propagation, qui élague autant que possible les domaines des variable sans perdre de solutions. Les solveurs appliquent ces propagateurs tant que c’est possible, puis effectuent des choix (affectation d’une valeur à une variable, réduction d’un domaine) et itèrent le processus. On sait aujourd’hui résoudre des familles de contraintes assez larges (cardinalité, graphes, mots, géométrie…). Dans ce cours, je présenterai les notions principales du domaine (contraintes, domaines, consistance, propagation, heuristiques) puis je montrerai les liens entre la programmation par contraintes, et l’interprétation abstraite.
- Bio: Marie Pelleau est maître de conférence en informatique à Université Côté d’Azur, dans l’équipe MDSC du laboratoire i3s. Son thème de recherche principal est la programmation par contraintes. Elle s’intéresse à la résolution de contraintes dans le continu et aux liens entre les contraintes et la vérification (interprétation abstraite, modèle checking).
Vendredi 7 juillet
- Du Test Logiciel à la Validation Intelligente des Systèmes Autonomes Arnaud Gotlieb, Simula Research Lab, Norway
- Résumé: Le test logiciel est un aspect crucial du dévelopment des logiciels qui est malheureusement trop souvent négligé en tant que sujet de recherche à part entière. Dans ce cours, nous montrerons que le test des logiciels peut aussi être lui aussi formel et qu’il représente une formidable opportunité de recherche pour l’intelligence artificielle digne de confiance. Par ailleurs, la validation des systèmes autonomes devient aujourd’hui un champ d’application considérable des méthodes et techniques de test logiciel.
-
Bio: Prof. Arnaud Gotlieb est un chercheur de Simula Research Laboratory en Norvège où, depuis 2011, il se consacre au dévelopement de méthodes intelligentes de validation des logiciels. Après avoir été directeur du centre de recherche collaborative Certus, dédié à la validation et vérification du logiciel, il se consacre maintenant à l’IA digne de confiance en dévelopant des méthodes pour tester la robustesse de modèles d’apprentissage automatique et des méthodes de raisonnement qualitatif pour l’explication de scénarios de véhicules autonomes. Il est en pariculier le coordinateur du projet Horizon Europe AI4CCAM qui vise à déveloper l’IA digne de confiance pour la voiture autonome. page à Simula, page à rennes
-
Table ronde enjeux de l’intelligence artificielle, organisée et animée par le LCIS.
-
(fin à 17H)
Comité d’organisation
- Laure Gonnord (Grenoble INP, ESISAR, LCIS, Valence)
- Oum-El-Kheir Aktouf (Grenoble INP, ESISAR, LCIS, Valence)
- David Monniaux (CNRS, Verimag, Grenoble)
Pour plus d’information concernant l’EJCP23, vous pouvez écrire à l’adresse générique: ejcp2023@univ-grenoble-alpes.fr (partie financière/inscriptions) ou à laure.gonnord@esisar.grenoble-inp.fr pour les renseignements d’ordre plus organisationnel ou scientifique.