coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CPP 2021 abstract deadline due soon (in ~23 hours)

From: Andrei Popescu <andrei.h.popescu AT gmail.com>
To: coq-club AT inria.fr, cl-isabelle-users AT lists.cam.ac.uk, hol-info AT lists.sourceforge.net, agda AT lists.chalmers.se, lean-user AT googlegroups.com
Cc: Catalin Hritcu <catalin.hritcu AT gmail.com>
Subject: [Coq-Club] CPP 2021 abstract deadline due soon (in ~23 hours)
Date: Wed, 16 Sep 2020 14:23:51 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qv1-f52.google.com
Ironport-phdr: 9a23:jtegvBf904Jj2lmpoUTrByEglGMj4u6mDksu8pMizoh2WeGdxc26ZhGN2/xhgRfzUJnB7Loc0qyK6v6mADZcqsbY+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi3oAnLq8Uan4RvJqkyxxfUv3BFZ/lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lCsKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4ihbYUAEvABMP5XoIf9qVUArgawCxewC+700DBEmmX70Lcm3+g9EwzL2hErEdIUsHTTqdX4LLsfUeaow6nS0zrDbu5d1y366IjQbB8huu2DXa9tesfW00YvER7Kjk+OpozkJT+V1v4Bs3Cc7+p4S+2vkHIoqxxqrzigw8cjkIjJhoYPxl/Y8iV5xZ84KNulQ0F0fdCqCoFftz2GN4RoWMMiRXlltScmxrAbt5C2YCYHxYkjyhDQZfGKd5aF7w/9WOifIDp1i31rdrywihqv7UStyuPxW9Wp3VtWsydIkcfBu24Q2hHV98OJRPx9/kK71jaO0QDe8vpEIUE7larDL54u2LgwmoAUsUTZES/7nlj9gqyOdkg85OSk9+Dqbq/lq5KcLYN4lBzyP6A0lsG/H+g1NBUFUXKB9uSmzrLj+FX0QLVUgf0ylanUqJXaKt4apq69GgNVy5gj5wumAzeo0NkUg2MLLF1CeBKAgIjpP0/BLOrkAve4hlSgiDZrx/bYMb39GpjBMGTPnbP7cbt+60NQ0hQ/wc1b6p5OCrwNPur/Wkrru9zZCh85PRa0w+HiCNhlzIweX3+AArWHP6PTq1OI5vgjI/GLZI8Npjn9MOQq5+P1gH82nF8SZ6ip3Z8NZH+kGfRmJl2VYWDwjdcZDWcKog0+QfT2h12FSD5ffmq9X6Yh5j4gE4+mFofCRoW1gLObxiu7H5tWZnpHCl+WC3voeZ+ECL8wb3eZJdYkmTgZX5CgTZUg3FegrkuywL4iL/Hd8CAcsZ+mycN4/fb7kRAp6ScyBM2YlWiGCXx32isIQDtz3aZxpmR5y0yfyu5jhOFCHtFd4OlGX0E8OIKYh+V1B9naXgPaYszPQ1avRtCrGyp3Vd91i9sDakA4Bs6vlDjM2C2lB7IajbuWHIdy+aXZjFbrIMMo4nDKzqQgx2EhWsZUPnDu0qd5+xLeBsjJ1V2ej6uxfrk00yvE9WPFxm2L6hILGDVsWLnICChMLnDdqs70swabF+f3VeYXdzBZwMvHEZNkL8XzhAwfFvjmMdXaJWm2njXoXEva9va3dIPvPl4l8mDdBUwDyV1B+H+HMU0nGH7krT+ESjNpEl3rbgXn9uws8CrqHH9x9BmDagha75Tw/xcUgfKGTPZKh+ALvS4gr3N/G1Pvht8=

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)

[Coq-Club] CPP 2021 abstract deadline due soon (in ~23 hours), Andrei Popescu, 09/16/2020