
HKU Future Innovator in STEAM
HKU Summer Institute
An interdisciplinary programme spanning computing and data science, engineering, mathematics and science. It is listed as non-credit, with separate session and accommodation details.
SUBJECT GUIDE
Proof, abstraction and mathematical inquiry
Start with the question you want to explore, then compare content, prerequisites, learning format and outcomes. Research and university coursework have different rhythms; each entry retains its sources.
55 programmes · Showing 13–24
Reset filters
HKU Summer Institute
An interdisciplinary programme spanning computing and data science, engineering, mathematics and science. It is listed as non-credit, with separate session and accommodation details.
Program in Algorithmic and Combinatorial Thinking (PACT)
PACT introduces theoretical computer science through proof-based problems in algorithms and combinatorics.
Massachusetts Institute of Technology
Students live at MIT, take courses in mathematics, science and the humanities, and visit laboratories.

MIT PRIMES
MIT PRIMES runs this residential camp in creative mathematics. The programme expects its 2027 application to open in early January.

Massachusetts Institute of Technology
MIT PRIMES pairs year-long local research in Greater Boston with a separate remote PRIMES-USA track for students elsewhere in the US.
Center for Excellence in Education (CEE)
The Center for Excellence in Education runs RSI. Students progress from science coursework to mentored research. Stanford joins MIT as a host for 2027.

Stanford University
Stanford Math Circle meets weekly during the academic quarter, with different groups for elementary through high-school students.

Stanford University
ULO offers advanced online courses by term, combining flexible study with weekly instructor-led meetings.
Stanford University
Stanford’s programme page says the next offering of this intensive online mathematics programme will not run. The notice does not specify a calendar year.
Stanford University
High-school students study symbolic logic, expressing propositions and constructing proofs. The official site lists campus and online camp options.

Stanford Pre-Collegiate Studies
SPCS is Stanford’s directory of pre-collegiate programmes offered during the summer and academic year.
Yale Summer Session
Eligible high-school students can take undergraduate courses through Yale Summer Session. Credit, dates and delivery are listed by course.
PLAN YOUR SUMMER
Share your school stage, interests and goals to discuss fit and preparation.