[TYPES/announce] NSV 2014 Call for Participation. Early Registration Deadline Approaching

[BOUISSOU Olivier 209517]

[Please post - apologies for multiple copies.]


              Call for Participation


		   ************** 
		   ** NSV 2014 **
	  	   ************** 
	7th  International Workshop on Numerical Software Verification
	
	July 17-18, 2014

	A Sattelite Workshop of Vienna Summer of Logic 2014
	Vienna, Austria

Affiliated with CAV 2014 and held as part of the
Federated Logic Conference (FLoC) and the Vienna Summer of Logic
(VSL), http://vsl2014.at

EARLY REGISTRATION DEADLINE: June 8

DESCRIPTION: 
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.

INVITED SPEAKERS

- Jean-Michel Muller
  Getting tight error bounds in floating-point arithmetic

- Jim Kapinski
  Numerical Challenges in Simulation-guided Dynamical System Analysis

- Sumit Kumar Jha
  Verifying Parameterized Software Models in Computational IData Science against Behavioral Specifications


NSV 2014 PROGRAM:
http://www.easychair.org/smart-program/VSL2014/NSV-program.html


REGISTRATION AND ACCOMMODATION:
http://vsl2014.at/registration/


We look forward to seeing you in Vienna!

The NSV 2014 organizers:
Olivier Bouissou
Khalil Ghorbal