Dear D-Con Participants,
the programme is now online (https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon).
We are happy to announce two invited Speakers. Heike Wehrheim will tell us something about view-based semantics and logics for weak memory models and Klaus von Gleissenthall something about the verification of security across hardware and software.
@Speakers: In order to avoid parallel sessions the schedule is relatively tight. Besides the slots for invited talks, there are 30min Slots that capture a talk of 20min and 10min for questions and 50min Slots that capture a talk of 40min and 10min for questions.
@Business Meeting: At the end of Thursday there is a 30min Slot for our Business Meeting. Since this is rather little time, we would like to collect topics for the Business Meeting beforehand. Please send all suggestions to kirstin.peters@uni-a.de. Thank you.
Best wishes, Kirstin Peters