[TYPES/announce] [CfP] QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems* *Prague, Czechia, April 6-7, 2019* Conference website: https://conf.researchr.org/track/etaps-2019/qapl-2019-papers Submission link: https://easychair.org/conferences/?conf=qapl2019 Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis or synthesis of systems. The 16th edition of QAPL will also focus on discussing the developments, challenges and results in this area covered by our workshop in its nearly 20-year history. CALL FOR PAPERS: The aim of the QAPL workshop series is to discuss the explicit use of time, probability and general quantities either directly in the model or as a tool for the analysis of systems. The following main themes are relevant to the QAPL workshop: the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages; the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability); the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance analysis); applications to safety-critical systems, communication protocols, asynchronous hardware, etc. The topics of the workshop are transversal to all areas of Computer Science including Systems, Languages, Semantics, Analysis, Information Security etc., and consists in the probabilistic, timing and generally quantitative aspects of the various areas. Particular relevance will be given to the emerging areas of Quantum Computation, Bioinformatics and System Biology. SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - extended abstracts and presentations: 1. Extended Abstracts: Submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 6 pages (excluding the bibliography), additional technical material, proofs etc. can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Regular papers will be reviewed by the PC. 2. Presentation Reports concern recent or ongoing work on relevan topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 3 pages. Presentation reports will be selected by the PC Chairs (based on the availability of presentation time). All submissions must be in PDF format and use the EPTCS LaTeX style. Submissions can be made through Easychair. The workshop PC will review all regular paper submissions based on their relevance, merit, originality, and technical content. Presentation reports will receive a lightweight review to establish their relevance for the workshop. The authors of accepted submissions of both types are expected to present and discuss their work at the workshop. Accepted regular papers (allowing for minor corrections) will be published electronically in the pre-proceedings available during the workshop and (extended versions of up to 12-15 pages) after the workshop and a second review round in the Electronic Proceedings in Theoretical Computer Science (EPTCS) as post-proceedings. We also plan a special issue of a journal. IMPORTANT DATES: For extended abstracts: Submission: 10 February 2019 (AoE) Notification: 27 February 2019 Final extended versions (EPTCS proceedings): 7 May 2019 For presentation reports: Submission: 25 February 2019 (AoE) Notification: 28 February 2019 ORGANISATION: Alessandro Aldini, University of Urbino, Italy Herbert Wiklicky, Imperial College London, UK
[TYPES/announce] ARITH-26, last CFP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Sorry for multiple postings. *Deadlines:* abstract: Jan 14th and full paper: Jan 21st *New:* Short papers (4 pages maximum) are welcome == CALL FOR PAPERS ARITH-26 26th IEEE Symposium on Computer Arithmetic June 10 – 12, 2019, Kyoto, Japan http://arith26.arithsymposium.org/ === === Scope === Since 1969, the ARITH symposia have served as the flagship conference for presenting scientific work on the latest research in computer arithmetic. Computer arithmetic is now driving the most important innovations and product directions in our industry, such as artificial intelligence and security. Authors are invited to submit papers describing recent advances on all aspects related to computer arithmetic, its applications or implementations. This includes, but is not restricted to, the following topics: Foundations of number systems and arithmetic Arithmetic processor design and implementation Arithmetic and datapath design for artificial intelligence, machine learning, and deep learning Numerics for artificial intelligence, machine learning, and deep learning Arithmetic algorithms and their analysis Floating-point units, algorithms, and numerical analysis Elementary and special function implementations Power-efficient or low-energy arithmetic units and processors Industrial implementation of arithmetic units and processors Test, validation, and formal verification techniques for arithmetic implementations Fault/error-tolerance in arithmetic implementations Arithmetic for FPGAs and reconfigurable logic Design automation for computer arithmetic implementations Computer arithmetic for security and cryptography Arithmetic to enhance accuracy or reliability (multiple-precision, interval arithmetic, ...) Arithmetic challenges in HPC and exascale computing (accuracy, reproducibility, ...) Arithmetic for specific application domains (big-data analytics, signal processing, computer graphics, multimedia, computer vision, finance, ...) Computer arithmetic in emerging technologies Non-conventional computer arithmetic and applications NEW: Short and Industry Papers For ARITH 26, we are also inviting short papers (4 pages maximum) to describe industry applications, work-in-progress ideas, or interim results. PhD students are especially welcome and may present their work in an informal session. All submissions, whether regular full papers, short or industry papers, or PhD presentations, will have a full presentation slot scheduled. We will have two special sessions: - Industrial Arithmetic, proposed by Elisardo Antelo - Arithmetic Hardware Generators, proposed by Florent de Dinechin === Procedure for submission === Submission site: https://easychair.org/conferences/?conf=arith26 NEW: an abstract submission deadline has been set to January 14th. This initial submission must include title, author(s), and abstract. The paper is due on January 21st. Papers under review elsewhere are not acceptable for submission to ARITH 26. A double-blind peer review policy will be enforced. Please, remove authors' names, acknowledgments or any obvious references to the authors before submission. By submitting a paper you implicitly confirm you are solely submitting it to ARITH 26. The final submissions of accepted regular session papers cannot exceed 8 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). However, for review, authors may submit a paper with a maximum of 20 pages, 12pt font size, single column and double spacing. The final submissions for short and industry papers and PhD presentations cannot exceed 4 pages (NO extra pages) using the IEEE Computer Society Conference format (two columns). For review, the paper may have up to 10 pages, in 12pt font size, single column and double spacing. Formatting instructions: http://www.ieee.org/conferences_events/conferences/publishing/templates.html === Important dates === Abstract submission January 14th, 2019 Full paper submissionJanuary 21st, 2019 Paper notification Early April, 2019 Paper camera-ready Mid-April, 2019 Conference June 10-12th, 2019 === Organization === = General chair = Naofumi Takagi, Kyoto University, Japan = Finance and Publication Chair = Kazuyoshi Takagi, Kyoto University, Japan = Program co-chairs = Sylvie Boldo, Inria, France Martin Langhammer, Intel = Program Committee Members = Elisardo Antelo, University of Santiago de Compostela, Spain Javier Bruguera, ARM, Austin, USA