Animation and exchanges in the Petri Nets community

[JEAN CARLOS TEIXEIRA DE ARAÚJO via Petrinet <address@concealed>]

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

LADC 2024 - Research Track - Call for Papers

13th Latin-American Symposium on Dependable and Secure Computing (LADC 2024)

November 26 to 29, 2024, Recife - PE, Brazil

Co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC)

https://ladc.sbc.org.br/2024/

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

Important Dates

-----------------------------------------------

Manuscript submission:      21 June 2024 

Notification of acceptance: 2 September 2024 

Camera-ready:               23 September 2024

Symposium:                  26-29 November 2024      

Description

-----------------------------------------------

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track. 

 

The Symposium is promoted by the Special Committee on Fault-Tolerant Systems (CE-TF) of the Brazilian Computer Society (SBC).   LADC’2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

 

Prospective authors are invited to submit original research papers for presentation at the symposium in two categories: (1) full research (regular) papers, and (2) practical experience reports. Papers will be assessed with criteria appropriate to each category. LADC looks for works exploring new territory, continuing significant research, or reflecting on practical experience. While full research manuscripts should explore a specific technology problem and propose a complete solution to it, with extensive results, practical experience reports are expected to provide an in-depth exposition of practitioner experience and empirical studies. 

 

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

Topics of Interest

-----------------------------------------------

- Critical infrastructure protection, cyber-physical systems, safety-critical systems

- Blockchain and distributed ledger technologies

- Autonomous and smart systems (e.g., UAVs, smart spaces, urban computing)

- Cloud, edge, and fog computing

- Networks (e.g., wireless, mobile, ad-hoc, sensor networks, internet of things, software-defined networking, network function virtualization)

- Software (e.g., software frameworks and architectures, self-adaptive systems, model-driven engineering, testing, V&V, certification, runtime verification)

- Hardware (e.g., embedded systems, systems on chip, storage systems)

- Emerging technologies (e.g., quantum computing, trusted computing)

- Fault-tolerant algorithms and protocols for distributed and decentralized systems

- Human issues, human-computer interaction, socio-technical systems

- AI for dependability and security, dependability and security of AI systems

- Modeling, measurement, and benchmarking of dependability and security properties

- Security foundations, policies, protocols, access control

- Intrusion detection, intrusion tolerance, incident handling, and response

Publication

-----------------------------------------------

The proceedings of LADC 2024 will be published in the ACM International Conference Proceeding Series (ICPS) and indexed by the ACM Digital Library. Following the model of earlier editions (visit https://ladc.sbc.org.br/2023/ladc2022-submit/), there is a planned special issue in a reputable journal. Authors of selected best papers will be invited to submit extended versions.

Submission Guidelines

-----------------------------------------------

Link for submission in JEMS: https://jems.sbc.org.br/home.cgi?c=4542

Papers must be written in English. All submissions are single-blind and will be reviewed by at least three program committee members. Research Papers and Practical Experience Reports should be no longer than 10 pages and 6 pages, respectively, using the ACM sigconf template (https://authors.acm.org/proceedings/production-information/taps-production-workflow  - double column, \documentclass[sigconf]{acmart} for LaTeX). 

The category of the paper should be clearly marked on the first page. Authors are requested to first register their submissions and then submit their manuscripts in PDF format at the JEMS webpage. JEMS limits to a maximum of 8 authors per paper. Including more than 8 authors is allowed but they must be present in the submitted PDF and communicated  to the TPC chairs after acceptance notification.

Program Committee Co-Chairs

-----------------------------------------------

Fernando Dotti, Pontifícia Universidade Católica de Rio Grande do Sul, Brazil

Nuno Laranjeiro, University of Coimbra, Portugal