![\"Imagem:](\"http:\/\/www.ufc.br\/images\/_images\/noticias\/2018\/ft_180910_lsfa_2018.png\" "\\"Evento")
A Universidade Federal do Cear\u00e1 sediar\u00e1, de 26 a 28 de setembro, o 13\u00ba Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018). A atividade ocorrer\u00e1 no audit\u00f3rio do Departamento de Computa\u00e7\u00e3o (bloco 910 do Campus do Pici Prof. Prisco Bezerra), em Fortaleza, e contar\u00e1 com a presen\u00e7a de pesquisadores nacionais e internacionais.<\/p>\n
As inscri\u00e7\u00f5es seguem abertas para participantes ouvintes via\u00a0formul\u00e1rio eletr\u00f4nico<\/a>. O LSFA \u00e9 destinado a estudantes e profissionais das ci\u00eancias da computa\u00e7\u00e3o, principalmente das \u00e1reas de l\u00f3gica aplicada, m\u00e9todos formais e teoria da computa\u00e7\u00e3o.<\/p>\n Ser\u00e3o tr\u00eas dias de palestras e apresenta\u00e7\u00f5es de trabalhos acad\u00eamicos sobre temas como dedu\u00e7\u00e3o automatizada, estruturas l\u00f3gicas, c\u00e1lculo de processos e teoria da prova. As atividades ser\u00e3o todas em ingl\u00eas, sem tradu\u00e7\u00e3o simult\u00e2nea.<\/p>\n LSFA<\/strong>\u00a0\u2013 O Workshop on Logical and Semantic Frameworks with Applications \u00e9 um evento internacional que ocorre anualmente, reunindo pesquisadores e profissionais para debater novas t\u00e9cnicas e resultados sobre a implementa\u00e7\u00e3o e o uso de estruturas l\u00f3gicas e sem\u00e2nticas com aplica\u00e7\u00f5es. Na sua 13\u00aa edi\u00e7\u00e3o, o evento j\u00e1 passou por cidades como Natal (Rio Grande do Norte), Ouro Preto e Belo Horizonte (Minas Gerais), Salvador (Bahia), Bras\u00edlia (Distrito Federal), Rio de Janeiro e Niter\u00f3i (Rio de Janeiro), S\u00e3o Paulo (S\u00e3o Paulo) e Porto (Portugal).<\/p>\n A programa\u00e7\u00e3o completa est\u00e1 dispon\u00edvel no\u00a0site do evento<\/a>.<\/p>\n