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

• Xiaowei Huang, University of Liverpool

• Suman Jana, Columbia University

• Susmit Jha, SRI

• Ekaterina Komendantskaya, Heriot-Watt University

• Alessio Lomuscio, Imperial College London

• Corina Pasareanu, CMU

• Luca Pulina, University of Sassari

• Gagandeep Singh, VMware Research and UIUC

• Armando Tacchella, Università di Genova

• Aleksandar Zeljic, Stanford University

• Min Zhang, East China Normal University

• Yuhao Zhang, University of Wisconsin-Madison

• Zhen Zhang, Utah State University