No último dia 29 de junho de 2015 mais Acadêmicos da área das Ciências Exatas foram certificados pela TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR) no campo da Lógica Formal Dedutiva de Primeira Ordem.
Em um total de trinta horas acadêmicas concluí o Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS o qual ministrei gratuitamente para os participantes e sem ônus para a Universidade.