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/06 15:41]
Thomas Meyer
organisation:sakt:2013:main_sakt [2017/08/22 10:30] (current)
Line 82: Line 82:
     * 15:30 - Presentation by Group 2 (1h) {{:​organisation:​sakt:​2013:​Group2.pdf|Slides}}     * 15:30 - Presentation by Group 2 (1h) {{:​organisation:​sakt:​2013:​Group2.pdf|Slides}}
     * 16:30 - Coffee break     * 16:30 - Coffee break
-    * 17:00 - Talk by local mentor - Renata Wassermann (30 min): "​Belief Revision in Description Logics"​+    * 17:00 - Talk by local mentor - Renata Wassermann (30 min): "​Belief Revision in Description Logics" ​{{:​organisation:​sakt:​2013:​Mentor5.pdf|Slides}}
     * 17:30 - Discussion led by local mentor - Renata Wassermann (30 min)     * 17:30 - Discussion led by local mentor - Renata Wassermann (30 min)
  
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.1391697676.txt.gz · Last modified: 2017/08/22 10:30 (external edit)