Areas and formalisms of interest include:

  • Category theory in computer science
  • Distributed systems and concurrency
  • 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 of interest include:

  • 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 of interest include:

  • Computational logic
  • Computer mathematics
  • Knowledge representation, ontology reasoning, deductive databases
  • Program analysis
  • Verification and synthesis of software and hardware
  • Uncertainty reasoning and soft computing