Intern
    SCAN2014

    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
    Kontakt

    Lehrstuhl für Informatik II (Software Engineering)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-86601
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. M2