Framaforms

Créez rapidement et simplement des formulaires en ligne

Message d'avertissement

Les soumissions de ce formulaire sont closes.

Journée LVP 2021 en ligne

Formulaire d'inscription et de proposition d'exposé (fermé).

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

Les détails du déroulement de la journée seront diffusés ultérieurement.

Les thèmes du groupe de travail LVP (Langages et Vérification de Programmes) du GdR GPL sont :

  • La conception de langages de spécification formelle
  • La conception de langages de programmation plus sûrs et mieux sécurisés : systèmes de types, mécanismes de programmation défensive, etc;
  • Le développement de techniques de vérification et de validation à partir de spécifications ou de code : raffinement, preuve de correction, analyses statiques, vérification à l'exécution, génération automatique de tests, etc;
  • La vérification formelle de conjectures, d'algorithmes et de programmes;
  • La vérification des méthodes et outils de développement et de vérification eux-mêmes : interpréteurs, compilateurs, analyseurs statiques, générateurs de code, générateurs de tests, etc;
  • Les combinaisons de techniques d'analyse statique et dynamique;
  • La diffusion des méthodes formelles dans l'enseignement supérieur et dans l'industrie.

Contacter l'auteur⋅rice de ce formulaire

Pour contacter l'auteur⋅rice de ce formulaire, cliquez ici


Ne communiquez aucun mot de passe via Framaforms.