[DL] EARLY REGISTRATION DEADLINE EXTENDED: 4th ICCMA (ONLINE)

Tuncer Acar ozlem.acar at selcuk.edu.tr
Wed May 6 11:50:44 CEST 2026

Previous message (by thread): [DL] Extended deadline - CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
Next message (by thread): [DL] CfP – Datalog 2.0 2026
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [DL] Extended deadline - CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
Next message (by thread): [DL] CfP – Datalog 2.0 2026
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the dl mailing list