This symposium is motivated by the vision of dependable information systems in economics, engineering, health care, education, etc. We believe that this can be achieved by representing the knowledge underlying models and mechanisms in these application domains in a formal, explicit, machine-verifiable way. Tools for this exist, but domain experts without a strong computer science background still find it challenging to use them. (Read more about our motivation and background)

We are interested in

problems from application domains, which could benefit from better verification and knowledge management facilities, and