{"id":1147,"date":"2021-08-22T10:53:31","date_gmt":"2021-08-22T02:53:31","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1147"},"modified":"2021-11-26T09:35:19","modified_gmt":"2021-11-26T01:35:19","slug":"doctoral-symposium","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/doctoral-symposium\/","title":{"rendered":"Doctoral Symposium"},"content":{"rendered":"

A Doctoral Symposium<\/strong> will be held in conjunction with the 24th International Symposium on Formal Methods<\/a><\/span> (FM 2021), 20-26 November. The hosting institution of FM 2021 is the Institute of Software, Chinese Academy of Sciences, Beijing, China. Just like the entire FM, the Doctoral Symposium will be held as an online event.<\/p>\n

Day<\/h5>\n

20 November 2021<\/p>\n

Programme<\/h5>\n\n\n\n\n\n\n\n\n\n\n\n\n\n
New York<\/em><\/td>\nBerlin<\/em><\/td>\nBeijing<\/em><\/td>\n\u00a0<\/strong><\/td>\n<\/tr>\n
06:00<\/td>\n12:00<\/td>\n19:00<\/td>\nInvited Inspiration Talk:<\/em> Erika Abraham<\/strong><\/a> [Video<\/a>]<\/strong><\/span><\/td>\n<\/tr>\n
06:45<\/td>\n12:45<\/td>\n19:45<\/td>\n(break)<\/td>\n<\/tr>\n
07:00<\/td>\n13:00<\/td>\n20:00<\/td>\nXiyue Zhang (CN): Towards Trustworthiness Assurance of Deep Learning Systems [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
07:20<\/td>\n13:20<\/td>\n20:20<\/td>\nLivia Lestingi (IT): Model-Driven Development of Formally Verified Human-Robot Interactions [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
07:40<\/td>\n13:40<\/td>\n20:40<\/td>\nWeidi Sun (CN): Coverage Testing for DNNs [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
08:00<\/td>\n14:00<\/td>\n21:00<\/td>\n(break)<\/td>\n<\/tr>\n
08:30<\/td>\n14:30<\/td>\n21:30<\/td>\nYuteng Lu (CN): Mutation Testing of Machine Learning Systems [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
08:50<\/td>\n14:50<\/td>\n21:50<\/td>\nMuhammad Usama Sardar (D): Inconsistencies in Specification of Intel TDX Remote Attestation [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
09:10<\/td>\n15:10<\/td>\n22:10<\/td>\nAliyu Tanko Ali (SK): Identify the States of Attacks [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n
09:30<\/td>\n15:30<\/td>\n22:30<\/td>\nRamana Nagasamudram (US): WhyRel: A Prototype for Relational Verification [Video<\/a>]<\/span><\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
Access<\/h5>\n

Zoom link<\/strong><\/a><\/p>\n

Webinar ID: 812 5017 2221<\/p>\n

\n
Passcode: 857947<\/div>\n<\/div>\n
Doctoral Symposium Chairs<\/h5>\n