{"id":74,"date":"2020-01-14T16:25:53","date_gmt":"2020-01-14T15:25:53","guid":{"rendered":"https:\/\/project.inria.fr\/syncop20\/?page_id=74"},"modified":"2022-10-13T11:32:34","modified_gmt":"2022-10-13T09:32:34","slug":"program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/syncop22\/program\/","title":{"rendered":"Program"},"content":{"rendered":"<p>Due to the pandemics, SynCoP has not take place in 2020 and 2021.<strong><br \/>\n<\/strong><\/p>\n<p><strong>SynCoP 2022 happened on April 2nd during ETAPS, in Munich (and online).<\/strong><\/p>\n<ul>\n<li>9:00-10:00 <a href=\"https:\/\/lipn.univ-paris13.fr\/~petrucci\/\">Laure Petrucci<\/a> (Universit\u00e9 Paris 13, FR)<br \/>\n<em>Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata<\/em> <a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/04\/laure.pdf\">[slides]<\/a><\/li>\n<li>10:00-10:30 Coffee break<\/li>\n<li>10:30-11:30 <a href=\"https:\/\/cispa.de\/en\/people\/swen.jacobs\">Swen Jacobs<\/a> (CISPA Helmholtz Center for Information Security, DE)<br \/>\n<em>Parameterized Verification of Global Synchronization Protocols<\/em>\u00a0<a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/10\/swen.pdf\">[slides]<\/a><em><br \/>\n<\/em><\/li>\n<li>11:30-12:30 <a href=\"http:\/\/pagesperso.ls2n.fr\/~lime-d\/\">Didier Lime<\/a> (Centrale Nantes, FR)<br \/>\n<em>Cost problems for parametric time Petri nets<\/em> <a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/04\/didier.pdf\">[slides]<\/a><\/li>\n<li>12:30-14:00 Lunch break<\/li>\n<li>14:00-15:00 <a href=\"https:\/\/sjunges.github.io\/\">Sebastian Junges<\/a> (Radboud University, NL)<br \/>\n<em>Synthesising Discrete Parameters in Probabilistic Models<\/em> <a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/04\/sebastian.pdf\">[slides]<\/a><\/li>\n<li>15:00-16:00 <a href=\"https:\/\/anthonywlin.github.io\/\">Anthony Widjaja Lin<\/a> (TU Kaiserslautern, DE)<br \/>\n<em>Regular Model Checking Revisited <\/em><a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/04\/anthony.pdf\">[slides]<\/a><em><br \/>\n<\/em><\/li>\n<li>16:00-16:30 Coffee break<\/li>\n<li>16:30-17:30 <a href=\"http:\/\/info.usherbrooke.ca\/mblondin\/\">Michael Blondin<\/a> (Universit\u00e9 de Sherbrooke, CA)<br \/>\n<em>Formal analysis of crowd systems<\/em> <a href=\"https:\/\/project.inria.fr\/syncop22\/files\/2022\/04\/michael.pdf\">[slides]<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Due to the pandemics, SynCoP has not take place in 2020 and 2021. SynCoP 2022 happened on April 2nd during ETAPS, in Munich (and online). 9:00-10:00 Laure Petrucci (Universit\u00e9 Paris 13, FR) Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata [slides] 10:00-10:30 Coffee break 10:30-11:30 Swen Jacobs\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/syncop22\/program\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1338,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-74","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/pages\/74","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/users\/1338"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/comments?post=74"}],"version-history":[{"count":40,"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/pages\/74\/revisions"}],"predecessor-version":[{"id":119,"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/pages\/74\/revisions\/119"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/syncop22\/wp-json\/wp\/v2\/media?parent=74"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}