FoMLAS

Workshop Co-Chairs​

• Aws Albarghouthi, University of Wisconsin–Madison

• Guy Katz, The Hebrew University of Jerusalem

• Nina Narodytska, VMware Research

​

Program Committee 

​

• Clark Barrett, Stanford University

• Chih-Hong Cheng, Denso Automotive Deutschland GmbH

• Arie Gurfinkel, University of Waterloo

• Xiaowei Huang, University of Liverpool

• Suman Jana, Columbia University

• Jean-Baptiste Jeannin, University of Michigan

• Susmit Jha, SRI

• Alessio Lomuscio, Imperial College London

• Luca Pulina, University of Sassari

• Gagandeep Singh, ETH

• Armando Tacchella, Università di Genova

• Aleksandar Zeljic, Stanford University

• Zhen Zhang, Utah State University