C I F M A - 2 0 2 0
2nd International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications
VIRTUAL EVENT organised by CWI, Amsterdam, The Netherlands, on 14 September 2020
Co-located with SEFM 2020

Programme | Keynote Speaker | Previous Event
Background and Objectives | Topics | Important Dates | Submission | Publication | Call for Papers | Committees | Contact

Recent News
  • 10/09/2020: Program and Pre-proceedings available!
  • 5/09/2020: Free Registration open at https://lists.cwi.nl/mailman/listinfo/sefm2020-list
  • 10/07/2020: There is no registration fee for participating in the workshop
  • 3/07/2020: EXTENDED submission dedlines
    Paper Abstract Submission deadline:   Wednesday 22 July 2020 (EXTENDED)
    Paper Submission deadline:   Wednesday 29 July 2020 (EXTENDED)
    Because of the COVID-19 pandemic, following the decision taken by the SEFM 2020 organisers, also CIFMA 2020 will not take place physically but will be replaced by a virtual event with NO REGISTRATION FEE for the participants. As usual, CIFMA 2020 accepted contributions will be included in the LNCS post-proceedings and all accepted papers will have to be presented at the virtual conference in order to be included in the LNCS volume. How the virtual conference will be organised is still under consideration, e.g., live presentations and/or recorded ones.
  • 08/04/2020: Concerning COVID-19, the workshop will run on the planned date. Please refer to the announcements on the SEFM 2020 website for updates on the modality (physical meeting or partly or fully electronic event) in which the workshop will be organised.
  • 18/02/2020: CIFMA 2020 web page launched at cifma.github.io
  • 14/02/2020: CIFMA 2020 accepted as collocated event of SEFM 2020

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 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 this new international workshop 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;
  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.


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
  • attention
  • 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
  • metacognition
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
  • linguistics
Software Engineering and Formal Methods:
  • integration of cognitive models and cognitive architectures within the software design and verification process
  • 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 Speakers

Johan van Benthem
Institute for Logic, Language and Computation (ILLC), University of Amsterdam, The Netherlands

"Interfacing Logical Theory and Human Practice"
Abstract and Speaker's Biography

Important Dates
Paper Abstract Submission deadline:   Wednesday 22 July 2020 (EXTENDED)
Paper Submission deadline:   Wednesday 29 July 2020 (EXTENDED)
Accept/Reject Notification:   Wednesday 26 August 2020
Pre-proceedings Final version due:   Monday 7 September 2020
Post-proceedings Final version due:   TBA


Authors are invited to submit, via Easychair, research contributions or experience reports.

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.

Contributions will be in the form of

Regular papers
between 12 and 15 pages for submission (and between 12 and 16 pages for post-proceedings camera-ready).
Short papers
between 6 and 8 pages for submission (and between 6 and 9 pages 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 (http://www.springer.com/lncs), which will collect contributions to some workshops co-located with SEFM 2020. 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 as EasyChair Smart CFP and in Text format.

Program Co-chairs
  • Pierluigi Graziani, Department of Pure and Applied Sciences, University of Urbino, Italy
  • Pedro Quaresma, Department of Mathematics, University of Coimbra, Portugal

Program Committee
  • 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
  • José Creissac Campos, Department of Informatics, University of Minho, Portugal
  • Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan
  • Peter Chapman, School of Computing, Edinburgh Napier University, UK
  • Luisa Damiano, Department of Ancient and Modern Civilizations, University of Messina, Italy
  • Anke Dittmar, Institute of Computer Science, Rostock University, Germany
  • Pierluigi Graziani, Department of Pure and Applied Science, University of Urbino, Italy
  • Yannis Haralambous, Computer Science Department, IMT Atlantique, France
  • Matej Hoffmann, Department of Cybernetics, CTU Prague, Czech Republic
  • Bipin Indurkhya, Cognitive Science Department, Jagiellonian University, Poland
  • Reinhard Kahle, Department of Mathematics, NOVA University Lisbon, Portugal
  • Karl Lermer, Safety Critical Systems Research Lab, ZHAW, Switzerland
  • Kathy L. Malone, Graduate School of Education, Nazarbayev University, Kazakhstan
  • Paolo Masci, US National Institute of Aerospace (NIA), US
  • Paolo Milazzo, Department of Computer Science, University of Pisa, Italy
  • Henry Muccini, Department of Information Engineering, Computer Science and Mathematics, University of L’Aquila, Italy
  • Eugenio Omodeo, Department of Mathematics and Earth Sciences, University of Trieste, Italy
  • Graham Pluck, Department of Computer Science, Nazarbayev University, 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
  • Anara Sandygulova, Department of Robotics, Nazarbayev University, Kazakhstan
  • 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


All inquiries concerning CIFMA 2020 submissions and scientific programme should be sent to cifma2020@easychair.org

  Created: Mon 8 Apr 2019 Maintained by  
  Updated: Thu 10 September 2020 Antonio Cerone