Fabian Reiter now at LSV was awarded the Honorable Mention of the Gilles Kahn prize for his PhD Distributed Automata and Logic supervised by Olivier Carton at IRIF.