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/01/27 13:42]
tmeyer
organisation:sakt:2013:main_sakt [2017/08/22 10:30] (current)
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" {{: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)
  
 ===== 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.1390826520.txt.gz · Last modified: 2017/08/22 10:30 (external edit)