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 57B577F61E; Tue, 31 Oct 2017 19:23:35 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.44,325,1505772000"; d="scan'208,217";a="243020124" Received: from zmbs1.inria.fr ([128.93.142.14]) by mail3-relais-sop.national.inria.fr with ESMTP; 31 Oct 2017 19:23:35 +0100 Date: Tue, 31 Oct 2017 19:23:34 +0100 (CET) From: Manuel Serrano To: ocsigen@inria.fr, caml-list@inria.fr Message-ID: <245816145.20474409.1509474214894.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_20474408_524906803.1509474214884" X-Originating-IP: [86.203.135.58] X-Mailer: Zimbra 8.0.9_GA_6191 (ZimbraWebClient - FF57 (Linux)/8.0.9_GA_6191) Thread-Topic: Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW) Thread-Index: ZsYSMcHx9aZD/CxMGNx4+duuMehupw== X-Validation-by: manuel.serrano@inria.fr Subject: [Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW) ------=_Part_20474408_524906803.1509474214884 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit =============================================================================== 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/ =============================================================================== Extended Submission Deadline: 10 November 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: 10 November 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 ------=_Part_20474408_524906803.1509474214884 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

 &nbs= p;  1fst Web Programming, Design, Analysis, And Implementation (WPDAI = 2018)
           =       The Web Conference (aka WWW) alternate track= .
 
          = ;            &n= bsp;     23 - 27 April 2018
     = ;              Lyon,= France
          &nbs= p;           https://www2= 018.thewebconf.org/
          
=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
          &n= bsp;    Extended Submission Deadline: 10 November 2017
= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D


General Information
-------------------

W= eb Programming, Design, Analysis, and Implementation (WPDAI @ WWW) is
an= alternate track of The Web Conference 2018 (the conference formerly
kno= wn as  WWW). It  is devoted  to anything  about program= ming  on the
web. It will take place in Lyon (France) April 22nd to= 27th.


Scope and Dates
---------------

The WPDAI alter= nate  track seeks original papers on  the art, science,
and en= gineering of programming on  the web. Topics of interest include
(b= ut are not limited to):

- Language design:
   &nbs= p; concurrency, reactive programming, multitier programming,
  = ;   domain-specific languages, security & privacy, database p= rogramming, ...
- Implementation:
     interpreta= tion, compilation, JIT, AOT, server implementations, virtual
  = ;   machines, empirical evaluation, ...
- Static, dynamic, and= hybrid analyses for languages and programs: semantics,
  &nbs= p; logics, type systems, foundational calculi, program verification,
&nb= sp;   abstract interpretation, security & privacy, ...
- D= istributed web programming: data consistency, client-server interaction
=     protocols, ...
- Programming environments:
 &= nbsp;   applications deployment, visual programming, testing, deb= ugging, ...
- Applications: multimedia programming, scripting, ...
Submissions  will   be  evaluated  according&nbs= p; to   their  originality,
correctness,  significan= ce, clarity,  and  relevance. Each  submission
should exp= lain  its contributions,  clearly identifying what  has been=
accomplished, explaining why it is  significant, and comparing it = with
previous work.

Important dates:
 paper submission:&n= bsp;       10 November 2017
 notifica= tion 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 r= eviewing will be double-blind,  and authors are allowed to submit
p= apers that  are 9  pages long, plus  unlimited pages  f= or references,
following the ACM submission format.

Submission: S= ubmissions will be accepted at:
 https://easychair.org/conferences/= ?conf=3Dwww2018satellites


Program Committee:
----------------= --

 Sam Blackshear, Facebook
 Satish Chandra, Facebook<= br> Adam Chlipala, MIT
 Wolfgang De Meuter, Vrije Universiteit= Brussels
 Dominique Devriese, KU Leuven
 Marc Feeley, Univ= ersity of Montreal
 Alan Jeffrey, Mozilla
 Limin Jia, CMU Nabil Layaida, INRIA
 Daan Leijen, Microsoft
 Sam L= indley, University of Edinburgh
 Ben Livshits, Imperial College Lon= don
 Jay McCarthy, University of Massachusetts at Lowell
 Y= asuhiko Minmaide, Tokyo Institute of Technology
 Anders Moller, Aar= hus University
 Frank Piessens, KU Leuven
 Tamara Rezk, INR= IA
 Xavier Rival, ENS
 Alejandro Russo, Chalmers University=
 Sukyoung Ryu, KAIST (PC-chair)
 Alan Schmitt, INRIA
&n= bsp;Manuel Serrano, INRIA (PC-chair)
 Peter Thiemann, Univerity of = Freiburg
 Omer Tripp, Google
 Tom Van Cutsem, Nokia Bell La= bs
 Eelco Visser, Delft University of Technology
 Jan Vitek= , Northeastern University


= ------=_Part_20474408_524906803.1509474214884--