FoMLAS

Workshop Co-Chairs​

• Guy Katz, The Hebrew University of Jerusalem

• Nina Narodytska, VMware Research

​

Program Committee 

• Clark Barrett, Stanford University

• Chih-Hong Cheng, Fortiss

• Suman Jana, Columbia University

• Jean-Baptiste Jeannin, University of Michigan

• Susmit Jha, SRI

• Taylor T. Johnson, Vanderbilt University

• Temesghen Kahsai, Groq Inc.

• Marta Kwiatkowska, University of Oxford

• Alessio Lomuscio, Imperial College London

• Luca Pulina, University of Sassari

• Armando Solar-Lezama, MIT

• Martin Vechev, ETH Zurich