Redirecting to STACS: Symposium on theoretical aspects of computer science