We offer a course that is an introduction to Symbolic Logic suitable for secondary school students. It provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth. Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic, validity, contingency, unsatisfiability, etc. We currently run three students camps on Stanford's campus. The course has been approved to be taught for credit in three California schools. We offer multiple teacher professional opportunities, including one on the west coast (Stanford) and one on the East coast (Philadelphia). The tuition for the PD is $750, but scholarships are offered to teachers from districts that do not have funding to support teacher professional development.