CALL FOR PAPERS http://www.netys.net General Chairs Mohammed Erradi Rachid Guerraoui Aim and scope: NETYS aims to bring together researchers and engineers ENSIAS, Rabat,Morocco EPFL, Switzerland Program Chairs Ahmed Bouajjani Hugues Fauconnier Univ. Paris Diderot, France Univ. Paris Diderot, France Program Committee Parosh Aziz Abdulla Univ. Uppsala, Sweden Joffroy Beauquier Univ. Paris Sud, France Boualem Benatallah Univ. New South Wales, Australia Gregor Bochmann Univ. Ottawa, Canada Carole Delporte Univ. Paris Diderot, France Amr El Abbadi UCSB, USA Khaldoun El Agha Univ. Paris Sud, France Mohamed El Kamili USMBA, Fes, Morocco Mohamed El Koutbi ENSIAS, Rabat, Morocco Bernd Freisleben Univ. Marburg, Germany Mohamed Gouda Univ. Texas at Austin, USA Vincent Gramoli Univ. Sydney, Australia Seif Haridi SICS, Sweden Maurice Herlihy Brown Univ., USA Claude Jard Univ. Nantes, France Zahi Jarir Univ. Cadi Ayyad, Morocco Anne-Marie Kermarrec INRIA, Rennes, France Rupak Majumdar Max Planck Inst.-SWS, Germany Stephan Merz INRIA, Nancy, France Louise Moser UCSB, USA Hassan Mountassir Univ. Franche-Comté, France Guevara Noubir Northeastern Univ., USA Andreas Podelski Univ. Freiburg, Germany Shaz Qadeer Microsoft Research, USA Vivien Quema INPG, Grenoble, France Sergio Rajsbaum UNAM, Mexico Ganesan Ramalingam Microsoft Research, India Michel Raynal IRISA, Rennes, France Alexander Shvartsman Univ. Connecticut, USA Sebastian Tixeuil Univ. Pierre et Marie Curie, France Martin Vechev ETH Zurich, Switzerland Organizing Committee Khadija Bakkouch Abdellah Boulouz Mohammed Erradi Zahi Jarir Mohammed Ouzzif Meryeme Ayache Yahya Benkaouz IRFC, Rabat Univ. Ibn Zohr, Agadir ENSIAS, Rabat Univ. Cadi Ayyad, Marrakech ESTC, Casablanca ENSIAS, Rabat ENSIAS, Rabat from both the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/ distributed programming, distributed databases, cloud systems, networks, security, formal verification, etc. NETYS will provide a forum to report on best practices and novel algorithms, results and techniques on networked systems. Original contributions as well as experience papers on the principles, design, implementation, modeling, analysis, verification, and application of networked systems are solicited. Specific concepts common to different forms of such systems are most welcome. Invited Speakers Javier Esparza, Technical University of Munich, Germany Christoph Kirsch, University of Salzburg, Austria Madan Musuvathi, Microsoft Research, USA Important Dates: Abstract submission deadline: January 05, 2015 Paper submission deadline: January 09, 2015 Acceptance notification: March 09, 2015 Camera-ready copy due: April 10, 2015 Submission instructions: Papers must be submitted electronically at: https://easychair.org/conferences/?conf=netys2015 All submissions must be written in English, in Springer’s LNCS format. Submissions should contain original research and sufficient detail to assess the merits and relevance of the contribution. NETYS welcomes papers on theory, case studies and comparisons with existing experimental research, tools, as well as combinations of new theory with experimental evaluation. NETYS is soliciting two forms of papers: full and short papers. Full papers are allowed a maximum of 15 pages whereas short papers are allowed a maximum of 5 pages, in LNCS format, both in the submission and in the proceedings. Papers exceeding these limits may be rejected without review. A full paper submission might be accepted as such, as a short paper or a poster. A short paper may be accepted as such or as a poster. Posters will be presented at the conference to reflect work in progress and will not lead to a publication in the proceedings. Authors are given the option to accept or not the type in which their paper is selected for acceptance. Publication: Springer's Lecture Notes in Computer Science series will publish the proceedings of the conference (www.springer.com/lncs). It is required that each accepted paper be presented at the conference by one of its authors. The Computing Journal could publish extended versions of selected papers (www.springer.com/computer/journal/607). Awards will be given to the best paper and the best student paper. A paper is eligible for the best student paper award if at least one of its authors is a fulltime student at the time of submission. This should be indicated in the submission. Workshops and Tutorials will be held in conjunction with NETYS with the aim of allowing researchers and practitioners to explore topics and/or emerging research areas in depth. Please contact the program chairs with a brief description of proposals by January 1, 2015.