[CfP][FOIS 2026] Call for Contributions – main track reminder and First Call for Demonstrations, Ontology Showcase, Research and Industrial Project Exhibitions
[apologies for cross-posting] ============================ 16th International Conference on Formal