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 17F737EE35 for ; Wed, 23 Mar 2016 14:56:09 +0100 (CET) IronPort-PHdr: 9a23:heIhwxZ3pjcc+8n4+cvXRIT/LSx+4OfEezUN459isYplN5qZpcq6bnLW6fgltlLVR4KTs6sC0LqG9fm+EjFfqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7D0osOYPloArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZ2arjhZ6kzUZBfCT0nNSh1uJyq5lH/Sl6E734YF2EXiQZgAg7f7Ri8UI2inDH9s79Z1TWGMNf3SvgbUDCm4rt3QVe8jCYDMzky6Hn/hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEDYQUw== 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-f42.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.42; 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.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; 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-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lillocpp@gmail.com"; x-sender="postmaster@mail-wm0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BcIADTn/JWiypSfUpegmdqNXoGjjEEmCcBB4FXBAOHJohlhA0hgjyDMIE1BzwQAQEBAQEBAQEQAQEBCAsLCR8xgi2CLQsGHQEbCgISAxIDDQglCgIkAREBBQE+GYdvAQMSDpIvjTqCB4ExPjGLNoFqgleDP4M8ChknDVGELBgBBQoFhUeGQ4JKFVOCU4JWBZdahXGIE4IzjFeNSREegQ8PKIIhGgSBUjsuDAEBiEICHgeBFAEBAQ X-IPAS-Result: A0BcIADTn/JWiypSfUpegmdqNXoGjjEEmCcBB4FXBAOHJohlhA0hgjyDMIE1BzwQAQEBAQEBAQEQAQEBCAsLCR8xgi2CLQsGHQEbCgISAxIDDQglCgIkAREBBQE+GYdvAQMSDpIvjTqCB4ExPjGLNoFqgleDP4M8ChknDVGELBgBBQoFhUeGQ4JKFVOCU4JWBZdahXGIE4IzjFeNSREegQ8PKIIhGgSBUjsuDAEBiEICHgeBFAEBAQ X-IronPort-AV: E=Sophos;i="5.24,382,1454972400"; d="scan'208,217";a="209726011" Received: from mail-wm0-f42.google.com ([74.125.82.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Mar 2016 14:56:08 +0100 Received: by mail-wm0-f42.google.com with SMTP id l68so235244268wml.0 for ; Wed, 23 Mar 2016 06:56:08 -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=hzCxlnm7Ife7+a0hE3D3M7SQiH+YX68ScGqDVNjQsOo=; b=XDuw+8F9penzuoVp1wEVBjOkqNlikmk/NehVPzo3JrRqnD4gKRq3rEkx9ArmDQg09t JpI52lKiCqWAo2mNGr6OWGL0ZC1hcec3yMj5cypJhYONpwJhoV/FMUYTUGzaMAKLRV9Y WCD6WXthqWyMaxeMsX3RVYepwtn++8AgSv/2qYDqrioKuIVSwOVRClCv99y80VANxSw0 TAIjBdTpcIh0DxO4Ca+nUJK2ruFR5rlxDLOajw2SKdz0cMg+6uG0iUj6x1vqc2SH8uPQ QKreEW5XbHiwG43C0CKmrs+8wA6TM/YsOdfzp7ewqr/ul5QBQASSltcxStupYzcRYw5H +0DA== 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=hzCxlnm7Ife7+a0hE3D3M7SQiH+YX68ScGqDVNjQsOo=; b=JEuMEMX+uBCRhXCbTM6wEZWNYYZpTXbnfajOk1a5Ps29HVfAzksTeJoTc+uzE1/J9G A14lWagYyPhxYvWbnFVgMS9szbmSVhI1HmCjq3B8H16znGL3WvR+N1S4x5Qc7MB28fOJ Y6jfGEN3xTKtq4zNfjPa+1hEDJ1/XHNs6+0gIwRpx4sXnZY9lt3T+qu46DJzodoGdM8S 3dg0x9pXVZ6bnayttPaanBC4y0Ikb5QGmxLchz8yfqsitwVo2q+S1B0V4JbP8ixfvc/9 opJpzCqEKY8C5RwNj9qgnZ8unqrfm74llKAAMplalcUORRzBM2iv/PgQlsbNaibskNdX HbGw== X-Gm-Message-State: AD7BkJKheg4THnLzJCCiCY1qJU47IClEBmn6kIe1dqz2smxnb43/3DJInUswox4kKTpypX4RB5DfKoNxdodJ5w== MIME-Version: 1.0 X-Received: by 10.194.90.137 with SMTP id bw9mr3664755wjb.120.1458741367719; Wed, 23 Mar 2016 06:56:07 -0700 (PDT) Received: by 10.28.227.133 with HTTP; Wed, 23 Mar 2016 06:56:07 -0700 (PDT) Date: Wed, 23 Mar 2016 14:56:07 +0100 Message-ID: From: Letterio Galletta To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7bfcf9240acbfc052eb7b19e Subject: [Caml-list] Verification and Validation track @ QUATIC 2016 - Second Call for Papers --047d7bfcf9240acbfc052eb7b19e Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable SECOND 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. 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'2016, 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'2016 selection process and 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 --047d7bfcf9240acbfc052eb7b19e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

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

track of the 10th International Con= ference on the=C2=A0
Quality of Information and Communications Technology=C2=A0
QUATIC 2016=C2=A0

7th - 9= th September 2016, Lisbon=C2=A0
**********************************************************************= =C2=A0
<= br style=3D"font-family:'helvetica Neue',helvetica">IMPORTANT DATES:=C2=A0

=E2=80=A2 Paper submission:=C2=A0Sunday, April 10, 2016=C2=A0
=E2=80=A2 Author's notifications:=C2= =A0Sunday, May 15, 2016=C2=A0
=E2=80=A2 Camera ready submission:= =C2=A0Sunday, June 19, 2016=C2=A0


CALL FOR PAPERS:=C2=A0

The blooming of information society is pushing software development to = move=C2=A0
fast to m= atch the expectations of a wide and globalised audience of users and=C2=A0<= /span>
consumers. This tren= d fosters the adoption of programming languages,=C2=A0
development methodologies, network and h= ardware infrastructures that enable a=C2=A0
fast shifting from prototyping to deployment and al= low short release cycles.=C2=A0
Yet, it is crucial that software systems satisfy their function= al and non-=C2=A0
fu= nctional requirements.=C2=A0

Fitti= ng together the conflicting demands for speed and quality is a challenge=C2= =A0
that calls for n= ew paradigms and methodologies of software verification and=C2=A0validation. The ICT Verificat= ion and Validation (V&V) track of QUATIC 2016 is=C2=A0
a showcase and discussion forum for= innovative research proposals that address=C2=A0
this challenge.=C2=A0

Authors are invited to submit technical papers, empirical= studies, success=C2=A0
stories or any other form of original research contribution. Suggested = topics=C2=A0
of inte= rest for this track include, but are not restricted to, V&V paradigms= =C2=A0
<= span style=3D"font-family:'helvetica Neue',helvetica">and methodolo= gies such as:=C2=A0=C2=A0

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

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

+ agile methodologies=C2=A0
+ continuous delivery=C2=A0=C2=A0<= br style=3D"font-family:'helvetica Neue',helvetica">+ cloud computing: IaaS, Pa= aS, SaaS, SLA, etc.=C2=A0
+ mobile computing=C2=A0=C2=A0
+ Internet of things=C2=A0=C2=A0
+ automation in development=C2=A0
+ dynamic programming languages= =C2=A0
<= br style=3D"font-family:'helvetica Neue',helvetica">
SUBMISSION PROCESS:=C2=A0

Authors should submit to http://www.easychai= r.org/conferences/?conf=3Dquatic2016=C2=A0
a PDF version of their paper. Full Papers must be in IEEE forma= t and=C2=A0
not exceed 6 pages, inc= luding figures, references, and appendices.=C2=A0
Work In Progress (WIP) works with relevant preliminary resul= ts are limited to 3 pages.=C2=A0
Su= bmissions must be original and will be reviewed by the Track Program Commit= tee.=C2=A0
Accepted papers will be = published in the electronic IEEE proceedings of QUATIC'2016,=C2=A0
subject to one of the authors registeri= ng for the conference.=C2=A0
The au= thors of the best papers of this thematic track will be invited to submit e= xtended
=C2=A0versions to the main = track of the conference.=C2=A0
More= info on the QUATIC'2016 selection process and its tracks can be found = at http://2016.quatic.org.

PROGRAM CHAIR:= =C2=A0
<= br style=3D"font-family:'helvetica Neue',helvetica">Gianluca Mezzetti, Aarhus U= niversity, Denmark=C2=A0

PROGRAM C= OMMITEE:=C2=A0

Antonia Bertolino (= Italian National Research Council, Italy)=C2=A0
Dave Clarke (Uppsala University, Sweden)=C2=A0<= /span>
Letterio Galletta (U= niversity of Pisa, Italy)=C2=A0
Leonardo Mariani (University of Milan, Italy)=C2=A0
Jan Midtgaard (Technical Univer= sity of Denmark, Denmark)=C2=A0
Patrick Lam (University of Waterloo, Canada)=C2=A0
Mohammad Reza Mousavi (Halmstad = University, Sweden)=C2=A0
Marco Pistoia (IBM Thomas J. Watson Research Center, USA)=C2=A0
Andreas Podelski (Unive= rsity of Freiburg, Germany)=C2=A0
Philipp R=C3=BCmmer (Uppsala University, Sweden)=C2=A0=


CONFERENCE WEBSITE:=C2=A0

For additional information visit the website of the track=C2= =A0
https= ://goo.gl/ZEcP3H=C2=A0
--047d7bfcf9240acbfc052eb7b19e--