User Tools

Site Tools


organisation:sakt:2013:main_sakt

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
organisation:sakt:2013:main_sakt [2014/02/07 13:42]
tmeyer
organisation:sakt:2013:main_sakt [2017/08/22 10:30] (current)
Line 111: Line 111:
     * 10:00 - Presentation by Group 8 (1h) {{:organisation:sakt:2013:Group8.pdf|Slides}}     * 10:00 - Presentation by Group 8 (1h) {{:organisation:sakt:2013:Group8.pdf|Slides}}
     * 11:00 - Coffee break     * 11:00 - Coffee break
-    * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): "Compliance Verification of Business Processes with (Constraint) Answer Set Programming"+    * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): "Compliance Verification of Business Processes with (Constraint) Answer Set Programming" {{:organisation:sakt:2013:Mentor2.pdf|Slides}}
     * 12:00 - Discussion led by local mentor - Daniele Theseider Dupré (30 min)     * 12:00 - Discussion led by local mentor - Daniele Theseider Dupré (30 min)
   * 12:30 - General discussion and wrapup (1 h)   * 12:30 - General discussion and wrapup (1 h)
organisation/sakt/2013/main_sakt.txt · Last modified: 2017/08/22 10:30 (external edit)