[Numeric-interest] SCAN2014 - Early Bird Registrtion expires

[Jürgen Wolff von Gudenberg]

                              Call for Participation

                                     SCAN2014

                    16th GAMM-IMACS International Symposium on
         Scientific Computing, Computer Arithmetic and Validated Numerics

                               September 21-26, 2014

         Department of Computer Science, University of Würzburg, Germany

                             SCAN2014 at uni-wuerzburg.de
                           www.scan2014.uni-wuerzburg.de
  
Scope and topics
----------------
The  goal  of SCAN2014  is  to  advance  the  frontiers  in  verified  numerical
computations, as well  as in their  application to computational engineering and
science.

Topics of interest include, but are not limited to
   - Theory, algorithms and arithmetics for verified numerical computations
   - Symbolic and algebraic methods
   - Computer-assisted proofs
   - Hardware and software support and programming tools for verified numerical
     computations Interval analysis and applications
   - Treatment of uncertainty
   - Constraint programming
   - Verification in optimization and simulation
   - Ordinary and partial differential equations
   - Supercomputing and reliability
   - Industrial and scientific applications of verified numerical computations
   - Reliability in computer graphics
  
Important dates
---------------
   - Closing of EARLY BIRD REGISTRATION: July 15, 2014
   - Closing of registration: September 1, 2014
   - Conference: September 21-26, 2014
   - September 26, 2014 is reserved for traveling or individual workshops
  
Invited plenary speakers
------------------------
   - Ekaterina Auer (University of Duisburg-Essen, Germany)
     Result Verification and Uncertainty Management in Engineering Applications
   - Andrej Bauer (University of Ljubljana, Slovenia)
     Programming techniques for exact real arithmetic
   - Sylvie Boldo (Inria, France)
     Formal verification of tricky numerical computations
   - Jack Dongarra (University of Tennessee and ORNL, USA)
     Algorithmic and Software Challenges at Extreme Scales
   - John Gustafson (Ceranovo Inc., USA)
     An Energy-Efficient and Massively Parallel Approach to Valid Numerics
   - Bartłomiej Jacek Kubica (Warsaw University of Technology, Poland)
     Interval methods for solving various kinds of quantified nonlinear problems
   - John Pryce (Cardiff University, UK)
     The architecture of the IEEE P1788 draft standard for interval arithmetic
   - Winner of R. E. Moore Prize (TBA)
  
Venue
-----
SCAN2014  will take place at the Computer Science  Building at the University of
Würzburg.

Informatikgebäude
Institut für Informatik
Am Hubland
D-97074 Würzburg
Germany
  
Chair
-----
Prof. Dr. Jürgen Wolff von Gudenberg
Lehrstuhl für Informatik II
Am Hubland
D-97074 Würzburg
Germany
  
Contact
-------
Conference e-mailSCAN2014 at uni-wuerzburg.de

Sponsored by
------------
www.iwelt.de
www.methodpark.com
www.springer.com
www.mid.de
www.mr-daten.de
www.sparkasse-mainfranken.de
www.bechtle.com