[ecoop-info] SCAN2014 Call for Contributions

J. Wolff von Gudenberg wolff at informatik.uni-wuerzburg.de
Mon Dec 9 15:43:07 CET 2013

Call for Contributions


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

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

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 
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
- Abstract submission deadline: April 1, 2014
- Notification of acceptance: June 8, 2014
- Closing of early bird registration: July 15, 2014
- Closing of registration: September 1, 2014
- Conference: September 21-26, 2014
- 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: 
Germany (1988), Basel, Switzerland (1989), Albena-Varna, Bulgaria (1990),
Oldenburg, Germany (1991), Vienna, Austria (1993), Wuppertal, Germany 
Lyon, France (1997), Budapest, Hungary (1998), Karlsruhe, Germany 
(2000), Paris,
France (2002), Fukuoka, Japan (2004), Duisburg, Germany (2006), El Paso, 
USA (2008), Lyon, France (2010), Novosibirsk, Russia (2012)

Scientific committee
G. Alefeld (Karlsruhe, Germany), J.-M. Chesneaux (Paris, France), G.F. 
(Milwaukee, USA), T. Csendes (Szeged, Hungary), A. Frommer (Wuppertal, 
R.B. Kearfott (Lafayette, USA), W. Kraemer (Wuppertal, Germany), V. 
(El Paso, USA), U. Kulisch (Karlsruhe, Germany), W. Luther (Duisburg, 
G. Mayer (Rostock, Germany), S. Markov (Sofia, Bulgaria), J.-M. Muller 
France), M. Nakao (Fukuoka, Japan), M. Plum (Karlsruhe, Germany), N. Revol
(Lyon, France), J. Rohn (Prague, Czech Republic), S. Rump (Hamburg, 
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 

- Each plenary lecture is a 45 minute talk followed by a 5 minute 
- 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)
- Andrej Bauer (University of Ljubljana, Slovenia)
- Sylvie Boldo (Inria, France)
- Jack Dongarra (University of Tennessee and ORNL, USA)
- John Gustafson (USA)
- Bartłomiej Jacek Kubica (Warsaw University of Technology, Poland)
- John Pryce (Cardiff University, UK)
- 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 
abstract must have paid the registration fee to be published in the book of

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.

SCAN2014 will take place at the Computer Science Building at the 
University of

Institut für Informatik
Am Hubland
D-97074 Würzburg

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

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

Conference e-mail SCAN2014 at uni-wuerzburg.de

Sponsored by

-                Prof. Dr. Juergen Wolff von Gudenberg
      o           Lehrstuhl fuer Informatik II
     / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602 Fax ../31 86603
   / \  Uni       E-Mail:wolff at informatik.uni-wuerzburg.de
  o   o Wuerzburg

More information about the ecoop-info mailing list