Topics of the conference are concentrated on but not limited to the following:

  1. Algorithms and formal systems
  2. Formal specification of systems: process algebras, B AMN, temporal logic etc.
  3. Programming languages: design, semantics
  4. Functional programming
  5. Computer systems architectures
  6. Modelling and simulation of the systems
  7. Computer networks and services
  8. Information technologies: database and information systems
  9. Computer graphics and virtual reality systems