NordConsNet is the Nordic Network for researchers and practitioners of Constraint Programming. It arranges an annual workshop series, with the purpose to learn about ongoing research in Constraint Programming and optimisation and existing projects and products.
On May, 21st, this years’ workshop took place at Simula Research Laboratory in Oslo, organized by Certus researchers. 20 participants from the Nordic countries exchanged their recent research results and engaged in lively discussions on current topics.
Two researchers from the Certus Centre contributed presentations to the workshop. Arnaud Gotlieb introduced the usage of Constraint Programming for Software Verification and Validation on the example of Certus projects. Mathieu Collet presented recent results from the collaboration with ABB Robotics Norway, a Certus partner, on stress testing of industrial robots.