organisation:sakt:2013:main_sakt
Differences
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/28 08:54] Franconi Enrico [Program] |
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 67: | Line 67: | ||
| * 8:30 - Registration | * 8:30 - Registration | ||
| - | * 9:00 - 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 | ||
| - | * 10:00 - Presentation by Group 3 (1h) | + | * 10:00 - Presentation by Group 3 (1h) {{: |
| * 11:00 - Coffee break | * 11:00 - Coffee break | ||
| - | * 11:30 - Presentation by Group 4 (1h) | + | * 11:30 - Presentation by Group 4 (1h) {{: |
| - | * 12:30 - Talk by local mentor - Matthias Thimm (30 min): " | + | * 12:30 - Talk by local mentor - Matthias Thimm (30 min): " |
| * 13:00 - Discussion led by local mentor - Matthias Thimm (30 min) | * 13:00 - Discussion led by local mentor - Matthias Thimm (30 min) | ||
| * 13:30 - Lunch | * 13:30 - Lunch | ||
| Line 79: | Line 79: | ||
| * Ontology revisions, versioning, diffs, and non-monotonic aspects | * Ontology revisions, versioning, diffs, and non-monotonic aspects | ||
| - | * 14:30 - Presentation by Group 1 (1h) | + | * 14:30 - Presentation by Group 1 (1h) |
| - | * 15:30 - Presentation by Group 2 (1h) | + | * 15:30 - Presentation by Group 2 (1h) {{: |
| * 16:30 - Coffee break | * 16:30 - Coffee break | ||
| - | * 17:00 - Talk by local mentor - Renata Wassermann (30 min): " | + | * 17:00 - Talk by local mentor - Renata Wassermann (30 min): " |
| * 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:// | + | * 9:00 - Keynote: [[http:// |
| - | * Foundations and challenges in temporal and stream data | + | * Foundations and challenges in temporal and stream data |
| - | * 10:00 - Presentation by Group 5 (1h) | + | * 10:00 - Presentation by Group 5 (1h) {{: |
| * 11:00 - Coffee break | * 11:00 - Coffee break | ||
| - | * 11:30 - Presentation by Group 6 (1h) | + | * 11:30 - Presentation by Group 6 (1h) {{: |
| - | * 12:30 - Talk by local mentor - Liang Chang (30 min) | + | * 12:30 - Talk by local mentor - Liang Chang (30 min): " |
| * 13:00 - Discussion led by local mentor - Liang Chang (30 min) | * 13:00 - Discussion led by local mentor - Liang Chang (30 min) | ||
| * 13:30 - Lunch | * 13:30 - Lunch | ||
| Line 99: | Line 99: | ||
| * Actions representation and reasoning in ontology languages | * Actions representation and reasoning in ontology languages | ||
| - | * 14:30 - Presentation by Group 9 (1h) | + | * 14:30 - Presentation by Group 9 (1h) {{: |
| - | * 15:30 - Presentation by Group 10 (1h) | + | * 15:30 - Presentation by Group 10 (1h) {{: |
| * 16:30 - Coffee break | * 16:30 - Coffee break | ||
| - | * 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): " | + | * 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): " |
| * 17:30 - Discussion led by local mentor - Ivan Varzinczak (30 min) | * 17:30 - Discussion led by local mentor - Ivan Varzinczak (30 min) | ||
| Line 108: | Line 108: | ||
| * Modelling and reasoning with business processes and workflows | * Modelling and reasoning with business processes and workflows | ||
| - | * 9:00 - Presentation by Group 7 (1h) | + | * 9:00 - Presentation by Group 7 (1h) {{: |
| - | * 10:00 - Presentation by Group 8 (1h) | + | * 10:00 - Presentation by Group 8 (1h) {{: |
| * 11:00 - Coffee break | * 11:00 - Coffee break | ||
| - | * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min) | + | * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): " |
| * 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) | ||
| Line 203: | 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) | ||
| + | {{: | ||
| + | {{: | ||
| * ✔ Nahid Mahbub, < | * ✔ Nahid Mahbub, < | ||
| * ✔ Robert Muthuri, < | * ✔ Robert Muthuri, < | ||
| Line 236: | 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> | ||
organisation/sakt/2013/main_sakt.1390895673.txt.gz · Last modified: 2017/08/22 10:30 (external edit)
Page Tools
