Lucas Vinícius Ribeiro Alves presented his Master Thesis intitled “Production Planning in Discrete Event Systems – Logical and Temporal Analysis” or, in portuguese, “Planejamento da Produção em Sistemas a Eventos Discretos – Análise Lógica e Temporal”. Lucas was supervised by Prof. Patrícia Pena and Prof. Ricardo Takahashi and the comitee was composed by the supervisors and Prof. Vinicius Mariano Gonçalves and Prof. Frederico Gadelha. He will continue his studies and pursue a Doctor’s degree.