============================

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:


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 collaborations;

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.



==================

KEYNOTE SPEAKER

==================


Martin Davis (New York University, USA)


Title: “The Brain As a Computer”

Abstract: The possibility that our brains have a computer-like aspect suggests various questions which will be discussed. Does the brain execute algorithms? What is consciousness? What is its function? Does the brain have an operating system?



=========================

SUBMISSION GUIDELINES

=========================


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

(https://easychair.org/my/conference?conf=cifma2021#).


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

(-) Presentations

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.



===============

LIST OF TOPICS

===============


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



=================

PROGRAM CHAIRS

================


Pierluigi Graziani, Department of Pure and Applied Sciences, University of Urbino, Italy


Gentiane Venture, Department of Mechanical Systems Engineering, Tokyo University of Agriculture and Technology, Japan



==============================

PROGRAM COMMITTEE (provisional)

==============================


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, Artificial Intelligence Research Institute - Spanish Research Council (CSIC), Barcelona, Spain

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

Gianluca Curzi, School of Computer Science, University of Birmingham, UK

Luisa Damiano, Department of Communication, Arts and Media, IULM University of Milan, 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 Sciences, 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 Lisbon, Portugal

Karl Lermer, Safety Critical Systems Research Lab, ZHAW, Switzerland

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

Marco Nørskov, Department of Philosophy and the History of Ideas, Denmark

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, 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

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 Agriculture and Technology, Japan





=============

PUBLICATION

=============


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



=========

CONTACT

=========


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