{"id":1453,"date":"2021-10-30T11:16:14","date_gmt":"2021-10-30T03:16:14","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1453"},"modified":"2021-11-26T09:12:10","modified_gmt":"2021-11-26T01:12:10","slug":"appfm_program_cst","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_cst\/","title":{"rendered":"AppFM Program"},"content":{"rendered":"
Beijing Time, UTC +8:00<\/span><\/h5>\n
Tuesday, November 23th<\/div>\n
16:00-17:30<\/span>Session 1<\/span><\/div>\n\n\n\n
16:00<\/td>\nWelcome<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
16: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
16: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
17: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
17:30-18:00<\/span>Break<\/span><\/div>\n
18:00-19:30<\/span>Session 2<\/span><\/div>\n\n\n\n
18: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
18: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
18: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
19: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
19:30-20:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>Break<\/span><\/div>\n
20:00-21:30<\/span>Session 3<\/span><\/div>\n\n\n\n
20:00<\/td>\n\n
Yannick Moy (AdaCore)<\/div>\n
Invited Talk: Adding Proof to the Continuous Integration Workflow<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
20:45<\/td>\n\n
Interactive Discussion Session<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
21:20<\/td>\n\n
Wrap-up<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div><\/div>