previous up next top index
Précédent : Amérique Remonter : Actions nationales et internationales Suivant : Responsabilités éditoriales et professionnelles


Séjours de chercheurs

Adel Bouhoula a effectué un séjour de neuf mois au SRI International (Menlo Park, Californie). Il y a travaillé, en collaboration avec Jean-Pierre Jouannaud (LRI, université Paris Sud) et José Meseguer (SRI International) un cadre logique nommé la logique équationnelle avec prédicat d'appartenance  [45]. La sémantique opérationnelle de ce cadre logique ainsi que les techniques de complétion, de complétude suffisante, de preuves par récurrence et de paramétrisation ont été réalisées et seront implantées dans le prouveur SPIKE.