{"id":42,"date":"2021-05-06T15:52:59","date_gmt":"2021-05-06T15:52:59","guid":{"rendered":"http:\/\/themeplugs.com\/wp\/batpa\/event\/?page_id=30"},"modified":"2026-10-06T20:42:45","modified_gmt":"2026-10-06T20:42:45","slug":"schedule","status":"publish","type":"page","link":"https:\/\/vecos-world.org\/2026\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"42\" class=\"elementor elementor-42\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-3225c25 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3225c25\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-9183d9c\" data-id=\"9183d9c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8f326a5 elementor-widget elementor-widget-elementskit-heading\" data-id=\"8f326a5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"elementskit-heading.default\">\n\t\t\t\t\t<div class=\"ekit-wid-con\" ><div class=\"ekit-heading elementskit-section-title-wraper text_center   ekit_heading_tablet-   ekit_heading_mobile-\"><h2 class=\"ekit-heading--title elementskit-section-title \">PROGRAM<\/h2><\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t<div class=\"elementor-element elementor-element-802d6a0 e-flex e-con-boxed e-con e-parent\" data-id=\"802d6a0\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5c27c9c elementor-widget elementor-widget-html\" data-id=\"5c27c9c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"html.default\">\n\t\t\t\t\t<meta http-equiv=\"Content-Type\" content=\"text\/html; charset=utf-8\"><link type=\"text\/css\" rel=\"stylesheet\" href=\"resources\/sheet.css\" >\n<style type=\"text\/css\">.ritz .waffle a { color: inherit; }.ritz .waffle .s9{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#f1c232;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s2{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:center;font-weight:bold;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s1{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#d9ead3;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s3{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#ffffff;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s16{border-bottom:1px SOLID #000000;border-right:1px SOLID #dddddd;background-color:#e6b8af;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s12{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#e6b8af;text-align:center;font-weight:bold;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s6{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#ff9900;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s5{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#f1c232;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s8{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#c9daf8;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s7{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#c9daf8;text-align:center;font-weight:bold;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s13{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#e6b8af;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s15{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s17{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#ffffff;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s0{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#ff9900;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s14{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:center;font-weight:bold;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s4{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s10{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#f1c232;text-align:center;font-weight:bold;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s11{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#e6b8af;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}<\/style><div class=\"ritz grid-container\" dir=\"ltr\"><table class=\"waffle\" cellspacing=\"0\" cellpadding=\"0\"><tbody><tr style=\"height: 20px\"><td class=\"s0\" colspan=\"2\">Program<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\"><\/td><td class=\"s2\">Day 1 : November 19<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">09H00 - 09H30<\/td><td class=\"s3\">Welcome &amp; Registration<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">09H30 - 10H00<\/td><td class=\"s3\" dir=\"ltr\">VECoS 2026 Opening Session<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">10H00 - 12H30<\/td><td class=\"s2\" dir=\"ltr\">Session 1: Formal methods<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">10H00 - 10H30<\/td><td class=\"s4\" dir=\"ltr\">Demis Ballis, Linda Brodo, Moreno Falaschi and Carlos Olarte. Formal Analysis of Reaction Systems Using Maude Strategies<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">10H30 - 11H00<\/td><td class=\"s4\" dir=\"ltr\">Valentin Bergeron and Karolina Gorna. From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\">11H00 - 11H30<\/td><td class=\"s5\">Coffee Break<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">11H30 - 12H00<\/td><td class=\"s4\" dir=\"ltr\">Khadija Khlass, Belgacem Ben Hedia and Boutheina Bannour. Behavioral Preservation and the Cost of Granularity in Verifying Re-Clustered Critical Real-Time Software Deployments<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">12H00 - 12H30<\/td><td class=\"s4\" dir=\"ltr\">Ocan Sankur, Reiya Noguchi, Thierry J\u00e9ron and David Mentr\u00e9. ReqKit: A Real-Time Requirement Analysis Tool Kit<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">12H30 - 14H00<\/td><td class=\"s5\">Lunch<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\">14H00 - 15H00<\/td><td class=\"s6\" dir=\"ltr\">Invited Talk (Pr Sandjai Bhulai) : Performance evaluation in the age of learning and search<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">15H00 - 18H00<\/td><td class=\"s7\" dir=\"ltr\">Session 2: Safety verification<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">15H00 - 15H30<\/td><td class=\"s8\" dir=\"ltr\">Oumaima Barhoumi, Mohamed H Zaki and Sofi\u00e8ne Tahar. Formally Verified Higher-Order Barrier Certificates for Vehicle Platooning<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">15H30 - 16H00<\/td><td class=\"s5\">Coffee Break<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\" dir=\"ltr\">16H00 - 16H30<\/td><td class=\"s8\" dir=\"ltr\">Mohamed Achraf Touam, Rab\u00e9a Ameur-Boulifa and Patricia Guitton-Ouhamou. A Tool-Supported Methodology for Early Requirement Verification: From Natural-Language Requirements to Verifiable SCADE Models<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s1\">16H30 - 17H00<\/td><td class=\"s8\" dir=\"ltr\">Sami Mahfoudhi, Hassen M. Ouakad and Kamel Barkaoui. Experience-Driven RAG for VLM-Based Fixed-Wing UAV Obstacle Avoidance<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s9\">19H-<\/td><td class=\"s10\">Social Event - Scientific discussions - Gala dinner<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\"><\/td><td class=\"s12\">Day 2 : November 20<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">09H00 - 10H00<\/td><td class=\"s6\" dir=\"ltr\">Invited Talk (Pr Karsten Wolf) : A fresh look into modular state spaces for Petri nets<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">10H00 - 12H30<\/td><td class=\"s12\" dir=\"ltr\">Session 3 : Petri net formalism<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">10H00 - 10H30<\/td><td class=\"s13\" dir=\"ltr\">Kais Klai, Mohamed Taha Bennani, Jaime Arias and Hanen Ochi. Optimizing Petri Net Transition Coverage for Test Generation Using Linear Programming and Symbolic Observation Graphs<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">10H30 - 11H00<\/td><td class=\"s5\">Coffee Break<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">11H00 - 11H30<\/td><td class=\"s13\" dir=\"ltr\">Mouna Gaouar, Rabah Ammour, Isabel Demongodin and Olivier H. Roux. Semi Synchronized and Time Synchronized Petri Nets with Outputs: decidability properties and reachability marking spaces<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">11H30 - 12H00<\/td><td class=\"s13\" dir=\"ltr\">Cl\u00e9ment Lecomte and Patrice Bonhomme. Formal Shields for IDS Resilience: An IP-TPN\/DRL Digital Twin for Measuring Residual Exfiltration Capacity<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">12H00 - 12H30<\/td><td class=\"s13\" dir=\"ltr\">Eya Teyeb, Pierre Delisle, Luiz Angelo Steffenel and Leonardo Brenner. Constant Batch-Level Speed Limits in Controlled Triangular Batches Petri Nets<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">12H30 - 14H00<\/td><td class=\"s5\">Lunch<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\" dir=\"ltr\">14H00 - 17H00<\/td><td class=\"s14\" dir=\"ltr\">Session 4 : Architecture analysis<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\">14H00 - 14H30<\/td><td class=\"s15\" dir=\"ltr\">Morten Clausen and P\u0131nar T\u00f6z\u00fcn. Analytical Framework for Algorithms on Collaborative Heterogeneous Architectures<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\">14H30 - 15H00<\/td><td class=\"s15\" dir=\"ltr\">Hai-Dang Vu, Mihail Asavoae and Oumaima Matoussi. From Proprietary Architecture Descriptions to Formal ISA Semantics<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\">15H00 - 15H30<\/td><td class=\"s5\">Coffee Break<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\">15H30 - 16H00<\/td><td class=\"s15\" dir=\"ltr\">Ranim Ghodhbani, Rim Saddem-Yagoubi and Julie Beugin. Requirement-Driven Evolution of ETCS Moving Block Architectures: Extended Analysis and Tool Support<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s11\">16H00 - 16H30<\/td><td class=\"s15\" dir=\"ltr\">Kahina Ferhi, Assia Outamazirt, Djamil Aissani, Kamel Barkaoui and Karima Adel-Aissanou. CAS-Greedy: A Deterministic Carbon-Aware Scheduler for the Cloud--Edge Continuum Based on a Five-Term Multi-Objective Cost Function<\/td><\/tr><tr style=\"height: 20px\"><td class=\"s16\" dir=\"ltr\">16H30 - 17H00<\/td><td class=\"s17\" dir=\"ltr\">Closing session (infos about VECoS 2027)<\/td><\/tr><\/tbody><\/table><\/div>\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>PROGRAM Program Day 1 : November 19 09H00 &#8211; 09H30 Welcome &amp; Registration 09H30 &#8211; 10H00 VECoS 2026 Opening Session 10H00 &#8211; 12H30 Session 1: Formal methods 10H00 &#8211; 10H30 Demis Ballis, Linda Brodo, Moreno Falaschi and Carlos Olarte. Formal Analysis of Reaction Systems Using Maude Strategies 10H30 &#8211; 11H00 Valentin Bergeron and Karolina Gorna. &hellip; <\/p>\n<div class=\"link-more\"><a href=\"https:\/\/vecos-world.org\/2026\/schedule\/\" class=\"more-link\">Read More<span class=\"screen-reader-text\"> &#8220;Schedule&#8221;<\/span><\/a><\/div>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_header_footer","meta":{"footnotes":""},"class_list":["post-42","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/pages\/42","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/comments?post=42"}],"version-history":[{"count":13,"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/pages\/42\/revisions"}],"predecessor-version":[{"id":298,"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/pages\/42\/revisions\/298"}],"wp:attachment":[{"href":"https:\/\/vecos-world.org\/2026\/wp-json\/wp\/v2\/media?parent=42"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}