2019 Intrologic Teacher Training Program: Stanford has developed an innovative approach to introducing logic based on Herbrand Semantics that makes the subject accessible to high school students. This training program is for teachers interested in teaching Logic to students in grades 9-12. Apply online now through Stanford Ticket Office.

2019 Logic Is Fundamental High School Students Summer Camp: Logic - being able to reason clearly - is fundamental to almost everything you do. Computer programming, mathematics, the sciences, social sciences, the humanities, the arts, medicine, law all require you to read, write, and think critically. High school students will be challenged with a schedule rich in engaging lectures, team and individual exercises, projects, puzzles, and games, along with special events and guests. Apply online now through Stanford Ticket Office.