CP-2013: The Conference Day 3 (Thursday)
Thursday, Day 3Today was an exciting and hectic day. It started with Pascal Van Hentenryck and Laurent Michel presented Objective-CP, a CP system (in progress) built in Objective-C. It looked very versatile and flexible so it will be really fun testing it, even though I haven't written a single line of code in Objective-C. (Right after I read the paper I ordered a book in Objective-C just to be prepared.)
One other talk I enjoyed very much today was Tias Guns ACP Doctoral Research Award talk: "Declarative Pattering Mining Using Constraint Programming". The system he built is CP4IM (which I tested some year ago and it's impressive work).
I have to admit that I skipped some of the other talks since I was preparing (both mentally and technically) for the penultimate event of the day, namely:
The hectic part of the day was the competition (formally: First International Lightning Model and Solve Competition), since I was one of the organizers, together with Peter Stuckey and with a huge amount of technical/practical help by Farshid Hassani Bijarbooneh. Peter wrote the problems and the checkers for the problems and I wrote the framework for reading the submission files (in MiniZinc data format, .dzn) to be fed into Peter's checkers. (I also wrote code for detecting if any of the teams should trying to "beat the system" in certain ways, but all the teams behaved very honourably).
It was a fun competition, although perhaps a bit too hard problems. Later on -
Here is the table of the teams that got at least one point, i.e. submitted at least one correct solution. There where four teams - not mentioned below - that didn't got any points. In all there where 10 competing teams.
|7||Mano||71 (Competition winner! )||Allan Van Gelder, Ian Gent, Ian Miguel||Gold|
|4||Be Cool and Friends||57||Pierre Schaus, Renauld Hartert, Jean-Noël Monette||Silver|
|8||CO4||47||Valentin Mayer-Eichberger, Johannes Waldemann, Sebastian Will||Bronze|
|1||Lazy Guy||39||Andreas Schutt, Thibault Feydy, Geoffrey Chu||-|
|5||Monash||26||Kevin Leo, Guido Tack, Christopher Mears||-|
|10||Other||6||Gabriel Hjort Blinell, Roberto Castaņeda Lozano, Mohammed Siala||-|
Congratulations to the medallists! And especially to the winners: team Mano, who - interestingly enough - solved the problems only by hand (as indicated by their team name).
And thanks to all the other teams that attended the competition!
After the competition it was a very pleasant Banquet Dinner, with lots of interesting discussions as well as both formal and not so formal speeches.
Handshakes (with the people I've had just e-contacts with before) : Andreas Schutt, David Rijsman, Ian Miguel.
Tomorrow, I'm especially looking forward to the invited talk about ASP by Torsten Schaub. (I tested ASP somewhat some year ago: see My ASP page; it's quite fun to model in ASP, different and fun.). Another talk that will be interesting is Ozgur Akgun who will talk about "Automated Symmetry Breaking and Model Selection in Conjure".