[DL] LAST CALL: EARLY REGISTRATION ENDs SOON: 4th ICCMA (ONLINE)

Tuncer Acar iwcma at selcuk.edu.tr
Fri Apr 10 08:24:11 CEST 2026

Previous message (by thread): [DL] ProoVer-2026: First Proof Verifier Competition
Next message (by thread): [DL] Deadline extension DL 2026
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260410/c01ecb6a/attachment-0001.htm>

Previous message (by thread): [DL] ProoVer-2026: First Proof Verifier Competition
Next message (by thread): [DL] Deadline extension DL 2026
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the dl mailing list