• Home
  • Committees
  • Accepted Papers + Talks
  • Call For Papers
  • Submission instructions
  • Dates
  • Awards
  • Contact Us
  • About Morocco
  • About Marrakech
  • Past Events
    • NETYS 2020
    • NETYS 2019
    • NETYS 2018
    • NETYS 2017
    • NETYS 2016
    • NETYS 2015
    • NETYS 2014
    • NETYS 2013

Deprecated: Thème sans sidebar.php est obsolète depuis la version 3.0.0, aucune alternative n’est disponible. Veuillez inclure un modèle de sidebar.php à votre thème. in /home/netys/public_html/wp-includes/functions.php on line 5060
  • Pages

    • #390 (pas de titre)
    • Accepted papers
    • Accommodation
    • accommodationFax
    • Awards
    • Call For Papers
    • Call For Posters
    • Call for Workshops and Tutorials
    • Committees
    • Contact Us
    • Dates
    • Grant
    • Home
    • Invited Speakers
    • Invited Speakers
    • Keynote Talk : Automated Reasoning for Weak Consistency
    • Keynote talk : How to structure your concurrent program and its verification
    • Keynote Talk : On Program Verification under the Release-Acquire Semantics
    • Keynote Talk: Effective Random Testing for Concurrent and Distributed Programs
    • Keynote Talk: Living on the edge, safely or: Life without consensus
    • Keynote Talk: Networks at work in the Aerospace Industry
    • Keynote Talk: On the complexity of fault-tolerant consensus
    • Keynote Talk: Optimistic and pessimistic synchronization for data structures for in-memory stores
    • Keynote Talk: Pretend Synchrony: Synchronous Verification of Asynchronous Programs
    • Keynote Talk: Program Analyses using Newton’s Method
    • Keynote Talk: Recommenders: from the lab to the wild
    • Keynote Talk: Safety Verification of Deep Neural Networks
    • Keynote talk: Towards Semantic Adversarial Examples
    • METIS 2016
    • Program
    • Registration
    • Submission instructions
    • VDS workshop
    • Venue & Travel
    • Visa Support Letter
  • Archives

    • octobre 2014
  • Catégories

    • Non classé (1)
Dates

March 5th, 2021 @23:59 HST

Abstract submission deadline

March 12th, 2021 @23:59 HST

Paper submission deadline

April 26th, 2021

Acceptance notification

May 3rd, 2021 @23:59 HST

Camera ready copy due

May 10th, 2021 @23:59 HST

Pre-recorded talk

May 19th-21st, 2021

Online Conference with pre-recorded talks

Proceedings

Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors