6 Dec 2021
=================
CIFMA 2021
================
3rd International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA
2021)
Monday 6 December 2021
https://cifma.github.io/
VIRTUAL EVENT organised by Nazarbayev University, Nur-Sultan, Kazakhstan,
and the University of York, York, UK
Co-located with SEFM 2021
=================
IMPORTANT DATES
=================
Paper Abstract Submission deadline: Friday 24 September 2021
Paper Submission deadline: Friday 1 October 2021
Accept/Reject Notification: Friday 5 November 2021
============================
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.
==================
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, Tokyo
==============================
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 Ancient and Modern Civilizations, University
of Messina, Italy
Anke Dittmar, Institute of Computer Science, Rostock University, Germany
Alan Dix, Director of the 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 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, Aalto University, Finnish Center for AI,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, Tokyo
=============
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam