Important dates
Nov 21, 2014: | Release of final solver interface |
Jan 30, 2015: | Declaration of intent by participants |
Mar 30, 2015: | Submission of solvers |
Apr 30, 2015: | Submission of system descriptions |
Jul 25-Aug 1, 2015: | Presentation of results at TAFA'15 |
ICCMA'15 has finished, see Results for the results of the competition.