As instituições de ensino necessitam, semestralmente, montar a sua grade de horários atendendo vários requisitos. Propor um modelo padrão para a resolução desses problemas constitui-se tarefa complicada, uma vez que cada instituição possui suas particularidades. Dessa forma, o objetivo deste trabalho é propor um modelo matemático para o problema de horários do Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE) – campus Quixadá, usando para fins de validação as disciplinas do curso de Engenharia de Produção Civil. A função objetivo consistiu em maximizar, tanto quanto possível, a preferência dos professores quanto aos dias consecutivos e quanto a quantidade de dias de ensino. Um modelo de programação inteira binária foi implementado no software CPLEX 12.9, com resultados refletindo fielmente as práticas adotadas na instituição, com grande parcela dos professores tendo suas preferências atendidas, mesmo considerando um contexto de testes. O modelo será expandido para envolver todos os cursos do campus em um trabalho futuro.