posted by organizer: pfribeiro || 5105 views || tracked by 5 users: [display]

FACJ-SI-Robotics 2019 : Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ)

FacebookTwitterLinkedInGoogle

Link: https://www.springer.com/cda/content/document/cda_downloaddocument/FACJSIRobotics.pdf?SGWID=0-0-45-1644626-p1015814
 
When N/A
Where N/A
Submission Deadline Mar 31, 2019
Notification Due Sep 30, 2019
Categories    journal special issue   computer science   formal methods   robotics
 

Call For Papers

----------------------------------------------
Special Issue on Formal Methods for Robotics
Formal Aspects of Computing
----------------------------------------------

We invite submissions of papers on Formal Methods
for Robotic Systems for publication in a special
issue of Formal Aspects of Computing
(https://link.springer.com/journal/165).

-------
Scope
-------

This special issue is devoted to original research
papers on techniques, applications, industrial case
studies, and experience reports connected to the
design and deployment based on formal methods of
robotic systems. Focus is given on all aspects of
modelling, simulation, testing, 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

* Formal domain-specific languages
* Verification of robotic applications: model
checking, theorem proving, and others
* Requirements analysis and validation
* Formal approaches to simulation and testing
* Correct-by-construction approaches
* Probabilistic models and analysis
* Formal approaches to safety and security

----------------------------------
Submission Format and Guidelines
----------------------------------

Papers should have no more than 30 pages and should
be formatted according to the instructions used for
articles in the journal Formal Aspects of Computing.
A detailed submission guideline is available as
'Instructions for Authors' at:
https://www.springer.com/computer/theoretical+computer+science/journal/165?detailsPage=pltci_1365578#.

All manuscripts and any supplementary material should
be submitted through the journal's Editorial Manager:
https://www.editorialmanager.com/faoc/default.aspx.
The authors must select 'S.I.: Robotics' when they reach
the 'Article Type' step in the submission process.

All papers will be peer-reviewed by at least three
independent reviewers. Requests for additional
information should be addressed to the guest editors.

-----------------
Important dates
-----------------

Submission deadline: 31.3.2019
Notification deadline: 30.9.2019

Papers submitted early will be deal with straightaway.

----------------
Guest editors
----------------

Ana Cavalcanti and Pedro Ribeiro, University of York.


* CFP poster version available at:
https://www.springer.com/cda/content/document/cda_downloaddocument/FACJSIRobotics.pdf?SGWID=0-0-45-1644626-p1015814

Related Resources

FM 2021   Formal Methods 2021
IEEE CAIT--Ei Compendex, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
ESOP 2021   30th European Symposium on Programming
ICAAI--ACM, Ei Compendex, Scopus 2020   ACM--2020 The 4th International Conference on Advances in Artificial Intelligence (ICAAI 2020)--EI Compendex, Scopus
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
AIP Journal - Indexed in Scopus 2020   Journal of Social and Business Informatics - Acta Informatica Pragensia
CPP 2021   Certified Programs and Proofs
ACM--ICMVA--EI Compendex, Scopus 2021   ACM--2021 The 4th International Conference on Machine Vision and Applications (ICMVA 2021)--EI Compendex, Scopus