The Federated Logic Conference (FLoC 2030) 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
