Information to Participants 📖

Check out the information to participants for details about your accomodation and transport.

Tentative Program Schedule 📖

Check out our tentative program on the program schedule page.

Venue Information 📽️

The 2024 SDPS Workshop will be held in Sonnerupgaard Gods, Tølløsevej 53, 4330 Hvalsø

Check out how to reach the venue by train or car on the venue information page.

Objective

The goal of the SDPS Workshop is to further integrate our section and foment collaborations across research groups. During the two days, work groups will be formed based on the interests pointed out by professors and students and each group must work towards a goal.

Scope

Topics covered by the workshop include, but are not limited to:

Algorithms, Machine Learning, and AI: Theorem proving with Isabelle/HOL, Result Diversification/Fairness when Querying Machine Learning Models, Generating *understandable* textual descriptions from formal declarative models, Cheesing the process discovery contest with ML/AI (Process discovery contest)

Business Process Management: BPM methods + HCI user studies - Effective use of clinical guidelines, BPM methods + HCI user studies - Workflow improvement for emergency call takers

Model Checking, Logic, and Formal Methods: Model checking quantum computer programs, Provability in sub-intuitionistic modal logics by model checking, Type theory - Extending type-based program synthesis with GenAI

Runtime Monitoring: Runtime monitoring of data streams and temporal patterns, Monitoring microservices through Metric First-Order Temporal (MFOTL)

Software Architecture and Data Systems: A database query language based on the relational calculus, Large-scale software architecture + Distributed DB + HCI - Denmark as Living Lab: UCPH Network, Implementation of a microservice benchmark based on a real-world use case