{"id":63,"date":"2022-03-11T12:19:22","date_gmt":"2022-03-11T11:19:22","guid":{"rendered":"https:\/\/fm2023.isp.uni-luebeck.de\/wordpress\/?page_id=63"},"modified":"2023-03-07T14:59:36","modified_gmt":"2023-03-07T13:59:36","slug":"overall-program","status":"publish","type":"page","link":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/overall-program\/","title":{"rendered":"Overall Program"},"content":{"rendered":"\n<h2 class=\"has-text-align-center wp-block-heading\">SCHEDULE<\/h2>\n\n\n\n<figure class=\"wp-block-table is-style-stripes\">\n<table class=\"has-fixed-layout\">\n<thead>\n<tr>\n<th class=\"has-text-align-center\" data-align=\"center\">                       <\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Monday<br>March, 6th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Tuesday,<br>March, 7th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Wednesday<br>March, 8th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Thursday<br>March, 9th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Friday<br>March, 10th<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop, Tutorials &amp; Doctoral Symposium<\/a><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#3ab2a0\" colspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Main FM Conference<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop<\/a><\/td>\n<\/tr>\n<tr>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#97bd20\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/co-located-events\/#industryday\">Industry Day <\/a> <\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/co-located-events\/#dcon\">D-CON 2023<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/co-located-events\/#dcon\">D-CON 2023<\/td>\n<\/tr>\n<\/tbody>\n<thead>\n<tr>\n<th class=\"has-text-align-center\" data-align=\"center\">Time                       <\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Monday<br>March, 6th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Tuesday,<br>March, 7th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Wednesday<br>March, 8th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Thursday<br>March, 9th<\/th>\n<th class=\"has-text-align-center\" data-align=\"center\">Friday<br>March, 10th<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">08:45 &#8211; 09:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#a459d9\" class=\"has-text-align-center\" data-align=\"center\">Opening Session<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">09:00 &#8211; 09:30<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"4\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop, T1, T2, T4 &amp; Doctoral Symposium<\/a><\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#6da4cf\" rowspan=\"2\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/invited-speakers\/#laura-kovacs\">Keynote talk by Laura Kovacs<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#6da4cf\" rowspan=\"2\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/invited-speakers\/#harald-ruess\">Keynote talk by Harald Rue\u00df<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#6da4cf\" rowspan=\"2\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/invited-speakers\/#nils-jansen\">Keynote talk by Nils Jansen<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"4\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/#workshops\">Workshop<\/a><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">09:30 &#8211; 10:00<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" rowspan=\"2\" data-align=\"center\">10:00 &#8211; 10:30<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" class=\"has-text-align-center\" rowspan=\"2\" data-align=\"center\">Lucas Award<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" class=\"has-text-align-center\" data-align=\"center\">CyberSecurity  Presentation by Sebastian Jester<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" class=\"has-text-align-center\" rowspan=\"2\" data-align=\"center\">1 Slot a 20 min<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" class=\"has-text-align-center\" data-align=\"center\">1 slot a 20 min Contributed<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">10:30 &#8211; 11:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">11:00 &#8211; 11:30<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop, T1, T2, T4 &amp; Doctoral Symposium<\/a><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/#workshops\">Workshop<\/a><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">11:30 &#8211; 12:00<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">12:00 &#8211; 12:30<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">12:30 &#8211; 13:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Lunch<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Lunch<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Lunch<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Lunch<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">Lunch<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">13:00 &#8211; 13:30<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">13:30 &#8211; 14:00<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">14:00 &#8211; 14:30<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop, T3, T4 &amp; Doctoral Symposium<\/a><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"4\" class=\"has-text-align-center\" data-align=\"center\">5 slots a 20 min Contributed<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#009DF7\" rowspan=\"2\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/invited-speakers\/#jeannette-m-wing\">Luminary Talk by Jeannette M. Wing<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/#workshops\">Workshop<\/a><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">14:30 &#8211; 15:00<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">15:00 &#8211; 15:30<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" class=\"has-text-align-center\" data-align=\"center\">1 slot a 20 min Contributed<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">15:30 &#8211; 16:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">Coffee Break<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#97bd20\" class=\"has-text-align-center\" data-align=\"center\">End of the Event<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">16:00 &#8211; 16:30<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#00aec7\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/workshops-tutorials\/\">Workshop, T3, T4 &amp; Doctoral Symposium<\/a><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#fabc02\" rowspan=\"7\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/registration\/#conference-dinner\">Social Event &amp; Dinner<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#006aa4\" rowspan=\"3\" class=\"has-text-align-center\" data-align=\"center\">4 slots a 20 min Contributed<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">16:30 &#8211; 17:00<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">17:00 &#8211; 17:30<\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">17:30 &#8211; 18:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#a459d9\" class=\"has-text-align-center\" data-align=\"center\">Closing Session &#8211; Announcement of FM24<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">18:00 &#8211; 18:30<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">18:30 &#8211; 19:00<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<tr>\n<td style=\"color:#ffffff\" bgcolor=\"#e42032\" class=\"has-text-align-center\" data-align=\"center\">19:00 &#8211; 19:30<\/td>\n<td id=\"table-cell-zoom\" style=\"color:#ffffff\" bgcolor=\"#3ab2a0\" class=\"has-text-align-center\" data-align=\"center\"><a style=\"color:#ffffff; text-decoration:none;\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/registration\/#social-programm\">Reception<\/a><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#fabc02\" class=\"has-text-align-center\" data-align=\"center\">PC Dinner<\/td>\n<td style=\"color:#ffffff\" bgcolor=\"#ffffff\" class=\"has-text-align-center\" data-align=\"center\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/figure>\n\n\n\n<div style=\"height:128px\" aria-hidden=\"true\" id=\"detailedprogram\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"has-text-align-center wp-block-heading\">FM DETAILED PROGRAM<\/h2>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/fm2023.isp.uni-luebeck.de\/wp-content\/uploads\/2023\/03\/FM-Program-1.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of FM-Program-1.\"><\/object><a id=\"wp-block-file--media-30db54ab-59b6-4988-9bb6-16a3fdfc5bbf\" href=\"https:\/\/fm2023.isp.uni-luebeck.de\/wp-content\/uploads\/2023\/03\/FM-Program-1.pdf\">FM-Program-1<\/a><a href=\"https:\/\/fm2023.isp.uni-luebeck.de\/wp-content\/uploads\/2023\/03\/FM-Program-1.pdf\" class=\"wp-block-file__button wp-element-button\" download aria-describedby=\"wp-block-file--media-30db54ab-59b6-4988-9bb6-16a3fdfc5bbf\">Herunterladen<\/a><\/div>\n\n\n\n<div style=\"height:128px\" aria-hidden=\"true\" id=\"fmacceptedpapers\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"has-text-align-center wp-block-heading\">FM ACCEPTED PAPERS<\/h2>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-cyan-bluish-gray-color has-alpha-channel-opacity has-cyan-bluish-gray-background-color has-background is-style-default\"\/>\n\n\n\n<figure class=\"wp-block-table is-style-stripes\"><table><tbody><tr><td><strong>Paper<\/strong><\/td><td><strong>Authors<\/strong><\/td><\/tr><tr><td>The Octatope Abstract Domain for Verification of Neural Networks<\/td><td>Taylor Dohmen,&nbsp;<a href=\"http:\/\/stanleybak.com\">Stanley Bak<\/a>,&nbsp;<a href=\"http:\/\/www.ashutoshtrivedi.com\">Ashutosh Trivedi<\/a>, Alvaro Velasquez, Piotr Wojciechowski and&nbsp;<a href=\"http:\/\/www.csee.wvu.edu\/~ksmani\">K. Subramani<\/a><\/td><\/tr><tr><td>The ScalaFix equation solver<\/td><td><a href=\"http:\/\/www.sci.unich.it\/~amato\">Gianluca Amato<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/www.sci.unich.it\/~scozzari\/\">Francesca Scozzari<\/a><\/td><\/tr><tr><td>Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement<\/td><td>Tsutomu Kobayashi, Martin Bondu and&nbsp;<a href=\"http:\/\/research.nii.ac.jp\/~f-ishikawa\/en\/\">Fuyuki Ishikawa<\/a><\/td><\/tr><tr><td>Energy Problems in Finite and Timed Automata with B\u00fcchi Conditions<\/td><td>Sven Dziadek,&nbsp;<a href=\"https:\/\/www.lrde.epita.fr\/~uli\/\">Uli Fahrenberg<\/a>&nbsp;and Philipp Schlehuber-Caissier<\/td><\/tr><tr><td>SMT Sampling via Model-Guided Approximation<\/td><td><a href=\"https:\/\/cs.technion.ac.il\/~mip\">Matan Peled<\/a>,&nbsp;<a href=\"http:\/\/batg.cswp.cs.technion.ac.il\/\">Bat-Chen Rothenberg<\/a>&nbsp;and Shachar Itzhaky<\/td><\/tr><tr><td>Minimisation of Spatial Models using Branching Bisimilarity<\/td><td><a href=\"http:\/\/vincenzoml.github.io\/\">Vincenzo Ciancia<\/a>, Jan Friso Groote,&nbsp;<a href=\"http:\/\/www.isti.cnr.it\/People\/D.Latella\">Diego Latella<\/a>,&nbsp;<a href=\"https:\/\/www.isti.cnr.it\/People\/M.Massink\">Mieke Massink<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/www.win.tue.nl\/~evink\">Erik De Vink<\/a><\/td><\/tr><tr><td>Efficient SMT-based Network Fault Tolerance Verification<\/td><td>Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev and Abhik Roychoudhury<\/td><\/tr><tr><td>A Coq formalization of Lebesgue Induction Principle and Tonelli\u2019s Theorem<\/td><td><a href=\"http:\/\/www.lri.fr\/~sboldo\/\">Sylvie Boldo<\/a>,&nbsp;<a href=\"http:\/\/who.paris.inria.fr\/Francois.Clement\/\">Francois Clement<\/a>, Vincent Martin,&nbsp;<a href=\"http:\/\/www-lipn.univ-paris13.fr\/~mayero\/\">Micaela Mayero<\/a>&nbsp;and Houda Mouhcine<\/td><\/tr><tr><td>Abstract Alloy Instances<\/td><td><a href=\"https:\/\/ringert.blogspot.com\">Jan Oliver Ringert<\/a>&nbsp;and Allison K. Sullivan<\/td><\/tr><tr><td>QMaude: quantitative specification and verification in rewriting logic<\/td><td>Rub\u00e9n Rubio, Narciso Marti-Oliet, Isabel Pita and&nbsp;<a href=\"https:\/\/maude.ucm.es\/alberto-verdejo\">Alberto Verdejo<\/a><\/td><\/tr><tr><td>Monitoring the Internet Computer<\/td><td><a href=\"http:\/\/www.inf.ethz.ch\/personal\/basin\/\">David Basin<\/a>, Daniel Stefan Dietiker,&nbsp;<a href=\"https:\/\/krledmno1.github.io\/\">Srdjan Krstic<\/a>, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider and Arshavir Ter-Gabrielyan<\/td><\/tr><tr><td>Program Semantics and Verification Technique for AI-centred Programs<\/td><td>Fortunat Rajaona, Ioana Boureanu, Vadim Malvone and Francesco Belardinelli<\/td><\/tr><tr><td>Verifying Feedforward Neural Networks for Classification in Isabelle\/HOL<\/td><td><a href=\"http:\/\/www.brucker.ch\">Achim D. Brucker<\/a>&nbsp;and Amy Stell<\/td><\/tr><tr><td>PFL: a Probabilistic Logic for Fault Trees<\/td><td>Stefano M. Nicoletti, Milan Lopuha\u00e4-Zwakenberg, E. Moritz Hahn and Mari\u00eblle Stoelinga<\/td><\/tr><tr><td>Can we Communicate? Using Dynamic Logic to Verify Team Automata<\/td><td><a href=\"http:\/\/fmt.isti.cnr.it\/~mtbeek\">Maurice H. ter Beek<\/a>, Guillermina Cledou, Rolf Hennicker and&nbsp;<a href=\"https:\/\/jose.proenca.org\">Jos\u00e9 Proen\u00e7a<\/a><\/td><\/tr><tr><td>symQV: Automated Symbolic Verification of Quantum Programs<\/td><td>Fabian Bauer-Marquart,&nbsp;<a href=\"http:\/\/se.uni-konstanz.de\/members\/leue\/\">Stefan Leue<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/www.christianschilling.net\/\">Christian Schilling<\/a><\/td><\/tr><tr><td>Reasoning about Promises in Weak Memory Models with Event Structures<\/td><td>Heike Wehrheim, Lara Bargmann and&nbsp;<a href=\"http:\/\/brijeshdongol.github.io\">Brijesh Dongol<\/a><\/td><\/tr><tr><td>SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets<\/td><td><a href=\"http:\/\/www.laas.fr\/~namat\">Nicolas Amat<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/www.laas.fr\/~dalzilio\">Silvano Dal Zilio<\/a><\/td><\/tr><tr><td>Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems<\/td><td><a href=\"https:\/\/www.robs-cse.com\/\">Robert Sison<\/a>, Scott Buckley,&nbsp;<a href=\"https:\/\/people.eng.unimelb.edu.au\/tobym\/\">Toby Murray<\/a>, Gerwin Klein and Gernot Heiser<\/td><\/tr><tr><td>A Decision Diagram Operation for Reachability<\/td><td>Sebastiaan Brand, Thomas B\u00e4ck and Alfons Laarman<\/td><\/tr><tr><td>A fine-grained semantics for arrays and pointers under weak memory models<\/td><td>Robert Colvin<\/td><\/tr><tr><td>VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs<\/td><td>Petra van den Bos and Sung-Shik Jongmans<\/td><\/tr><tr><td>Verifying At the Level of Java Bytecode<\/td><td>Marco Paganoni and Carlo A. Furia<\/td><\/tr><tr><td>A Runtime Environment for Contract Automata<\/td><td><a href=\"http:\/\/davidebasile.github.io\">Davide Basile<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/fmt.isti.cnr.it\/~mtbeek\">Maurice H. ter Beek<\/a><\/td><\/tr><tr><td>Tableaux for Realizability of Safety Specfications<\/td><td>Montserrat Hermo,&nbsp;<a href=\"http:\/\/www.sc.ehu.es\/paqui\">Paqui Lucio<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/software.imdea.org\/~cesar\">Cesar Sanchez<\/a><\/td><\/tr><tr><td>HHLPy: Practical Verification of Hybrid Systems using Hoare Logic<\/td><td>Huanhuan Sheng, Alexander Bentkamp and Bohua Zhan<\/td><\/tr><tr><td>Word Equations in Synergy with Regular Constraints<\/td><td>Franti\u0161ek Blahoudek,&nbsp;<a href=\"http:\/\/www.iis.sinica.edu.tw\/~yfc\">Yu-Fang Chen<\/a>, David Chocholat\u00fd, Vojt\u011bch Havlena,&nbsp;<a href=\"http:\/\/www.fit.vutbr.cz\/~holik\">Luk\u00e1\u0161 Hol\u00edk<\/a>,&nbsp;<a href=\"http:\/\/www.fit.vutbr.cz\/~lengal\">Ondrej Lengal<\/a>&nbsp;and Juraj S\u00ed\u010d<\/td><\/tr><tr><td>Railway Scheduling Using Boolean Satisfiability Modulo Simulations<\/td><td>Tom\u00e1\u0161 Kol\u00e1rik and&nbsp;<a href=\"http:\/\/www.cs.cas.cz\/~ratschan\">Stefan Ratschan<\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<div style=\"height:100px\" aria-hidden=\"true\" id=\"proceedings\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"has-text-align-center wp-block-heading\">Proceedings<\/h2>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p>The Proceedings for FM23 are available here. Please use only the below provided links to made the access and its autentification working:<\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-031-27481-7\">https:\/\/link.springer.com\/book\/10.1007\/978-3-031-27481-7<\/a><\/p>\n\n\n\n<p>This year we celebrate the 25th edition of FM!<br>Springer is celebrating with us and made the proceedings of the previous editions freely accessible:<\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-031-27481-7\">https:\/\/link.springer.com\/book\/10.1007\/978-3-031-27481-7<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-90870-6\">https:\/\/link.springer.com\/book\/10.1007\/978-3-030-90870-6<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-54994-7\">https:\/\/link.springer.com\/book\/10.1007\/978-3-030-54994-7<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-54997-8\">https:\/\/link.springer.com\/book\/10.1007\/978-3-030-54997-8<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-30942-8\">https:\/\/link.springer.com\/book\/10.1007\/978-3-030-30942-8<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-95582-7\">https:\/\/link.springer.com\/book\/10.1007\/978-3-319-95582-7<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-48989-6\">https:\/\/link.springer.com\/book\/10.1007\/978-3-319-48989-6<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-19249-9\">https:\/\/link.springer.com\/book\/10.1007\/978-3-319-19249-9<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-319-06410-9\">https:\/\/link.springer.com\/book\/10.1007\/978-3-319-06410-9<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-642-32759-9\">https:\/\/link.springer.com\/book\/10.1007\/978-3-642-32759-9<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-642-21437-0\">https:\/\/link.springer.com\/book\/10.1007\/978-3-642-21437-0<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-642-05089-3\">https:\/\/link.springer.com\/book\/10.1007\/978-3-642-05089-3<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-68237-0\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-68237-0<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-37216-5\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-37216-5<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-31714-2\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-31714-2<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-45236-2\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-45236-2<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-45614-8\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-45614-8<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-48119-5\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-48119-5<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-69593-6\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-69593-6<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-49749-3\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-49749-3<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-540-49031-9\">https:\/\/link.springer.com\/book\/10.1007\/978-3-540-49031-9<\/a><\/p>\n\n\n\n<p>Note that all proceedings are only freely available during the<br>conference period.<\/p>\n\n\n\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>SCHEDULE MondayMarch, 6th Tuesday,March, 7th WednesdayMarch, 8th ThursdayMarch, 9th FridayMarch, 10th Workshop, Tutorials &amp; Doctoral Symposium Main FM Conference Workshop Industry Day D-CON 2023 D-CON 2023 Time MondayMarch, 6th Tuesday,March, 7th WednesdayMarch, 8th ThursdayMarch, 9th FridayMarch, 10th 08:45 &#8211; 09:00 Opening Session 09:00 &#8211; 09:30 Workshop, T1, T2, T4 &amp; Doctoral Symposium Keynote talk by &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/overall-program\/\" class=\"more-link\">Read more<span class=\"screen-reader-text\"> &#8220;Overall Program&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-63","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/63","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/comments?post=63"}],"version-history":[{"count":105,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/63\/revisions"}],"predecessor-version":[{"id":1166,"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/pages\/63\/revisions\/1166"}],"wp:attachment":[{"href":"https:\/\/fm2023.isp.uni-luebeck.de\/index.php\/wp-json\/wp\/v2\/media?parent=63"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}