Federated Logic Conference (FLoC 2026)

The Federated Logic Conference (FLoC 2026) unites leading researchers in logic and computer science to explore foundational methods, modeling techniques, and applications across computing disciplines.

Key Topics

• Constraint programming and problem solving
• Logic programming and automated reasoning
• Knowledge representation and reasoning
• Formal structures and computation deduction
• Software engineering and programming languages
• Computational complexity and satisfiability testing
• Distributed and concurrent computing
• Computer-aided verification and theorem proving
• Hardware design and system modeling
• Security foundations and formal methods
• Artificial intelligence applications

Who should Attend

• Researchers in logic and theoretical computer science
• Software engineers and system developers
• Academics and graduate students in computer science
• AI and machine learning specialists
• Professionals in formal verification and security
• Mathematicians interested in computational logic