LADC 2018
Date: Oct 08, 2018 6:00 am – Oct 10, 2018 5:00 pm
Location: Foz do Iguaçu (Iguassu), Brazil
Latin-American Symposium on Dependable Computing (LADC 2018)
Co-sponsored: Brazilian Computer Society (BCS) and IEEE Computer Society
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.
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.
Submitted by Anonymous
on
Latin-American Symposium on Dependable Computing (LADC 2018)
Co-sponsored: Brazilian Computer Society (BCS) and IEEE Computer Society
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.
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.