Seminar Programme
As usual, the technical programme was created and updated dynamically during the conference.
Monday 18/Nov/24
| 08:00 - 09:00 | Registration & Welcome | |
| 09:00 - 10:00 | Invited Talk: Jean-Baptiste Jeannin | Synchronous Programming with Refinement Types |
| 10:00 - 10:30 | Erwan Jahier, Pascal Raymond | Lustre Multi-tasks |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:45 | Reinhard von Hanxleden, Alexander Schulz-Rosengarten, Jette Petzold | Three Generations of Steam Boiler Models in SCCharts(7.1 MB) |
| 11:45 - 12:30 | Manuel Serrano, Robby Findler | The Functional, the Imperative, and the Sudoku |
| 13:00 - 14:30 | LUNCH | |
| 15:00 - 15:45 | Rui Chen | Towards Coherent Semantics: A Quantitatively Typed EDSL for Synchronous System Design(2.3 MB) |
| 15:45 - 16:30 | Beno?t Caillaud | Fault Diagnosability Analysis of Multi-mode Systems(8.1 MB) |
| 16:30 - 17:00 | Coffee break | |
| 17:00 - 17:45 | Marc Pouzet | Forward: an Array Iteration in a Stream Language or Iterating in Space with an Iteration in Time(563.0 KB) |
| 19:00 - 22:00 | Informal Welcome Reception (AULA) |
Tuesday 19/Nov/24
| 09:00 - 10:00 | Invited Talk: Romain Michon | Evolution of Real-Time Audio Signal Processing Through the Lens of Timing and Synchronicity |
| 10:00-10:30 | Bruno Ferres, Pascal Raymond | A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:45 | Logan Kenwright | The Case for a Latency-aware Synchronous Language for Distributed Systems (Timetide) |
| 11:45 - 12:30 | Partha Roop | Safe Reinforcement Learning of Autonomous Systems using Run-time Enforcement |
| 13:00 - 14:30 | LUNCH | |
| 14:30 - 15:15 | Kees Goossens | A Real-Time Deterministic Multicore Platform and Its Modelling(10.6 MB) |
| 15:15 - 16:00 | Jiawei Chen | Towards a Refinement Type System for Hybrid Synchronous Program Verification |
| 16:00 - 16:30 | Coffee break | |
| 16:30 - 17:15 | Fahimeh Bahrami | Behavioral-Level Exploration through Automatic Pattern Identification and Rule-Based Transformations |
| 17:15 - 18:00 | Aron Jeremiah (University of Auckland) | To Dose or Not to Dose: An exploration on the impacts of Micro-dosing LSD on Sleep |
Wednesday 20/Nov/24
| 09:00 - 10:00 | Invited Talk: Koen Claessen
| Combining Functional Reactive Programming and Lustre(2.2 MB) |
| 10:00 - 10:30 | Paul Jeanmaire | |
| 10:30 - 11:00 | Timothy Bourke | An attempt at multithreading via integer linear programming for rate-synchronous Lustre(432.3 KB) |
| 11:30 - 13:00 | LUNCH | |
| 13:00 - 19:00 | OUTING, FIELD TRIP | |
| 20:00-22:30 | SOCIAL DINNER | Restaurant Brudermühle, Schranne 1, 96049 Bamberg |
Thursday 21/Nov/24
| 08:30 - 10:45 | Guided Tour Concert Hall; Admission to Rehearsal of Bamberg Symphony Orchestra ; Free Co-Working at AULA/Dominican Church | |
| 11:15-12:00 | Claude Stolze, Michael Mendler | Encoding Esterel in Synpatick(463.9 KB) |
| 12:00-12:30 | Luigi Liquori | Forging Labels in Synpatick |
| 12:30 - 14:00 | LUNCH | |
| 14:45 - 15:30 | Grégoire Bussone | Reducing copies in a Lustre-like language with arrays(264.3 KB) |
| 15:30 - 16:15 | Kees Goossens | CompSoc Demo |
| 16:15 - 16:45 | Coffee break | |
| 16:45 - 17:15 | Nathan Allen (The University of Auckland / Auckland University of Technology) | Synchronous Execution and Verification of Spiking Neural Networks |
| 17:15 - 18:00 | Sobhan Chatterjee (University of Auckland) | Exploring Policy-based training and enforcement of Compositional Neural Networks(2.0 MB) |
| 18:00 - 18:30 | Jean-Baptiste Jeannin | What is a Zero-Crossing? |
Friday 22/Nov/24
| 09:00 - 09:45 | Marc Pouzet | Causality analysis: A type-based representation(389.3 KB) |
| 09:45 - 10:30 | Koen Claessen | Developing the semantics of the new programming language Verse for games and proofs, using a rewrite system |
| 10:30 - 11:00 | Coffee break
| |
| 11:00 - 12:15 |
| Open Discussion & Coworking |
| 12:15 - 12:30 | Closing & Farewell | |
| 12:30-13:00 | LUNCH |
Invited Talks
Bamberger Katalog (Universit?tsbibliothek)FIS (Forschungsinformationssystem) FlexNow2 für Studierende FlexNow2 für Mitarbeitende Intranet Office 365 Online-Dienste
(Studierendenkanzlei) UnivIS Uni-Webmail:
https://mailex.uni-bamberg.de
https://o365.uni-bamberg.de Virtueller Campus
(Studierendenkanzlei)
https://mailex.uni-bamberg.de
https://o365.uni-bamberg.de