[TYPES/announce] Call for papers: Numerical Software Verification (NSV 2012)

Swarat Chaudhuri swarat at rice.edu
Sat Apr 7 20:41:20 EDT 2012

Apologies for multiple copies


NSV 2012: Fifth International Workshop on Numerical Software Verification
July 7-8, 2012
Berkeley, California, USA

[Colocated with CAV 2012]

Web Page: http://www.cs.rice.edu/~sc40/NSV/12/

Submission deadline    April 27, 2012 (Friday)
Submission URL http://www.easychair.org/conferences/?conf=nsv2012
Notification of acceptance    May 15, 2012
Final version due    June 1st, 2012
Registration    Please register through the CAV 2012 registration system
Workshop     July 7-8, 2012


Swarat Chaudhuri, Rice University, USA
Sriram Sankaranarayanan, University of Colorado, USA

Program Committee:

Erika Abraham, RWTH, Aachen, Germany
Azadeh Farzan, University of Toronto, Canada
Georgios Fainekos, Arizona State University, USA
Eric Goubault, CEA, Saclay, France
Franjo Ivancic, NEC Laboratories America, USA
Sylvie Putot, CEA, Saclay, France
Stefan Ratschan, Czech Academy of Sciences


The NSV workshop is dedicated to the current development and future 
prospects of numerical
software verification techniques. The scope of the workshop includes, 
but is not restricted to,
the following topics:

* Models and abstraction techniques for numerical programs
* Formal specification, verification, and synthesis of numerical programs
* Quality of finite precision implementations
* Propagation of uncertainties, deterministic and probabilistic models
* Tradeoffs between quality of service and resource (for example energy) 
consumption in programs
* Hybrid systems verification and synthesis
* Application domains such as embedded software, scientific computing, 
and multimedia, graphics, and gaming.

The two-day workshop will include several invited talks, presentations 
of contributed papers, and discussion periods. The contributed papers
will be distributed before-hand on the CAV memory stick.


We seek submissions of contributed papers of length between 3 and 8 
pages (larger submissions are also possible --- for this,
please contact the organizers in advance). The title and the name of the 
authors should appear at the top of the first page.
Please submit your paper at the easychair link provided.

There will be no formal workshop proceedings---therefore, the work will 
be considered "unpublished".

At least one author of each contributed paper is expected to register 
and attend to present the work.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120407/5ea1bc68/attachment.html>

More information about the Types-announce mailing list