[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