D-CON

Download

d-con@lists.rwth-aachen.de

February 2023

1 participants
2 discussions

Programme D-Con 2023
by Kirstin Peters 20 Feb '23

20 Feb '23

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(a)uni-a.de. Thank you. Best wishes, Kirstin Peters

1 0

D-Con Dinners
by Kirstin Peters 10 Feb '23

10 Feb '23

Dear Participants of D-Con, as usual we would like to organiser two informal dinners: on Wednesday March 08 and on Thursday March 09. To organise these dinners, i.e., to make a reservation, we need the rough number of people attending. Could you please send me (kirstin.peters(a)uni-a.de) a short mail with how many of you are planning to join us for dinner on Wednesday and how many of your are planning to join us for dinner on Thursday. Thank you very much. Best wishes, Kirstin

1 0