ITP 2026: Second Call for Papers ------------------------------------------------
A reminder of the approaching deadlines for ITP'26 (https://itp-conference-2026.github.io/ <https://itp-conference-2026.github.io/>). The abstracts are due by the 12th of February and the full papers — by the 19th of February.
The submission system is now open here: https://submissions.floc26.org/itp/ <https://submissions.floc26.org/itp/> Apologies for the late reminder - an earlier post had bounced. Tobias Nipkow
smime.p7s
Description: S/MIME Cryptographic Signature
