[TYPES/announce] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)

[Manuel Serrano]

===============================================================================

    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