FLoC 2026: The 9th Federated Logic Conference