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.
Last updated 11.08.2015, Matthias Thimm