Make with Ada

with AdaCore
Build software that matters.

Total prize pool of $8,000+

Make with Ada
Make with Ada
This contest is over! See all the winning entries. Want more chances to win prizes? Check out our active contests.

Eligibility

“Make with Ada” is open to both “Individual Participants” and “Team Participants” (collectively, “Participants”).

Individual Participants must be at least the age needed to legally enter into this agreement under the laws of France (18), those of their country of residence, and those of the country from which they make their submission. Employees and contractors of the Organizer, Sponsors and Panelists, and the family members of, and any persons domiciled with, such employees or contractors, as well as individuals who received a prize , either as an Individual Participant or as a Team Participant, in the 2016 and 2017 editions of the “Make with Ada” contest, are not eligible.

“Teams” are composed of between two and four Team Participants, each of whom must be individually eligible. Each team must designate one of its members as the “Team Lead”, who will:

  • be the only point of contact between the Team and the Organizer and be the recipient of all communication on behalf of the Team;
  • receive any prize awarded to the Team and be responsible for sharing it among the Team Participants.

“Students” are Participants who are aged 26 or less when the competition starts, and who are registered in a higher-education curriculum leading to a PhD, Master, or Bachelor degree, or to any equivalent deemed equivalent by the Organizer. “Student Teams” are Teams comprising only Student Participants. “Student Projects” are Projects submitted either by a Student Participant or a Student Team.

Submission requirements

Each Individual Participant’s and each Team’s Submission shall contain:

  • A technical description of the content of their Project;
  • Pictures or videos explaining the architecture, the content and/or the making of the Project;
  • Links to external resources, such as a github or public svn repository, containing the sources and/or documentation of the Project. The Submission will be used for the evaluation of the Project by the Judging Panel and must meet the following conditions:
  • All material except source code (such as documentation, and videos) must be in English.
  • It must document clearly which parts of the Project are original and which parts are reusing content authored by third parties, such as pre-existing libraries.
  • Identification of which parts of the Project have been submitted to a previous Make with Ada Competition.
  • It must use the Ada or SPARK languages. It can optionally use components written in other languages (such as third-party libraries), but only the original part of the Project using Ada or SPARK will be evaluated by the Panelists.

Initial Submissions can be made by Participants between 15:00 CEST on Tuesday October 16th and 23:59 CEST on Friday February 15th. Submissions can be amended, corrected, or improved any time during this period.

Judging criteria

Projects will be evaluated using the information available either directly from the Submission or indirectly on the resources referred to by the Submission, using the following “Four Criteria”: If the project has been submitted to a previous Make with Ada Competition, this judging will be done only on the parts of the project that were not part of that previous submission or were significantly changed from the version of the project submitted to that competition.,

  • Open
    Does the Project have a Free Software License, as defined by the Free Software Foundation or an open-source licence, as defined by the Open Source Initiative? Does it have an open design? Does it use open tools, hardware and platforms?
  • Collaborative
    Is the Project usable by other members of the programming community? Does it have clearly-defined interfaces and documentation? Is it available in a public repository through a version control system such as svn or git? Does it have a bug tracking system? Can it be built with tools available to the community?
  • Dependable
    Does the Project make use of processes and technologies that provide high confidence that the software meets its requirements (for example formal methods, contract-based programming, testing, and coding standards)? Is its documentation accurate?
  • Inventive
    Does the Project demonstrate out-of-the-box thinking, does it bring new solutions to an existing problem, or apply existing solutions to a novel problem?

How to enter

Step 1: Register for the contest

  • Start by creating a free account on Hackster.io (or sign-in if already a member)
  • Register for the contest by clicking “Register as participant”

Step 2: Build and document your project

  • Build your project according to the submission requirements
  • Document your project build on Hackster by clicking “create new project”

Step 3: Review and submit your project

  • Review your project and make sure it meets all the submission requirements
  • Submit your project by February 15 by clicking “review and submit project”

Full rules

Participants retain full “Intellectual Property Rights” (including copyright, patents, trademarks, know-how) on the contents of their Submission.

Participants grant to the Organizer and each of the Panelists the worldwide, non-exclusive right to reproduce, transfer, translate and correct, permanently or temporarily and by any means, the content of their Submission for the purpose of organizing the Competition, communicating its results and promoting the Ada language, for the duration reasonably needed for those purposes.

Participants also grant to the Organizer and each of the Panelists the worldwide, non-exclusive right to reproduce, transfer, run, analyse and test by any means, any software or documentation that is part of their Submission for the purpose of evaluating their Project and for the duration reasonably needed for those purposes.

By registering, Participants represents and warrants that:

  • they meet the eligibility conditions.
  • they agree to the collection of their Personal Data for the purpose of organizing the Competition.
  • they agree to the use of their names in relation to their Project and the Competition by the Organizer or the Sponsors, on any usual commercial sites such as the http://makewithada.org and http://www.adacore.com/ websites or the Organizer’s blog.
  • their Project meets all the conditions set forth in the present Rules and they have the right to submit their Project to the Competition and grant the foregoing license;
  • they, or the team they belong to, did not receive any specific support from a for-profit legal entity (such as a corporation or a partnership) for the production of their Project, other than:
  • the support provided freely by the Sponsors of “Make With Ada”;
  • the use of tools (such as computers and a network connection) normally provided by that entity and on which personal usage is permitted by the rules of that entity or that are of a de minimis nature.

Support from non-for-profit and/or educational organizations such as universities is permitted.

  • their employer(s), if any, do not have any intellectual property rights in the Project or the Submission.
  • their Submissions do not contain any defamatory, obscene, illegal or otherwise inappropriate material.
  • their Submission is made in compliance with any applicable “Export-Control Regulations”, in particular the Export Administration Regulations (15 CFR Part 730-744) of the United States and the regulation of the Council n°428/2009 in the European Union.
  • they will indemnify and hold the Organizer and Panelists harmless against any claim or action that their Submission, or any part thereof, infringes the Intellectual Property Rights of a third party or contains defamatory, obscene, illegal or otherwise inappropriate material, or is made in violation of Export Control Regulations. In particular, Participants will indemnify AdaCore against judgments, awards, damages and costs, including court and arbitration costs and attorney fees, ultimately awarded on such claim. Participants shall notify AdaCore as soon as they are aware of any such claim, along with any information relevant for the case, and shall abstain from discussing with the claimant the merits of the case until AdaCore is aware of the claim. For the application of the present clause, Team Participants will be considered jointly and severally.
  • they waive their right to sue the Organizer or the Panelists on any ground connected to the award of the Prizes.
  • they have read, understood and agree fully with the present rules.

In addition to the foregoing, Team Leads represent and warrant that:

  • they will indemnify and keep the Organizer and Panelists harmless against any claim or action in relation to the distribution or delivery of the Prizes, or lack thereof, between the Participants in their Team, provided that the Organizer paid or delivered such Prizes to them.

In addition to the foregoing, Team Participants represents and warrants that:

  • They waive their right to sue the Organizer and Panelists for the absence of payment or delivery of the Prizes awarded to their team, provided that the Organizer paid or delivered such Prizes to their Team Lead.

Neither party is in breach of these rules, nor liable in any way whatsoever, for any failure to perform, or delay in performing, its obligations hereunder to the extent that the failure or delay results from a situation of force majeure. In particular, the Competition may be canceled at any point with no advance notice if such a situation occurs to the Organizer.

The cancellation of any provision of these rules shall not cause their cancellation as a whole, unless the cancelled clause is an essential clause without which one of the parties would not have entered into the Competition, or unless such cancellation changes the general balance of these rules. If any provision of these rules that can be considered insubstantial is cancelled, the Organizer shall replace it, to all possible extent, by an equivalent clause.

The present rules shall be governed by the laws of France with regards to their existence, validity, interpretation, performance and termination, notwithstanding any rule of conflict of law.

The Participants, Panelists, Sponsors and Organizers expressly agree that any litigation relating to the existence, validity, interpretation, performance and termination of these rules that could not be amicably resolved shall be submitted to the courts of competent jurisdiction within the circuit of the Paris Court of Appeal, even in the cases of multiple defendants or indemnification claims and for preliminary rulings or injunctions.

During the Competition, the Organizer shall have the right to amend the present rules from time to time, in particular to improve their clarity or address points in relation to the Competition that were not addressed before, or to change the list of Panelists. The latest version of the these rules will always be available on http://makewithada.org/. Participants agree to such latest terms by making their Submission.