[AISWorld] Registration is Open - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)

[Naghmeh Ivaki]

-- [Apologies if you receive multiple copies of this email.] --    

                        Registration is Open  -  SRDS 2024

*****************************************************************************************
       The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024) 
                            
                         September 30 - October 04, 2024
                               Charlotte, USA
			https://srds-conference.org/

*****************************************************************************************

The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024) is a forum 
for researchers and practitioners interested in distributed systems design, development 
and evaluation, with an emphasis on reliability, availability, safety, dependability, 
security, verification, and real-time aspects.


Registration Deadline: Sept. 16h, 2024.

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

Keynotes
********

Keynote 1: Using Formal Methods to Understand the Security Risks of Distributed Protocols
Speacker: Cristina Nita-Rotaru (http://cnitarot.github.io)


Keynote 2: An Hourglass Architecture for Distributed Systems
Speacher: Mahesh Balakrishnan (https://maheshba.bitbucket.io)


Program
*******

The whole proram is available in: https://srds-conference.org/conference-program.html