SCAN2014 - Early Bird Registrtion expires
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@xxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxx
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