Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. Deadline Approaching: NSV 2014 (BOUISSOU Olivier 209517)
2. ReSA4CI 2014 - Call for Paper (Silvia Bonomi)
----------------------------------------------------------------------
Message: 1
Date: Thu, 27 Mar 2014 13:16:49 +0000
From: BOUISSOU Olivier 209517 <Olivier.BOUISSOU@cea.fr>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Deadline Approaching: NSV 2014
Message-ID: <4E0038CA-9A06-4C02-A0CC-90FFEE2C3E50@cea.fr>
Content-Type: text/plain; charset="iso-8859-1"
[Apologies if you receive multiple copies of this message]
The final deadline for submitting to the 7th workshop on Numerical Software Verification is *March, 30th*
***
CALL FOR PAPERS
**************
** NSV 2014 **
**************
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Sattelite Workshop of Vienna Summer of Logic 2014
Vienna, Austria
Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14
Important Dates
===============
Submissions deadline: March 30th 2014.
Notification: May 4th 2014.
Final version: May 25th 2014.
Workshop: July 17th-18th 2014.
Novelty of this edition
=======================
The 2014 edition of NSV will be published electronically by Elsevier
in the Electronic Notes in Theoretical Computer Science Serie (ENTCS).
In this new NSV edition, we encourage publications about the numerical
issues in new domains, in particular computational finance and
biological systems: problems, consequences and state-of-the-art
approaches.
Description of the Workshop
===========================
Numerical computations are ubiquitous in digital systems: supervision,
prediction, simulation and signal processing rely heavily on numerical
calculus to achieve desired goals. Verification of numerical
algorithms has a unique set of challenges, which set it apart from
the rest of software verification. To achieve the verification and
validation of global properties, numerical techniques need to
precisely represent local behaviors of each component. In fact, in
numerical algorithms, coarse abstractions are unlikely to succeed
essentially because of the above mentioned issue. The implementation
of numerical techniques on modern hardware adds another layer of
approximation: the use of finite representations of infinite
precision numbers usually lack basic arithmetic properties such
as commutativity and associativity. It is hence imperative to develop
logical and mathematical techniques that would allow reasoning about
programmability and reliability. The NSV workshop is dedicated to the
current development and the future prospects for such techniques.
Topics
===============
The scope of the workshop includes, but is not restricted to, the
following topics:
- Models and abstraction techniques
- Specifications of correctness for numerical programs
- Formal specification and verification of numerical programs
- Quality of finite precision implementations
- Propagation of uncertainties, deterministic and probabilistic models
- Numerical properties of control software
- Hybrid systems verification
- Validation for space, avionics, automotive and real-time applications
- Validation for scientific computing programs
- Optimality of program behavior
- Trade-offs between quality of service and resource (for example
energy) consumption in programs
- Benchmarks and tools for numerical software verification
- Numerical issues in computational finance
Submission information
======================
We solicit regular and short papers.
Paper submission must be performed via the EasyChair system:
https://www.easychair.org/conferences/?conf=nsv2014
Regular papers must describe original work, be written and presented
in English, and must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference with refereed proceedings. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant.
Regular paper submissions should not exceed 15 pages in ENTCS style,
including bibliography and well-marked appendices:
http://www.entcs.org/prelim.html
Program committee members are not required to read the appendices, and
thus papers must be intelligible without them.
Short papers are also welcomed, they should present tools, benchmarks,
case-studies or be extended abstracts of ongoing research. Short
papers should not exceed 6 pages.
Regular papers will be published electronically by Elsevier in the
Electronic Notes in Theoretical Computer Science serie ENTCS), all
accepted (regular and short) papers will also be included in the
Vienna Summer of Logic USB-stick distributed to all participants to the VSL.
Confirmed Invited Speakers
===========================
* Jean-Michel Muller, LIP, Ecole Normale Sup?rieure de Lyon
* Sumit Kumar Jha, University of Central Florida, Orlando
Organizers
==========
Olivier Bouissou, CEA, LIST
Khalil Ghorbal, Carnegie Mellon University
All questions about the workshop can be addressed to them via email:
nsv2014@easychair.org
Program Committee
==================
- Sylvie Boldo Inria
- Olivier Bouissou CEA, LIST
- Jyotirmoy Deshmukh Toyota Technical Center
- Khalil Ghorbal Carnegie Mellon University
- Eric Goubault CEA, LIST
- Sylvie Putot CEA, LIST
- Sriram Sankaranarayanan Boulder University
------------------------------
Message: 2
Date: Thu, 27 Mar 2014 18:07:28 +0100
From: Silvia Bonomi <bonomi@dis.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ReSA4CI 2014 - Call for Paper
Message-ID: <27602F3B-9D22-42FF-8C83-29B25BB146D2@dis.uniroma1.it>
Content-Type: text/plain; charset=windows-1252
[Apologies if you receive multiple copies of this message]
==========================================================================
CALL FOR PAPERS
1st International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection ReSA4CI 2014
co-located with SAFECOMP 2014
September 9th, 2014, Florence, Italy
http://www.safecomp2014.unifi.it/resa4ci/
==========================================================================
===========
Scope
===========
This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of reliable, dependable and secure computing for critical systems protection from both a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating reliable and secure solutions for the next generation critical infrastructures. Critical Infrastructures present several challenges in the fields of distributed systems, dependability and security methods and approaches crucial for improving trustworthiness on ICT facilities. The workshop aims at presenting the advancement on the state of art in these fields and spreading their adoption in several scenarios involving main infrastructures for modern society.
Topics of interest are (but not limited to):
? Model-based and experimental assessment of safety, reliability and security
? Security & Privacy
? Quantitative analysis of dependability and security metrics
? Risk Assessment and Management
? Fault tolerant and Dependable Distributed Algorithm
? Threat Analysis
? Monitoring systems
? Adaptive solutions for secure and safe systems
? Self-* solutions
Domains of application are (but not limited to):
? Critical infrastructure, Smart Grid, and SCADA systems
? Medical device and healthcare
? Telecommunication and networks
? Railways, automotive, aerospace, and avionics
? Defence, cyber intelligence
=================
General Chair
=================
Silvia Bonomi, University of Rome La Sapienza, Italy
Ilaria Matteucci, IIT-CNR, Italy
==================
Program Committee
==================
Valentina Bonfiglio, University of Florence, Italy
Silvia Bonomi, University of Rome La Sapienza, Italy (co-chair)
Felicita Di Giandomenico, ISTI-CNR, Italy
Karama Kanoun, LAAS, France
Ilaria Matteucci, IIT-CNR, Italy (co-chair)
Alessia Milani, University of Bordeaux, France
Simin Nadjm-Tehrani, Link?ping University, Sweden
Federica Paci, University of Trento, Italy
Marta Patino Martinez, Technical University of Madrid, Spain
Marinella Petrocchi, IIT-CNR, Italy
Maria Gradinariu Potop-Butucaru, UPMC Paris 6, France
Sara Tucci Piergiovanni, CEA, France
========================
Important dates
========================
Submission deadline: May 20, 2014
Acceptance notification: June 20, 2014
Camera-ready copy due: July 1, 2014
===================
Submission
===================
Submitted papers must be written in English and each papers must contain results that have not previously appeared and have not been concurrently submitted to a journal or conference with published proceedings.
In all cases, any partial overlap with any published or concurrently submitted paper must be clearly indicated.
Submissions are limited to 10 pages in the LNCS format. Additional details maybe included in a clearly marked appendix that will be read at the discretion of
the PC. The papers must be submitted electronically following the instructions at http://www.safecomp2014.unifi.it/resa4ci/.
====================
Publication
====================
The selection of contributions to be presented at the conference and published in the proceedings will be based on peer-review by the Programm Committee.
Accepted paper will be published in the Springer's Lecture Notes in Computer Science series jointly with the SAFECOMP 2014 proceedings.
It is required that each accepted paper be presented at the workshop by one of its authors.
Authors of accepted papers are required to submit the final, camera-ready versions of their papers (in LNCS format), including
an electronic version as specified in the authors' instructions.
Silvia Bonomi
Fixed Term Assistant Professor
Ph.D. in Computer Engineering
Universit? degli studi di Roma "La Sapienza"
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
Via Ariosto 25 (1st floor, room B109)
I-00185 Roma, Italy
e-mail: bonomi@dis.uniroma1.it
tel. : +39 0677274017
fax : +39 0677274002
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 73, Issue 31
**************************************
No comments:
Post a Comment