Call for Contributions

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

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 31, 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)
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 15, 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 11, 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.

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.

Travel information

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@uni-wuerzburg.de

Hubland Süd, Geb. M2