Deprecated: Return type of WP_Theme::offsetExists($offset) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php on line 554

Deprecated: Return type of WP_Theme::offsetGet($offset) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php on line 595

Deprecated: Return type of WP_Theme::offsetSet($offset, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php on line 535

Deprecated: Return type of WP_Theme::offsetUnset($offset) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php on line 544

Deprecated: Return type of WP_REST_Request::offsetExists($offset) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-request.php on line 960

Deprecated: Return type of WP_REST_Request::offsetGet($offset) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-request.php on line 980

Deprecated: Return type of WP_REST_Request::offsetSet($offset, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-request.php on line 992

Deprecated: Return type of WP_REST_Request::offsetUnset($offset) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-request.php on line 1003

Deprecated: Return type of WP_Block_List::current() should either be compatible with Iterator::current(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 151

Deprecated: Return type of WP_Block_List::next() should either be compatible with Iterator::next(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 175

Deprecated: Return type of WP_Block_List::key() should either be compatible with Iterator::key(): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 164

Deprecated: Return type of WP_Block_List::valid() should either be compatible with Iterator::valid(): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 186

Deprecated: Return type of WP_Block_List::rewind() should either be compatible with Iterator::rewind(): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 138

Deprecated: Return type of WP_Block_List::offsetExists($index) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 75

Deprecated: Return type of WP_Block_List::offsetGet($index) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 89

Deprecated: Return type of WP_Block_List::offsetSet($index, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 110

Deprecated: Return type of WP_Block_List::offsetUnset($index) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 127

Deprecated: Return type of WP_Block_List::count() should either be compatible with Countable::count(): int, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-block-list.php on line 199

Deprecated: Return type of Requests_Cookie_Jar::offsetExists($key) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Cookie/Jar.php on line 63

Deprecated: Return type of Requests_Cookie_Jar::offsetGet($key) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Cookie/Jar.php on line 73

Deprecated: Return type of Requests_Cookie_Jar::offsetSet($key, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Cookie/Jar.php on line 89

Deprecated: Return type of Requests_Cookie_Jar::offsetUnset($key) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Cookie/Jar.php on line 102

Deprecated: Return type of Requests_Cookie_Jar::getIterator() should either be compatible with IteratorAggregate::getIterator(): Traversable, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Cookie/Jar.php on line 111

Deprecated: Return type of Requests_Utility_CaseInsensitiveDictionary::offsetExists($key) should either be compatible with ArrayAccess::offsetExists(mixed $offset): bool, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Utility/CaseInsensitiveDictionary.php on line 40

Deprecated: Return type of Requests_Utility_CaseInsensitiveDictionary::offsetGet($key) should either be compatible with ArrayAccess::offsetGet(mixed $offset): mixed, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Utility/CaseInsensitiveDictionary.php on line 51

Deprecated: Return type of Requests_Utility_CaseInsensitiveDictionary::offsetSet($key, $value) should either be compatible with ArrayAccess::offsetSet(mixed $offset, mixed $value): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Utility/CaseInsensitiveDictionary.php on line 68

Deprecated: Return type of Requests_Utility_CaseInsensitiveDictionary::offsetUnset($key) should either be compatible with ArrayAccess::offsetUnset(mixed $offset): void, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Utility/CaseInsensitiveDictionary.php on line 82

Deprecated: Return type of Requests_Utility_CaseInsensitiveDictionary::getIterator() should either be compatible with IteratorAggregate::getIterator(): Traversable, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice in /home/agile2019/agile-group.org/iwbose2022/wp-includes/Requests/Utility/CaseInsensitiveDictionary.php on line 91

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Deprecated: ltrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/agile2019/agile-group.org/iwbose2022/wp-includes/wp-db.php on line 3030

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673

Warning: Cannot modify header information - headers already sent by (output started at /home/agile2019/agile-group.org/iwbose2022/wp-includes/class-wp-theme.php:9) in /home/agile2019/agile-group.org/iwbose2022/wp-includes/rest-api/class-wp-rest-server.php on line 1673
{"id":76,"date":"2015-04-29T13:17:46","date_gmt":"2015-04-29T13:17:46","guid":{"rendered":"http:\/\/agile.diee.unica.it\/wetsom2015\/?page_id=76"},"modified":"2022-03-18T09:10:49","modified_gmt":"2022-03-18T09:10:49","slug":"program","status":"publish","type":"page","link":"https:\/\/www.agile-group.org\/iwbose2022\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

Workshop Program
\n<\/strong><\/h2>\n

March 18 2022<\/h2>\n

 <\/p>\n

The workshop will be held on March 18th 2022.<\/h4>\n

Speakers will have 15 minutes for the talk + 5 minutes for answering questions<\/h4>\n

The link for the event on zoom will be provided for people not attending the conference<\/h4>\n

 <\/p>\n


\n

<\/h2>\n

Schedule:<\/strong><\/h4>\n

The time schedule refers to\u00a0 EU Central time.<\/h4>\n

14:00 -14:10\u00a0\u00a0\u00a0\u00a0 Welcome<\/span> to the 5th edition of IWBOSE<\/strong><\/h4>\n\n\n\n\n\n<\/tr>\n\n<\/tr>\n\n\n\n\n\n<\/tr>\n\n
<\/td>\n14:10 – 14:30<\/td>\nHenrique Rocha and John Businge<\/p>\n

Blockchain-Oriented Software Variant Forks: A Preliminary Study.<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n14:30 – 14:50<\/td>\nGiuseppe Antonio Pierro and Andy Amoordon<\/p>\n

A Tool to check the Ownership of Solana\u2019s Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n14:50 – 15:10<\/td>\nJihyeon Kim, Dahyeon Jeong, Jisoo Kim and Eun-Sun Cho<\/p>\n

Stone: A Privacy Policy Enforcement System for Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n15: 10 – 15:30<\/td>\nAndrea Pinna and Roberto Tonelli<\/p>\n

On the use of Petri nets in Smart Contracts modeling, generation, and verification<\/em>.<\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n\n

15:30 – 15:40
\n<\/strong><\/span><\/h3>\n<\/td>\n

\n

Coffee break
\n<\/strong><\/span><\/h3>\n<\/td>\n<\/tr>\n

<\/td>\n15: 40 – 16:00<\/td>\nGiacomo Francesco Ibba and Marco Ortu<\/p>\n

Analysis Of The Relationship Between Smart Contracts\u2019 Categories and Vulnerabilities<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n16:00 – 16:20<\/td>\nGiuseppe Antonio Pierro and Roberto Tonelli<\/p>\n

Can Solana be the Solution to the Blockchain Scalability Problem?<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n16:20 – 16:40<\/td>\nKonstantinos Tsiounis and Kostas Kontogiannis<\/p>\n

Goal and Policy Based Code Generation and Deployment of Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n16:40- 17:00<\/td>\nMaria Ilaria Lunesu, Alessandro Floris, Raimondo Cossu and Marco Uras:<\/p>\n

A Blockchain-based Data Notarization System for Smart Mobility Services<\/em><\/h4>\n<\/td>\n<\/tr>\n

<\/td>\n\n

17:00 – 17:10 Concluding remarks<\/span><\/strong><\/h3>\n<\/td>\n

\n

Concluding remarks<\/span><\/strong><\/h3>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

\u00a0\u00a0 <\/a><\/p>\n

 <\/p>\n

 <\/p>\n

 <\/p>\n

<\/h4>\n

<\/h4>\n

<\/h4>\n

<\/h4>\n

<\/h4>\n

<\/h4>\n

<\/h4>\n

 <\/p>\n

<\/h4>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Workshop Program March 18 2022   The workshop will be held on March 18th 2022. Speakers will have 15 minutes for the talk + 5 minutes for answering questions The link for the event on zoom will be provided for people not attending the conference   Schedule: The time schedule refers to\u00a0 EU Central time. […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/pages\/76"}],"collection":[{"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/comments?post=76"}],"version-history":[{"count":67,"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/pages\/76\/revisions"}],"predecessor-version":[{"id":418,"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/pages\/76\/revisions\/418"}],"wp:attachment":[{"href":"https:\/\/www.agile-group.org\/iwbose2022\/wp-json\/wp\/v2\/media?parent=76"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}