{"id":954,"date":"2023-04-21T14:51:48","date_gmt":"2023-04-21T14:51:48","guid":{"rendered":"https:\/\/petrinets2023.deec.fct.unl.pt\/?page_id=954"},"modified":"2023-06-25T23:25:00","modified_gmt":"2023-06-25T23:25:00","slug":"program","status":"publish","type":"page","link":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"954\" class=\"elementor elementor-954\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-99a470f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"99a470f\" data-element_type=\"section\">\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-b16bdb8\" data-id=\"b16bdb8\" 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-85140aa elementor-widget elementor-widget-text-editor\" data-id=\"85140aa\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.13.2 - 11-05-2023 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#69727d;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#69727d;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<h1>Program<\/h1>\t\t\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f8adb90 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f8adb90\" data-element_type=\"section\">\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-09c1deb\" data-id=\"09c1deb\" 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-e1ce17d elementor-align-center elementor-widget elementor-widget-button\" data-id=\"e1ce17d\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/wp-content\/uploads\/2023\/06\/PetriNets2023_Program_v08.pdf\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Click here to download the Main Conference Program<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-4fc15e6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4fc15e6\" data-element_type=\"section\">\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-034c4eb\" data-id=\"034c4eb\" 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-9a24b93 elementor-widget elementor-widget-text-editor\" data-id=\"9a24b93\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p>\n<table id=\"tablepress-4\" class=\"tablepress tablepress-id-4\">\n<thead>\n<tr class=\"row-1 odd\">\n\t<th class=\"column-1\">Sunday <br \/>\n25 June<\/th><th class=\"column-2\">Monday <br \/>\n26 June<\/th><th class=\"column-3\">Tuesday <br \/>\n27 June<\/th><th class=\"column-4\">Wednesday <br \/>\n28 June<\/th><th class=\"column-5\">Thursday <br \/>\n29 June<\/th><th class=\"column-6\">Friday <br \/>\n30 June<\/th><th class=\"column-7\">Saturday<br \/>\n1 July<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-hover\">\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/course-and-tutorials\/#basic\">Tutorial<\/a>: <br \/>\nBasic net classes<br \/>\n9:00-12:30<br \/>\nRoom: 110 at building IV<\/td><td class=\"column-2\"><a href=\"http:\/\/gres.uninova.pt\/pn4tt2023\/\" rel=\"noopener\" target=\"_blank\">PN4TT<\/a><br \/>\n14:00-17:30<br \/>\nRoom: 204 at building IV<br \/>\n<a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/wp-content\/uploads\/2023\/06\/PN4TT2023_Program_v01.pdf\" rel=\"noopener\" target=\"_blank\">(program)<\/a><\/td><td class=\"column-3\"><a href=\"https:\/\/www.informatik.uni-hamburg.de\/TGI\/events\/pnse\/index.html\/\" rel=\"noopener\" target=\"_blank\">PNSE<\/a><br \/>\n9:00-18:00<br \/>\nRoom: 204 at building IV<br \/>\n<a href=\"http:\/\/www.informatik.uni-hamburg.de\/TGI\/events\/pnse23\/pnse23-program-preview.pdf\" rel=\"noopener\" target=\"_blank\">(program)<\/a><\/td><td class=\"column-4\">Main Conference<br \/>\n9:00-18:00<br \/>\nRoom: 204 at building IV<\/td><td class=\"column-5\">Main Conference<br \/>\n9:00-16:30<br \/>\nRoom: 204 at building IV<\/td><td class=\"column-6\">Main Conference<br \/>\n9:30-15:30<br \/>\nRoom: 204 at building IV<\/td><td class=\"column-7\">Rock-climbing<br \/>\n9:00-18:00<br \/>\n(registration required)<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/course-and-tutorials\/#coloured\">Tutorial<\/a>: <br \/>\nColoured Petri nets and the CPN Tools<br \/>\n13:30-17:00<br \/>\nRoom: 110 at building IV<\/td><td class=\"column-2\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/course-and-tutorials\/\">Tutorial<\/a>:  <br \/>\nVerification and model checking of Petri Nets<br \/>\n9:00-12:30<br \/>\nRoom: 110 at building IV<\/td><td class=\"column-3\"><a href=\"https:\/\/www.fernuni-hagen.de\/ataed\/ataed2023\/\" rel=\"noopener\" target=\"_blank\">ATAED<\/a><br \/>\n11:00-17:30<br \/>\nRoom: 203 at building IV<br \/>\n<a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/wp-content\/uploads\/2023\/06\/ataed2023program.pdf\" rel=\"noopener\" target=\"_blank\">(program)<\/a><\/td><td class=\"column-4\">Departure to welcome reception<br \/>\n18:00<\/td><td class=\"column-5\">GI meeting<br \/>\n16:30-18:00<br \/>\nRoom: 204 at building IV<\/td><td class=\"column-6\"><\/td><td class=\"column-7\"><\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\"><\/td><td class=\"column-2\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/course-and-tutorials\/\">Tutorial<\/a>: <br \/>\nTimed and Stochastic Petri nets<br \/>\n14:00-17:30<br \/>\nRoom: 110 at building IV<\/td><td class=\"column-3\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/course-and-tutorials\/\">Tutorial<\/a>: <br \/>\nPetri nets-driven design of controllers for cyber-physical systems<br \/>\n9:00-17:30<br \/>\nRoom: 110 at building IV<\/td><td class=\"column-4\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/welcome-reception\/\">Welcome reception at Fragata<\/a><br \/>\n18:30<\/td><td class=\"column-5\">1st ATPN Padel Tournement<br \/>\n16:30-18:00<br \/>\n(registration required)<\/td><td class=\"column-6\"><\/td><td class=\"column-7\"><\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\"><\/td><td class=\"column-2\"><\/td><td class=\"column-3\">Discussions about the model checking contest<br \/>\n14:00-15:30<br \/>\nRoom: 112 at building IV<\/td><td class=\"column-4\"><\/td><td class=\"column-5\"><a href=\"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/dinner\/\">Dinner<\/a><br \/>\n19:30<\/td><td class=\"column-6\"><\/td><td class=\"column-7\"><\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\"><\/td><td class=\"column-2\"><\/td><td class=\"column-3\">SC meeting (by invitation)<br \/>\n17:30-18:30<br \/>\nRoom: 112 at building IV<\/td><td class=\"column-4\"><\/td><td class=\"column-5\"><\/td><td class=\"column-6\"><\/td><td class=\"column-7\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-4 from cache --><\/p>\t\t\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-63c306e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"63c306e\" data-element_type=\"section\">\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-b32d497\" data-id=\"b32d497\" 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-e99c07b elementor-widget elementor-widget-text-editor\" data-id=\"e99c07b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\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\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Program Click here to download the Main Conference Program<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"folder":[],"class_list":["post-954","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/954","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/comments?post=954"}],"version-history":[{"count":41,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/954\/revisions"}],"predecessor-version":[{"id":1436,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/954\/revisions\/1436"}],"wp:attachment":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/media?parent=954"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/folder?post=954"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}