Logic List Mailing Archive
CFP: LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing, 26-29 November, Recife - PE (Brazil)
=========================
=========================
=========================
=========
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 Engineerin
g (SBESC)
https://ladc.sbc.org.br/2024/
=========================
=========================
=========================
=========
Important Dates
-----------------------------------------------
Manuscript submission: 5 July 2024 (extended)
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 t
he major event on dependability and security of computer systems in Latin A
merica. LADC 2024 will feature technical sessions, workshops, tutorials, fa
st abstracts, keynote talks from international experts in the area, and an
industrial track.
The Symposium is promoted by the Special Committee on Fault-Tolerant System
s (CE-TF) of the Brazilian Computer Society (SBC). LADC'2024 will be co-l
ocated with the XIV Brazilian Symposium on Computing Systems Engineering (S
BESC), in Recife, Brazil, November 26 to 29 2024.
Prospective authors are invited to submit original research papers for pres
entation at the symposium in two categories: (1) full research (regular) pa
pers, and (2) practical experience reports. Papers will be assessed with cr
iteria appropriate to each category. LADC looks for works exploring new ter
ritory, continuing significant research, or reflecting on practical experie
nce. While full research manuscripts should explore a specific technology p
roblem and propose a complete solution to it, with extensive results, pract
ical experience reports are expected to provide an in-depth exposition of p
ractitioner experience and empirical studies.
All aspects of dependable and secure systems and networks are within the sc
ope of LADC, including fault-tolerant architectures, protocols, and algorit
hms, models for performance and dependability evaluation, as well as, exper
imentation and assessment of dependable and secure systems and networks. Au
thors are invited to submit original papers on research and practice of cre
ating, validating, deploying, and maintaining dependable and secure systems
and networks.
Topics of Interest
-----------------------------------------------
- Critical infrastructure protection, cyber-physical systems, safety-critic
al 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 th
ings, software-defined networking, network function virtualization)
- Software (e.g., software frameworks and architectures, self-adaptive syst
ems, model-driven engineering, testing, V&V, certification, runtime verific
ation)
- 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 syste
ms
- Modeling, measurement, and benchmarking of dependability and security pro
perties
- Formal methods for dependable and secure systems
- 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 Con
ference Proceeding Series (ICPS) and indexed by the ACM Digital Library<htt
ps://dl.acm.org/>. LADC 2024 will be followed by a special issue in the Jou
rnal of Internet Services and Applications (JISA), which is classified as Q
ualis CAPES A2 and as Q2 in Scimago SJR. The authors of selected papers wil
l be invited to submit an extended version for the journal special issue.
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 wil
l be reviewed by at least three program committee members. Research Papers
and Practical Experience Reports should be no longer than 10 pages and 6 pa
ges, respectively, using the ACM sigconf template (https://authors.acm.org/
proceedings/production-information/taps-production-workflow - double colum
n, \documentclass[sigconf]{acmart} for LaTeX).
The category of the paper should be clearly marked on the first page. Autho
rs 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, Pontifcia Universidade Catlica de Rio Grande do Sul,
Brazil
Nuno Laranjeiro, University of Coimbra, Portugal
https://ladc.sbc.org.br/2024/program-committee/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php