Call for Papers

We expect submissions of either regular papers of maximum 16 pages, or short papers (extended abstracts) of maximum 8 pages, formatted according to the EPTCS template. All submissions must be submitted electronically through EasyChair.

Regular papers contain original research results not submitted and not published elsewhere. They will be considered for inclusion in the EPTCS proceedings of the symposium. The submitting author of an accepted regular paper will have to sign, on behalf of all authors of the paper, a non-exclusive license to distribute.

Short papers may be research papers, describe work in progress or provide system descriptions. They need not be original. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere.

Topics

The topics of interest for FROM 2023 include, but are not limited to:

  • 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
    • 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.