Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020

Center for Perspicuous Computing – TRR 248

Saarland Informatics Campus (SIC)