[TYPES/announce] Call for papers: Numerical Software Verification (NSV 2012)
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
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...
More information about the Types-announce