Dear All We are pleased to announce VeLCro (VErification, Logic, and CRyptOgraphy), a one-day workshop at the Chennai Mathematical Institute on Friday , 11 December 2026. VeLCrO brings together researchers and students working on formal verification, logic, cryptography, and other areas of computer science for a day of talks and discussion. Students and early-career researchers are especially welcome. Registration is free. To register to attend or give a talk, or to find out more, please visit the workshop page: https://aalok-thakkar.github.io/velcro/ Registration closes on October 30. Thank you B. Srivathsan (CMI) Léonard Brice (ISTA) Aalok Thakkar (Ashoka University) *Aalok Thakkar* *(* *આલોક ઠક્કર)* Assistant Professor, Department of Computer Science +91 98982 29865 | aalok-thakkar.github.io ( http://aalok-thakkar.github.io ) Meeting Link: cal.com/aalok/15min ( http://cal.com/aalok/15min ) Please note: this email may have been sent at a time that aligns with my schedule. Managing work and life responsibilities is unique to each person; kindly respond at a time that works best for you. Sent via Superhuman ( https://superhuman.com/refer/1a2nj18b?utm_medium=signature&utm_source=produc... ) -- *Confidentiality Notice:* This email and any attachments may contain confidential or privileged information. If you are not the intended recipient, please notify the sender by replying to this message, and then delete the email and any attachments permanently. Thank you.