'L'Abstract Interpretation World Tour se poursuit. Étape actuelle : Lausanne, pour le deuxième exposé d'une série fort intéressante. Dans quelques minutes, l'éminent J. Moore commence !

(Fascinant récits de J Moore sur 40 ans de preuve automatique...)