Nous avons le plaisir de vous inviter à des journées de séminaire communes aux groupes de travail CLAP, HiFi et LVP du GDR GPL du CNRS : 

• CLAP : Compilation, langages, analyse et parallélisme
• HiFi : Méthodes formelles et programmation haute fidélité pour systèmes critiques émergents
• LVP :  Langages et vérification de programmes

Ces journées sont entièrement gratuites (pas de frais pour assister aux exposés, repas du midi et pauses-café offerts), mais il est obligatoire de s'être inscrit au préalable via ce site web pour y participer.

La première session commencera le 20/03 à 14h. La dernière session se terminera à 12h30 le 22/03.

Un buffet sera servi à 12h30 les 20, 21 et 22. Si vous ne désirez pas assister au buffet, merci de décocher les cases dans le formulaire d'inscription.

La journée se déroulera à l'auditorium du bâtiment IMAG, sur le domaine universitaire de Saint-Martin d'Hères, en périphérie de Grenoble.

Le bâtiment IMAG est aisément accessible en tramway (arrêt Gabriel Fauré) depuis les gares de Grenoble (gare principale, TGV depuis Paris, compter une demi-heure) et Grenoble-Universités-Gières (trains depuis Chambéry, Annecy, Genève, …).

La conférence est diffusée en direct en ligne sur le site de l'UGA.

Lors de ces journées, vous pouvez proposer des présentations (en français ou en anglais) de vos travaux, sous diverses formes, incluant un exposé oral, un tutoriel, ou une démonstration d’outil. Il peut s’agir de travaux publiés ou non, de résumés de thèse, d’HDR etc. 

La durée envisagée pour chaque exposé est de 20 minutes + 5 minutes de questions.

Pour soumettre une proposition d'exposé, utilisez le lien "Mes dépôts" disponible dans le menu de gauche de ce site. Le titre de votre présentation ainsi qu'un résumé de quelques lignes (au format texte) vous seront demandés. Dès votre soumission terminée, vous recevrez rapidement une réponse du comité commun de CLAP-HiFi-LVP, qui s'assurera que le thème de votre exposé fait bien partie des sujets en lien avec ces 3 GT.  

Pour l'inscription, requise que vous proposiez un exposé ou non, utilisez le lien "Mon inscription" disponible dans le menu de gauche de ce site.

Pour assurer le bon déroulement de l’événement, nous vous prions de vous inscrire et de soumettre une éventuelle proposition d’exposé en respectant les dates limites détaillées plus loin.

Nous vous invitons à ne pas attendre la date limite et à vous inscrire dès que possible, même si vous ne proposez pas d’exposé.

• Ouverture de l’inscription et du dépôt de résumé : 9/1/23
• Clôture du dépôt de résumés : 24/2/231/3/23
• Clôture des inscriptions : 10/3/23
• Notification aux orateurs : au fil de l’eau
• Journées : du 20 au 22/3/23

• David Monniaux, organisateur local
• Frédéric Dabrowski, co-organisateur distant
• Ludovic Henrio et Kevin Martin, responsables du GT CLAP
• Sylvain Conchon et Aurélie Hurault, responsables du GT HiFi
• Alain Giorgetti et Julien Signoles, responsables du GT LVP

Les rencontres de compilation 2023 sont soutenues financièrement par le CNRS (groupement de recherche génie de la programmation et du logiciel), l'Université Grenoble Alpes et le laboratoire Verimag.