Colloque en hommage à Egon Boerger

Je viens de participer avec mon collègue Julien Cervelle au colloque en hommage à Egon Boerger au département d’informatique de l’Université de Pise. Ce chercheur a contribué à l’utilisation des méthodes logiques en informatique et il a été un des créateurs du langage ASM. Au-delà des présentations scientifiques, il était intéressant de constater la diversité des contributions qui ont été impactées par les travaux d’Egon Boerger.