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 sympa.inria.fr (Postfix) with ESMTPS id 115C07EF0D for ; Mon, 22 Feb 2016 09:35:19 +0100 (CET) IronPort-PHdr: 9a23:p3Zc+xNQhkSoS68Fhjkl6mtUPXoX/o7sNwtQ0KIMzox0KPr5rarrMEGX3/hxlliBBdydsKIbzbeN+Pq/BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokb3psMeMPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv/h7TL7icq8kYbtdBTUgeyBptYy4/SXEGACG439ZVmQNjjJJBRLE5Vf0RMTfqCz/485wxDWXJ8zxBZ89XTCv87tiAEvsiSMDMDUh6EnYj8VxiORQpxf39E83+JLdfIzAbKk2RajaZ95PGTtM Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lillocpp@gmail.com; spf=Pass smtp.mailfrom=lillocpp@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f52.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lillocpp@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="lillocpp@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of lillocpp@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="postmaster@mail-wm0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DAAQD5x8pWkTRSfUpeg1g0bQameQeBVQQDhxmIRoFogiEhgjyDMIEvBzwQAQEBAQEBAQEQAQEBAQcLCwkfMYItgi0LBh0BGwoCEgMSAw0ILwIkAREBBQE+GYdiAQMSDoo6jTiCB4ExPjGLNIFpgleEUAoZJw1RhBsYAQUKBIU8hjmDLIJTgToFlweFV4gHgiaMSwKNCxEegQ8PKIIhGgSBUTsuDAEBhmolgRMBAQE X-IPAS-Result: A0DAAQD5x8pWkTRSfUpeg1g0bQameQeBVQQDhxmIRoFogiEhgjyDMIEvBzwQAQEBAQEBAQEQAQEBAQcLCwkfMYItgi0LBh0BGwoCEgMSAw0ILwIkAREBBQE+GYdiAQMSDoo6jTiCB4ExPjGLNIFpgleEUAoZJw1RhBsYAQUKBIU8hjmDLIJTgToFlweFV4gHgiaMSwKNCxEegQ8PKIIhGgSBUTsuDAEBhmolgRMBAQE X-IronPort-AV: E=Sophos;i="5.22,483,1449529200"; d="scan'208,217";a="204066770" Received: from mail-wm0-f52.google.com ([74.125.82.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Feb 2016 09:35:17 +0100 Received: by mail-wm0-f52.google.com with SMTP id b205so144848471wmb.1 for ; Mon, 22 Feb 2016 00:35:17 -0800 (PST) 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=H5J5Ss7O6grNU3uOTrtX5X4bYvQCWDTbiB5bq6HwbT4=; b=wwQ6J+NDl9Gm8rQqIKhp3PoO3AuDXa9rKZLyPsm1/JZKtOY7H0NAo1ASJrVPnfw8Bz vNsxJoyRmdZh9GMBweF4YZBOpFusAiVvvlov1Tiwhd/fJzM/sntjCxHUTlzZ5c6CXB+B iAQvxlAS080COJ65DouU1C1NJY69Xnv4JJm9acEnEXrD6a9FwAD0WDIjJN7JVTaIWokm vV1sc/c8UkBbQ2qlsXrYgyk42AO6KtxspBABDTNCd9KuDreTN5Dx1qarapwuD00Ko6PT RlUughBVwV1D6X42Bo+82tQymviKQrmDfMR4Z8Hr7/WVfZ2B53oGU0Mhy9EWlcrsIIbK DWug== 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=H5J5Ss7O6grNU3uOTrtX5X4bYvQCWDTbiB5bq6HwbT4=; b=IyS69GR3XAMob8ZiVdCpP+I1HHY8eOuEjI/kWprzGW82wB1fDbFASMNu/kf7GAX3RE 9ZVzqdgFLPOVcZQx8xwCAFeBvorbOt8Z0aYAqvOAs4maqacWpBcFrK05K5Mo8AKwxDx/ kpR+j6nYDeErjVAZ5QJDpvR5Pi4elj3vtJ/oMCZFFAxAZmGRxst6Whqbc6Q9W/s6EOTS t/NGLIVP49K97hLCy1QzBr9xzMuudjzs3N6v51XkUSrFA5gA6N/IUjjAbOUpehBEyZlg lIwI/2xXL06+rb5gmgJ4yLYYIxSKzlRnmH8nzqEneUx8sEI5w7tbr9C0Bdxx0tlW3k9D xRiw== X-Gm-Message-State: AG10YOSQM6iO7Hid6WieCaem41mr30Vaa5hvN69LBH5E00Wp+3rOW5Q1f355Bc6kuXfAXGL9AMDrH1qtq7aloQ== MIME-Version: 1.0 X-Received: by 10.28.224.84 with SMTP id x81mr11612104wmg.62.1456130117614; Mon, 22 Feb 2016 00:35:17 -0800 (PST) Received: by 10.28.187.197 with HTTP; Mon, 22 Feb 2016 00:35:17 -0800 (PST) Date: Mon, 22 Feb 2016 09:35:17 +0100 Message-ID: From: Letterio Galletta To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114c18466847d7052c57b623 Subject: [Caml-list] CFP: Verification and Validation track @ QUATIC 2016 - First Call for Papers --001a114c18466847d7052c57b623 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable FIRST CALL FOR PAPER (apologies for multiple copies) ********************************************************************** 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 10, 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. Papers must be in CPS format and not exceed 6 pages, including figures, references, and appendices. Submissions must be original and will be reviewed by the Track Program Committee. Accepted papers will be submitted for archiving in Xplore and CSDL, 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 a= nd its tracks can be 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 --001a114c18466847d7052c57b623 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

FIRST CALL FOR PAPER (apologies for mult= iple copies)

*******************************************************= ***************
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0 Quality Aspects in Verification and Validation
=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= https://goo.gl/ZEcP3H

=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 track of the 10th International = Conference on the
=C2=A0=C2=A0=C2=A0 Quality of Information and Communi= cations Technology
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 QUATIC 2016
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 7th - 9th September 201= 6, Lisbon
**************************************************************= ********

IMPORTANT DATES:

=C2=A0=C2=A0 =E2=80=A2 Paper submis= sion: Sunday, April 10, 2016
=C2=A0=C2=A0 =E2=80=A2 Author's notific= ations: Sunday, May 15, 2016
=C2=A0=C2=A0 =E2=80=A2 Camera ready submiss= ion: Sunday, June 19, 2016


CALL FOR PAPERS:

The blooming = of information society is pushing software development to move
fast to m= atch the expectations of a wide and globalised audience of users and
con= sumers. This trend fosters the adoption of programming languages,
develo= pment 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 de= mands for speed and quality is a challenge
that calls for new paradigms = and methodologies of software verification and
validation. The ICT Verif= ication and Validation (V&V) track of QUATIC 2016 is
a showcase and = discussion forum for innovative research proposals that address
this cha= llenge.

Authors are invited to submit technical papers, empirical st= udies, success
stories or any other form of original research contributi= on. Suggested topics
of interest for this track include, but are not res= tricted to, V&V paradigms
and methodologies such as:=C2=A0=C2=A0=C2= =A0=C2=A0
=C2=A0
=C2=A0+ model checking=C2=A0=C2=A0=C2=A0=C2=A0
= =C2=A0+ abstract interpretation
=C2=A0+ static analysis=C2=A0=C2=A0=C2= =A0=C2=A0
=C2=A0+ type systems=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0+ test= ing=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0+ test generation=C2=A0=C2=A0=C2=A0= =C2=A0
=C2=A0+ models and calculi for software and requirements specifi= cation=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0+ software quality metrics and oth= er quantitative methods=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0+ dynamic/r= untime/online techniques

for quality assurance in the context of:= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0

=C2=A0+ agile methodologies
=C2= =A0+ continuous delivery=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0+ cloud co= mputing: IaaS, PaaS, SaaS, SLA, etc.
=C2=A0+ mobile computing=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0
=C2=A0+ Internet of things=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0
=C2=A0+ automation in development
=C2=A0+ dynamic programm= ing languages


SUBMISSION PROCESS:

Authors should submit t= o http:= //www.easychair.org/conferences/?conf=3Dquatic2016
a PDF version of = their paper. Papers must be in CPS format and not exceed 6
pages, includ= ing figures, references, and appendices. Submissions must be
original an= d will be reviewed by the Track Program Committee. Accepted papers
will = be submitted for archiving in Xplore and CSDL, subject to one of the
aut= hors 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 be found at http://2016.quatic.org.

PROGRAM CHAIR:

=C2=A0 Gianluca= Mezzetti, Aarhus University, Denmark

PROGRAM COMMITEE:

=C2= =A0 Antonia Bertolino=C2=A0=C2=A0 (Italian National Research Council, Italy= )
=C2=A0 Dave Clarke=C2=A0=C2=A0 (Uppsala University, Sweden)
=C2= =A0 Letterio Galletta=C2=A0=C2=A0 (University of Pisa, Italy)
=C2=A0 Leo= nardo Mariani=C2=A0=C2=A0 (University of Milan, Italy)
=C2=A0 Jan Midtg= aard=C2=A0=C2=A0 (Technical University of Denmark, Denmark)
=C2=A0 Patr= ick Lam=C2=A0=C2=A0 (University of Waterloo, Canada)
=C2=A0 Mohammad Re= za Mousavi=C2=A0=C2=A0 (Halmstad University, Sweden)
=C2=A0 Marco Pistoi= a=C2=A0=C2=A0 (IBM Thomas J. Watson Research Center, USA)
=C2=A0 Andreas= Podelski=C2=A0=C2=A0 (University of Freiburg, Germany)
=C2=A0 Philipp R= =C3=BCmmer=C2=A0=C2=A0 (Uppsala University, Sweden)


CONFERENCE W= EBSITE:

For additional information visit the website of the track https://goo.gl/ZEcP3H
--001a114c18466847d7052c57b623--