[DL] SYNASC 2026 - Call for Papers

SYNASC 2026 contact at synasc.ro
Sat May 2 10:04:39 CEST 2026

Previous message (by thread): [DL] [Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Next message (by thread): [DL] Extended deadline - CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

SYNASC 2026
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260502/efdd7dcb/attachment-0001.htm>

Previous message (by thread): [DL] [Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Next message (by thread): [DL] Extended deadline - CI-BD-SOQE 2026: Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the dl mailing list