Best Paper Award

Matthew McIlree and Ciaran McCreesh received the best paper award at CP 2023 for their paper "Proof Logging for Smart Extensional Constraints".

Association for Constraint Programming (ACP) Early Career Researcher Award

Ciaran McCreesh was awarded the Association for Constraint Programming (ACP) Early Career Researcher Award at the CP 2023 conference. (Award ceremony photo)

First published: 30 August 2023

<< News


Quick links