{"id":1456,"date":"2021-10-30T11:18:49","date_gmt":"2021-10-30T03:18:49","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1456"},"modified":"2021-11-26T09:44:16","modified_gmt":"2021-11-26T01:44:16","slug":"appfm_program_est","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_est\/","title":{"rendered":"AppFM Program"},"content":{"rendered":"
San Francisco Time, UTC -8:00<\/span><\/h5>\n
Tuesday, November 23th<\/div>\n
00:00-01:30<\/span>Session 1<\/span><\/div>\n\n\n\n
00:00<\/td>\nWelcome<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
00:05<\/td>\n\n
Jan Peleska<\/div>\n
Invited Talk: The Future of Modelling Languages in Industry \u2013 Why Practitioners do not use Your Favourite Process Algebra [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
00:50<\/td>\n\n
Carolina Carreira, Joao F. Ferreira, Alexandra Mendes and Nicolas Christin<\/div>\n
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
01:10<\/td>\n\n
Lorenzo Capra<\/div>\n
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n
01:30-02:00<\/span>Break<\/span><\/div>\n
02:00-03:30<\/span>Session 2<\/span><\/div>\n\n\n\n
02:00<\/td>\n\n
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Elvinia Riccobene<\/div>\n
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
02:25<\/td>\n\n
Salwa Souaf and Frederic Loulergue<\/div>\n
Experience Report: Teaching Code Analysis and Verification Using Frama-C [Video<\/span><\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\n\n\n\n
02:45<\/td>\n\n
Hubert Garavel, Fr\u00e9d\u00e9ric Lang, Radu Mateescu and Wendelin Serwe<\/div>\n
Is CADP an Applicable Formal Method? [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
03:05<\/td>\n\n
Yu-Shan Sun, Daniel Welch and Murali Sitaraman<\/div>\n
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails [Video<\/a>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n
03:30-04:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>Break<\/span><\/div>\n
04:00-05:30<\/span>Session 3<\/span><\/div>\n\n\n\n
04:00<\/td>\n\n
Yannick Moy (AdaCore)<\/div>\n
Invited Talk: Adding Proof to the Continuous Integration Workflow [Video<\/a><\/span>]<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
04:45<\/td>\n\n
Interactive Discussion Session<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
05:20<\/td>\n\n
Wrap-up<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div><\/div>