The Coq mailing list

[Sebastian Hack <hack AT cs.uni-saarland.de>]

**********************************************************************
                    CALL FOR PARTICIPATION

 26th International Conference on Compiler Construction (CC 2017)

                 Feb 5-6 2016, Austin, TX, USA
               Co-located with CGO, HPCA, PPoPP
            http://conf.researchr.org/home/CC-2017/
**********************************************************************

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 2017 takes place Feb 5 - Feb 6, 2017 in Austin, TX, USA and is
co-located with CGO, PPoPP, and HPCA.

Registration for CC and co-located events is open:

    http://conf.researchr.org/attending/CC-2017/registration-information

Early registration ends on January 11, 2017.

For more details (e.g. the list of accepted papers), please visit our website:

    http://conf.researchr.org/home/CC-2017

Looking forward to seeing you in Austin!
--
Peng Wu
Sebastian Hack
CC 2017 General & Program Chairs