Journée annuelle du groupe LTP de 11 octobre 2017 à Paris Jussieu

                 Journée LaMHA/LTP - Automne 2017

                  Date : mercredi 11 octobre 2017

         Lieu : Université Pierre et Marie Curie - LIP6.

              Inscription avant le 25 septembre 2017

* Le GT LaMHA du GdR GPL :

Les principaux thèmes abordés dans le groupe de travail LaMHA (Langages et Modèles de Haut niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications) du GdR GPL sont :

- Sémantiques et implantations de langages pour la programmation

   parallèle, distribuée et de grilles de calcul ;

- Patrons algorithmiques et méthodes constructives ;

- Certification formelle des programmes et compilateurs ;

- Modèles de coûts haut-niveau des programmes parallèles ;

- Applications utilisant des approches haut-niveau.

* Le GT LTP du GdR GPL :

Les thèmes du groupe de travail LTP (Langages, Types et Preuves) du GdR GPL sont :

- Conception de langages plus sûrs et plus expressifs;

- Développement des techniques de vérification et de validation à partir de spécifications ou de code : preuve de correction, analyse statique, génération de tests et raffinements prouvés

- Vérification des outils de développement;

- Vérification d'algorithmes.

* Organisation

L'inscription à la journée est gratuite mais nécessaire pour assurer le bon déroulement de l'événement.

Les détails du déroulement de la journée sont diffusés sur le site http://tesson.julien.free.fr/LaMHA/2017/automne.php

* Inscription

Envoyez votre inscription par e-mail (bulletin ci-dessous) à julien.tesson@lacl.fr et mathias.bourgoin@univ-orleans.fr avant le 25 septembre.

Vous pouvez proposer des présentations de vos travaux sous la forme d'un exposé oral, d'un tutoriel, d'une démonstration d'outil, etc.

===================================

Nom :

Prénom :

Laboratoire/équipe :

[] je souhaite présenter des travaux.

Titre et format de la présentation :

Résumé (optionnel, à transmettre avant le 10/10) :

[] je participerai au repas du midi.

Pour le déjeuner, mes contraintes sont (végétarien, sans sel, ...) :

Date: 
Mercredi, 11 Octobre, 2017