SeReCo Summer Workshop 2023
We invite you to join the Summer Workshop 2023 of the Doctoral College for Semantics, Reasoning and Coordination.
The Workshop will be hosted on 17th and 18th of July 2023 in Waischenfeld, Germany, and is open to all PhD students of the participating organizations:
- Ecole des Mines Saint-Étienne
- Friedrich-Alexander-Universität Erlangen-Nürnberg
- Université Jean Monnet Saint-Étienne
- Karlsruhe Institute of Technology (KIT)
- Universität St. Gallen
Dates
-
April 30: Submission of Extended Abstracts -
May 05: Reviews are given out -
May 28: Review deadline -
May 29: Notification of authors - July 17 and 18: SeReCo Summer Workshop 2023
You are welcome to arrive on Sunday, July 16, in the afternoon as our workshop starts on Monday morning. If you choose to do so, you are invited to join our social gathering / hike on Sunday evening, see programm below.
Keynote
We are excited to announce Brian Logan as keynote speaker for SeReCo 2023.
Title: Synthesising Provably Correct Programs for Cyber-Physical Systems
Abstract: In this talk, I will present some recent work on the synthesis of provably correct programs for autonomous cyber-physical systems. I will explain how behaviour specifications and cyber-physical resources, such as robots, can be formalised, and describe a technique for synthesising a program capable of orchestrating the behaviours of the resources to realise the desired behaviour. Critically, the synthesised program is (provably) correct by construction, and able to realise all instantiations of the desired behaviour.
Location
The workshop is located at Forschungscampus Waischenfeld, Fraunhofer-Institut für Integrierte Schaltungen: Vorstadt 21 in 91344 Waischenfeld (Germany). You can find further information in English as well as a map on how to get to Waischenfeld in the Forschungscampus Waischenfeld flyer.
We recommend you to take a taxi, e.g. if you arrive via Nuremberg main railway station, as public transportation to Waischenfeld can take very long. Don’t hesitate to form a group with other participants via our mailing list: project-sereco-students@lists.fau.de
Local organization
- Michael Freund, Friedrich-Alexander-Universität Erlangen-Nürnberg, Fraunhofer Institute for Integrated Circuits IIS
- Sebastian Schmid, Friedrich-Alexander-Universität Erlangen-Nürnberg
- Daniel Schraudner, Friedrich-Alexander-Universität Erlangen-Nürnberg
Program
Note: The PDFs are password-protected. All registered participants should have received the password via E-Mail.
The presentations time slots will be 20 min presentation + 10 min for questions.
| Sunday (July 16, 2023) | |
|---|---|
| 17:00 |
Social Event: we plan to hike together to Held brewery in Oberailsfeld (about 60 min each direction) Our meeting point will be in front of the main entrance of Forschungscampus Waischenfeld (Chair: Daniel Schraudner) |
| Monday (July 17, 2023) | |
|---|---|
| 09:00 | Opening Session (Chairs: Michael Freund, Daniel Schraudner) |
| 09:15 |
FB15k-CVT: A Challenging Dataset for Knowledge Graph Embedding Models Mouloud Iferroudjene (Chair: Andreas Harth) Paper Slides |
| 09:45 |
A Natural Language Interface for IoT Systems using the Web of Things Specification Zhou Gui (Chair: Andreas Harth) Paper Slides |
| 10:15 | Coffee Break |
| 10:30 |
Distributed Complex Event Detection with Resource-oriented Stream Containers Daniel Schraudner (Chair: Andreas Harth) Paper Slides |
| 11:00 | Keynote (Speaker: Brian Logan) (Chair: Andreas Harth) Slides |
| 12:00 | Lunch |
| 13:00 |
Enable Decentralised Semantic Content Negotiation through Equivalence Links Yousouf Taghzouti (Chair: Tobias Käfer) Paper Slides |
| 13:30 |
Towards Safety Verification for Web of Things Systems Justus Fries (Chair: Tobias Käfer) Paper Slides |
| 14:00 |
Towards Sharing and Retrieving Product Carbon Footprint Data Along Supply Chain Graphs Using Decentralized Linked Data Daniel Henselmann (Chair: Tobias Käfer) Paper Slides |
| 14:30 |
Discussions in Breakout Groups: "Academic Speed Dating", Session 1 (Chair: Michael Freund) The impact and relation of my research to the field of [Semantics | Reasoning | Coordination]." |
| 15:30 | Coffee Break |
| 16:00 | Group Photo (at main entrance) |
| 16:05 | Discussions in Breakout Groups: "Academic Speed Dating", Session 2 (Chair: Michael Freund) |
| 17:00 | Break |
| 18:00 | Dinner |
| 19:00 | Social Event: Pub Quiz (Chair: Michael Freund, Daniel Schraudner) |
| Tuesday (July 18, 2023) | |
|---|---|
| 09:00 |
A RESTful Read-Write Linked Data WoT Mediator for Enhanced IoT Data Interoperability Michael Freund (Chair: Thamer Mecharnia) Paper Slides |
| 09:30 |
A hybrid approach of semantic modeling and co-simulation for a better consideration of physical phenomena in a smart building. Zehor Hounas (Chair: Thamer Mecharnia) Paper Slides |
| 10:00 | Coffee Break |
| 10:30 |
Poster Session (Chair: Thamer Mecharnia)
|
| 12:00 | Lunch |
| 13:00 |
Discussions in Breakout Groups: Ad-hoc Demos and open discussion (Chair: Michael Freund) |
| 15:00 | Closing Session (Chairs: Michael Freund, Daniel Schraudner) |
| 15:15 | End |
Call for Extended Abstracts (closed)
We invite you to submit Extended Abstracts of your work for the Summer Workshop 2023 of the Doctoral College for Semantics, Reasoning and Coordination.
Submission (closed)
- Please submit an Extended Abstract for presentations as well as for posters (or both if you registered for both)
- Your Extended Abstract must be written in English and not exceed two pages (excluding references)
- Submissions must be in PDF, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer’s Author Instructions.
- Submission is done through EasyChair.
Review (closed)
We plan to do a single-blind review process among the participants as an exercise. We will assign two Extended Abstracts for every participant to review.
The review criteria are:
- Clarity of the problem statement
- Suitability of the proposed approach
- Soundness
- Quality of preliminary results (if any)
- Structure and style of the paper
Publication
We will publish your Extended Abstracts on this website.