O professor Marcus Ramos, do Colegiado de Engenharia de Computação, participa entre os dias 16 e 19 de agosto de 2016 do 23rd Workshop on Logic, Language, Information and Computation, a ser realizado no Departmento de Ciência da Computação na Benemérita Universidad Autónoma de Puebla, no México. O WoLLIC é um fórum internacional anual sobre pesquisas inter-disciplinares envolvendo lógica formal, teoria da computação e da programação, linguagem natural e raciocínio.
Na ocasião, o professor Marcus apresentará o trabalho "On the Formalization of Some Results of Context-Free Language Theory", fruto da sua pesquisa de doutorado recém-concluída sobre o uso de assistentes de prova interativos na formalização matemática de linguagens livres de contexto. Os anais serão publicados numa edição especial da LNCS (Lecture Notes in Computer Science) da Springer Verlag, uma das mais prestigiosas editoras do mundo na área de computação. Mais informações sobre o evento estão disponíveis em http://www.wollic.cs.buap.mx/.