[Posgrados-invop] CFP - 9th Latin-American Symposium on Dependable Computing

Hector Cancela cancela at fing.edu.uy
Wed Jul 3 09:18:56 -03 2019




-------- Mensaje reenviado --------
Asunto: 	LADC 2019 - Dissemination of CFP
Fecha: 	Wed, 03 Jul 2019 01:39:44 -0300
De: 	Leonardo Montecchi <leonardo at ic.unicamp.br>
Para: 	leonardo at ic.unicamp.br
CC: 	Luciana Arantes <luciana.arantes at lip6.fr>



Dear LADC 2019 Program Committee Members,

I am attaching the CFP in different formats, please help us
disseminating it as much as possible, as the deadline is approaching.
I will also send it in a separate email to simplify forwarding it.

Also, we would like to encourage everyone to submit, ant take the
opportunity to visit the beautiful city of Natal!

Thanks for your help and for your support to LADC!

Best regards,
Leonardo.

-- 
Leonardo Montecchi
Instituto de Computação, UNICAMP
http://ic.unicamp.br/~leonardo

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.fing.edu.uy/pipermail/posgrados-invop/attachments/20190703/af70ce36/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: LADC_call_for_paper-final.pdf
Type: application/pdf
Size: 132984 bytes
Desc: not available
URL: <https://www.fing.edu.uy/pipermail/posgrados-invop/attachments/20190703/af70ce36/attachment-0001.pdf>
-------------- next part --------------
========================================
LADC 2019 – CALL FOR PAPER
https://ladc2019.imd.ufrn.br/
Natal, Brazil - November 19-21, 2019
========================================

LADC is the Latin-American event oriented to disseminate computer system dependability
and security research advances. This year, LADC 2019 will be held in conjunction with 
the IX Brazilian Symposium on Computing Systems Engineering in Natal, Brazil from 
the 19th to the 21st of November 2019. 

The LADC symposium scope includes all the aspects of both dependability and security,
as well as research on the technological challenges that they entail for the design,
verification and validation and maintenance of systems, software, and hardware.
 
The main track at LADC 2019 will comprise original, unpublished research papers in three categories: 
  (1) full research (regular) papers, 
  (2) practical experience reports, and
  (3) short papers. 
  
LADC looks for works exploring new territories, continuing a significant research, 
or reflecting on practical experience. Full research papers should explore technology problems
and propose a complete solution with results. Practical experience reports are expected to provide
an in-depth exposition of practitioner experiences 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.

Topics
------

Authors are invited to submit original contributions on all aspects of research and practice on creating, 
validating, deploying, and maintaining dependable and secure systems.

Major topics of interest include, but are not limited to:
    • Fault tolerant hardware architectures, multi-core systems, virtualization,
      nanoscale computers, hardware dependability assessment.
    • Fault-tolerant distributed algorithms and distributed systems. 
    • Blockchains
    • Dependability of networks (LAN, WAN, mobile, ad-hoc, sensor networks, protocols, SDN). 
    • Dependability and security of cloud / edge / fog computing.
    • Dependability of software architectures, runtime monitoring, adaptation, model-driven engineering
      for the design of dependable and secure systems, testing, verification & validation.
    • Dependability and security in the era of Big Data. 
    • 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, software certification.
    • Dependability and security modeling, measurement and benchmarking.
    • Maintenance, tuning of performance and availability, security configuration.
    • Dependability and security on cloud/edge/fog-computing

Publication and Selection of Distinguished Papers
-------------------------------------------------

The LADC proceedings will be published and indexed by IEEE (Confirmed). 
A Best Paper Award among the submitted works is also a tradition in LADC. 

Also, authors of selected distinguished papers will be invited to submit an extended and enhanced version
of their papers to a special issue of “The Journal of the Brazilian Computer Society” (Confirmed) or to the
Thematic Series on Advances in Dependable Computing and Networking of the “Journal of Internet Services and Applications”.
Both journals are published by SpringerOpen, and are indexed by Scopus.

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 (https://submissoes.sbc.org.br/ladc2019).

Important Dates
---------------

Regular Papers, Practical Experience Reports and Short Papers:
    • Abstract submission: July 12, 2019. 
    • Full paper submission: July 19, 2019.
    • Author notification: September 19, 2019.
    • Camera Ready: October 1, 2019.


Program Committee
------------------

- TPC Chairs -
Luciana Arantes				UPMC/LIP6, France
Leonardo Montecchi			UNICAMP, Brazil

- TPC Members -
Adenilso Simao 				ICMC-USP, Brazil
Alberto Avritzer 			eSulabSolutions, USA
Alysson Bessani 			University of Lisbon, Portugal
Ana Ambrosio				INPE, Brazil
Andras Voros				Budapest University of Technology and Economics, Hungary
André de Oliveira	 		UFJF, Brazil
Andrea Ceccarelli 			Università degli Studi di Firenze, Italy
Antonio Pecchia				Università degli Studi di Napoli Federico II, Italy
Anubis Rossetto	 			IFSUL, Brazil
Barbara Gallina 			Malardalen University, Sweden
Carlos da Silva 			UFRN, Brazil
Edson T. de Camargo 		UFTPA, Brazil
Eduardo Alchieri 			UNB, Brazil
Eliane Martins				UNICAMP, Brazil
Elias Duarte Jr.			UFPR, Brazil
Fabíola Greve				UFBA, Brazil
Fatima Mattiello-Francisco	INPE, Brazil
Felicita Di Giandomenico	ISTI-CNR, Italy
Fernando Pedone				University of Lugano, Switzerlad
Hector Cancela				Universidad de la Republica, Uruguay
Henrique Madeira			University of Coimbra, Portugal
Javier Baliosian			Universidad de la Republica, Uruguay
Jose Manuel Martinez		Universidad Tecnica Federico Santa Maria, Chile
Juan Carlos Ruiz			UPV, Spain
Julien Sopena				Sorbonne University, France
Leandro Silva				UFAL, Brazil 
Luiz Rodrigues				UNIOESTE, Brazil
Marco Vieira				University of Coimbra, Portugal
Matthieu Roy				LAAS-CNRS, France
Michel Cukier				University of Maryland, USA
Mohamed Kaaniche			LAAS-CNRS, France
Nuno Neves					LASIGE/UL, Portugal
Olivier Marin				Shanghai New York University, China
Raul Ceretta Nunes			UFSM, Brazil
Regina Moraes				UNICAMP, Brazil
Rivalino Matias Jr.			UFU, Brazil
Rogerio de Lemos			University of Kent, England
Rui Oliveira				Universidade do Minho, Portugal
Sérgio Cechin				UFRGS, Brazil
Sergio Rajsbaum				UNAM, Mexico	
Xavier Defago				Tokyo Institute of Technology, Japan





More information about the Posgrados-invop mailing list