Alliant la cinquième Conférence internationale sur algébrique et Programmation Logique (ALP), le huitième symposium international sur les implémentations des langages de programmation, la logique, et des programmes (PLILP) et la Troisième Internationale d'analyse statique du Symposium (SAS). Aachen, Allemagne, 24 - 27 Septembre 1996.