About

The Stanford Introduction to Logic (IntroLogic) High School Summer Program is a two-week academic workshop for high school students focused on formal and computational logic. Offered through the Stanford Pre-Collegiate Summer Institutes, IntroLogic presents logic from both theoretical and applied perspectives, covering propositional logic, logical entailment, and the foundational elements of symbolic reasoning. The program is designed for students with a strong aptitude for mathematics and abstract reasoning.

During the Summer 2026 sessions (June 15 – June 26 or July 6 – July 17), students engage with core concepts guided by Stanford faculty. The curriculum explores formal proofs and the construction of logical arguments, moving beyond recreational puzzles to treat logic as a rigorous discipline. Instruction is delivered through small, interactive classes with an average size of 16 students, ensuring significant engagement with instructors and peers.

Admission is highly selective and based on a holistic review of academic records, work samples, and teacher recommendations. For the 2026 cycle, the regular application deadline falls in March 2026, with a $65 application fee. Tuition for the two-week program is $3,200, and need-based financial aid is available to both domestic and international participants.

Institutionally, the workshop draws on logic teaching resources developed by the Stanford Computer Science department. While the program does not confer university credit, participants receive a Certificate of Completion and a personalized evaluation. Graduates leave with a systematic grounding in formal reasoning and symbolic logic tools that are foundational to future study in computer science, philosophy, and advanced mathematics.