Imagem: Logomarca do evento com desenho de uma vela de jangada e as letras LSFAA Universidade Federal do Ceará sediará, de 26 a 28 de setembro, o 13º Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018). A atividade ocorrerá no auditório do Departamento de Computação (bloco 910 do Campus do Pici Prof. Prisco Bezerra), em Fortaleza, e contará com a presença de pesquisadores nacionais e internacionais.

As inscrições seguem abertas para participantes ouvintes via formulário eletrônico. O LSFA é destinado a estudantes e profissionais das ciências da computação, principalmente das áreas de lógica aplicada, métodos formais e teoria da computação.

Serão três dias de palestras e apresentações de trabalhos acadêmicos sobre temas como dedução automatizada, estruturas lógicas, cálculo de processos e teoria da prova. As atividades serão todas em inglês, sem tradução simultânea.

LSFA – O Workshop on Logical and Semantic Frameworks with Applications é um evento internacional que ocorre anualmente, reunindo pesquisadores e profissionais para debater novas técnicas e resultados sobre a implementação e o uso de estruturas lógicas e semânticas com aplicações. Na sua 13ª edição, o evento já passou por cidades como Natal (Rio Grande do Norte), Ouro Preto e Belo Horizonte (Minas Gerais), Salvador (Bahia), Brasília (Distrito Federal), Rio de Janeiro e Niterói (Rio de Janeiro), São Paulo (São Paulo) e Porto (Portugal).

A programação completa está disponível no site do evento.

Fonte: Profª Maria Viviane de Menezes, do comitê organizador do evento – e-mail: vivianemenezes@ufc.br

About the Author

Valeska Andrade

Formada em História pela Universidade Federal do Ceará e em Pedagogia pela Universidade Estadual do Ceará. Especialista em Cultura Brasileira e Arte Educação. Coordenou o Programa O POVO na Educação até agosto de 2010. Pesquisadora e orientadora do POVO na Educação de 2003 a 2010, desenvolveu, entre outras atividades, a leitura crítica e a educomunicação nas salas de aula, utilizando o jornal como principal ferramenta pedagógica. Atualmente, é professora de história da rede estadual de ensino. Pesquisadora do Maracatu Cearense e das práticas educacionais inovadoras. Sempre curiosa!!!

View All Articles