X-Received: by 2002:a05:6214:c28:: with SMTP id a8mr43350046qvd.24.1639398061918; Mon, 13 Dec 2021 04:21:01 -0800 (PST)
X-Received: by 2002:a05:622a:50d:: with SMTP id l13mr44430797qtx.75.1639398061764; Mon, 13 Dec 2021 04:21:01 -0800 (PST)
Path: csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.specification.misc
Date: Mon, 13 Dec 2021 04:21:01 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=86.133.50.58; posting-account=a58YFwoAAACyomuydpnnRG-aq3S7ArGb
NNTP-Posting-Host: 86.133.50.58
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5b44992-b745-4d49-b99b-028a30509bc9n@googlegroups.com>
Subject: [CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
From: Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk>
Injection-Date: Mon, 13 Dec 2021 12:21:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 50
Xref: csiph.com comp.specification.misc:101

# Special Issue: Software Engineering for Robotics
# Robotics and Autonomous Systems Journal, Elsevier

We invite submissions of papers on Software Engineering for Robotics for pu=
blication in a special issue of Robotics and Autonomous Systems (https://ww=
w.journals.elsevier.com/robotics-and-autonomous-systems).

## Scope

This special issue is devoted to original research papers on techniques, ap=
plications, industrial case studies, and experience reports connected to th=
e design and deployment of software for robotic systems. Focus is given on =
all aspects of modelling, simulation, and implementation for the validation=
 and verification of robotic systems.

## Topics of Interest

In particular, the topics of interest include but are not limited to
 * Domain-specific languages for robotics
 * Verification of robotic applications: simulation, testing, and deploymen=
t
 * Requirements analysis and validation of robotic applications
 * Hybrid modelling and analysis of robotics applications
 * Probabilistic models and analysis for robotic applications
 * Approaches to safety and security of robotic applications
 * Software development processes and methods for robotics
 * Robotic system maintenance, adaptation, and evolution

## Submission Format and Guideline

Papers should =E2=80=8Bbe submitted via the online submission system Editor=
ial Manager=C2=AE (https://www.editorialmanager.com/robot/default1.aspx) fo=
r the journal. There is a Guide for Authors (https://www.elsevier.com/journ=
als/robotics-and-autonomous-systems/0921-8890/guide-for-authors), where you=
=E2=80=99ll find LaTeX templates.  Use of LaTeX is recommended.

All papers will be peer-reviewed by three independent reviewers. Requests f=
or additional information should be addressed to the guest editors.

## Important dates

* Submission deadline: 30.04.2022
* Acceptance deadline: 30.11.2022

## Guest editors

* Ana Cavalcanti, University of York
* Alvaro Miyazawa, University of York
* Jon Timmis, University of Sunderland

(https://robostar.cs.york.ac.uk/CfP-ROBOT-2022.html)