Topics of interest include:
- Areas and formalisms: Category theory in computer science, Distributed systems and concurrency, Domain science and engineering, Formal languages and automata theory, Formal modelling, verification and testing, Logic in computer science, Logical frameworks, Mathematical structures in computer science, Models of computation, Semantics of programming languages, Type systems
- Methods: Automated reasoning and model generation, Automated induction, Certified programs, Data-flow and control-flow analysis, Deductive verification, Formal Methods in ML/LLMs/AI, Mechanized proofs, Model checking, Proof mining, Symbolic computation, Term rewriting
- Applications: Computational logic, Computer mathematics, Knowledge representation, ontology reasoning, deductive databases, Program analysis, Verification and synthesis of software and hardware, Uncertainty reasoning and soft computing, Submissions on any other related topics are welcome.
