From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D75AE7EE34 for ; Mon, 11 Apr 2016 09:46:48 +0200 (CEST) IronPort-PHdr: 9a23:Kg1CVBfAiwHo+Eceiw4d6DHelGMj4u6mDksu8pMizoh2WeGdxc68Zh7h7PlgxGXEQZ/co6odzbGG4+a8CSdavsfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviq9uPM04S22v1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MRLkjVbFTEBghNmk04oWr6UiCHkOz4S4XW2AS1x5JGBTt7RfgX563vDGpmPB63Xy+MNHqQKo1XnyN5qNvRQP0gW9TMz899GbcktRYg6dSoRbnrBt6ld2HKLqJPeZzK/uONegRQnBMC5oAWg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lillocpp@gmail.com; spf=Pass smtp.mailfrom=lillocpp@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lillocpp@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="lillocpp@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lillocpp@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="lillocpp@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="postmaster@mail-wm0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AWAgCUVQtXiy5SfUpcg1U1fQamQgEHgVUEA4cuhguCZIQPIYI8gzCBIQc8EAEBAQEBAQEBEQEBAQgLCwkfMYItgi0LBh0BGwoCEgMSEAgvAiQBEQEFAT4Zh28BAxIOnAeCB4ExPjGLNoFqgleHGAoZJw1RhHIBBQoFhUqGS4JMFVOCU4JWBZgEhXeIFYI1jFiNaREegQ4PKIIiGgSBVDowDAEBiGACHgeBFgEBAQ X-IPAS-Result: A0AWAgCUVQtXiy5SfUpcg1U1fQamQgEHgVUEA4cuhguCZIQPIYI8gzCBIQc8EAEBAQEBAQEBEQEBAQgLCwkfMYItgi0LBh0BGwoCEgMSEAgvAiQBEQEFAT4Zh28BAxIOnAeCB4ExPjGLNoFqgleHGAoZJw1RhHIBBQoFhUqGS4JMFVOCU4JWBZgEhXeIFYI1jFiNaREegQ4PKIIiGgSBVDowDAEBiGACHgeBFgEBAQ X-IronPort-AV: E=Sophos;i="5.24,462,1454972400"; d="scan'208,217";a="173647101" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Apr 2016 09:46:47 +0200 Received: by mail-wm0-f46.google.com with SMTP id v188so74726846wme.1 for ; Mon, 11 Apr 2016 00:46:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to; bh=YwxA9s40qbXg2lgMiN+8gpUYVHarVWTrGnb2BXAa1Mg=; b=IrTj3G4hxGTy3Y/HR5DTfV5NeoZRnFX9m1y4WcBPAkv7ajywRPZ1V6Ma4D7DuhTaO1 tsgJJ0V9JRdrQzDqGHS8IOMQZLT0malYkcx5tEHyQmaJe/1zF5GyFPgnSmhx7XkYQAdf +x1uuR0A1MI7UsBR8M1ufidjy3MJJagPNJOMnNqK0RYQ8hlx+cuRWPyMsQe/TIUSdylq FJ6la3P8w6d9S2WiZwt07mPRApMIMYrJm9e3OZiSzpNuQS1JGW3xbyQqdiRO2q+MON0v g8t02J8wXdM7luXU6ZQVMqW2YYGWvfdJRyFMeOjFO3JHNGkkT61JW9J3yiSbBqQCl5pn /JOA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to; bh=YwxA9s40qbXg2lgMiN+8gpUYVHarVWTrGnb2BXAa1Mg=; b=aOyfsVpwgcAezSP5H9VD7jjbq0oeDsXY5fopJCmkFX7IinuzMMPwrol27Vkl7sb2mT 7GxSG58J6RFSBC9/YIL4bJ22MjkndXPsr64IeO9QL2ZChsTRlUcOj4ioIYasWje6pSRW c22vTAFCbqTfue81cEB72cCvTzfyuyhDdhZ8DtlV/YxVFkqMPujXe1StkAiMLq3JAb83 9pIKC8KY9ckY83qolLcRrPttedYYpsGv47johd+EqEGLU0Wmcse+dbdcLZ7UA268ktj5 u6B5ltCg8W4kc7fJm6B7Y2e9TzUZ1ysT0vLHiJb9lN4RFzpjg7mWSWmAJt7U7U3wJvzs XxBQ== X-Gm-Message-State: AD7BkJLiSN24VmDMm3P+e/lUdqLWt3/LBn/bJ0BksH6De0SQeJbJdN0K4QC6z0sNZ9nmWkT+tAZi8botNJgxrA== MIME-Version: 1.0 X-Received: by 10.28.103.3 with SMTP id b3mr15868893wmc.65.1460360807385; Mon, 11 Apr 2016 00:46:47 -0700 (PDT) Received: by 10.28.227.4 with HTTP; Mon, 11 Apr 2016 00:46:47 -0700 (PDT) Date: Mon, 11 Apr 2016 09:46:47 +0200 Message-ID: From: Letterio Galletta To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114a91b22b14c9053030bff9 Subject: [Caml-list] Verification and Validation Track @ QUATIC 2016 -- Deadline Extension --001a114a91b22b14c9053030bff9 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable *** DEADLINE EXTENSION *** ********************************************************************** Quality Aspects in Verification and Validation https://goo.gl/ZEcP3H track of the 10th International Conference on the Quality of Information and Communications Technology QUATIC 2016 7th - 9th September 2016, Lisbon ********************************************************************** IMPORTANT DATES: =E2=80=A2 Paper submission: Sunday, April 17, 2016 =E2=80=A2 Author's notifications: Sunday, May 15, 2016 =E2=80=A2 Camera ready submission: Sunday, June 19, 2016 CALL FOR PAPERS: The blooming of information society is pushing software development to move fast to match the expectations of a wide and globalised audience of users and consumers. This trend fosters the adoption of programming languages, development methodologies, network and hardware infrastructures that enable a fast shifting from prototyping to deployment and allow short release cycles. Yet, it is crucial that software systems satisfy their functional and non- functional requirements. Fitting together the conflicting demands for speed and quality is a challenge that calls for new paradigms and methodologies of software verification and validation. The ICT Verification and Validation (V&V) track of QUATIC 2016 is a showcase and discussion forum for innovative research proposals that address this challenge. Authors are invited to submit technical papers, empirical studies, success stories or any other form of original research contribution. Suggested topics of interest for this track include, but are not restricted to, V&V paradigms and methodologies such as: + model checking + abstract interpretation + static analysis + type systems + testing + test generation + models and calculi for software and requirements specification + software quality metrics and other quantitative methods + dynamic/runtime/online techniques for quality assurance in the context of: + agile methodologies + continuous delivery + cloud computing: IaaS, PaaS, SaaS, SLA, etc. + mobile computing + Internet of things + automation in development + dynamic programming languages SUBMISSION PROCESS: Authors should submit to http://www.easychair.org/conferences/?conf=3Dquatic2016 a PDF version of their paper. Full Papers must be in IEEE format and not exceed 6 pages, including figures, references, and appendices. Work In Progress (WIP) works with relevant preliminary results are limited to 3 pages. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be published in the electronic IEEE proceedings of QUATIC=E2=80=992016, subject to one of the authors registering for the conference. The authors of the best papers of this thematic track will be invited to submit extended versions to the main track of the conference. More info on the QUATIC=E2=80=992016 selection process and its tracks can b= e found at http://2016.quatic.org. PROGRAM CHAIR: Gianluca Mezzetti, Aarhus University, Denmark PROGRAM COMMITEE: Antonia Bertolino (Italian National Research Council, Italy) Dave Clarke (Uppsala University, Sweden) Letterio Galletta (University of Pisa, Italy) Leonardo Mariani (University of Milan, Italy) Jan Midtgaard (Technical University of Denmark, Denmark) Patrick Lam (University of Waterloo, Canada) Mohammad Reza Mousavi (Halmstad University, Sweden) Marco Pistoia (IBM Thomas J. Watson Research Center, USA) Andreas Podelski (University of Freiburg, Germany) Philipp R=C3=BCmmer (Uppsala University, Sweden) CONFERENCE WEBSITE: For additional information visit the website of the track https://goo.gl/ZEcP3H --001a114a91b22b14c9053030bff9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
*** DEADLINE EXTENSION ***

************************= **********************************************
Quality Aspects in Verifi= cation and Validation
https://goo.gl/Z= EcP3H

track of the 10th International Conference on the
Quali= ty of Information and Communications Technology
QUATIC 2016

7th -= 9th September
2016<http://airmail.calendar/2016-09-07%2012:00:00%20CEST&g= t;, Lisbon
*************************************************************= *********

IMPORTANT DATES:

=E2=80=A2 Paper submission: Sunday= , April 17,
2016<http://airmail.calendar/2016-04-10%2012:00:00%20CEST><= br>=E2=80=A2 Author's notifications: Sunday, May 15,
2016<http://airmail.c= alendar/2016-05-15%2012:00:00%20CEST>
=E2=80=A2 Camera ready subm= ission: Sunday, June 19,
2016<http://airmail.calendar/2016-06-19%2012:00:00%20= CEST>


CALL FOR PAPERS:

The blooming of information= society is pushing software development to move
fast to match the expec= tations of a wide and globalised audience of users and
consumers. This t= rend fosters the adoption of programming languages,
development methodol= ogies, network and hardware infrastructures that enable a
fast shifting = from prototyping to deployment and allow short release cycles.
Yet, it i= s crucial that software systems satisfy their functional and non-
functi= onal requirements.

Fitting together the conflicting demands for spee= d and quality is a challenge
that calls for new paradigms and methodolog= ies of software verification and
validation. The ICT Verification and Va= lidation (V&V) track of QUATIC 2016 is
a showcase and discussion for= um for innovative research proposals that address
this challenge.
Authors are invited to submit technical papers, empirical studies, success=
stories or any other form of original research contribution. Suggested = topics
of interest for this track include, but are not restricted to, V&= amp;V paradigms
and methodologies such as:

+ model checking
+ = abstract interpretation
+ static analysis
+ type systems
+ testing=
+ test generation
+ models and calculi for software and requirements= specification
+ software quality metrics and other quantitative methods=
+ dynamic/runtime/online techniques

for quality assurance in the= context of:

+ agile methodologies
+ continuous delivery
+ clo= ud computing: IaaS, PaaS, SaaS, SLA, etc.
+ mobile computing
+ Intern= et of things
+ automation in development
+ dynamic programming langua= ges


SUBMISSION PROCESS:

Authors should submit to http://www.eas= ychair.org/conferences/?conf=3Dquatic2016
a PDF version of their pap= er. Full Papers must be in IEEE format and
not exceed 6 pages, including= figures, references, and appendices.
Work In Progress (WIP) works with = relevant preliminary results are limited to
3 pages.
Submissions mus= t be original and will be reviewed by the Track Program
Committee.
A= ccepted papers will be published in the electronic IEEE proceedings of
= QUATIC=E2=80=992016,
subject to one of the authors registering for the c= onference.
The authors of the best papers of this thematic track will be= invited to
submit extended
=C2=A0versions to the main track of the = conference.
More info on the QUATIC=E2=80=992016 selection process and i= ts tracks can be found at
http://201= 6.quatic.org.

PROGRAM CHAIR:

Gianluca Mezzetti, Aarhus Un= iversity, Denmark

PROGRAM COMMITEE:

Antonia Bertolino (Italia= n National Research Council, Italy)
Dave Clarke (Uppsala University, Swe= den)
Letterio Galletta (University of Pisa, Italy)
Leonardo Mariani (= University of Milan, Italy)
Jan Midtgaard (Technical University of Denma= rk, Denmark)
Patrick Lam (University of Waterloo, Canada)
Mohammad Re= za Mousavi (Halmstad University, Sweden)
Marco Pistoia (IBM Thomas J. Wa= tson Research Center, USA)
Andreas Podelski (University of Freiburg, Ger= many)
Philipp R=C3=BCmmer (Uppsala University, Sweden)


CONFER= ENCE WEBSITE:

For additional information visit the website of the tr= ack
https://goo.gl/ZEcP3H


--001a114a91b22b14c9053030bff9--