DISC 2020

Deadlines

2020-07-20

2020-05-07

2020-10-12

2020-05-14

7 May 2020

Abstract

14 May 2020

Submission

20 Jul 2020

Notification

12 Oct 2020

Workshop

organization

European Association for Theoretical Computer Science

Metrics

Venue

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}

Warning: Venue is missing. The map might not show the exact location.

Topics

• Biological and nature-inspired distributed algorithms
• Blockchain protocols
• Communication networks: protocols, architectures and applications
• Distributed and concurrent data structures, replication and consistency
• Distributed computing: Algorithms and upper bounds
• Distributed computing: Lower bounds and impossibility results
• Distributed graph algorithms
• Distributed machine learning and data science
• Distributed operating systems, middleware, database systems
• Experimental evaluation of distributed algorithms and systems
• Fault tolerance, reliability, availability
• Formal methods for distributed computing: verification, synthesis and testing
• Game-theoretic and knowledge-based approaches to distributed computing
• Internet and Web applications, social networks and recommendation systems
• Massively-parallel, high-performance, cloud and grid computing
• Mobile agents, autonomous distributed systems, swarm robotics
• Multiprocessor and multi-core architectures and algorithms
• Population protocols and chemical reaction networks
• Security in distributed computing, cryptographic protocols
• Self-stabilizing, self-organizing, and autonomous systems
• Synchronization, persistence and transactional memory
• System-on-chip and network-on-chip architectures
• Wireless, mobile, sensor and ad-hoc networks

Submissions

Papers are to be submitted electronically at https://disc2020.hotcrp.com/

Submissions must be in English in pdf format and they must be prepared using the LaTeX style template for LIPIcs (https://submission.dagstuhl.de/documentation/authors) with \documentclass[a4paper,anonymous,USenglish]{lipics-v2019}.

Submissions must be anonymous, without any author names, affiliations, or email addresses. The contact information of the authors will be entered separately in HotCRP.

Submissions not conforming to the submission guidelines and papers outside of the scope of the conference will be rejected without consideration.

Important Dates

Registration (regular papers and brief announcements): May 7, 2020 (AoE)
Submission (regular papers and brief announcements): May 14, 2020 (AoE)
Notification (regular papers): July 20, 2020
Notification (brief announcements): July 27, 2020
Final version for proceedings: August 10, 2020
Main conference: October 13-15, 2020
Workshops: October 12 and 16, 2020