{"id":107,"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":"2025-11-03T14:31:23","modified_gmt":"2025-11-03T14:31:23","slug":"schedule","status":"publish","type":"page","link":"http:\/\/vecos-world.org\/2025\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"107\" class=\"elementor elementor-107\">\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-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\">\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-widget_type=\"elementskit-heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\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<\/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\">\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-widget_type=\"html.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<meta http-equiv=\"Content-Type\" content=\"text\/html; charset=utf-8\">\n<link type=\"text\/css\" rel=\"stylesheet\" href=\"resources\/sheet.css\" >\n<style type=\"text\/css\">.ritz .waffle a { color: inherit; }.ritz .waffle .s0{border-bottom:1px SOLID #dddddd;border-right:3px 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 .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 .s10{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s15{border-bottom:1px SOLID #dddddd;border-right:3px 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 .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 .s16{border-bottom:3px 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 .s8{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s4{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s14{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s6{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s13{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s12{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s3{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s2{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s5{border-bottom:1px SOLID #dddddd;border-right:3px 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 .s7{border-bottom:1px SOLID #dddddd;border-right:3px 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 .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;}.ritz .waffle .s17{border-bottom:3px SOLID #000000;border-right:3px SOLID #000000;background-color:#ffffff;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}<\/style>\n<div class=\"ritz grid-container\" dir=\"ltr\">\n   <table class=\"waffle\" cellspacing=\"0\" cellpadding=\"0\">\n      <thead>\n         <tr>\n            <th class=\"row-header freezebar-origin-ltr\"><\/th>\n         <\/tr>\n      <\/thead>\n      <tbody>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R0\" style=\"height: 20px;\" class=\"row-headers-background\">\n            <td class=\"s0\" colspan=\"2\">Program<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R1\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\"><\/td>\n            <td class=\"s2\" dir=\"ltr\">Day1  : November 5<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R2\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">9H00 - 10H00<\/td>\n            <td class=\"s3\">Welcome &amp; Registration<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R3\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">10H00 - 10H30<\/td>\n            <td class=\"s3\">VECoS 2025 Opening Session<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R4\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">10H30 - 12H30<\/td>\n            <td class=\"s2\" dir=\"ltr\">Session 1: Timed System Analysis<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R5\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">10H30 - 11H00<\/td>\n            <td class=\"s4\" dir=\"ltr\">K Pavan Kumar and Deepak Gangadharan. Network Traversal Time (NTT) Analysis of ST Flows with Non-Zero Arrival Jitter in TSN networks<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R6\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">11H00 - 11H30<\/td>\n            <td class=\"s5\">Coffee Break<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R7\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">11H30 - 12H00<\/td>\n            <td class=\"s4\" dir=\"ltr\">Shu Zhang, Ruotian Liu, Yufeng Chen, Maria Pia Fanti, Wei Wei and Boyu Dong. Dead Transitions Analysis and Resolution in Dual-Time Petri Nets<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R8\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">12H00 - 14H30<\/td>\n            <td class=\"s5\">Lunch<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R9\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">14H00 - 15H00<\/td>\n            <td class=\"s6\" dir=\"ltr\">Invited Talk (Pr Mohamed Faouzi Atig ) : The consistency checking problem <\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R10\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">15H00 - 15H30<\/td>\n            <td class=\"s4\" dir=\"ltr\">Jean-Michel Fourneau, Soumeya Kaada and Nihal Pekergin. A Multivariate stochastic ordering for analysis of task graphs with correlated random durations<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R11\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">15H30 - 18H00<\/td>\n            <td class=\"s7\" dir=\"ltr\">Session 2: IA &amp; Cybersecurity<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R12\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">15H30 - 16H00<\/td>\n            <td class=\"s8\" dir=\"ltr\">Celina Lemmouchi and Rim Saddem. Transformation of DES Formalisms with the Assistance of Generative AI<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R13\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">16h00 - 16H30<\/td>\n            <td class=\"s5\">Coffee Break<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R14\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">16H30 - 17H00<\/td>\n            <td class=\"s8\" dir=\"ltr\">Hafedh Jouini, Hamza Gharsellaoui and Mohamed Khalgui. Intelligent Path Planning for UAV Swarms via Deep Reinforcement Learning<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R15\" style=\"height: 20px;\" class=\"row-headers-\n               background\"><\/th>\n            <td class=\"s1\" dir=\"ltr\">17H00 - 17H30<\/td>\n            <td class=\"s8\" dir=\"ltr\">Rym Kalai, Wafa Neji and Narjes Ben Rajeb. Partially Aggregatable Distributed Multi-Key Generation protocol<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R16\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s9\" dir=\"ltr\">19H-<\/td>\n            <td class=\"s10\" dir=\"ltr\">Social Event - Scientific discussions - Gala dinner<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R17\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\"><\/td>\n            <td class=\"s12\" dir=\"ltr\">Day 2 : November 6<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R18\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">09H00 - 12H00<\/td>\n            <td class=\"s12\" dir=\"ltr\">Session 3 : Formal Methods<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R19\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">09H00 - 09H30<\/td>\n            <td class=\"s13\" dir=\"ltr\">Kubra Aksoy, Adnan Rashid and Sofiene Tahar. On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R20\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">09H30 - 10H00<\/td>\n            <td class=\"s13\" dir=\"ltr\">Idir Ait Sadoune. A Generic Event-B Theory for the Formalisation of the International System of Units<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R21\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">10H00 - 10H30<\/td>\n            <td class=\"s5\">Coffee Break<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R22\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">10H30 - 11H00<\/td>\n            <td class=\"s13\" dir=\"ltr\">Hao Dou, Mengchu Zhou, Shouguang Wang, Dan You and Wenli Duo. <a target=\"_blank\" href=\"https:\/\/easychair.org\/conferences\/submission_reviews?a=34011350&amp;submission=7353154\">Reversibility-Aware Step Graphs for State Space Reduction and Reversibility Checking in Concurrent Systems<\/a><\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R23\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\" dir=\"ltr\">11H00 - 12H00<\/td>\n            <td class=\"s6\" dir=\"ltr\">Invited Talk (Pr Sylvain Conchon ) :  A Fuzzing-Based Framework for the Cubicle Model Checkler <\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R24\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\" dir=\"ltr\">12H00 - 14H00<\/td>\n            <td class=\"s5\">Lunch<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R25\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">14H00 - 17H00<\/td>\n            <td class=\"s14\" dir=\"ltr\">Session 4 : Applied Formal methods<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R26\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">14H00 - 14H30<\/td>\n            <td class=\"s15\" dir=\"ltr\">Mohammed Djahafi and Nabila Salmi. Optimizing NB-IoT Power battery lifetime using SPN modelling<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R27\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">14H30 - 15H00<\/td>\n            <td class=\"s15\" dir=\"ltr\">Neeraj Kumar Singh. Correct-by-Construction Code Generation from Event-B to Python<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R28\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">15H00 - 15H30<\/td>\n            <td class=\"s5\">Coffee Break<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R29\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">15H30 - 16H00<\/td>\n            <td class=\"s15\" dir=\"ltr\">Mohamed Abdelghany, Adnan Rashid and Sofi\u00e8ne Tahar. FETMA: A Tool for Functional Block Diagram and Event Tree based Safety Analysis<\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R30\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s11\">16H00 - 16H30<\/td>\n            <td class=\"s15\" dir=\"ltr\">Aroua Ben Daya, Rim Saddem and Mohamed Taha Bannani. <a target=\"_blank\" href=\"https:\/\/easychair.org\/conferences\/submission_reviews?a=34011350&amp;submission=7353579\">Rail Requirements tracking and architectural verification<\/a><\/td>\n         <\/tr>\n         <tr style=\"height: 20px\">\n            <th id=\"1637755490R31\" style=\"height: 20px;\" class=\"row-headers-background\"><\/th>\n            <td class=\"s16\">16H30 - 17H00<\/td>\n            <td class=\"s17\">Closing Session<\/td>\n         <\/tr>\n      <\/tbody>\n   <\/table>\n<\/div>\t\t\t\t<\/div>\n\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 Day1 : November 5 9H00 &#8211; 10H00 Welcome &amp; Registration 10H00 &#8211; 10H30 VECoS 2025 Opening Session 10H30 &#8211; 12H30 Session 1: Timed System Analysis 10H30 &#8211; 11H00 K Pavan Kumar and Deepak Gangadharan. Network Traversal Time (NTT) Analysis of ST Flows with Non-Zero Arrival Jitter in TSN networks 11H00 &#8211; 11H30 Coffee &hellip; <\/p>\n<div class=\"link-more\"><a href=\"http:\/\/vecos-world.org\/2025\/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-107","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/pages\/107","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/comments?post=107"}],"version-history":[{"count":25,"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/pages\/107\/revisions"}],"predecessor-version":[{"id":824,"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/pages\/107\/revisions\/824"}],"wp:attachment":[{"href":"http:\/\/vecos-world.org\/2025\/wp-json\/wp\/v2\/media?parent=107"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}