[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have extended the deadline for ProWeb until January 22nd.
ProWeb is a forum for Programming Languages and Software Engineering
researchers working on web technologies, broadly construed. Note that as well
as regular papers, we are soliciting 1-2 page extended abstracts which can
summarise existing work or report on work in progress; the format is designed
not to preclude future publication.
----
ProWeb20: 4th International Workshop on Programming Technology for the Future
Web
https://2020.programming-conference.org/track/proweb-2020-papers
Co-located with the <Programming> 2020 conference
March 23rd, Porto, Portugal
================
Deadline extension: *22nd January 2020, AoE*
================
Full-fledged web applications have become ubiquitous on desktop and mobile
devices alike. Whereas “responsive” web applications already offered a more
desktop-like experience, there is an increasing demand for “rich” web
applications (RIAs) that offer collaborative and even off-line functionality
—Google docs being the prototypical example. Long gone are the days that web
servers merely had to answer incoming HTTP request with a block of static HTML.
Today’s servers react to a continuous stream of events coming from JavaScript
applications that have been pushed to clients. As a result, application logic
and data is increasingly distributed. Traditional dichotomies such as “client
vs. server” and “offline vs. online” are fading.
** Call for Papers **
The ProWeb20 workshop is a forum for researchers and practitioners to share and
discuss new technology for programming these and future evolutions of the web.
We welcome submissions introducing programming technology (i.e., frameworks,
libraries, programming languages, program analyses and development tools) for
implementing web applications and for maintaining their quality, as well as
experience reports about their usage. Relevant topics include, but are not
limited to:
* Quality on the new web: static and dynamic program analyses, metrics,
development tools, automated testing, contract systems, type systems, migration
from legacy architectures, web service APIs, API conformance checking, ...
* Designing for and hosting novel languages on the web: compilation to
JavaScript, WebAssembly, …
* Multi-tier (or tierless) programming: frameworks for isomorphic applications,
new languages and runtimes, tier-splitting compilers, type systems, ...
* Data sharing, replication and consistency: cloud types, CRDTs, eventual
consistency, offline storage, peer-to-peer communication, ...
* Security on the new web: security policies, policy enforcement, membranes,
vulnerability detection, dynamic patching, ...
* Surveys and case studies using state-of-the-art web technology (e.g.,
WebAssembly, WebSockets, Web Storage, Service Workers, Meteor, WebRTC,
Angular.js, React and React Native, TypeScript, Proxies, ClojureScript, Amber
Smalltalk, Scala.js …)
* Ideas on and experience reports about: how to reconcile the need for quality
with the need for agility on the web, how to master and combine the myriad of
tier-specific technologies required to develop a web application, …
* Position papers on what the future of the web will look like
This year, we are accepting two types of submission:
* **Full papers and experience reports**: 6-page papers describing novel
research, which, when accepted, will be included in the ACM Digital Library.
* **Presentation abstracts**: 1-2 page extended abstracts.
Presentation abstracts will not be included in the ACM Digital Library, but
will be included in an informal pre-proceedings on the website. We very much
welcome presentation abstracts about work already published elsewhere, or
giving an overview of an existing system, and the format is designed not to
preclude future publication.
Submissions should be in ACM SIGPLAN two-column format (see
https://www.sigplan.org/Resources/Author/). Page limits do not include
bibliographies.
If you have any questions, or wonder whether your submission is in scope,
please do not hesitate to contact the PC co-chairs.
More information:
https://2020.programming-conference.org/track/proweb-2020-papers
** Important dates (AoE) **
- Submission deadline: 22nd January 2020 (extended)
- Author notification: 15th February 2020
- Camera-ready version: 1st May 2020
** Organizers **
- Andrea Stocco, Università della Svizzera italiana (USI), Switzerland
- Simon Fowler, University of Edinburgh, United Kingdom
** Program Committee **
- Saba Alimadadi, Simon Fraser University, Canada
- Anton Ekblad, Chalmers University of Technology, Sweden
- Maurizio Leotta, University of Genova, Italy
- Kevin Moran, College of William & Mary, United States
- Jens Nicolay, Vrije Universiteit Brussel, Belgium
- Cesare Pautasso, Università della Svizzera italiana (USI), Switzerland
- Tomas Petricek, University of Kent, United Kingdom
- Gabriel Radanne, University of Freiburg, Germany
- Filippo Ricca, University of Genova, Italy
- Pascal Weisenburger, Technische Universität Darmstadt, Germany
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
