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
Next revision Both sides next revision
organisation:sakt:2013:main_sakt [2014/01/27 13:42]
tmeyer
organisation:sakt:2013:main_sakt [2014/02/07 13:42]
tmeyer
Line 60: Line 60:
 The research school will start at 8:30am on the 29th of January 2014 and will finish at 1pm on the 31st of January 2014, and it will take place at the [[http://maps.google.com/maps/ms?f=q&hl=en&geocode=&num=20&ie=UTF8&msa=0&msid=102778020508544394485.0004577c02a316da0e2a7&ll=46.496945,11.355615&spn=0.008715,0.020921&z=16|main University building]] of the Free University of Bozen-Bolzano, room **C2-06**.  The research school will start at 8:30am on the 29th of January 2014 and will finish at 1pm on the 31st of January 2014, and it will take place at the [[http://maps.google.com/maps/ms?f=q&hl=en&geocode=&num=20&ie=UTF8&msa=0&msid=102778020508544394485.0004577c02a316da0e2a7&ll=46.496945,11.355615&spn=0.008715,0.020921&z=16|main University building]] of the Free University of Bozen-Bolzano, room **C2-06**. 
  
-Information about the location and the accommodation is available at <http://www.inf.unibz.it/krdb/location.php>; please **[[http://www.suedtirol.info/en/Book-Your-Holiday/Search-Accomodations.html|book your accommodation]]** as soon as possible!+Information about the accommodation is available at <http://www.inf.unibz.it/krdb/location.php>; please **[[http://www.suedtirol.info/en/Book-Your-Holiday/Search-Accomodations.html|book your accommodation]]** as soon as possible!
  
 ===== Program ===== ===== Program =====
Line 66: Line 66:
 === Wednesday 29 January morning === === Wednesday 29 January morning ===
  
-  * 8:30 AM - Registration +  * 8:30 - Registration 
-  * 9:00 AM - 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    * The logic of updates, active rules, and triggers in databases 
-    * Presentations by Groups and 4 (2h+    * 10:00 - Presentation by Group (1h) {{:organisation:sakt:2013:Group3b.pdf|Slides (part 1)}} {{:organisation:sakt:2013:Group3a.pdf|Slides (part 2)}} 
-    * Talk by local mentor - Matthias Thimm (30 min): "Locking for Concurrent Transactions on Ontologies" +    * 11:00 - Coffee break 
-    * Discussion led by local mentor - Matthias Thimm (30 min)+    * 11:30 - Presentation by Group 4 (1h{{:organisation:sakt:2013:Group4.pdf|Slides}} 
 +    * 12:30 - Talk by local mentor - Matthias Thimm (30 min): "Locking for Concurrent Transactions on Ontologies" {{:organisation:sakt:2013:Mentor3.pdf|Slides}} 
 +    * 13:00 - Discussion led by local mentor - Matthias Thimm (30 min) 
 +    * 13:30 - Lunch
  
 === Wednesday 29 January afternoon === === Wednesday 29 January afternoon ===
  
   * Ontology revisions, versioning, diffs, and non-monotonic aspects   * Ontology revisions, versioning, diffs, and non-monotonic aspects
-    * Presentations by Groups and 2 (2h+    * 14:30 - Presentation by Group (1h)  
-    * Talk by local mentor - Renata Wassermann (30 min) +    * 15:30 - Presentation by Group 2 (1h{{:organisation:sakt:2013:Group2.pdf|Slides}} 
-    * Discussion led by local mentor - Renata Wassermann (30 min)+    * 16:30 - Coffee break 
 +    * 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)
  
 === Thursday 30 January morning === === Thursday 30 January morning ===
  
-  * 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 +  * Foundations and challenges in temporal and stream data  
-    * Presentations by Groups and 6 (2h+    * 10:00 - Presentation by Group (1h) {{:organisation:sakt:2013:Group5.pdf|Slides}} 
-    * Talk by local mentor - Liang Chang (30 min) +    * 11:00 - Coffee break 
-    * Discussion led by local mentor - Liang Chang (30 min)+    * 11:30 - Presentation by Group 6 (1h{{:organisation:sakt:2013:Group6.pdf|Slides}} 
 +    * 12:30 - Talk by local mentor - Liang Chang (30 min): "Temporal Dynamic Description Logic" {{:organisation:sakt:2013:Mentor1.pdf|Slides}} 
 +    * 13:00 - Discussion led by local mentor - Liang Chang (30 min) 
 +    * 13:30 - Lunch
  
 === Thursday 30 January afternoon === === Thursday 30 January afternoon ===
  
   * Actions representation and reasoning in ontology languages   * Actions representation and reasoning in ontology languages
-    * Presentations by Groups and 10 (2h+    * 14:30 - Presentation by Group (1h) {{:organisation:sakt:2013:Group9.pdf|Slides}} 
-    * Talk by local mentor - Ivan Varzinczak (30 min): "Multifarious Uncertainty in Ontologies: Where we are and where we might go" +    * 15:30 - Presentation by Group 10 (1h{{:organisation:sakt:2013:Group10.pdf|Slides}} 
-    * Discussion led by local mentor - Ivan Varzinczak (30 min)+    * 16:30 - Coffee break 
 +    * 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): "Multifarious Uncertainty in Ontologies: Where we are and where we might go" {{:organisation:sakt:2013:Mentor4.pdf|Slides}} 
 +    * 17:30 - Discussion led by local mentor - Ivan Varzinczak (30 min)
  
 === Friday 31 January morning === === Friday 31 January morning ===
  
   * Modelling and reasoning with business processes and workflows    * Modelling and reasoning with business processes and workflows 
-    * Presentations by Groups and 8 (2h+    * 9:00 - Presentation by Group (1h) {{:organisation:sakt:2013:Group7.pdf|Slides}} 
-    * Talk by local mentor - Daniele Theseider Dupré (30 min) +    * 10:00 - Presentation by Group 8 (1h{{:organisation:sakt:2013:Group8.pdf|Slides}} 
-    * Discussion led by local mentor - Daniele Theseider Dupré (30 min) +    * 11:00 - Coffee break 
-  * General discussion and wrapup (1 h) +    * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): "Compliance Verification of Business Processes with (Constraint) Answer Set Programming" 
 +    * 12:00 - Discussion led by local mentor - Daniele Theseider Dupré (30 min) 
 +  * 12:30 - General discussion and wrapup (1 h)
  
 ===== Selected Groups ===== ===== Selected Groups =====
Line 135: Line 146:
   * ✔ Yu Liu, <yl12510@imperial.ac.uk>   * ✔ Yu Liu, <yl12510@imperial.ac.uk>
   * ✔ Mathew Joseph, <mathew@fbk.eu>   * ✔ Mathew Joseph, <mathew@fbk.eu>
-  * Nhung  Ngo, <ngo@inf.unibz.it>+  * ✔ Nhung  Ngo, <ngo@inf.unibz.it>
   * ✔ Vadim Savenkov, <savenkov@dbai.tuwien.ac.at>   * ✔ Vadim Savenkov, <savenkov@dbai.tuwien.ac.at>
   * ✔ Albin Ahmeti, <albin.ahmeti@gmail.com>   * ✔ Albin Ahmeti, <albin.ahmeti@gmail.com>
Line 147: Line 158:
  
   * ✔ Emanuel Sallinger, <sallinger@dbai.tuwien.ac.at>   * ✔ Emanuel Sallinger, <sallinger@dbai.tuwien.ac.at>
-  * Thomas Ruhroth, <Thomas.Ruhroth@cs.tu-dortmund.de>+  * ✔ Thomas Ruhroth, <Thomas.Ruhroth@cs.tu-dortmund.de>
   * ✔ Jens Bürger, <jens.buerger@cs.tu-dortmund.de>   * ✔ Jens Bürger, <jens.buerger@cs.tu-dortmund.de>
   * ✘ Antonio Lieto, <lieto@di.unito.it>   * ✘ Antonio Lieto, <lieto@di.unito.it>
Line 159: Line 170:
  
   * ✔ Miguel Ceriani, <ceriani@di.uniroma1.it>   * ✔ Miguel Ceriani, <ceriani@di.uniroma1.it>
-  * Evgeny Sherkhonov, <e.sherkhonov@uva.nl>+  * ✔ Evgeny Sherkhonov, <e.sherkhonov@uva.nl>
   * ✔ Szymon Klarman, <szymon.klarman@gmail.com>   * ✔ Szymon Klarman, <szymon.klarman@gmail.com>
  
Line 180: Line 191:
 === 7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese) === === 7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese) ===
  
-  * Babak Bagheri Hariri, <bagheri@inf.unibz.it>+  * ✔ Babak Bagheri Hariri, <bagheri@inf.unibz.it>
   * ✔ Emilio Sanfilippo, <emiliosanfilippo@gmail.com>   * ✔ Emilio Sanfilippo, <emiliosanfilippo@gmail.com>
   * ✔ Emanuele Storti, <e.storti@univpm.it>   * ✔ Emanuele Storti, <e.storti@univpm.it>
Line 192: Line 203:
  
 === 8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau) === === 8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau) ===
 +(winner of the best student group award)
  
 +{{:organisation:sakt:2013:award2.jpg?200 |}}
 +{{:organisation:sakt:2013:best-award.png?nolink&100 |}}
   * ✔ Nahid Mahbub, <nahid@fbk.eu>   * ✔ Nahid Mahbub, <nahid@fbk.eu>
   * ✔ Robert Muthuri, <muthuri.r@gmail.com>   * ✔ Robert Muthuri, <muthuri.r@gmail.com>
Line 207: Line 221:
  
   * ✔ Manuel Rodriguez, <A00805445@itesm.mx>   * ✔ Manuel Rodriguez, <A00805445@itesm.mx>
-  * Alessio Antonini, <antonini@di.unito.it>+  * ✔ Alessio Antonini, <antonini@di.unito.it>
   * ✔ Giuseppe Rizzo, <giuseppe.rizzo1@uniba.it>   * ✔ Giuseppe Rizzo, <giuseppe.rizzo1@uniba.it>
  
Line 225: Line 239:
   * Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. {{:organisation:sakt:2013:19.pdf|PDF}}   * Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. {{:organisation:sakt:2013:19.pdf|PDF}}
   * Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{:organisation:sakt:2013:20.pdf|PDF}}   * Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{:organisation:sakt:2013:20.pdf|PDF}}
 +
 +===== Pictures =====
 +
 +(if you have any other picture, please send them to Ivan)
 +
 +{{gallery>organisation:sakt:2013}}
organisation/sakt/2013/main_sakt.txt · Last modified: 2017/08/22 10:30 (external edit)