Map Unavailable
Date/Time
Date(s) - 3 Sep 2018 until 5 Sep 2018
12:00 AM - 12:00 AM
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