VNC2019 @ Uppsala, Sep. 8-12, 2019

Workshop on Recent Progress of Verified Numerical Computations

>> INFORMATION

Topics of interest

We are soliciting original research topics in the areas below (but not limited to the list):

  • Computer-assisted proofs for dynamical systeems
  • Ordinary and partial differential equations
  • Theory, algorithm, and arithmetic for verified numerical computations

Date

Sep. 8th – 12th, 2019 (There’s a possibility that schedule may be modified.)

Date

Uppsala, Sweden

Uppsala University
The Main University Building (Universitetshus)
Room VIII

Organizer

Shin’ichi Oishi (Waseda University)
Warwick Tucker (Uppsala University)
Denis Gaidashev (Uppsala University)

Schedule

TBA

This workshop is supported by Core Research for Evolutional Science and Technology (CREST), Japan Science and Technology Agency (JST).

>> ORGANIZING COMMITTEE

Shin’ichi Oishi, Waseda University, Japan
Warwick Tucker, Uppsala University, Sweden
Denis Gaidashev, Uppsala University, Sweden
Naoya Yamanaka, Meisei University / Waseda University, Japan (Secretary)

ADDRESS : 63 building 419 room, 3-4-1 Okubo Shinjuku Tokyo, Japan, 169-8555
TEL : 03-5286-3330
MAIL : yamanaka@aoni.waseda.jp