[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/ 

=============================================================================== 
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 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171031/000c4306/attachment.html>