[fca-list] [RuleML+RR 2025] Call for papers