**LoLITA** is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications. Our interest areas include, among others:

- Fuzzy Logics and Systems
- Non-classical Logic and Its Applications
- Formal Specifications
- Automated Reasoning
- Interval Computations
- Domain Theory
- Automata Theory and Its Applications
- Mathematical Morphology and Its Applications
- The use of Computers in Education
- Models of Computation
- Safe and Secure Systems

**Objective**: The requirements ofÂ new generation systems such as: interactivity, performance, suitability, low risk, quality, accuracy, validity, reliability, etc impose the integration of various technologies and paradigms. In parallel, the application of advanced technologies, a theoretical basis that supports the development of such systems is another key requirement. The purpose of our group is to develop research, promoting the deepening of those key technologies and integrating them, as well as developing the theoretical basis needed for the application of this research in order to enable the development of hybrid systems. It is also our goal to spread this work by the generation of technology, effective implementation of the various productive sectors of our society, beyond the generation of trainers through our scholars and students.