[Posgrados-invop] [LADC 2018]

[Héctor Cancela]

===============================================================================
  		                   - LADC 2018 -
  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.