CAROL is the research group on Computability, Approximate Reasoning, Ordered structures, and Logics of the Federal University of Rio Grande do Norte (Natal/Brazil). It agglutinates researchers who are interested in the mathematical/formal aspects of computing and its applications. The group is registered at the CNPq database.

Our group’s interest areas are, among others:

  1. Fuzzy Logics and Systems
  2. Non-classical Logic and Its Applications
  3. Formal Specifications
  4. Automated Reasoning
  5. Interval Computations
  6. Domain Theory
  7. Automata Theory and Its Applications
  8. Mathematical Morphology and Its Applications
  9. The use of Computers in Education
  10. Models of Computation
  11. Safe and Secure Systems

Our 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.

Formerly known as LoLITA (LOgic, Language, Information, Theory and Applications), the group changed its name in 2021 in light of a discussion about inclusivity, which can be found at this thread on the Google group LOGICA-L.

The new name is a tribute to our dear friend and colleague Carolina Blasio (1984-2017). Carol was a dedicated researcher as well as an exceptional human being, whose research interests included non-classical logics and generalized consequence relations, with special focus on plurivalent logics. Her scholarly contributions are:

More about her academic work can be found at her currículo lattes and Google scholar profile.