In cooperation with
Supported by
Participation
This page explains how to submit the solvers to us, for further information on how solvers will be invoked during the competition see the rules page. Please pay close attention to the notes on this page and on the rules page: we require that those comments are strictly followed.
The solver submission deadline is March 30th 2015. Your submission is in time as long as there is some time zone in which it is still March 30th. In other words, the deadline is 11:59 PM UTC-12 (Howland island local time). The deadline is strict. No extensions will be granted.
The actual solvers are submitted by email to Matthias Thimm. Please take the following requirements into account:
- Your mail should contain the solver either as an attachment, or provide a download link.
- Your mail should clearly indicate which tracks your solver is able to handle (that is, which semantics and which computational tasks are supported, see Overview.
- Your email should contain the list of libraries/compilers/external software needed for compiling and running your system. In particular, please specificy unusual requirements or, for instance, if a particular version of a given software is needed.
- The solver must be submitted as a zip, tar.gz or tar.bz2 archive.
- The archive must include the full source code of your solver, to be published on this web site after the competition. It must not contain any executables.
- The archive must extract to a directory that has exactly the same name of the submitted solver.
- Some teams submit two solvers. In that case, it is OK to submit them inside a single archive. In that case, create one set of directories for each solver.
- Solver directories should not contain any unnecessary files (editor backup files, .CVS or .svn directories, .DS_Store files, object files, bytecode, ...), but README files that may help with trouble-shooting the solver are appreciated.
In addition to the executable solvers, we require each participant to submit a system description of the solver. The solver submission deadline for the system description is April 30th 2015. Your submission is in time as long as there is some time zone in which it is still April 30th. In other words, the deadline is 11:59 PM UTC-12 (Howland island local time). The deadline is strict. No extensions will be granted. The following information has to be provided within the system description:
- Abstract: no more than 200 words.
- Description: It should contain the details of the system, including the system architecture, which features or functions the system provides, what design choices were made and what lessons were learned. The description should also summarise how participants have addressed the competition tasks.
Papers must be submitted in PDF format, following the style of the Springer's Lecture Notes in Computer Science (LNCS) series, with 2-4 pages in length, including references. - Web Access: The application should be either accessible via the web or downloadable. A short set of instructions on how to use the application should be provided as well.
Papers are submitted in PDF format via the EasyChair submission page: https://easychair.org/conferences/?conf=iccma15.