We organize a workshop on “Bizarre Concurrency” in Aachen, together with Roland Meyer, Markus Müller-Olm and Heike Wehrheim. It will take place March 24th and 25th. Topic: new concurrency theory for modern memory models of microprocessors and geo-replicated data (consistency). See here for the Workshop Programme SPP.

Federico Olmedo joint our group! Federico did his PhD with Gilles Barthe in Madrid, Spain on probabilistic programs in security. He started as postdoc on the project “Automated Analysis of Probabilistic Programs”.

Our Dagstuhl Seminar on “Challenges and Trends in Probabilistic Programming” with Gilles Barthe, Andy Gordon and Annabelle McIver in April 2015, has been accepted.

Joost-Pieter Katoen has been appointed as a member of the renowned Academia Europaea (Academy of Europe), a European, non-governmental association acting as an Academy whose members are scientists and scholars who collectively aim to promote learning, education and research.

The Software Modeling and Verification Group (MOVES, moves.rwth-aachen.de) at RWTH Aachen University offers openings for several postdoctoral researchers in the area of    “Automated Analysis of Probabilistic Programs” Deadline for application: August 15, 2013. Starting dates: autumn 2013 and summer 2014. With about 38,000 students, 480 professors as well as 4,500 academic staff, RWTH Aachen […]