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