The school timetabling problem (STP) consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying organizational, pedagogical and personal constraints. STP is a NP-complete problem and is usually tackled using heuristic methods. In this work we considered typical characteristics of Brazilian public schools. We presented a Tabu Search procedure associated with a Randomized Local Search to solve this problem and two mathematical formulations. The implementation of the procedure has been successfully experimented in some Brazilian public schools.A programação da grade de horários em escolas de ensino fundamental e médio, também conhecido como problema turma-professor (PTP), consiste em fixar uma seqüência de agendamentos de aulas envolvendo professores e grupos de estudantes (que possuem um mesmo currículo de disciplinas) em um período pré-determinado (tipicamente uma semana), sujeito a requisitos didáticos, físicos e organizacionais. É um problema combinatorial NP-completo e é geralmente resolvido através da aplicação de procedimentos heurísticos. Neste trabalho, apresentamos um procedimento de Busca Tabu associado a uma Busca Local Aleatória e duas formulações matemáticas. O procedimento proposto foi experimentado com sucesso em escolas públicas brasileiras.399421Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)