This is a fairly large project, spanning 4 years, so there are quite a bit of moving parts. There are a group of teams developing new programming languages, an

This is a fairly large project, spanning 4 years, so there are quite a bit of moving parts. There are a group of teams developing new programming languages, and are being funded to do so by darpa. Some of the teams are leveraging their languages, and networking/collaboration opportunities provided them through their participation, to kick off start-ups. Because success of a language is largely dependent on acceptance by the community, there are also summer schools sessions that are hosted to increase publicity and provide strong feedback to the language development teams on usability. Those who have interesting and well defined problems in the space of machine learning should consider attending the summer school, or submitting a 'challenge problem' to the Galois team for the language developers to solve.