Message d'erreur

  • Warning: fopen(/var/www/html/sites/default/files/.ht.filecache/sites_default_cache_bootstrap/variables): failed to open stream: No space left on device in DrupalFileCache->set() (line 341 of /var/www/html/sites/all/modules/filecache/filecache.inc).
  • Warning : fopen(/var/www/html/sites/default/files/.ht.filecache/sites_default_cache/theme_registry@runtime@ufc_news): failed to open stream: No space left on device dans DrupalFileCache->set() (ligne 341 dans /var/www/html/sites/all/modules/filecache/filecache.inc).
  • Warning : fopen(/var/www/html/sites/default/files/.ht.filecache/sites_default_cache_form/botcha_form-zC2y68IzPnitIAJAzuqbX84rzJi5gEFYF-HuqqCWsHM): failed to open stream: No space left on device dans DrupalFileCache->set() (ligne 341 dans /var/www/html/sites/all/modules/filecache/filecache.inc).
Image illustration GDR
Alain Giorgetti
Auteur 
Francis Miller

Séminaire du GdR "Génie de la programmation et du Logiciel"

Le groupe de travail "Langages et Vérifications de Programmes" (GT LVP) du groupement de recherche "Génie de la programmation et du Logiciel" du CNRS organise son prochain séminaire au LIP 6 à Paris le 23 novembre prochain.

Egalement diffusé en direct sur internet, ce séminaire se déroulera sur la base d'une série d'exposés qui présentera les travaux récents des membres du groupe de travail.

L'événement est organisé localement par Emmanuel Chailloux et Antoine Miné (Sorbonne Université, LIP6) et à distance par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP.

Le programme est diffusé sur la page : https://groupes.renater.fr/wiki/lvp/public/2109journee

Contact