{"id":51,"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":"2024-10-28T10:35:39","modified_gmt":"2024-10-28T09:35:39","slug":"schedule","status":"publish","type":"page","link":"https:\/\/www.vecos-world.org\/2024\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"51\" class=\"elementor elementor-51\">\n\t\t\t\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\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<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<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\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-settings=\"{&quot;content_width&quot;:&quot;boxed&quot;}\" data-core-v316-plus=\"true\">\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<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 .s15{border-bottom:1px SOLID #dddddd;background-color:#ffffff;text-align:right;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s4{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:0px 3px 0px 3px;}.ritz .waffle .s11{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#d9ead3;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s23{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:0px 3px 0px 3px;}.ritz .waffle .s29{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:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s1{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#c9daf8;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s10{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#d0e0e3;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s13{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:0px 3px 0px 3px;}.ritz .waffle .s20{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:0px 3px 0px 3px;}.ritz .waffle .s24{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#ffffff;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s8{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:0px 3px 0px 3px;}.ritz .waffle .s7{border-bottom:1px SOLID #dddddd;background-color:#ffffff;}.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:0px 3px 0px 3px;}.ritz .waffle .s2{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:0px 3px 0px 3px;}.ritz .waffle .s25{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#e6b8af;text-align:left;color:#000000;font-family:Arial;font-size:11pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s12{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:0px 3px 0px 3px;}.ritz .waffle .s28{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:0px 3px 0px 3px;}.ritz .waffle .s6{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#c9daf8;text-align:center;font-weight:bold;text-decoration:underline;text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s26{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:0px 3px 0px 3px;}.ritz .waffle .s21{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#e6b8af;text-align:center;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s14{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:0px 3px 0px 3px;}.ritz .waffle .s18{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#a2c4c9;text-align:left;color:#000000;font-family:Arial;font-size:11pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s3{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#c9daf8;text-align:left;color:#000000;font-family:Arial;font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s19{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;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:0px 3px 0px 3px;}.ritz .waffle .s22{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:0px 3px 0px 3px;}.ritz .waffle .s17{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#a2c4c9;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:0px 3px 0px 3px;}.ritz .waffle .s5{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#ff9900;text-align:center;text-decoration:underline;text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s27{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:left;color:#000000;font-family:Arial;font-size:11pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s9{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #dddddd;background-color:#ffffff;text-align:right;color:#000000;font-family:Arial;font-size:12pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:0px 3px 0px 3px;}.ritz .waffle .s16{border-bottom:1px SOLID #dddddd;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:left;color:#000000;font-family:Arial;font-size:11pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:0px 3px 0px 3px;}<\/style><div class=\"ritz grid-container\" dir=\"ltr\">\n<table class=\"waffle\" style=\"width: 1140px;\" cellspacing=\"0\" cellpadding=\"0\">\n<tbody>\n<tr style=\"height: 20px;\">\n<td class=\"s0\" style=\"height: 20px; width: 833.922px;\" colspan=\"2\">Program<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"height: 20px; width: 67px;\">&nbsp;<\/td>\n<td class=\"s2\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Day 1 : October 15<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">08H00 - 09H00<\/td>\n<td class=\"s4\" style=\"height: 20px; width: 766.922px;\">Welcome &amp; Registration<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H00 - 09H30<\/td>\n<td class=\"s4\" style=\"height: 20px; width: 766.922px;\">WAISS'24 Opening Session<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H30 - 18H00<\/td>\n<td class=\"s5\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\"><a href=\"https:\/\/sites.google.\ncom\/ibtakiroo.org\/waiss-workshop\" target=\"_blank\">Workshop<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H30 - 10H30<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\"><a href=\"https:\/\/sites.google.com\/ibtakiroo.org\/waiss-workshop\" target=\"_blank\">Workshop WAISS'24 Session 1<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">10H30 - 11H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">11H00 - 12H30<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\"><a href=\"https:\/\/sites.google.com\/ibtakiroo.org\/waiss-workshop\" target=\"_blank\">Workshop WAISS'24 Session 2<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s10\" style=\"height: 20px; width: 67px;\">12H30 - 14H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Lunch<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">14H00 - 15H30<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\"><a href=\"https:\/\/sites.google.com\/ibtakiroo.org\/waiss-workshop\" target=\"_blank\">Workshop WAISS'24 Session 3<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">15H30 - 16H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe Break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s3\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">16H00 - 18H00<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\"><a href=\"https:\/\/sites.google.com\/ibtakiroo.org\/waiss-workshop\" target=\"_blank\">Workshop WAISS'24 Closing Session<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s11\" style=\"height: 20px; width: 67px;\">&nbsp;<\/td>\n<td class=\"s12\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Day 2 : October 16<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">08H30 - 09H00<\/td>\n<td class=\"s4\" style=\"height: 20px; width: 766.922px;\">Welcome &amp; Registration<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H00 - 09H30<\/td>\n<td class=\"s4\" style=\"height: 20px; width: 766.922px;\">VECoS 2024 Opening Session<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H30 - 10H30<\/td>\n<td class=\"s14\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Invited Talk (Pr Zhiwu Li) : Fault diagnosis of discrete-event systems using Petri nets<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">10h30 - 11H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">11H00 - 14H30<\/td>\n<td class=\"s12\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Session 1: Formal Verification<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">11H00 - 11H30<\/td>\n<td class=\"s16\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Elif Deniz, Adnan Rashid and Sofiene Tahar. Formal Verification of Coupled Transmission Lines using Theorem Proving<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">11H30 - 12H00<\/td>\n<td class=\"s16\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi and Hadhami Elouni. Optimizing label coverage using regular expression-based linear programming<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">12H00 - 12H30<\/td>\n<td class=\"s16\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Ikram Garfatta, Kais Klai and Walid Gaaloul. Formal Verification of Declarative Specifications of BPs: DCR2CPN-based Approach<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" style=\"height: 20px; width: 67px;\">12H30 - 14H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Lunch<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">14H00 - 14H30<\/td>\n<td class=\"s16\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Marzieh Derakhshannia, Julien Grange and Nihal Pekergin. Toward Green Data Lake Management and Analysis through a CTMC Model<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" style=\"height: 20px; width: 67px;\">14H30 - 15H30<\/td>\n<td class=\"s14\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Invited Talk (Pr Yamine Ait Ameur) : Descriptive and prescriptive system models formalised in Event-B<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">15H30 - 18H00<\/td>\n<td class=\"s17\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Session 2 : AI &amp; formel methods<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">15H30 - 16H00<\/td>\n<td class=\"s18\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi and Mohamed Ghazel. A High Parallelization Method for Automated Formal Verification of Deep Neural Networks<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">16H00 - 16H30<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe break<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">16H30 - 17H00<\/td>\n<td class=\"s18\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel. Monitoring of Neural Network Classifiers using Neuron Activation Paths<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">17H00 - 17H30<\/td>\n<td class=\"s18\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Marwa Zeroual, Brahim Hamid, Adedjouma Morayo and Jason Jaskolka. Formal Security Analysis of Deep Neural Network Architecture<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s13\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">17H30 - 18H00<\/td>\n<td class=\"s18\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Ahmed Alaoui Mdaghr, Meriem Ouederni and Lotfi Chaari. MDE in the era of Generative AI<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s19\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">&nbsp;<\/td>\n<td class=\"s20\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Day 3 : October 17 - Social Event - Scientific discussions - Gala dinner<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s21\" style=\"height: 20px; width: 67px;\">&nbsp;<\/td>\n<td class=\"s22\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Day 4 : October 18<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">09H00 - 12H00<\/td>\n<td class=\"s22\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Session 3 : Cybersecurity and Smart Contract<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">09H00 - 09H30<\/td>\n<td class=\"s25\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Nour Elhouda Oueslati, Hichem Mrabet and Abderrazek Jemai. Intrusion Detection using an enhancement Bi-LSTM Recurrent Neural Network model<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">09H30 - 10H00<\/td>\n<td class=\"s25\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Lo&iuml;c Thierry, Brahim Hamid and Jason Jaskolka. A Formal Approach for Verifying and Validating Security Objectives in Software Architecture<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">10H00 - 10H30<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe break<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">10H30 - 11H00<\/td>\n<td class=\"s25\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Jintao Jia, Gaiyun Liu and Zhiwu Li. Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">11H30 - 11H30<\/td>\n<td class=\"s25\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Rim Saddem-Yagoubi, Julie Beugin and Mohamed Ghazel. ERTMS\/ETCS L3: Usable Formal Models for the ``Loss of Train Integrity'' Operation Scenario<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">11H30 - 14H00<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Lunch<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">14H00 - 17H00<\/td>\n<td class=\"s26\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Session 4 : Cyber-Physical Systems<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">14H00 - 14H30<\/td>\n<td class=\"s27\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Gara Hellal Yassmine, Lazhar Hamel and Mohamed Graiet. A Formal Approach for Scalable Applications in Constrained IoT Systems<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">14H30 - 15H00<\/td>\n<td class=\"s27\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Perla Tannoury and Ahmed Hammad. Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">15H00 - 15H30<\/td>\n<td class=\"s8\" style=\"height: 20px; width: 766.922px;\">Coffe break<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">15H30 - 16H00<\/td>\n<td class=\"s27\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Mohamed Aiche, Samir Ouchani and Bouarfa Hafida. A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices<\/td>\n<\/tr>\n<tr style=\"height: 24px;\">\n<td class=\"s23\" dir=\"ltr\" style=\"height: 24px; width: 67px;\">16H00 - 16H30<\/td>\n<td class=\"s27\" dir=\"ltr\" style=\"height: 24px; width: 766.922px;\">Wiem Taktak, Mohamed Escheikh and Kamel Barkaoui. DRL based SFC Orchestration in SDN\/NFV Environments subject to Transient Unavailability<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s28\" dir=\"ltr\" style=\"height: 20px; width: 67px;\">16H30 - 17H00<\/td>\n<td class=\"s29\" dir=\"ltr\" style=\"height: 20px; width: 766.922px;\">Closing Session<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\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\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>PROGRAM Program &nbsp; Day 1 : October 15 08H00 &#8211; 09H00 Welcome &amp; Registration 09H00 &#8211; 09H30 WAISS&#8217;24 Opening Session 09H30 &#8211; 18H00 Workshop 09H30 &#8211; 10H30 Workshop WAISS&#8217;24 Session 1 10H30 &#8211; 11H00 Coffe break 11H00 &#8211; 12H30 Workshop WAISS&#8217;24 Session 2 12H30 &#8211; 14H00 Lunch 14H00 &#8211; 15H30 Workshop WAISS&#8217;24 Session 3 15H30 &hellip; <\/p>\n<div class=\"link-more\"><a href=\"https:\/\/www.vecos-world.org\/2024\/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-51","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/pages\/51","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/comments?post=51"}],"version-history":[{"count":21,"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/pages\/51\/revisions"}],"predecessor-version":[{"id":896,"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/pages\/51\/revisions\/896"}],"wp:attachment":[{"href":"https:\/\/www.vecos-world.org\/2024\/wp-json\/wp\/v2\/media?parent=51"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}