Wednesday, September 4

9.00 - 9.30           Opening Remarks
9.30 - 10.30         Keynote 1: Contracts for Trustworthy Autonomous System Design
                               Pierluigi Nuzzo, University of California, Berkeley, USA
10.30 - 11.00        Coffee Break
11.00 - 12.00      Session 1: Verification
                               1. Daniele Nicoletti, Samuele Germiniani, and Graziano Pravadelli
                                   Mining signal temporal logic specifications for hybrid systems
                               2. Philippe Ledent, Radu Mateescu, and Wendelin Serwe
                                   Improving PSS Test Generation: Using Model Checking and Conformance Testing                                                                                            

12.00 - 13.30        Lunch

13.30 - 15.00      Session 2: Model-based Design Languages
                               1. Julian Robledo, Christian Menard, Erling Jellum, Edward A. Lee, and Jeronimo Castrillon
                                   Timing enclaves for performance in Lingua Franca
                               2. Rui Chen and  Ingo Sander
                                   A Quantitative Type Approach to Formal Component-Based System Design 
                               3. Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, and George Ungureanu
                                   Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations

15.00 - 15.30        Coffee Break
15.30 - 16.30      Tutorial: Developing Tools for Modeling and Simulation Languages
                               Adrian Pop, Research Engineer, Linköping University, Sweden
18.00 - 20.00       Welcome Reception (R1 – Reactor Hall)

Thursday, September 5

9.00 - 10.00         Keynote 2: Four Languages for Portability
                               Fredrik Kjolstad, Stanford University, USA
10.00 - 10.30        Coffee Break
10.30 - 11.15       Panel
11.15 - 12.30       Lightning Talks and Poster Session (PhD Forum and WiP)

12.30 - 13.30         Lunch and Poster Session Continuation

13.30 - 15.00       Special Session: Open-Source Silicon and EDA
                               Stefan Wallentowitz, Munich University of Applied Sciences, Germany
                               Sergei Andreev, IHP Innovations for High Performance Microelectronics, Germany
                               Frans Skarman, Linköping University, Sweden
                               Rihards Novickis, Institute of Electronics and Computer Science, Latvia
15.00 - 15.30        Coffee Break

15.30 - 17.00       Session 3: Design Optimization and Exploration
                               1. Lucas Klemmer and Daniel Grosse
                                   An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs
                               2. Hokeun Kim, Younghyun Kim, and Hoeseok Yang
                                   Platform Design for Privacy-Preserving Federated Learning using Homomorphic Encryption
                               3. Rodolfo Jordao, Fahimeh Bahrami, Yu Yang, Kathrin Rosvall, Matthias Becker,  and Ingo Sander
                                   Multi-objective preference-free exact design space exploration of static DSP on multicore platforms

17.00 - 19.00        Moving to social event and optional Stockholm sightseeing
19.00 -                  Social event and dinner (Private tour at the Vasa Museum)
 

Friday, September 6

9.00 - 10.00         Keynote 3: Verified Compilation for Model-Based Design
                               Timothy Bourke, Inria, École Normale Supérieure (ENS), and École Polytechnique, France  
10.00 - 10.30         Coffee Break
10.30 - 12.00       Session 4: Smart System Design
                                1. Luigi Capogrosso, Enrico Fraccaroli, Giulio Petrozziello, Francesco Setti, Samarjit Chakraborty, Franco Fummi, and Marco Cristani
                                    Enhancing Split Computing and Early Exit Applications through Predefined Sparsity
                                2. Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, and Franco Fummi
                                    Cross-domain Analog Fault Injection for Designing Robust Smart Systems
                                3. Francesco Tosoni, Muhammad Ihtisham Amin, Nicola Dall'Ora, Enrico Fraccaroli, and Franco Fummi
                                    Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective
12.00 - 13.00         Lunch

13.00 - 14.00       Closing remarks and Best Paper Awards