[SMT-LIB] NETYS 2015 Call for Papers

[Geoff Sutcliffe]

*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