[DL] SYNASC 2026 - First Call for Papers

SYNASC 2026 contact at synasc.ro
Tue Mar 3 10:17:20 CET 2026

Previous message (by thread): [DL] Nominations for Bill McCune PhD Award in Automated Reasoning 2026
Next message (by thread): [DL] 2nd Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

SYNASC 2026 - First Call for Papers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260303/b5c18170/attachment-0001.htm>

Previous message (by thread): [DL] Nominations for Bill McCune PhD Award in Automated Reasoning 2026
Next message (by thread): [DL] 2nd Call for Workshop/Tutorial Proposals : 3rd Intl. Joint Conf. on Conceptual Knowledge Structures (CONCEPTS 2026)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the dl mailing list