CfP: Latin-American Symposium on Dependable Computing (LADC 2018)
CALL FOR PAPERS
Latin-American Symposium on Dependable Computing (LADC 2018)
Co-sponsored: Brazilian Computer Society (BCS) and IEEE Computer Society
Foz do Iguacu (Iguassu), Brazil | October 08-10, 2018 | http://www.inf.unioeste.br/ladc2018/
IMPORTANT DATES:
Regular Papers and Practical Experience Reports:
Abstract submission: June, 22nd 2018 --> EXTENDED
Full paper submission: June, 22nd 2018 --> EXTENDED
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.
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.