O TCS4S (Theoretical Computer Science for Schools) é um framework instrucional para apoiar professores e pesquisadores com formação em Computação no planejamento, desenvolvimento, aplicação e avaliação de sequências didáticas voltadas aos fundamentos teóricos da Computação na Educação Básica.
A primeira versão do framework pode ser acessada em: Documento Descritivo