Return Home

16th International Prolog Programming Competition 2009, First place team
 Leslie De Koninck (with Hanne Vlaeminck and Peter Van Weert)

SAT Solver competition 2009: Best parallel SAT solver for random benchmarks + silver medal for random benchmarks
     Duc-Nghia Pham (with Charles Gretton)

15th International Prolog Programming Competition 2008, First place Team
     Peter Stuckey (with Tom Schrijvers and Marco Gavanelli)

SAT Race 2008 Second Place Main track + Best Student Solver
     Geoffrey Chu

2007 SAT Competition Bronze Medal (unsat industrial problems)
     Jinbo Huang

Theorem Prover Competition IJCAR 2006 Winner (EPR Division)
     Peter Baumgartner

2005 Constraint Modelling Challenge Winners
     Peter Stuckey and Maria Garcia de la Banda

2005 SAT Competition Gold Medal Random Problems
     Duc HNghia Pham, John Slaney, Anbulagan, Abdul Sattar

Runner Up Best Student Paper [PDF]
    Geoffrey Chu, Peter Stuckey and Maria Garcia de la Banda 

Best Poster CP 2008 [PDF]
     Reza Refa, Maria Garcia de la Banda, Kim Marriott, Nick Nethercote, Mark Wallace

Best Student Paper CP2007 [PDF]
     Olga Ohrimenko, Peter Stuckey and Michael Codish

Best Poster CP 2006 [PDF]
     Claude-Guy Quimper and Toby Walsh

Best Poster ECAI 2006 [PDF]
     Maria Pini, Francesca Rossi, Brent Venable and Toby Walsh

Best Student Paper PRICAI 2006 [PDF]
     Rafiq Muhammad and Peter Stuckey

"Top Ten" Submission ECAI 2006
     Toby Walsh

Program Chair for PPDP2006
     Michael Maher 

General Chair for CP 2008
     Toby Walsh

Program Chair for CP 2008
     Peter Stuckey

Program Co-Chair ICLP 2008
     Maria Garcia de la Banda

General Chair and Program Co-Chair IJCAR 2008
     Peter Baumgartner

Program Chair, IJCAI 2011
     Toby Walsh

10 out of 61 accepted papers at CP 2009, the peak conference on constraint programming had an author from the CPP project (2009)

First AAAI fellow from Australia elected for >10 years (2008)
     Toby Walsh

Publication of the Handbook of Constraint Programming (Elsevier 2006)
     (1 out of 3 editors, 3 out of 26 chapters from G12)