[Asiacrypt2025] Your chapter in [978-981-95-5095-1, ASIACRYPT 2025, Part II, LNCS 16246, schedule for paper approval (679523_1_En, Chapter 5)]

[Andreas Hülsing]

Dear Manigandan K.,

Given that the 22nd of November is a Saturday which is a day off in most countries (as is Sunday), I expect that the 72 hours refer to workdays and start on Monday 24?

Best wishes,

Andreas

On November 20, 2025 7:27:10 AM GMT+01:00, manigandank.kumarr at straive.com wrote:
>Dear Authors,
>
>My name is Manigandan K. and I am a production supervisor at Straive who will be handling the production of the book, Advances in Cryptology – ASIACRYPT 2025, on behalf of Springer. I will be your main production contact and will oversee the production of the text of your chapter from manuscript to final print and online files.
>
>We refer to your paper "How Hard Can It Be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt ", due to appear in Volume 16246 of the Lecture Notes in Computer Science series. The files for this volume have been sent to the typesetters and on November 22, 2025, a proof of your paper will be made available to you via a web interface. You will be alerted to this via e-mail and will be given 72 hours to check your paper. Sundays are not included in this time calculation, so please take note of this if it affects you. Please check your email, the two days before/after the date indicated above, as the schedule may change slightly.
>
>I look forward to working with you on the production of this book. Please feel free to contact me if you have any questions or concerns.
>
> Best Regards,
> Manigandan K.
> Production Supervisor - Books Production
>www.springernature.com <https://www.springernature.com/in>
> Straive | 7th Floor, Block-C | Hardy Tower | Ramanujan IT City | Rajiv Gandhi Salai (OMR) | Taramani | Chennai | India-600 113
> M +91 (0) 9965087680
> manigandank.kumarr at straive.com
> ...
> is a service provider of Springer Nature 
-- 
Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.iis.sinica.edu.tw/pipermail/asiacrypt2025/attachments/20251120/c43d402d/attachment.htm>