Comeback of formal methods: The keynotes of ReConf 2018
ReConf 2018 has come to an end. Once again, it was two exciting days with good encounters and interesting discussions. In addition to the keynotes, I was unfortunately only able to attend one of the presentations that I would have liked to have seen. So here is the mood and a brief summary of the three keynotes. To anticipate: I was particularly pleased that...

