Date/Time
Date(s) - 3 Sep 2018 until 5 Sep 2018
12:00 AM - 12:00 AM

Location

Category(ies) No Categories

Detalhes: No dia 03 de setembro comemora-se os 10 anos de fundação do grupo de pesquisa em Lógica, Linguagem, Teoria e Aplicações (LoLITA). Esse grupo tem se dedicado ao longo de uma década na investigação dos fundamentos que regem as várias áreas da Ciência da Computação. Os temas de pesquisa envolvem:

• A modelagem rigorosa de diversos tipos de incertezas e imprecisões presentes em problemas do mundo real;
• a investigação em lógicas não-clássicas que são motivadas por aspectos presentes em modelos de computação, como por exemplo: inconsistências toleráveis (lógica paraconsistente) em banco de dados, raciocínio aproximado (lógica fuzzy) usado em sistemas especialistas e outras aplicações;
• a investigação de teorias matemáticas úteis à ciência da computação (teoria de ordens parciais, topologia, álgebra universal, etc.),
• o estudo de modelos de computação e hiper-computabilidade.

Program at thee UFRN event page