The papers in these proceedings were presented at the 61st Annual IEEE Symposium on the Foundations of Computer Science, which was held on November 16-19, 2020, through a virtual format. The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
展开▼