[ecoop-info] SCAN2014 Final Call for Contributions: Extended deadline

[Jürgen Wolff von Gudenberg]

                            Final Call for Contributions

                                     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
---------------
   - Extended abstract submission deadline: April 15, 2014
   - Notification of acceptance: June 11, 2014
   - 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
   - Post-conference paper submission deadline: December 21, 2014

Conference history
------------------
This conference continues the series of international SCAN symposia 
initiated by
University of  Karlsruhe, Germany, and held under the joint auspices of 
GAMM and
IMACS. SCAN symposia  have been held in many cities across the world: 
Karlsruhe,
Germany  (1988),  Basel,  Switzerland  (1989),  Albena-Varna, Bulgaria  
(1990),
Oldenburg, Germany  (1991), Vienna, Austria  (1993), Wuppertal, Germany  
(1995),
Lyon, France (1997), Budapest, Hungary (1998), Karlsruhe, Germany 
(2000), Paris,
France (2002), Fukuoka,  Japan (2004), Duisburg, Germany (2006), El 
Paso, Texas,
USA (2008), Lyon, France (2010), Novosibirsk, Russia (2012)

Scientific committee
--------------------
G. Alefeld  (Karlsruhe, Germany), J.-M. Chesneaux  (Paris, France), G.F. 
Corliss
(Milwaukee, USA), T. Csendes (Szeged, Hungary), A. Frommer (Wuppertal, 
Germany),
R.B. Kearfott (Lafayette, USA), W. Kraemer  (Wuppertal, Germany), V. 
Kreinovich
(El Paso, USA), U. Kulisch  (Karlsruhe, Germany), W. Luther (Duisburg, 
Germany),
G. Mayer  (Rostock, Germany),  S. Markov (Sofia, Bulgaria),  J.-M. 
Muller (Lyon,
France),  M. Nakao  (Fukuoka, Japan),  M. Plum  (Karlsruhe, Germany),  
N. Revol
(Lyon, France), J. Rohn  (Prague, Czech Republic),  S. Rump (Hamburg, 
Germany),
S. Shary  (Novosibirsk,  Russia),  Yu. Shokin  (Novosibirsk, Russia),  
W. Walter
(Dresden, Germany), J.  Wolff von Gudenberg  (Wuerzburg, Germany), N.  
Yamamoto
(Tokyo, Japan)

Meeting format
--------------

The meeting is expected to  consist of invited plenary  lectures and 
contributed
presentations.

   - Each plenary lecture is a 45 minute talk followed  by a 5 minute 
discusssion
   - Each contributed presentation is a 20 minute oral presentation 
followed by a
     5 minute  discussion.  Contributed  presentations  will  be 
organized  into
     parallel sessions.

Contributed presentations are invited in all areas of interest.

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)

Abstract submission
-------------------
All participants interested in presenting a contribution are asked to 
submit the
source code of a  short LaTeX  abstract  (1 to 2 pages in PDF-format) 
using the
provided LaTeX template.
Submission of  the abstract should be done no later than April 1, 2014 
using the
EasyChair conference system.
All the abstracts  submitted are considered by the scientific committee, 
and the
authors will receive an acceptance notification no later than June 8, 2014.
The accepted  abstracts will be  published in electronic form at the 
web-site of
SCAN2014 and in a printed book of abstracts.  At least one author of an 
accepted
abstract must  have paid the  registration fee  to be  published  in the 
book of
abstracts.

See www.scan2014.uni-wuerzburg.de for more information.

Post-conference proceedings
---------------------------
Peer-refereed  post-conference  proceedings of  SCAN2014 will appear in 
Lecture
Notes in Computer Science.  Further information will be announced later.

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

Pre-conference workshop
-----------------------
SCAN2014 is preceded by the Constraint  Programming and Decision Making 
Workshop
CoProd 2014 on  September 21, 2014. See 
http://coprod.constraintsolving.com for
further information.

Chair
-----
Prof. Dr. Jürgen Wolff von Gudenberg
Lehrstuhl für Informatik II
Am Hubland
D-97074 Würzburg
Germany

Contact
-------
Conference e-mail SCAN2014 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