This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
organisation:sakt:2013:main_sakt [2014/01/27 10:27] 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:// | 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:// | ||
- | Information about the location and the accommodation is available at < | + | Information about the accommodation is available at < |
===== 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:// | + | * 9:00 - Keynote: [[http:// |
* The logic of updates, active rules, and triggers in databases | * The logic of updates, active rules, and triggers in databases | ||
- | * Presentations | + | * 10:00 - Presentation |
- | * Talk by local mentor - Matthias Thimm (30 min) | + | * 11:00 - Coffee break |
- | * Discussion led by local mentor - Matthias Thimm (30 min) | + | * 11:30 - Presentation by Group 4 (1h) {{: |
+ | * 12:30 - Talk by local mentor - Matthias Thimm (30 min): " | ||
+ | * 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 | + | * 14:30 - Presentation |
- | * Talk by local mentor - Renata Wassermann (30 min) | + | * 15:30 - Presentation by Group 2 (1h) {{: |
- | * Discussion led by local mentor - Renata Wassermann (30 min) | + | * 16:30 - Coffee break |
+ | * 17:00 - Talk 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 === | ||
- | * Keynote: [[http:// | + | * 9:00 - Keynote: [[http:// |
- | * Foundations and challenges in temporal and stream data | + | * Foundations and challenges in temporal and stream data |
- | * Presentations | + | * 10:00 - Presentation |
- | * 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) {{: |
+ | * 12:30 - Talk by local mentor - Liang Chang (30 min): " | ||
+ | * 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 | + | * 14:30 - Presentation |
- | * Talk by local mentor - Ivan Varzinczak (30 min) | + | * 15:30 - Presentation by Group 10 (1h) {{: |
- | * Discussion led by local mentor - Ivan Varzinczak (30 min) | + | * 16:30 - Coffee break |
+ | * 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): " | ||
+ | * 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 | + | * 9:00 - Presentation |
- | * Talk by local mentor - Daniele Theseider Dupré (30 min) | + | * 10:00 - Presentation by Group 8 (1h) {{: |
- | * 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): " |
+ | * 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 108: | Line 119: | ||
=== 1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer) === | === 1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer) === | ||
- | * Giovanni Casini, < | + | * ✔ Giovanni Casini, < |
- | * Oliver Fernandez Gil, < | + | * ✔ Oliver Fernandez Gil, < |
- | * Chiara Del Vescovo, < | + | * ✔ Chiara Del Vescovo, < |
== Bibliography == | == Bibliography == | ||
Line 120: | Line 131: | ||
=== 2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano) === | === 2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano) === | ||
- | * Adam Sanchez Ayte, < | + | * ✔ Adam Sanchez Ayte, < |
- | * Alessandro Solimando < | + | * ✔ Alessandro Solimando < |
- | * Jonathan Bona, < | + | * ✔ Jonathan Bona, < |
- | * Elmar Wach, < | + | * ✔ Elmar Wach, < |
== Bibliography == | == Bibliography == | ||
Line 133: | Line 144: | ||
=== 3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri) === | === 3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri) === | ||
- | * Yu Liu, < | + | * ✔ Yu Liu, < |
- | * Mathew Joseph, < | + | * ✔ Mathew Joseph, < |
- | * Nhung Ngo, < | + | * ✔ Nhung Ngo, < |
- | * Vadim Savenkov, < | + | * ✔ Vadim Savenkov, < |
- | * Albin Ahmeti, < | + | * ✔ Albin Ahmeti, < |
== Bibliography == | == Bibliography == | ||
Line 146: | Line 157: | ||
=== 4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo) === | === 4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo) === | ||
- | * Emanuel Sallinger, < | + | * ✔ Emanuel Sallinger, < |
- | * Thomas Ruhroth, < | + | * ✔ Thomas Ruhroth, < |
- | * Jens Bürger, < | + | * ✔ Jens Bürger, < |
- | * Antonio Lieto, < | + | * ✘ Antonio Lieto, < |
== Bibliography == | == Bibliography == | ||
Line 158: | Line 169: | ||
=== 5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle) === | === 5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle) === | ||
- | * Miguel Ceriani, < | + | * ✔ Miguel Ceriani, < |
- | * Evgeny Sherkhonov, < | + | * ✔ Evgeny Sherkhonov, < |
- | * Szymon Klarman, < | + | * ✔ Szymon Klarman, < |
== Bibliography == | == Bibliography == | ||
Line 169: | Line 180: | ||
=== 6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev) === | === 6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev) === | ||
- | * Daniele Dell’Aglio, | + | * ✔ Daniele Dell’Aglio, |
- | * Davide Lanti, < | + | * ✔ Davide Lanti, < |
- | * Fariz Darari, < | + | * ✔ Fariz Darari, < |
== Bibliography == | == Bibliography == | ||
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, < | + | * ✔ Babak Bagheri Hariri, < |
- | * Emilio Sanfilippo, < | + | * ✔ Emilio Sanfilippo, < |
- | * Emanuele Storti, < | + | * ✔ Emanuele Storti, < |
- | * Jens Kohler, < | + | * ✔ Jens Kohler, < |
- | * Raffaele Dell’Aversana, | + | * ✔ Raffaele Dell’Aversana, |
== Bibliography == | == Bibliography == | ||
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) | ||
- | | + | {{: |
- | * Robert Muthuri, < | + | {{: |
- | * Stefan Scheglmann, < | + | |
- | * Ognjen Savkovic, < | + | * ✔ Robert Muthuri, < |
- | * Laura Genga, < | + | * ✔ Stefan Scheglmann, < |
+ | * ✔ Ognjen Savkovic, < | ||
+ | * ✔ Laura Genga, < | ||
== Bibliography == | == Bibliography == | ||
Line 206: | Line 220: | ||
=== 9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara) === | === 9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara) === | ||
- | * Manuel Rodriguez, < | + | * ✔ Manuel Rodriguez, < |
- | * Alessio Antonini, < | + | * ✔ Alessio Antonini, < |
- | * Giuseppe Rizzo, < | + | * ✔ Giuseppe Rizzo, < |
== Bibliography == | == Bibliography == | ||
Line 217: | Line 231: | ||
=== 10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer) === | === 10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer) === | ||
- | * Fahad Khan, < | + | * ✔ Fahad Khan, < |
- | * Asan Agibetov, < | + | * ✔ Asan Agibetov, < |
- | * Imon Banerjee, < | + | * ✔ Imon Banerjee, < |
== Bibliography == | == Bibliography == | ||
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. {{: | * Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. {{: | ||
* Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{: | * Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{: | ||
+ | |||
+ | ===== Pictures ===== | ||
+ | |||
+ | (if you have any other picture, please send them to Ivan) | ||
+ | |||
+ | {{gallery> |