From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BF5F87EFCD for ; Mon, 13 Oct 2014 18:42:37 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlABADUAPFTAH1kGfGdsb2JhbABbg2FYgja4VwGQGYkCAREBAQsWBUSEJiEoAk0MJAQdiQINoDqeQYY+jQeBKYImgyOBHgWFFZEmhw+BL4NGikyIX4IFIS+CSgEBAQ X-IPAS-Result: AlABADUAPFTAH1kGfGdsb2JhbABbg2FYgja4VwGQGYkCAREBAQsWBUSEJiEoAk0MJAQdiQINoDqeQYY+jQeBKYImgyOBHgWFFZEmhw+BL4NGikyIX4IFIS+CSgEBAQ X-IronPort-AV: E=Sophos;i="5.04,711,1406584800"; d="scan'208";a="100911797" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 13 Oct 2014 18:42:36 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id ED86612154D; Mon, 13 Oct 2014 12:42:35 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20141013164235.ED86612154D@mcclellan.cs.miami.edu> Date: Mon, 13 Oct 2014 12:42:35 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] NETYS 2015 Call for Papers *CALL FOR PAPERS THE INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS** **NETYS 2015** **May 13-15, 2015, AGADIR, MOROCCO** **http://www.netys.net* *Aim and Scope:** * NETYS aims to bring together researchers and engineers 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. NETYS is coupled with the METIS Spring School which aims at introducing young researchers to the domain of distributed and networked systems through tutorials on basics, as well as lectures on new research topics and current trends in this domain. *Paper submission:** * 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 in Springer's LNCS format, whereas short papers are allowed a maximum of 5 pages (in the same format), both in the submission and in the proceedings. 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 full-time student at the time of submission. This should be indicated in the submission. *Submission instructions:* All submissions should follow the LNCS template. Submitted papers must be written in English. Full papers are allowed a maximum of 15 pages in LNCS format, whereas short papers are allowed a maximum of 5 pages, both in the submission and in the proceedings. Papers exceeding these limits may be rejected without review. Paper submission will be handled by EasyChair, so please make sure that you have an active account. The papers must be submitted electronically at: https://easychair.org/conferences/?conf=netys2015 *Important dates** * - Abstract submission deadline: January 5, 2015 - Paper submission deadline: January 9, 2015 - Acceptance notification: March 9, 2015 - Camera ready copy due: April 10, 2015 - Conference: May 13-15, 2015 *Organization:* /_General Co-chairs_:/ Mohammed Erradi ENSIAS, Rabat, Morocco Rachid Guerraoui EPFL, Switzerland /_Program Co-chairs_:/ Ahmed Bouajjani Univ. Paris Diderot, France Hugues Fauconnier Univ. Paris Diderot, France /_Program Committee_:/ Parosh Aziz Abdulla Univ. Uppsala, Sweden Joffroy Beauquier Univ. Paris 11, France Gregor Bochmann Univ. Ottawa, Canada Carole Delporte Univ. Paris Diderot, France Amr El Abbadi UCSB, USA Khaldoun El Agha Univ. Paris 11, France Mohamed El Koutbi ENSIAS, Rabat, Morocco Boualem Benatallah Univ. New South Wales, Australia Mohamed El Kamili USMBA, Fes, Morocco Bernd Freisleben Univ. Marburg, Germany Mohamed Gouda Univ. Texas at Austin 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 MPI-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 IRFC, Rabat Abdellah Boulouz Univ. Ibn zohr, Agadir Mohammed Erradi ENSIAS, UM5S, Rabat Zahi Jarir Univ. Cadi Ayyad, Marrakech Mohammed Ouzzif ESTC, UH2M, Casablanca _/Students Committee/_: Meryeme Ayache ENSIAS, UM5S, Rabat Yahya Benkaouz ENSIAS, UM5S, Rabat