Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:seminars:skis-play [2019/07/03 14:08]
hverbeek created
research:seminars:skis-play [2019/07/03 14:10] (current)
hverbeek
Line 1: Line 1:
-{{ :siks_adv_course_poster_16_9_800_2.png?​nolink&​ |}}+{{ siks_adv_course_poster_16_9_800_2.png?​nolink&​ |}}
  
 ====== Advanced SIKS Course: Come Let’s Play  ====== ====== Advanced SIKS Course: Come Let’s Play  ======
Line 29: Line 29:
 |10:​00-11:​00\\ \\    |Visual Languages and Statecharts\\ (David Harel) | |10:​00-11:​00\\ \\    |Visual Languages and Statecharts\\ (David Harel) |
 |//​11:​00-11:​30//​ |//coffee break// ​                | |//​11:​00-11:​30//​ |//coffee break// ​                |
-|11:​30-12:​30\\ \\ |Artifact-Centric Modeling, {{:siks_lets-play-2013-artifacts-dfahland.pdf|slides}}\\ (Dirk Fahland) |+|11:​30-12:​30\\ \\ |Artifact-Centric Modeling, {{siks_lets-play-2013-artifacts-dfahland.pdf|slides}}\\ (Dirk Fahland) |
 |//​12:​30-13:​30//​ |//lunch break// ​                 | |//​12:​30-13:​30//​ |//lunch break// ​                 |
 |**13:​30-16:​30** ​    ​|**Scenarios,​ Processes, and Play-Out** | |**13:​30-16:​30** ​    ​|**Scenarios,​ Processes, and Play-Out** |
 |13:​30-14:​15\\ \\    |Scenario-Based Programing, Live Sequence Charts and Play-Out\\ (David Harel) | |13:​30-14:​15\\ \\    |Scenario-Based Programing, Live Sequence Charts and Play-Out\\ (David Harel) |
-|14:​15-15:​00\\ \\    |Replaying and conformance checking, {{:siks-lets-play-2013-conformance_checking_bvdongen.pdf|slides}}\\ (Boudewijn F. van Dongen) |+|14:​15-15:​00\\ \\    |Replaying and conformance checking, {{siks-lets-play-2013-conformance_checking_bvdongen.pdf|slides}}\\ (Boudewijn F. van Dongen) |
 |//​15:​00-15:​30//​ |//coffee break// ​                | |//​15:​00-15:​30//​ |//coffee break// ​                |
 |15:​30-16:​30\\ \\ \\ |Demos and Hands-On:\\ //Play-Out in [[http://​www.weizmann.ac.il/​mediawiki/​playgo/​index.php/​Main_Page|PlayGo]]//​\\ //Replaying and conformance checking in [[http://​www.promtools.org/​prom6/​|ProM]]//​ | |15:​30-16:​30\\ \\ \\ |Demos and Hands-On:\\ //Play-Out in [[http://​www.weizmann.ac.il/​mediawiki/​playgo/​index.php/​Main_Page|PlayGo]]//​\\ //Replaying and conformance checking in [[http://​www.promtools.org/​prom6/​|ProM]]//​ |
Line 45: Line 45:
 |10:​00-11:​00\\ \\    |Play-In, Natural language Play-In and Non-Visual Behavioral Programming\\ (David Harel) | |10:​00-11:​00\\ \\    |Play-In, Natural language Play-In and Non-Visual Behavioral Programming\\ (David Harel) |
 |//​11:​00-11:​30//​ |//coffee break// ​                | |//​11:​00-11:​30//​ |//coffee break// ​                |
-|11:​30-12:​30\\ \\ |Process Discovery, {{:siks-lets-play-2013-discovery-wvda_opt.pdf|slides}}\\ (Wil M.P. van der Aalst) |+|11:​30-12:​30\\ \\ |Process Discovery, {{siks-lets-play-2013-discovery-wvda_opt.pdf|slides}}\\ (Wil M.P. van der Aalst) |
 |//​12:​30-13:​30//​ |//lunch break// ​                 | |//​12:​30-13:​30//​ |//lunch break// ​                 |
 |**13:​30-16:​30** ​    ​|**Evolving and Improving Models** | |**13:​30-16:​30** ​    ​|**Evolving and Improving Models** |
 |13:​30-14:​30\\ \\    |Additional Topics in Behavioral Programming:​ Learning, Fuzziness, Patching, Verification\\ (David Harel) | |13:​30-14:​30\\ \\    |Additional Topics in Behavioral Programming:​ Learning, Fuzziness, Patching, Verification\\ (David Harel) |
 |//​14:​30-15:​00//​ |//coffee break// ​                | |//​14:​30-15:​00//​ |//coffee break// ​                |
-|15:​00-16:​30\\ \\    | Declarative Process Modeling, {{:siks_lets-play-2013-declarative_process_modeling-cstahl_dfahland.pdf|slides}}\\ Operational Support, {{:siks_lets-play-2013-operational-support-wvda.pdf|slides}}\\ (Dirk Fahland, Wil M.P. van der Aalst) |+|15:​00-16:​30\\ \\    | Declarative Process Modeling, {{siks_lets-play-2013-declarative_process_modeling-cstahl_dfahland.pdf|slides}}\\ Operational Support, {{siks_lets-play-2013-operational-support-wvda.pdf|slides}}\\ (Dirk Fahland, Wil M.P. van der Aalst) |
  
 ===== Reading Material ===== ===== Reading Material =====