{"id":1106,"date":"2021-05-12T18:59:54","date_gmt":"2021-05-12T10:59:54","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1106"},"modified":"2021-05-13T20:59:28","modified_gmt":"2021-05-13T12:59:28","slug":"i-day-committee","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/i-day-committee\/","title":{"rendered":"I-Day Committee"},"content":{"rendered":"
Erika \u00c1brah\u00e1m<\/a><\/span> (RWTH Aachen University, Germany)<\/p>\n<\/li>\n Yang Liu<\/a> <\/span>(Nanyang Technological University, Singapore)<\/span><\/p>\n<\/li>\n<\/ul>\n Simon Barner<\/a> <\/span>(Fortiss, Germany)<\/p>\n<\/li>\n<\/ul>\n Nikolaj Bjorner<\/a><\/span> (Microsoft, USA)<\/p>\n<\/li>\n Klaus Havelund<\/a> <\/span>(NASA's Jet Propulsion Laboratory, USA)<\/p>\n<\/li>\n Naiyong Jin<\/a> <\/span>(Synopsys Ltd. Co., USA )<\/p>\n<\/li>\n Einar Broch Johnsen<\/span><\/a><\/span> (University of Oslo, Norway)<\/p>\n<\/li>\n Joseph Kiniry<\/a><\/span> (Galois, USA)<\/p>\n<\/li>\n Thierry Lecomte<\/a><\/span> (ClearSy, France)<\/p>\n<\/li>\n Carl Seger<\/span><\/a><\/span> (Chalmers University of Technology, Sweden)<\/p>\n<\/li>\n Danielle Stewart<\/a> <\/span>(Adventium Labs, USA)<\/p>\n<\/li>\nProgram Committee<\/span><\/h5>\n
\n
\n