Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CPP 2021 abstract deadline due very soon

view this post on Zulip Email Gateway (Sep 16 2020 at 17:45):

From: Andrei Popescu <>
(Apologies for the potential duplication: a previous identical message
sent to the list a few hours ago does not seem to have been posted.)

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

Best wishes,
Andrei & Catalin
(CPP 2021 program chairs)

Last updated: Dec 08 2021 at 09:20 UTC