[fr] Symposium on Foundations of Computer Science