[Caml-list] Verification and Validation Track @ QUATIC 2016 -- Deadline Extension

[Caml-list] Verification and Validation Track @ QUATIC 2016 -- Deadline Extension

[Letterio Galletta]

[-- Attachment #1: Type: text/plain, Size: 3950 bytes --]

*** 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<http://airmail.calendar/2016-09-07%2012:00:00%20CEST>, Lisbon
**********************************************************************

IMPORTANT DATES:

• Paper submission: Sunday, April 17,
2016<http://airmail.calendar/2016-04-10%2012:00:00%20CEST>
• Author's notifications: Sunday, May 15,
2016<http://airmail.calendar/2016-05-15%2012:00:00%20CEST>
• Camera ready submission: Sunday, June 19,
2016<http://airmail.calendar/2016-06-19%2012:00:00%20CEST>


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=quatic2016
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ümmer (Uppsala University, Sweden)


CONFERENCE WEBSITE:

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

[-- Attachment #2: Type: text/html, Size: 4687 bytes --]