January 2025 - D-CON - lists.rwth-aachen.de

D-Con Registration and Talks until February 07
by Kirstin Peters 05 Feb '25

05 Feb '25

Dear all, D-Con 2025 will take place *March 06 and 07 at Augsburg University* (with the usual in-official dinner March 05). To register please send a mail to lukas.bartl(a)uni-a.de with *name, address* (we need a complete postal address for the invoice), *e-mail-address, and affiliation* for each participant. We will charge a fee of *50€* per participant to provide a snack during breaks. We *welcome proposals for talks*. We favour standard student talks (20min + questions and answers) but are open to other formats (talks by groups, tutorials, etc.). To propose a talk please send an email to lukas.bartl(a)uni-a.de. Please send us your registration as well as talk proposals no later than *February 07 2025*. We are looking forward to meet you at Augsburg University. Best wishes, Kirstin

1 1

PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany)
by Emanuele D'Osualdo 30 Jan '25

30 Jan '25

Please distribute (apologies for multiple postings): ===================================== PhD/PostDoc positions in Formal Methods at the University of Konstanz (Germany) https://www.emanueledosualdo.com/research/positions/ ===================================== The newly established research group in Formal Methods, led by TT-Prof. Emanuele D’Osualdo, is looking for motivated researchers to join our team at the University of Konstanz. We have openings for: * PhD: Full time (4 years) Salary: E 13 TV-L * Postdoc: Full time (2 years + extensions) Salary: E 13 TV-L Closing date: Feb 15th (not strict) Starting date: as soon as possible Application link: https://stellen.uni-konstanz.de/jobposting/5565fce567135210cc6513eec9c509cc… Our research focuses on developing verification techniques in two main areas: * Probabilistic programs verification through the Bluebell logic [POPL'25](https://doi.org/10.1145/3704894). Research directions include: - Generalizations of the Bluebell model - Mechanization in Rocq/Iris - Applications to verification of cryptographic protocols - Automatic proof search - Extensions to handle Quantum programs * Logics and types for concurrency: - Separation Logic, Iris - Hyperproperties (based on [OOPSLA'22](https://doi.org/10.1145/3563298)) - Session types (e.g. [OOPSLA'22](https://doi.org/10.1145/3563318), [ESOP'25](https://arxiv.org/abs/2501.16977)) Outstanding people with only a partial match to these topics are encouraged to apply. As a member of our team, you will have the opportunity to contribute to state-of-the-art research and interact with high-profile international collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial, Groningen). The working language is English. The University of Konstanz is one of the eleven Universities of Excellence in Germany, and is located in the beautiful city of Constance, by Lake Constance. Please reach out to Prof. Emanuele D’Osualdo at emanuele.dosualdo(a)uni-konstanz.de for any questions. For more info: https://www.emanueledosualdo.com/research/positions/

1 0

D-Con Website and Dinner
by Kirstin Peters 16 Jan '25

16 Jan '25

Dear all, I apologise for the Spam. Unfortunately, I forgot two important information. Please also tell us with the registration *whether you want to attend the dinner* on Wednesday March 05 and/or Thursday March 06. Moreover, there is a *website* https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschun… with some useful information (e.g. Hotel, travel, ...). Please remember to send us your registration as well as talk proposals no later than *February 07 2025*. Best wishes, Kirstin

1 0