| Recent News
17/04/2022: CIFMA 2022 WILL BE AN ENTIRELY IN-PERSON-ONLY EVENT.
17/04/2022: CIFMA 2022 web page launched at cifma.github.io
| Background and Objectives
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
Cognitive processes are analysed from different perspectives within different contexts, notably in
the fields of linguistics, 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 this new international workshop are:
- 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;
- to nurture cooperation among researchers from different areas and establish concrete
- 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
Contributions to the workshop cover the areas of education, research and technology,
either in general or with a focus on formal methods.
Topics are organised in possibly overlapping categories and include, but are not restricted to:
- Interdisciplinary Foundations of Cognition:
- philosophy of cognition
- human memory and memory processes
- perception, visual cognition and situated cognition
- cognitive models and architectures
- languages for cognitive science
- social cognition
- Cognitive Robotics:
- autonomous knowledge acquisition
- motor babbling
- learning by imitation
- cognitive architectures for robotics
- Cognitive Linguistics:
- cognitive approaches to grammar
- cognitive and conceptual semantics
- conceptual organisation
- cognitive phonology
- dynamical models of language acquisition
- computational models of metaphor and language acquisition
- Cognitive Learning:
- learning theories
- cognitive development
- problem solving
- Cognitive Neuroscience and Medicine:
- biomedical signal and image processing
- biomedical sensors and wearable systems
- brain-computer interfaces and neural prostheses
- brain mapping
- neural and rehabilitation engineering
- Logics and their application to:
- human-computer interaction
- human behaviour
- human reasoning and problem solving
- visual reasoning
- human-robot interaction
- Software Engineering and Formal Methods:
- integration of cognitive models and cognitive architectures within the software design and
- cognitive aspects in cyber-physical systems and their verification
- socio-technical systems
- cognitive aspects in safety analysis and verification of safety-critical systems
- cognitive security
- cognition hacking
- formal frameworks for trust reasoning
- formal methods for the modeling and analysis of robotic systems
- formal methods for the modeling and analysis of human behaviour
- formal methods for the modeling and analysis of human interaction with computers and robots
- application of formal methods to cognitive psychology
| Keynote Speaker
Department of Mathematics, Technische Universität Darmstadt
"Information flow in proofs by contradiction and effective learnability"
| Important Dates
Authors are invited to submit, via Easychair,
research contributions or experience reports.
Upload an abstract (in English) of at least 2000 characters (including spaces and including references)
and at most 4000 characters (including spaces and including references) on CIFMA 2022 EasyChair page.
All papers should be written in English and prepared using the specific LNCS templates
available at http://www.springer.de/comp/lncs/authors.html.
Submissions are required to report on original, unpublished work and should not be submitted simultaneously
for publication elsewhere (cf.
IFIP's Author Code of Conduct)
There are six categories of submissions
- Research papers
- to present original research and the analysis, interpretation and
validation of the research findings.
- Position papers
- to present innovative, arguable ideas, opinions or frameworks
which are likely to foster discussion at the workshop.
- Interdisciplinary Project papers
- to describe a new interdisciplinary research project, or the status
of an ongoing project or the outcomes of a recently completed project.
- Case Study papers
- to report on case studies, preferably in a real-world setting.
- Tool papers
- to present a new tool, a new tool component or novel extensions to an existing tool.
- Tool Demonstration papers
- to demonstrate the tool workflow(s) and human interaction aspects, and evaluate the overall
role of the tool and impact on cognitive science.
Please make sure you write the paper category
(Research paper, Position paper, Interdisciplinary Project paper, Case Study paper, Tool paper, Tool Demonstration paper)
as the first line in the abstract on Easychair.
Contributions will be in the form of
- Regular papers
- between 12 and 15 pages except references for submission
(and between 12 and 17 pages except references for post-proceedings camera-ready).
- Short papers
- between 6 and 8 pages except references for submission
(and between 6 and 9 pages except references for post-proceedings camera-ready).
- extended abstract up to 4 pages, which will be included in the pre-proceeding but not published in the post-proceedings.
"Short papers" and "Presentations" can discuss new ideas which are at an early stage of development
and which have not yet been thoroughly evaluated.
The program committee may reject papers that are outside these lengths on the
grounds of length alone.
Submitted papers will be refereed for quality, correctness, originality and relevance.
Notification and reviews will be communicated via email.
Accepted papers (both Full papers and Short papers) will be included in the workshop programme and will appear
in the workshop pre-proceedings as well as in the LNCS post-proceedings.
Pre-proceedings will be available online before the Workshop.
Accepted regular and short papers will be published
after the Workshop by Springer in a volume of
Lecture Notes in Computer Science
which will collect
contributions to some workshops co-located with SEFM 2022.
Condition for inclusion in the post-proceedings is that at least one of the co-authors
has presented the paper at the Workshop.
One or more journal special issue(s) with selected papers may be planned,
depending on the number and quality of submissions.
| Call for Papers
The Call for Papers is available
- Pierluigi Graziani, Department of Pure and Applied Sciences,
University of Urbino, Italy
- Samuel Alexander,
The U.S. Securities and Exchange Commission New York Regional Office, USA
- Oana Andrei, School of Computing Science, University of Glasgow, UK
- John A. Barnden, School of Computer Science, University of Birmingham, UK
- Francesco Bianchini, Department of Philosophy and Communication Studies, University of Bologna, Italy
- Stefano Bonzio, Department of Mathematics and Computer Science, University of Cagliari, Italy
- José Creissac Campos, Department of Informatics, University of Minho, Portugal
- Antonio Cerone, Department of Computer Science,
Nazarbayev University, Astana, Kazakhstan
- Gustavo Cevolani, IMT School for Advanced Studies Lucca, Italy
- Peter Chapman, School of Computing, Edinburgh Napier University, UK
- Gianluca Curzi, School of Computer Science, University of Birmingham, UK
- Luisa Damiano, Department of Communication, Arts and Media, IULM University, Italy
- Edoardo Datteri, “R. Massa” Department of Educational Human Sciences, University of Milano-Bicocca, Italy
- Anke Dittmar, Institute of Computer Science, Rostock University, Germany
- Alan Dix, Computational Foundry, Swansea University, Wales, UK
- Pierluigi Graziani, Department of Pure and Applied Science, University of Urbino, Italy
- Yannis Haralambous, Computer Science Department, IMT Atlantique, France
- Bipin Indurkhya, Cognitive Science Department, Jagiellonian University, Poland
- Reinhard Kahle, Department of Mathematics, NOVA University of Lisbon, Portugal
- Karl Lermer, Safety Critical Systems Research Lab, ZHAW, Switzerland
- Antonio Lieto, Department of Computer Science, University of Turin, Italy
- Kathy L. Malone, Graduate School of Education,
Nazarbayev University, Kazakhstan
- Paolo Masci, US National Institute of Aerospace (NIA), US
- Mieke Massink, Institute of Information Science and technologies (CNR-ISTI), Italy
- Paolo Milazzo, Department of Computer Science, University of Pisa, Italy
- Stefano Nicoletti, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Netherlands
- Eugenio Omodeo, Department of Mathematics and Earth Sciences, University of Trieste, Italy
- Antti Oulasvirta, Finnish center for AI, Aalto University, Finland
- Graham Pluck, Department of Computer Science,
Nazarbayev University, Astana, Kazakhstan
- Giuseppe Primiero, Department of Philosophy, University of Milan, Italy
- Ka I Pun, Department of Computing, Mathematics and Physics,
Western Norway University of Applied Sciences, Norway
- Pedro Quaresma, Department of Mathematics, University of Coimbra, Portugal
- Viola Schiaffonati, Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy
- Giuseppe Sergioli, Department of Philosophy, University of Cagliari, Italy
- Sandro Sozzo, School of Business, Centre for Quantum Social and Cognitive Science,
University of Leicester, UK
- Mirko Tagliaferri, Department of Pure and Applied Science, University of Urbino, Italy
- Gentiane Venture, Department of Mechanical Systems Engineering, Tokyo University of Agricolture and Technology, Japan
All inquiries concerning CIFMA 2022 submissions and scientific
programme should be sent to