Topics

Authors are invited to submit original papers that deal with work completed or in progress, related to research on theoretical aspects of computing. Topics of interest include, but are not limited to:

  • Analysis of algorithms
  • Automata and Formal Languages
  • Category theory
  • Combinatorial optimization
  • Complexity
  • Computational thinking
  • Consequence systems
  • Discrete Event Dynamic Systems
  • Discrete Mathematics
  • Domains
  • Exact and approximate algorithms
  • Formal Semantics
  • Formal Specification
  • Foundations of Interval Mathematics
  • Fuzzy Logic and Sets
  • Graph Grammars
  • Information theory
  • Interactive Theorem Proving
  • Institutions
  • Logic and Computation
  • Metaheuristics
  • Model-Checking
  • Models of Computation
  • Petri Nets
  • Probabilistic models
  • Program Analysis
  • Semantics for agent-oriented languages
  • Static analysis
  • Temporal automata
  • Type systems