Differences

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

--- organisation:sakt:2013:main_sakt [2014/02/06 14:41] – tmeyer
+++ organisation:sakt:2013:main_sakt [2017/08/22 08:30] (current) – external edit 127.0.0.1
@@ Line 82: / Line 82: @@
     * 15:30 - Presentation by Group 2 (1h) {{:organisation:sakt:2013:Group2.pdf|Slides}}
     * 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)
@@ Line 111: / Line 111: @@
     * 10:00 - Presentation by Group 8 (1h) {{:organisation:sakt:2013:Group8.pdf|Slides}}
     * 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:30 - General discussion and wrapup (1 h)