[Agda] CPP 2021 abstract deadline due soon (in ~23 hours)
Andrei Popescu
andrei.h.popescu at gmail.com
Wed Sep 16 15:23:51 CEST 2020
Dear potential CPP authors,
Please note that, if you intend to submit a paper to CPP 2021, you would
need to register it with an abstract very soon, namely by
16 September 2020 at 23:59 AoE (UTC-12h)
The submission can be uploaded by 22 September 2020 at 23:59 AoE (UTC-12h).
Finally, one piece of news we can share is that now it’s official: CPP 2021
will be a virtual meeting, where all papers are presented online! The
updated call for papers can be found at
https://popl21.sigplan.org/home/CPP-2021#Call-for-Papers
Best wishes,
Andrei & Catalin
(CPP 2021 program chairs)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200916/88adcd46/attachment.html>
More information about the Agda
mailing list