{"id":1018,"date":"2023-06-07T19:33:17","date_gmt":"2023-06-07T19:33:17","guid":{"rendered":"https:\/\/petrinets2023.deec.fct.unl.pt\/?page_id=1018"},"modified":"2023-06-07T19:33:57","modified_gmt":"2023-06-07T19:33:57","slug":"lixo","status":"publish","type":"page","link":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/lixo\/","title":{"rendered":"lixo"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1018\" class=\"elementor elementor-1018\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-8172b19 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8172b19\" 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-8ec1e8b\" data-id=\"8ec1e8b\" 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-d646ddc elementor-widget elementor-widget-text-editor\" data-id=\"d646ddc\" 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 Overview<\/h1><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\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Program Overview<\/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-1018","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/1018","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=1018"}],"version-history":[{"count":4,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/1018\/revisions"}],"predecessor-version":[{"id":1022,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/pages\/1018\/revisions\/1022"}],"wp:attachment":[{"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/media?parent=1018"}],"wp:term":[{"taxonomy":"folder","embeddable":true,"href":"https:\/\/petrinets2023.deec.fct.unl.pt\/index.php\/wp-json\/wp\/v2\/folder?post=1018"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}