Title: Workshop on Validated Computing
Subjects: Computer software, Congresses, Reliability, Application software, Development, Interval analysis (Mathematics)