• 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 5059

  • 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

All deadlines are at 23:59 AoE

March 5th, 2021, March 19th, 2021

Abstract submission deadline

March 12th, 2021 March 26th, 2021

Paper submission deadline

April 26th, 2021 April 30th, 2021

Acceptance notification

May 10th, 2021

Camera ready

May 10th, 2021

Pre-recorded talk

Virtual conference with pre-recorded talks: 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