Mon 8 Jan 2018 11:30 - 12:00 at Watercourt - Abstract Interpretation Chair(s): Patrick Cousot

Mon 8 Jan

VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Abstract Interpretation at Watercourt
Chair(s): Patrick Cousot
VMCAI-201810:30 - 11:00
Talk
Francesco RanzatoUniversity of Padova
VMCAI-201811:00 - 11:30
Talk
Laura TitoloNational Institute of Aerospace, USA, Marco A. FeliuNational Institute of Aerospace, Mariano MoscatoNational Institute of Aerospace, Cesar MunozNASA
VMCAI-201811:30 - 12:00
Talk
Julian KranzTechnical University of Munich, Axel SimonGoogle