FoMLAS

Workshop Co-Chairs​

• Omri Isac, The Hebrew University of Jerusalem 

• Guy Katz, The Hebrew University of Jerusalem

• Nina Narodytska, VMware Research

​

Program Committee 

​

• Clark Barrett, Stanford University

• Chih-Hong Cheng, Denso Automotive Deutschland GmbH

• Suman Jana, Columbia University

• Susmit Jha, SRI 

• Ekaterina Komendantskaya, Heriot-Watt University

• Alessio Lomuscio, Imperial College London

• Corina Pasareanu, CMU, NASA, KBR

• Luca Pulina, University of Sassari

• Gagandeep Singh, VMware Research and UIUC

• Armando Tacchella, Università di Genova

• Hoang-Dung Tran, University of Nebraska-Lincoln

• Aleksandar Zeljic, Stanford University

• Min Zhang, East China Normal University

• Yuhao Zhang, University of Wisconsin-Madison

• Zhen Zhang, Utah State University