Difference between revisions of "OPODIS 2019"

From Openresearch
Jump to: navigation, search
Line 18: Line 18:
 
}}
 
}}
 
OPODIS 2019 is an open forum for the exchange of state-of-the-art knowledge concerning distributed computing and distributed computer systems. All aspects of distributed systems are within the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems, OPODIS now covers the whole range between the theoretical aspects and practical implementations of distributed systems, as well as experimentation and quantitative assessments.
 
OPODIS 2019 is an open forum for the exchange of state-of-the-art knowledge concerning distributed computing and distributed computer systems. All aspects of distributed systems are within the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems, OPODIS now covers the whole range between the theoretical aspects and practical implementations of distributed systems, as well as experimentation and quantitative assessments.
==Topics==
+
 
 
*Biological distributed algorithms
 
*Biological distributed algorithms
 
*Blockchain technology and theory
 
*Blockchain technology and theory
Line 43: Line 43:
 
*Programming languages, formal methods, specification and verification applied to distributed systems
 
*Programming languages, formal methods, specification and verification applied to distributed systems
 
*Self-stabilization, self-organization, autonomy
 
*Self-stabilization, self-organization, autonomy
Distributed deployments of Machine Learning
+
*Distributed deployments of Machine Learning

Revision as of 14:52, 3 September 2019

OPODIS 2019
Conference On Principles Of Distributed Systems
Event in series OPODIS
Dates 2019/12/17 (iCal) - 2019/12/19
Homepage: https://opodis2019.unine.ch/
Location
Location: Neuchâtel, Switzerland
Loading map...

Important dates
Abstracts: 2019/09/03
Submissions: 2019/09/05
Notification: 2019/10/25
Committees
General chairs: Pascal Felber
PC chairs: Roy Friedman, Seth Gilbert
PC members: James Aspnes, John Augustine, Michael A. Bender, Natacha Crooks, Gianlorenzo D'Angelo, Elias Duarte, Xavier Défago, Gil Einziger, Paola Flocchini, Pierre Fraigniaud, Cyril Gavoille, Valerie Issarny
Table of Contents


OPODIS 2019 is an open forum for the exchange of state-of-the-art knowledge concerning distributed computing and distributed computer systems. All aspects of distributed systems are within the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems, OPODIS now covers the whole range between the theoretical aspects and practical implementations of distributed systems, as well as experimentation and quantitative assessments.

  • Biological distributed algorithms
  • Blockchain technology and theory
  • Communication networks (protocols, architectures, services, applications)
  • Cloud computing and data centers
  • Dependable distributed algorithms and systems
  • Design and analysis of concurrent and distributed data structures
  • Design and analysis of distributed algorithms
  • Randomization in distributed computing
  • Social systems, peer-to-peer and overlay networks
  • Distributed event processing
  • Distributed operating systems, middleware, and distributed database systems
  • Distributed storage and file systems, large-scale systems, and big data analytics
  • Edge computing
  • Embedded and energy-efficient distributed systems
  • Game-theory and economical aspects of distributed computing
  • Security and privacy, cryptographic protocols
  • Synchronization, concurrent algorithms, shared and transactional memory
  • Impossibility results for distributed computing
  • High-performance, cluster, cloud and grid computing
  • Internet of things and cyber-physical systems
  • Mesh and ad-hoc networks (wireless, mobile, sensor), location and context-aware systems
  • Mobile agents, robots, and rendezvous
  • Programming languages, formal methods, specification and verification applied to distributed systems
  • Self-stabilization, self-organization, autonomy
  • Distributed deployments of Machine Learning