# Differences

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

 research:seminars:skis-play [2019/07/03 14:08]hverbeek created research:seminars:skis-play [2019/07/03 14:10] (current)hverbeek 2019/07/03 14:10 hverbeek 2019/07/03 14:08 hverbeek created 2019/07/03 14:10 hverbeek 2019/07/03 14:08 hverbeek created 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 =====