About the workshop
Cognition encompasses many aspects of intellectual functions and processes such as attention, knowledge, memory, judgment, reasoning, problem solving, decision making, comprehension and production of language. Although it originated from the field of psychology, it goes beyond the individual human mind and behaviour, and involves and affects the interaction with the environment in which humans act. The increasing complexity of the environment with which humans interact is no longer restricted to their natural living environment and the other humans populating it, but includes a large technological support consisting of physical and computational systems, virtual worlds and robots. This fact has expanded the scope of studying cognition to a large number of disciplines well beyond psychology. Cognitive processes are analysed from different perspectives within different contexts, notably in the fields of linguistics, anesthesia, neuroscience, psychiatry, psychology, education, philosophy, anthropology, linguistics, biology, systemics, logic, and computer science. These and other different approaches to the analysis of cognition are synthesised in the developing field of cognitive science, a progressively autonomous academic discipline.
The objectives of CIFMA 2020 are:
1) to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas. Such areas include:
- cognitive models and architectures;
- human-computer interaction;
- cognitive robotics;
- cognitive linguistics;
- cognitive learning;
- neurocognitive functions.
Moreover, in relation to SEFM, special interest topics will be:
- integration of cognitive models and cognitive architectures within the software design and verification process;
- formal methods for the modeling and analysis of human behaviour;
- formal methods for the modeling and analysis of human interaction with computers and robots;
- formalisation of learning processes;
- application of formal methods to cognitive psychology.
2) to nurture cooperation among researchers from different areas and establish concrete collaborations;
3) to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.
Papers can present research results in any of the areas and themes of interest for the workshop as well as application experiences tools and promising preliminary ideas. Papers dealing with interdisciplinary approaches or synergistic approaches that integrate different perspective on cognition are especially welcome.