Summer School

Verification Technology, Systems and Applications (VTSA 2021)

Leslie Lamport à l'ULiège !



leslie lamport Leslie Lamport à l'ULiège !

Parmi les intervenants de l’école d’été « Verification Technology, Systems & Applications – VTSA 2021 » (11-15 octobre 2021), la Faculté des Sciences Appliquées accueille Leslie Lamport, Prix Turing 2013 pour ses contributions fondamentales théoriques et appliquées dans les systèmes informatiques distribués et concurrents.

Leslie Lamport est aussi bien connu comme le concepteur du système LaTeX pour la composition de documents scientifiques.
 

voir le programme complet

Partagez cette news