[TYPES/announce] ProWeb21 Call for Contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ProWeb 2021: 5th International Workshop on Programming Technology for the Future Web https://2021.programming-conference.org/track/proweb-2021-papers Co-located with the conference March 22nd - 26th, Online 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 requests 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 are increasingly distributed and traditional dichotomies such as “client vs. server” and “offline vs. online” are fading. ** Call for Contributions ** The ProWeb21 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) and formalisms 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: * Applications of AI to web software development: code models, code prediction, change impact analysis, automated testing * Web App Quality: 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: new languages and runtimes, tier-splitting compilers, type systems * Principles and practice of Web UI programming: data binding, reactive programming, virtual DOM * 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, WebRTC, Angular.js, React and React Native, TypeScript, Proxies, PureScript, 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 three types of submission: * **Full papers, position papers, and experience reports**: 8-page papers describing novel research, which, when accepted, will be included in the ACM Digital Library. * **Demo papers**: 4-page illustrating demonstrations of tools and prototypes. * **Presentation abstracts**: 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/). References are not counted in the page limits. 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://2021.programming-conference.org/track/proweb-2021-papers ** Important dates (AoE) ** - Submission deadline: 1st February 2021 - Author notification: 1st March 2021 - Camera-ready version: 1st May 2021 ** Organizers ** - Simon Fowler, University of Glasgow, Scotland, United Kingdom - Andrea Stocco, Università della Svizzera italiana (USI), Switzerland
[TYPES/announce] ETAPS Doctoral Dissertation Award - Third Call for Nominations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ETAPS Doctoral Dissertation Award = The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing. The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet. Eligibility --- Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2020 to December 31st, 2020. Nominations --- Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award. Nominations consist of a single PDF file (extension .pdf) containing: * name and email address of the candidate * a short curriculum vitae of the candidate * name and email address of the supervisor * an endorsement letter from the supervisor * the final version of the doctoral dissertation * institution and department that has awarded the doctorate * a document certifying that the doctoral degree was successfully completed within the eligibility period * a report from at least one examiner of the dissertation who is not affiliated with the candidate's institution All documents must be written in English. Nominations a re welcome regardless of whether results that are part of the dissertation have been published at ETAPS. Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=etapsdda2021 The deadline for nominations is January 17th, 2021. Award Committee --- Caterina Urban (chair) Luis Caires (representing ESOP) Andrzej Wasowski (representing FASE) Andrew Pitts (representing FoSSaCS) Dirk Beyer (representing TACAS) Marieke Huisman Oded Padon Contact --- All questions about submissions should be emailed to the chair of the award committee, Caterina Urban .
[TYPES/announce] Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to requests, the submission deadline for the special issue of the Annals of Mathematics and Artificial Intelligence (AMAI) on Theoretical and Practical Aspects of Unification has been extended to January 31st, 2021. - Call for submissions Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification - SCOPE In 2020, Annals of Mathematics and Artificial Intelligence (AMAI) celebrates its 30th anniversary. Over the years, the journal has promoted better understanding of the application of quantitative, combinatorial, logical, algebraic and algorithmic methods to artificial intelligence areas as diverse as decision support, automated deduction, reasoning, knowledge-based systems, machine learning, computer vision, robotics and planning. AMAI special issues are intended to be collections of original research papers reflecting the intersection of mathematics and a focussed discipline demonstrating how each has contributed greatly to the other. A further goal of the journal is to close the gaps between the fields even further. Papers should report on current research in the appropriate areas, as well as more retrospective papers in which progress has been ongoing over a period of time. The purpose of this special issue of AMAI is to promote research on theoretical and practical aspects of unification. Unification is concerned with the problem of making two terms equal, finding solutions for equations or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The special issue is related to the topics of the 34th International Workshop on Unification - UNIF 2020. Participants of the workshop, as well as other authors are invited to submit contributions. EXAMPLES OF TOPICS --- This special issue focuses on advanced results on the topics of unification in a broad sense, which include, but are not limited to, the following: - Unification algorithms, calculi and implementations - Equational unification and unification modulo theories - Unification in modal, fuzzy, temporal and description logics - Anti-unification/generalization - Semi-unification - Narrowing - Matching problems - Unification in special theories - Higher-order unification - Combination problems - Constraint solving - Disunification - Complexity issues - Type checking and reconstruction - Admissibility of inference rules - Formalization of unification - Tools - Applications SUBMISSION --- This special issue welcomes original high-quality contributions that have been neither published in nor simultaneously submitted to any journals or refereed conferences. Submissions will be peer-reviewed using the standard refereeing procedure of the Annals of Mathematics and Artificial Intelligence. Submitted papers must be in English, prepared in LaTeX according to the guidelines of the journal: https://www.springer.com/journal/10472/submission-guidelines. PDF versions of papers should be uploaded at the submission page https://www.editorialmanager.com/amai by January 31, 2021. Please choose S704 - Unification - UNIF 2020 when you will be selecting the article type. GUEST EDITORS Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrew M. Marshall (University of Mary Washington, USA) FURTHER INFORMATION --- Temur Kutsia Andrew M. Marshall