{"id":1450,"date":"2021-10-30T11:14:28","date_gmt":"2021-10-30T03:14:28","guid":{"rendered":"http:\/\/lcs.ios.ac.cn\/fm2021\/?page_id=1450"},"modified":"2021-11-26T09:44:14","modified_gmt":"2021-11-26T01:44:14","slug":"appfm_program_cet","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/appfm_program_cet\/","title":{"rendered":"AppFM Program"},"content":{"rendered":"
Amsterdam Time, UTC +1:00<\/span><\/h5>\n
Tuesday, November 23th<\/div>\n
09:00-10:30<\/span>Session 1<\/span><\/div>\n\n\n\n
09:00<\/td>\nWelcome<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
09: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
09: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
10: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
10:30-11:00<\/span>Break<\/span><\/div>\n
11:00-12:30<\/span>Session 2<\/span><\/div>\n\n\n\n
11: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
11: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
11: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
12: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
12:30-13:00\u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/span>Break<\/span><\/div>\n
13:00-14:30<\/span>Session 3<\/span><\/div>\n\n\n\n
13: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
13:45<\/td>\n\n
Interactive Discussion Session<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n
14:20<\/td>\n\n
Wrap-up<\/strong><\/div>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div><\/div>