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:39]
tmeyer
organisation:sakt:2013:main_sakt [2017/08/22 10:30] (current)
Line 67: Line 67:
  
   * 8:30 - Registration   * 8:30 - Registration
-  * 9:00 - Keynote: [[http://www.inf.unibz.it/~artale/|Alessandro Artale]] (1h) +  * 9:00 - Keynote: [[http://www.inf.unibz.it/~artale/|Alessandro Artale]] (1h) {{:organisation:sakt:2013:Keynote1.pdf|Slides}} 
-  * The logic of updates, active rules, and triggers in databases {{:organisation:sakt:2013:Keynote1.pdf|Slides}}+  * The logic of updates, active rules, and triggers in databases 
     * 10:00 - Presentation by Group 3 (1h) {{:organisation:sakt:2013:Group3b.pdf|Slides (part 1)}} {{:organisation:sakt:2013:Group3a.pdf|Slides (part 2)}}     * 10:00 - Presentation by Group 3 (1h) {{:organisation:sakt:2013:Group3b.pdf|Slides (part 1)}} {{:organisation:sakt:2013:Group3a.pdf|Slides (part 2)}}
     * 11:00 - Coffee break     * 11:00 - Coffee break
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)
  
 === Thursday 30 January morning === === Thursday 30 January morning ===
  
-  * 9:00 - Keynote: [[http://www.inf.unibz.it/~calvanese/|Diego Calvanese]] (1h) +  * 9:00 - Keynote: [[http://www.inf.unibz.it/~calvanese/|Diego Calvanese]] (1h) {{:organisation:sakt:2013:Keynote2.pdf|Slides}} 
-  * Foundations and challenges in temporal and stream data {{:organisation:sakt:2013:Keynote2.pdf|Slides}}+  * Foundations and challenges in temporal and stream data 
     * 10:00 - Presentation by Group 5 (1h) {{:organisation:sakt:2013:Group5.pdf|Slides}}     * 10:00 - Presentation by Group 5 (1h) {{:organisation:sakt:2013:Group5.pdf|Slides}}
     * 11:00 - Coffee break     * 11:00 - Coffee break
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.1391697562.txt.gz · Last modified: 2017/08/22 10:30 (external edit)