Hi!
www.imacs.org (Institute for Mathematics and Computer Science; they are only located in Connecticut, Florida, Missouri, and North Carolina).
Actually, my son started in first grade with the logic of mathematics program.
The program content is:
. Primary Enrichment
. Elementary Enrichment
. Full Enrichment
. Math Enrichment
. Computer Programming & Virtual Robotics (usually starting in fifth or sixth grade)
. University Level Computer Science1
. University Level Computer Science 2
. University Level Logic of Mathematics
The university levels are very difficult, and usually, a very low percentage of kids continue through them. My son just turned 14 and there are only a few kids his age doing his level (UCS2).
CS University Level 1 is only Scheme. In University Level 2, kids learn Haskell, Python, and more about Scheme.
You can also take free online courses to learn Java and other languages.