From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id C8A205D5 for ; Sun, 26 May 2019 20:23:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,516,1549926000"; d="scan'208,217";a="384784314" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 May 2019 22:23:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 18B24824A7; Sun, 26 May 2019 22:23:48 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3FA6C7ED69 for ; Sun, 26 May 2019 22:18:37 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antonio.cerone@nu.edu.kz; spf=Pass smtp.mailfrom=antonio.cerone@nu.edu.kz; spf=None smtp.helo=postmaster@mail-ot1-f41.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Adzpmzxbvty2JN6UZvF4keEz/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8W6bnLW6fgltlLVR4KTs6sC17OP9fm6ASdZvcbJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/MusUInYduJbs9xxTKr3BVZ+?= =?us-ascii?q?lY2GRkKE6JkR3h/Mmw5plj8ypRu/Il6cFNVLjxcro7Q7JFEjkoKng568L3uxbN?= =?us-ascii?q?SwuP/WYcXX4NkhVUGQjF7Qr1UYn3vyDnq+dywiiaPcnxTbApRTSv6rpgRRH0hC?= =?us-ascii?q?sbMTMy7WbYhNFtjKJAuBKuuQBww5LaboGSMfpxZKLdfdUHTmZFUctcUylND4Wh?= =?us-ascii?q?ZIUNEuUBJ/5VoIbzp1QMrRWwCwqiCv7xxDBUnXL5x7E23v47HA3awAAtHdQDu2?= =?us-ascii?q?nUotXvM6cSVPi4wbXOzTXfaPNW3zb96I/VeR0/v/6MR7VwcczPxkIyEA7KlFOQ?= =?us-ascii?q?qZDiPzOT1+QNtHKX4PZ+WuK1jG4nrR9+ryOpxscxkIXGmJ8ayk3e+SV6wYc4PN?= =?us-ascii?q?u1Q1N1b96jFZtfrSCaN41uT8w8WW5ooyY7xaEGuZGhfSgK0o4rxxnFa/yIa4SI?= =?us-ascii?q?+QrjVPyQITd+i3JqZqi/iwyu/kinz+3wTsa00FdWripFj9nDrWoB1x3U6sSfUf?= =?us-ascii?q?t95l2h2TeJ1wDc9O5EO1o4mrfFJJMn37U+lYITvFzdEiPqnEj6lqybe0U+9uS2?= =?us-ascii?q?9ujrfq/qq5CBO4JylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD7+E32WrRKjvkvnq?= =?us-ascii?q?nerJDWON0XpqC2DgNIyIoj5BG/DzCp0NQcg3YLNk5KeBWCj4TxOlHOJu73Deun?= =?us-ascii?q?jliyjDtmw+rKM77hD5nXMHTPjavtcaxy5kJB0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TCAR8/Lwy0xODnCNR61o8ERW2AHLWZMKTUsVCW/e8vJfSMaJULtzngNvgp/f3u?= =?us-ascii?q?jH4hlV8HYaapxYcXaGy/Hvl+P0qWe3/sgtMYHWcOvwo+V/DqhUaZUT9TYnayR7?= =?us-ascii?q?gz6is6CIKgF4fDR5qijKaP3CehTdVqYTVNA1WIVHPpbJmsWvEWaSvULNUyvCYD?= =?us-ascii?q?UO2ITZMm0xCp/CT30b1hI6KA8ysEspTi055+6vfUkxwa8yEyAsiAlWKfGTIn1l?= =?us-ascii?q?gUTiM7ifgs6Xd2zU2OhPQp2qAKJZlo//pMFzwCG9vE1eUjUoL0R0TMcsrPS0T0?= =?us-ascii?q?Goz3UwF0dco4xpo1W2g4Htyjih7Z2C/zWu0TivqGCIFy8bCOhiGsdfY48G7P0e?= =?us-ascii?q?wat3djQsZLMjf71Kt29gyWAJKQ1kvFzuClcqMT2COL/2CGnzKD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMBAA09OpchinSVdFlHQEBBQEHBQGBZ?= =?us-ascii?q?YFiVkKBBCiEE4EdpleGEoEQA1QBCAEDAQwjDAEBgUuCdQKCPxsHAQQ0EwEDAQE?= =?us-ascii?q?EAQECAQEDARMBAQEICwsIKSMMgjoMgwUGGgMGHQEBJgMCBwYPFjcCAiISAQUBH?= =?us-ascii?q?BkWgwwBggoPnAE8ii9xgS+CeQEBBYVSBwqBPQkSgSKLU4FXP4ERgiaCLoFEDgs?= =?us-ascii?q?CAQEYgRQBEgFMgl2CWIgzgxWdDwcCgg9aBIVWiDCEMRuWSYQBj2+EIIEfiVAPI?= =?us-ascii?q?YFFgQdxMxpzMQaCNQmBDngYAoNWM4IxRoFqhUFAMAGMIg0XB4IlAQE?= X-IPAS-Result: =?us-ascii?q?A0AMBAA09OpchinSVdFlHQEBBQEHBQGBZYFiVkKBBCiEE4E?= =?us-ascii?q?dpleGEoEQA1QBCAEDAQwjDAEBgUuCdQKCPxsHAQQ0EwEDAQEEAQECAQEDARMBA?= =?us-ascii?q?QEICwsIKSMMgjoMgwUGGgMGHQEBJgMCBwYPFjcCAiISAQUBHBkWgwwBggoPnAE?= =?us-ascii?q?8ii9xgS+CeQEBBYVSBwqBPQkSgSKLU4FXP4ERgiaCLoFEDgsCAQEYgRQBEgFMg?= =?us-ascii?q?l2CWIgzgxWdDwcCgg9aBIVWiDCEMRuWSYQBj2+EIIEfiVAPIYFFgQdxMxpzMQa?= =?us-ascii?q?CNQmBDngYAoNWM4IxRoFqhUFAMAGMIg0XB4IlAQE?= X-IronPort-AV: E=Sophos;i="5.60,516,1549926000"; d="scan'208,217";a="307251205" X-MGA-submission: =?us-ascii?q?MDH5iaMBXUIrZal0351zxRxQSFfNpJ6FobJcjD?= =?us-ascii?q?XKVl2vATBGMkCRwi1xUNanXPzvXdhjZa125lDQr0dHW7lcqJYXQfss9K?= =?us-ascii?q?6C8l3xZ6CoGwwsY4ewhO9e/GXTStyD/YTolXsVPTFmqFIRsrhVuGsrn9?= =?us-ascii?q?hqydHSu8UOh/TMmVlV2KUEnQ=3D=3D?= Received: from mail-ot1-f41.google.com ([209.85.210.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 May 2019 22:18:34 +0200 Received: by mail-ot1-f41.google.com with SMTP id r10so13106306otd.4 for ; Sun, 26 May 2019 13:18:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nu.edu.kz; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=mBO8N9oNS0eyxQMaGW7JE+UpdFOE8WK/RQo2GlvcZpE=; b=ish1uMuaj6dG4732o/DgnzQ+RmovifvO4nY5MgF2MRji2UbDOB/Bxy1z/XWfVfmkHV +uMkkFlt9+Q07R96nHF6q0DwBKVdj/cyX7HiqkAKSjx0DaI6nmpJFo2f3hc0QyNolSSD Irfg1nCGUrVhbkY0fYukgiQ7SI50fbQ2nLqRo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=mBO8N9oNS0eyxQMaGW7JE+UpdFOE8WK/RQo2GlvcZpE=; b=otOfoN+jqu8Ed/LSzLz9dZSMMkm3aieXmmSt/9u255WDV8dMHxZsfip+N8CtnnnKox +A37C3r3wgjdag1FLSuhV7NBCacUq1VKhaQ0vW1gUkoAy6ridTAd9zENiX7yGeUAFMCb 3M3Q0Elt8VwP9EKLcTHK8XFoIXF+yeNgKObVfxsy5RJbAZXpNfzlcojGBiR5BEWBWFr4 JVc9qhP3Z7JvWNdHn1SYdPy9N4Mvd+OaD6cMn9MPI4j3OYv7uXN1ouB9s1Xoi493SRJB 5jPEUE1z2Qli2j0TmM/FWA/HcYfoaNX9P9ovG1hYuVa+KGG3CQvo195UIRotQ5ucGi7L DhfA== X-Gm-Message-State: APjAAAXgc3Bqnodzm16vkF/mDaROIi+ojtex2KUjVwXDPjUZh+mQATNS G3PLeiMdsD564j0pkfSd2HM+qeQWriPzeffJ/5E5PQgvAEM= X-Google-Smtp-Source: APXvYqxf7a47ho0WD80wFeuqRcnVPzMAcjfMOmvLz6TIDrfWgOR++3bHSpwpcgAwLp+R7bzA7Fb/sTSg/6AEnmz7J4Y= X-Received: by 2002:a05:6830:149a:: with SMTP id s26mr39113984otq.221.1558901913167; Sun, 26 May 2019 13:18:33 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Antonio Cerone Date: Sun, 26 May 2019 22:17:57 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000c630160589d022fb" X-Validation-by: antonio.cerone@nu.edu.kz Subject: [Caml-list] CIFMA 2019 - Call for Papers Reply-To: Antonio Cerone X-Loop: caml-list@inria.fr X-Sequence: 17573 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000c630160589d022fb Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies for cross-posting] ---------------------------------------------------------------------------= -------- Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CIFMA 2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D https://cifma.github.io Oslo, Norway, 17 September 2019 Co-located with SEFM 2019 ---------------------------------------------------------------------------= -------- Submission link https://easychair.org/conferences/?conf=3Dcifma2019 Submission deadline: Thursday 13 June 2019 Notification: Friday 4 July 2019 ---------------------------------------------------------------------------= -------- 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 inv= olves 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 stu= dying cognition to a large number of disciplines well beyond psychology. Cognitive processes are analysed from different perspectives within differe= nt 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 establ= ish 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. ---------------------------------------------------------------------------= -------- SUBMISSION GUIDELINES ---------------------------------------------------------------------------= -------- Authors are invited to submit, via Easychair, research contributions or experience reports. The submission link is: https://easychair.org/conferences/?conf=3Dcifma2019 All papers should be written in English and prepared using the specific LNC= S templates available at http://www.springer.de/comp/lncs/authors.html. 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 framewor= ks which are likely to foster discussion at the workshop. INTERDISCIPLINARY PROJECT PAPERS to describe a new interdisciplinary resear= ch project, or the status of an ongoing project or the outcomes of a recently completed project. CASES 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 to cognitive science. Contributions will be in the form of * FULL 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 pa= ges 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 ea= rly stage of development and which have not yet been thoroughly evaluated. The program committee may reject papers that are outside these lengths on t= he 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 CO-CHAIRS ---------------------------------------------------------------------------= -------- * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan * Alan Dix, Computational Foundry, Swansea University, UK ---------------------------------------------------------------------------= -------- PROGRAM COMMITTEE ---------------------------------------------------------------------------= -------- * Oana Andrei, School of Computing Science, University of Glascow, UK * Luca Andrighetto, Department of Education Sciences, University of Genoa, = Italy * Giovanna Broccia, Institute for Information Science and Technologies (CNT-ISTI), Italy * Ana Cavalcanti, Department of Computer Science, University of York, UK * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Co-chair) * Peter Chapman, School of Computing, Edinburgh Napier University, UK * Anke Dittmar, Institute of Computer Science, Rostock University, Germany * Alan Dix, Computational Foundry, Swansea University, UK (Co-chair) * Filippo Domaneschi, Department of Education Sciences, University of Genoa, Italy * Siamac Fazli, Department of Computer Science, Nazarbayev University, Kazakhstan * Andrey Filchenko, Department of Languages, Linguistics and Literatures, Nazarbayev University, * Kazakhstan * Roberta Gori, Department of Computer Science, University of Pisa, Italy * Guido Governatori, Data61, CSIRO, Australia * Pierluigi Graziani, Department of Pure and Applied Science, University of Urbino, Italy * Per Ola Kristensson, Department of Engineering, University of Cambridge, = UK * 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 * Mieke Massink, Institute of Information Science and Technologies (CNR-ISTI), Italy * Paolo Milazzo, Department of Computer Science, University of Pisa, Italy * Marcello Passarelli, Institute for Educational Technologies (CNT-ITD), It= aly * Ahti-Veikko Pietarinen, Department of History, Philosophy and Religious Studies, Nazarbayev University, Kazakhstan * Peter =C3=96lveczky, Department of Informatics, University of Oslo, Norwa= y * Ka I Pun, Department of Computing, Mathematics and Physics, Western Norway University of Applied Sciences, Norway * Anara Sandygulova, Department of Robotics and Mechatronics, Nazarbayev University, Kazakhstan * Volker Stolz, Department of Computing, Mathematics and Physics, Western Norway University of Applied Sciences, Norway * Jim T=C3=B8rresen, Department of Informatics, University of Oslo, Norway ---------------------------------------------------------------------------= -------- 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/l= ncs), which will collect contributions to some workshops co-located with SEFM 201= 9. 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 submissions should be sent to cifma2019@easychair.= org --000000000000c630160589d022fb Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Apologies for cross-posting]

=
---------------------------------------------------------------------------=
--------
Call for Papers

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
 CIFMA 2019
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D
1st International Workshop on
Cognition: Interdisciplinary Foundations, Models and Applications
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D

https://cifma.github.=
io

Oslo, Norway, 17 September 2019

Co-located with SEFM 2019

---------------------------------------------------------------------------=
--------
Submission link https://easychair.org/conferences/?conf=3Dcifma2019<=
/a>
Submission deadline: Thursday 13 June 2019
Notification: Friday 4 July 2019
---------------------------------------------------------------------------=
--------

Cognition encompasses many aspects of intellectual functions and processes =
such as
attention, knowledge, memory, judgment, reasoning, problem solving, decisio=
n making,
comprehension and production of language. Although it originated from the f=
ield of
psychology, it goes beyond the individual human mind and behaviour, and inv=
olves
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 populat=
ing it,
but includes a large technological support consisting of physical and compu=
tational
systems, virtual worlds and robots. This fact has expanded the scope of stu=
dying
cognition to a large number of disciplines well beyond psychology.
Cognitive processes are analysed from different perspectives within differe=
nt
contexts, notably in the fields of linguistics, anesthesia, neuroscience, p=
sychiatry,
psychology, education, philosophy, anthropology, linguistics, biology, syst=
emics,
logic, and computer science. These and other different approaches to the an=
alysis
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 applicat=
ions 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 establ=
ish
   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.


---------------------------------------------------------------------------=
--------
SUBMISSION GUIDELINES
---------------------------------------------------------------------------=
--------

Authors are invited to submit, via Easychair, research contributions or exp=
erience
reports. The submission link is: https://easychair.org/conferences/?=
conf=3Dcifma2019

All papers should be written in English and prepared using the specific LNC=
S
templates available at http://www.springer.de/comp/lncs/authors.html.

There are six categories of submissions

RESEARCH PAPERS to present original research and the analysis, interpretati=
on and
validation of the research findings.

POSITION PAPERS to present innovative, arguable ideas, opinions or framewor=
ks
which are likely to foster discussion at the workshop.

INTERDISCIPLINARY PROJECT PAPERS to describe a new interdisciplinary resear=
ch
project, or the status of an ongoing project or the outcomes of a recently
completed project.

CASES STUDY PAPERS to report on case studies, preferably in a real-world se=
tting.

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 int=
eraction
aspects, and evaluate the overall role of the tool and impact to cognitive =
science.

Contributions will be in the form of

* FULL 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 pa=
ges
  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 idea=
s 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 t=
he
grounds of length alone.

Submitted papers will be refereed for quality, correctness, originality and
relevance. Notification and reviews will be communicated via email. Accepte=
d papers
(both "Full papers" and "Short papers") will be include=
d in the workshop programme and
will appear in the workshop pre-proceedings as well as in the LNCS post-pro=
ceedings.
Pre-proceedings will be available online before the Workshop.


---------------------------------------------------------------------------=
--------
LIST OF TOPICS
---------------------------------------------------------------------------=
--------

Contributions to the workshop cover the areas of education, research and te=
cHnology,
either in general or with a focus on formal methods. Topics are organised i=
n 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 so=
ftware
  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 co=
mputers
  and robots;
* application of formal methods to cognitive psychology.


---------------------------------------------------------------------------=
--------
PROGRAM CO-CHAIRS
---------------------------------------------------------------------------=
--------

* Antonio Cerone, Department of Computer Science, Nazarbayev University, Ka=
zakhstan
* Alan Dix, Computational Foundry, Swansea University, UK


---------------------------------------------------------------------------=
--------
PROGRAM COMMITTEE
---------------------------------------------------------------------------=
--------

* Oana Andrei, School of Computing Science, University of Glascow, UK
* Luca Andrighetto, Department of Education Sciences, University of Genoa, =
Italy
* Giovanna Broccia, Institute for Information Science and Technologies (CNT=
-ISTI), Italy
* Ana Cavalcanti, Department of Computer Science, University of York, UK
* Antonio Cerone, Department of Computer Science,
  Nazarbayev University, Kazakhstan (Co-chair)
* Peter Chapman, School of Computing, Edinburgh Napier University, UK
* Anke Dittmar, Institute of Computer Science, Rostock University, Germany
* Alan Dix, Computational Foundry, Swansea University, UK (Co-chair)
* Filippo Domaneschi, Department of Education Sciences, University of Genoa=
, Italy
* Siamac Fazli, Department of Computer Science, Nazarbayev University, Kaza=
khstan
* Andrey Filchenko, Department of Languages, Linguistics and Literatures,
  Nazarbayev University, * Kazakhstan
* Roberta Gori, Department of Computer Science, University of Pisa, Italy
* Guido Governatori, Data61, CSIRO, Australia
* Pierluigi Graziani, Department of Pure and Applied Science,
  University of Urbino, Italy
* Per Ola Kristensson, Department of Engineering, University of Cambridge, =
UK
* Karl Lermer, Safety Critical Systems Research Lab, ZHAW, Switzerland
* Kathy L. Malone, Graduate School of Education, Nazarbayev University, Kaz=
akhstan
* Paolo Masci, US National Institute of Aerospace (NIA), US
* Mieke Massink, Institute of Information Science and Technologies (CNR-IST=
I), Italy
* Paolo Milazzo, Department of Computer Science, University of Pisa, Italy
* Marcello Passarelli, Institute for Educational Technologies (CNT-ITD), It=
aly
* Ahti-Veikko Pietarinen, Department of History, Philosophy and Religious S=
tudies,
  Nazarbayev University, Kazakhstan
* Peter =C3=96lveczky, Department of Informatics, University of Oslo, Norwa=
y
* Ka I Pun, Department of Computing, Mathematics and Physics,
  Western Norway University of Applied Sciences, Norway
* Anara Sandygulova, Department of Robotics and Mechatronics,
  Nazarbayev University, Kazakhstan
* Volker Stolz, Department of Computing, Mathematics and Physics,
  Western Norway University of Applied Sciences, Norway
* Jim T=C3=B8rresen, Department of Informatics, University of Oslo, Norway


---------------------------------------------------------------------------=
--------
PUBLICATION
---------------------------------------------------------------------------=
--------

Accepted regular and short papers will be published after the Workshop by S=
pringer
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 201=
9.
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, d=
epending
on the number and quality of submissions.


---------------------------------------------------------------------------=
--------
CONTACT
---------------------------------------------------------------------------=
--------

All inquiries concerning submissions should be sent to cifma2019@easychair.org
<= /div>
--000000000000c630160589d022fb--