[AISWorld] Fwd: [CFP] Latin-American Symposium on Dependable Computing (LADC), Foz do Iguaçu (Iguassu), Brazil

[Michele Nogueira]

==================================================================
The 8th Latin-American Symposium on Dependable Computing
http://www.sbc.org.br/ladc2018
Foz do Iguaçu (Iguassu), Brazil
October 08-10, 2018

Co-sponsored: Brazilian Computer Society (BCS) and IEEE Computer Society

IMPORTANT DATES:

Regular Papers and Practical Experience Reports:

Abstract submission: June 1st, 2018
Full paper submission: June 8th, 2018
Author notification: August 10th, 2018
Camera Ready: September 1st, 2018

==================================================================
Keynote Speakers confirmed:

Prof. Kishor Trivedi (Duke University, USA)
Prof. Raimundo Macedo (UFBA, Brazil)
==================================================================

LADC is the major Latin-American event oriented to disseminate computer
system dependability research advances. The LADC 2018 program will present
technical sessions, workshops, tutorials, fast abstracts, keynote talks
from international experts in the area and an industrial track. The
symposium scope includes software and system dependability research works
and technological challenges.

LADC looks for works exploring new territory, continuing a significant
research, or reflecting on practical experience. The main track at LADC
2018 is soliciting original, unpublished research papers in three
categories: (1) full research (regular) papers, (2) practical experience
reports, and (3) short papers. Full research manuscripts should explore
technology problem and propose a complete solution with results. Practical
experience reports are expected to provide an in-depth exposition of
practitioner experience and empirical studies. Short papers should present
preliminary research work (position papers), or a prototype/tool
description, outlining the architecture, implementation and usage of
substantive operational systems or tools for the research and practice of
dependable and secure systems. Papers will be assessed with criteria
appropriate to each category.

All aspects of dependable and secure computer systems and systems of
systems are within the scope of LADC, including fault tolerant
architectures, protocols and algorithms, models for performance,
dependability and security evaluation, as well as, experimentation and
assessment of dependable and secure systems. Authors are invited to submit
original papers on all aspects of research and practice on creating,
validating, deploying, and maintaining dependable and secure systems.

Major topics include, but are not limited to:
Frameworks and software architectures for dependability, runtime
monitoring, adaptation, model-driven engineering for the design of
dependable and secure systems, testing, verification & validation, software
certification.
Dependability and security of cyber-physical systems and systems of
systems, communication networks and protocols, data storage and databases.
Dependability and human issues, human-computer interaction, management of
complex systems.
Security foundations, policies, protocols, access control, intrusion
detection, intrusion tolerance.
Safety-critical systems and applications, incidents & accidents, risk
perception, analysis and management.
Dependability and security modeling, measurement and benchmarking.
Maintenance, tuning of performance and availability, security configuration.


Publication, Special Issue and Paper Award
In its 8th Edition, the LADC proceedings will be published by IEEE Computer
Society Conference Publishing Service and made available on the IEEE Xplore
digital library. Also, an extended version of selected papers will be
published in a special issue of "The Journal of Brazilian Computer
Society". A Best Paper Award is also a tradition in LADC and will be
selected among the submitted works.

Submission guidelines
Papers must be written in English. Research Papers, Practical Experience
Reports, and Short Papers should be respectively no longer than 10 pages, 6
pages and 4 pages, following the IEEE two-column format for conference
proceedings. The category of the paper should be clearly marked in the
first page. Authors are requested to first register their submissions and
then submit their manuscripts in PDF format at the JEMS webpage.

==================================================================
Call for Workshops Proposal
LADC 2018 is inviting proposals for one-day or half-day workshops in topics
related to dependability, with a particular interest in emerging areas.

Workshop proposals should include the following information:

The title of the workshop
*A technical description of the workshop theme and goals, and its relevance
to LADC
*A short description of previous editions of the workshop, if any
*The names, affiliation, and email addresses of the organizing committee

Accepted workshops will organize their own publicity, submissions and
peer-review procedures. They should provide their own web page, which will
be linked from the LADC 2018 web site.

Important Dates
Proposal submission: May 04, 2018
Acceptance notification: May 11, 2018
Call for papers available: June 18, 2018
Workshops date: One/half day in October 8-10, 2018

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

LADC'2018 will take place just after SRDS'2018 - The 37th Symposium on
Reliable Distributed Systems, which will also be held in Brazil (Salvador,
Bahia) from October 2 to 5, 2018.