caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)
@ 2017-10-31 18:23 Manuel Serrano
  0 siblings, 0 replies; 2+ messages in thread
From: Manuel Serrano @ 2017-10-31 18:23 UTC (permalink / raw)
  To: ocsigen, caml-list

[-- Attachment #1: Type: text/plain, Size: 3466 bytes --]

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

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 



[-- Attachment #2: Type: text/html, Size: 5131 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW)
@ 2017-09-25  7:20 Manuel Serrano
  0 siblings, 0 replies; 2+ messages in thread
From: Manuel Serrano @ 2017-09-25  7:20 UTC (permalink / raw)
  To: ocsigen, caml-list

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

    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

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2017-10-31 18:23 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-10-31 18:23 [Caml-list] [CFP] Web Programming, Design, Analysis, and Implementation (WPDAI @ WWW) Manuel Serrano
  -- strict thread matches above, loose matches on Subject: below --
2017-09-25  7:20 Manuel Serrano

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).