From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 2B7BF5D5 for ; Fri, 11 Jan 2019 16:12:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,466,1539640800"; d="scan'208,217";a="363695510" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Jan 2019 17:12:19 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3EE4B8256C; Fri, 11 Jan 2019 17:12:19 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CDF277FFA1 for ; Fri, 11 Jan 2019 17:05:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alessandro.aldini@uniurb.it; spf=Pass smtp.mailfrom=alessandro.aldini@uniurb.it; spf=None smtp.helo=postmaster@mail-it1-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ai/5LexS1PmhY+oU0MPZYZwJP/Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZxGN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/27ZisNyjKxVrhGvqQFhzYHIe4yaLuZyc7nHcN8GWWZMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMMehEoon5ulQOrB2+BQi0COjy1jJIgmH53bYh0+s7FwHJwRYgH9UAvH?= =?us-ascii?q?/Jq9j6LqMSXv6uzKnT1zrDae5Z2S366ITSaB8hpeyDXbN2ccrQ0kQvCgXFjlSN?= =?us-ascii?q?qYz/JDyZzOUNs3SC4udmSOmhhWknqwRrrTiuwMchkpPJiZwOyl/a7yp52po6Jd?= =?us-ascii?q?2iSEJhZt6kCpRQuzmEOIRsWcMjQ31nuCYgxb0Ho563Zi8KyI4oxxPZdveJcJCI?= =?us-ascii?q?7wr9WOqNJTp0nnFodbKlixqv8EWty/fwWtSw3VtFqCdOj8PCuWoX1xPJ78iKUv?= =?us-ascii?q?t98Vml2TaIzw3T7/tLIUEwlabCKp4h3qM8moMdsUjeGiL7l1/6jKCRdkUj9eio?= =?us-ascii?q?7/robq/6qZ+bMo94kgD+MqIwlcyjGek0LBQCUmyB9em/1LDv51D1TbRLg/Esj6?= =?us-ascii?q?XUtJ/XKdwepqGjAg9V1ogj6wy4DzejyNkXh30HI0xeeBKclYfpPUzBIOr/Dful?= =?us-ascii?q?mVuslCpkx/HAPr3gGZjNM37DkLb8fbZn8EFQ0gszzcxH65JOFr4BOO7zWlP2tN?= =?us-ascii?q?HAEhA2KQm0w+L+BNV514MeQn6PD7SCMKLStF+I/vggL/ONZI8Tojb9KuIq6+Tg?= =?us-ascii?q?jX8jyhchevyg0pYRdGuQFe8gPkCTajzhjspFWWwDuw57SO3xlHWDVyRSbjC8Re?= =?us-ascii?q?Z07TgnBY2hF4bOXaionLXH1y7/VpBdYWdeT1GKH3DAeo6DXO9KbzidZodsjDEC?= =?us-ascii?q?SaOJRYosyAuprAK8zKBoaqLa/ywTrrri0sJ07unLmAp0+yYnId6a1jTHZmV4n2?= =?us-ascii?q?UJA3cf2K1kukV7xk2Em+AsivhVDsda4f9TVUEzMZLdye1SFtbzRxjLONaVHgX1?= =?us-ascii?q?Cu66CC08G4pii+QFZFxwTo3730LzmhGyCrpQrISlQZk986bSxX/0fp8v1nDHyb?= =?us-ascii?q?MryVg6EJIWaT+Ww5Vn/g2WPLbn1l2Dnv/zJ7ka3TPX/iGC0TjW5RwKYEtLSazA?= =?us-ascii?q?GEsnSA7WoND+vB2QSravDfEmLlIEx5fTdu1FbdrmiVgAT/DmaozT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C2AQBvvThc/8KmVdE X-IPAS-Result: A0C2AQBvvThc/8KmVdE X-IronPort-AV: E=Sophos;i="5.56,466,1539640800"; d="scan'208,217";a="363694339" Received: from mail-it1-f194.google.com ([209.85.166.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Jan 2019 17:05:23 +0100 Received: by mail-it1-f194.google.com with SMTP id h65so3515070ith.3 for ; Fri, 11 Jan 2019 08:05:22 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniurb.it; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=xRfz5vIRjsJHbbxSlEL5pB8nNurnbOZh4euAXZWb34A=; b=hu+GWNrobO2aFCnn3WxOx8CdCGfiQmcqdnvwdge4UQ+nFCcsqJrDEiH9CtgNkk7oyD i85EleUzkJf1yQGnBTQf/9r0lox4FGMlNCm8AiGI2mu41LTxGvVQ+Ja13ANVb3Q0YEwI ernxMaRDgkATsjIRcYt9DxxP1JQEPGK4VNqS0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=xRfz5vIRjsJHbbxSlEL5pB8nNurnbOZh4euAXZWb34A=; b=j5zVpbrTBHEudZNHxlq5DOGhy32NfpfuiZ9MhCq/eQltHLV3kUMffErYHLZtBVkqys KpJlwKXJrHn1X3srmD3MqoCNZTigUd0EWBpaa4gIV+jBsAbpwZUKynqXMLZP/KiejPjr iNIQj5kjblJjmVZm0v7qfPYowABGlPpj6Hmp9oScM6G1AwjnR0vwC+u7JkypYNqnnZnX uUA5tI1rafmKNLmnB1Q/tHcbSSrB4gUTJoYsyapDuc9zBzzkgbuW7Y9AQ+T730kUrDWH Fe9+EKotpVdHVk3uftwFoQeM0L5zc/z0rojFz7DJJDERT6nfol/CGb9Tqa+tsMznedXp sR1w== X-Gm-Message-State: AJcUukdIgankmWjid8D4oBCUvJGrKhO74U5AEKIZj3DRWoyMD91TRXOR LMeLSTJfEu3yU60w8go3Bsq5vofubS8lKQSltUEYvg== X-Google-Smtp-Source: ALg8bN6I+iuRgOYQZmHeruYi0KT2Uar8QBJqA1JZ6nn7zWIUn2TCyhx4RwBldu4QeBMojE4mmqgLTstCGc0F04TZayU= X-Received: by 2002:a24:4089:: with SMTP id n131mr1312522ita.99.1547222721555; Fri, 11 Jan 2019 08:05:21 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: "Aldini, Alessandro" Date: Fri, 11 Jan 2019 17:05:10 +0100 Message-ID: To: agents@cs.umbc.edu, caml-list@inria.fr, categories@mta.ca, ecoop-info@ecoop.org, events@fmeurope.org, fmics@inrialpes.fr Content-Type: multipart/alternative; boundary="000000000000b5081d057f30dc62" X-Validation-by: alessandro.aldini@uniurb.it Subject: [Caml-list] [CfP] QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems Reply-To: "Aldini, Alessandro" X-Loop: caml-list@inria.fr X-Sequence: 17291 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000b5081d057f30dc62 Content-Type: text/plain; charset="UTF-8" *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 -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs --000000000000b5081d057f30dc62 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
QAPL 2019: 16th Workshop on Quantitative Aspects of Programming = Languages and Systems
Prague, Czechia, April 6-7, 2019=

Submissi= on link:=C2=A0https://easychair.org/conferences/?conf=3Dqapl2019<= /div>

Quantitative aspects of computation refer to the use o= f physical quantities (time, bandwidth, etc.) as well as mathematical quant= ities (for example, probabilities) for the characterisation of the behaviou= r and for determining the properties of systems. Such quantities play a cen= tral role in defining both the model of systems (architecture, language des= ign, semantics) and the methodologies and tools for the analysis and verifi= cation of system properties. The aim of the QAPL workshop series is to disc= uss 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 2= 0-year history.

CALL FOR PAPERS:
<= div>
The aim of the QAPL workshop series is to discuss the ex= plicit use of time, probability and general quantities either directly in t= he 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 t= he 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 inco= rporate quantitative aspects (e.g. performance analysis);

applications to safety-critical systems, communication protocols, a= synchronous hardware, etc.

The topics of the works= hop are transversal to all areas of Computer Science including Systems, Lan= guages, Semantics, Analysis, Information Security etc., and consists in the= probabilistic, timing and generally quantitative aspects of the various ar= eas. Particular relevance will be given to the emerging areas of Quantum Co= mputation, Bioinformatics and System Biology.

SUBM= ISSIONS:

In order to encourage participation and d= iscussion, this workshop solicits two types of submissions - extended abstr= acts and presentations:

1. Extended Abstracts: Sub= missions must be original work, and must not have been previously published= , nor be under consideration for publication elsewhere. Regular paper submi= ssion must not exceed 6 pages (excluding the bibliography), additional tech= nical material, proofs etc. can be provided in a clearly marked appendix wh= ich will =C2=A0be read by reviewers at their discretion. Regular papers wil= l be reviewed by the PC.

2. Presentation Reports c= oncern recent or ongoing work on relevan topics and ideas, for timely discu= ssion and feedback at the workshop. There is no restriction as for previous= /future publication of the contents of a presentation. Typically, a present= ation is based on a paper which recently appeared (or which is going to app= ear) in the proceedings of another recognised conference, or which has not = yet been submitted. The (extended) abstract of presentation submissions sho= uld not exceed 3 pages. Presentation reports will be selected by the PC Cha= irs (based on the availability of presentation time).

<= div>All submissions must be in PDF format and use the EPTCS LaTeX style. Su= bmissions can be made through Easychair.

The works= hop PC will review all regular paper submissions based on their relevance, = merit, originality, and technical content. Presentation reports will receiv= e a lightweight review to establish their relevance for the workshop. The a= uthors of accepted submissions of both types are expected to present and di= scuss their work at the workshop. Accepted regular papers (allowing for min= or corrections) will be published electronically in the pre-proceedings ava= ilable during the workshop and (extended versions of up to 12-15 pages) aft= er the workshop and a second review round =C2=A0in the Electronic Proceedin= gs in Theoretical Computer Science (EPTCS) as post-proceedings. We also pla= n a special issue of a journal.

IMPORTANT DATES:

For extended abstracts:

= =C2=A0 Submission: 10 February 2019 (AoE)
=C2=A0 Notification: 27= February 2019
=C2=A0=C2=A0Final = extended versions (EPTCS proceedings): 7 May 2019

For presentation reports:

=C2=A0 Submission= : 25 February 2019 (AoE)
=C2=A0 Notification: 28 February 2019

ORGANISATION:

Alessandro Al= dini, University of Urbino, Italy
Herbert Wiklicky, Imperial Coll= ege London, UK

=
--000000000000b5081d057f30dc62--