The Coq mailing list

[Delphine Demange <delphine.demange AT irisa.fr>]

ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)
Co-located with CGO, HPCA and PPoPP
Sat 27 February - Wed 3 March 2021
https://conf.researchr.org/home/CC-2021

The International Conference on Compiler Construction (CC) is
interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system
operates, including traditional compiler construction as a special
case.

CC 2021 is the 30th edition of the conference. CC is now an ACM
SIGPLAN conference, and implements guidelines and procedures
recommended by SIGPLAN (https://www.sigplan.org).

IMPORTANT INFORMATION

Registration is now open! 
CC Conference date : 2-3 March 2021

CC 2021 will be held virtually and co-located with CGO, PPoPP, and
HPCA, on the Whova platform. Any person registering for CC can attend
any of the co-located workshops and conferences.

Register for the conference at:
https://conf.researchr.org/attending/CC-2021/registration

PROGRAM and VENUE INFORMATION

List of Accepted Papers:
https://conf.researchr.org/track/CC-2021/cc-research-papers#event-overview

Program:
https://conf.researchr.org/track/CC-2021/cc-research-papers#program

For more information, please visit the CC 2021 conference web site at:
https://conf.researchr.org/home/CC-2021

SPONSORS AND SUPPORTERS

ACM - Association for Computing Machinery
SIGPLAN - ACM Special Interest Group on Programming Languages
The University of Edinburgh, School of Informatics
ICSA - Institute for Computing Systems Architecture