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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3EDED80211; Mon, 25 Sep 2017 09:18:48 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.42,435,1500933600"; d="scan'208";a="238572252" Received: from redrock.inria.fr ([138.96.19.81]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Sep 2017 09:18:48 +0200 From: Manuel Serrano To: ocsigen@inria.fr, caml-list@inria.fr Sender: Manuel.Serrano@inria.fr Date: Mon, 25 Sep 2017 09:20:51 +0200 Message-ID: MIME-Version: 1.0 Content-Type: text/plain X-Validation-by: manuel.serrano@inria.fr Subject: [Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW) =============================================================================== 1fst Web Programming, Design, Analysis, And Implementation (WPDAI 2018) The Web Conference (aka WWW) alternate track. 23 - 27 April 2018 Lyon, France https://www2018.thewebconf.org/ =============================================================================== Submission deadline: 31 October 2017 =============================================================================== General Information ------------------- Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW) is an alternate track of The Web Conference 2018 (the conference formerly known as WWW). It is devoted to anything about programming on the web. It will take place in Lyon (France) April 22nd to 27th. Scope and Dates --------------- The WPDAI alternate track seeks original papers on the art, science, and engineering of programming on the web. Topics of interest include (but are not limited to): - Language design: concurrency, reactive programming, multitier programming, domain-specific languages, security & privacy, database programming, ... - Implementation: interpretation, compilation, JIT, AOT, server implementations, virtual machines, empirical evaluation, ... - Static, dynamic, and hybrid analyses for languages and programs: semantics, logics, type systems, foundational calculi, program verification, abstract interpretation, security & privacy, ... - Distributed web programming: data consistency, client-server interaction protocols, ... - Programming environments: applications deployment, visual programming, testing, debugging, ... - Applications: multimedia programming, scripting, ... Submissions will be evaluated according to their originality, correctness, significance, clarity, and relevance. Each submission should explain its contributions, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Important dates: paper submission: 31 October 2017 notification to authors: 22 December 2017 final versions: 14 February 2018 URL: https://www2018.thewebconf.org/call-for-papers/web-programming-cfp Preparation of Submissions: --------------------------- The reviewing will be double-blind, and authors are allowed to submit papers that are 9 pages long, plus unlimited pages for references, following the ACM submission format. Submission: Submissions will be accepted at: https://easychair.org/conferences/?conf=www2018satellites Program Committee: ------------------ Sam Blackshear, Facebook Satish Chandra, Facebook Adam Chlipala, MIT Wolfgang De Meuter, Vrije Universiteit Brussels Dominique Devriese, KU Leuven Marc Feeley, University of Montreal Alan Jeffrey, Mozilla Limin Jia, CMU Nabil Layaida, INRIA Daan Leijen, Microsoft Sam Lindley, University of Edinburgh Ben Livshits, Imperial College London Jay McCarthy, University of Massachusetts at Lowell Yasuhiko Minmaide, Tokyo Institute of Technology Anders Moller, Aarhus University Frank Piessens, KU Leuven Tamara Rezk, INRIA Xavier Rival, ENS Alejandro Russo, Chalmers University Sukyoung Ryu, KAIST (PC-chair) Alan Schmitt, INRIA Manuel Serrano, INRIA (PC-chair) Peter Thiemann, Univerity of Freiburg Omer Tripp, Google Tom Van Cutsem, Nokia Bell Labs Eelco Visser, Delft University of Technology Jan Vitek, Northeastern University