Re: [isabelle] Survey Paper

Dear Qian,

Thank you for your suggestion, it makes a lot of sense. We do in fact have a rudimentary internal web page. We will beef it up, make it publicly available and encourage people to send us references to new work.

Best regards

On 20/10/2020 02:01, Qian Hong wrote:
This is amazing work, thank you so much.

I guess a living review website [1] base on the information from the
survey, similar to other websites like [2],[3],[4],[5],[6],[7],[8],
etc, would be a great resource for the community.

Not sure if this will violate any copyright of ATVA / Springer?


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.