David Van den Dooren, Thomas Sys, and Tony Wauters won the EU FET-Open Inductive Constraint Programming challenge with their work conducted within the iMinds-ICON project SENCOM.
Their colleagues Jan Christiaens, Túlio Toffolo, Sam Van Malderen, and Tony Wauters were previously awarded the prestigious Verolog solver challenge 2014.
Congratulations on these achievements!