SCAN2018 (講演申込〆切 2018.04.24)
イベント日時: 09-10 〜 09-15
投稿者: 大石 進一(早稲田大学) ()
会場: 早稲田大学国際会議場
概要: 精度保証付き数値計算に関する国際会議が 9月に早稲田大学で開催されます.
日程 2018年 9月10-15日
Important dates - April 24, 2018: Deadline of extended abstract submission
- June 10, 2018: Notification of acceptance (tentative)
- July 10, 2018: Deadline of early registration
会場 早稲田大学国際会議場
本文 SCAN2018 will be held to disseminate progress in the state-of-the-art of verified numerical computations and its application to computational engineering and science.This event is to bring together outstanding researchers in the following areas to share their expertise and experience.

* Topics of interest (including but not limited to)

- Theory, algorithms and arithmetic 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

* Post-conference proceedings

Extended versions of selected SCAN2018 papers will appear in a special issue of a journal. The journal information will be announced as soon as it is decided.

* Co-Sponsors: Waseda University, JST CREST


* Organizing Committee

- Shin'ichi Oishi (Waseda University), Chair
- Takeshi Ogita (Tokyo Woman's Christian University)
- Siegfried M. Rump (Hamburg University of Technology / Waseda University)
- Nobito Yamamoto (The University of Electro-Communications)
- Daisuke Takahashi (Waseda University)
- Yoshitaka Watanabe (Kyushu University)
- Kenta Kobayashi (Hitotsubashi University)
- Katsuhisa Ozaki (Shibaura Institute of Technology)
- Naoya Yamanaka (Meisei University)
- Yuka Yanagisawa (Waseda University), Secretary
- Kazuaki Tanaka (Waseda University), Secretary

* Conference history

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)
- Wuerzburg, Germany (2014)
- Uppsala, Sweden (2016)
- Tokyo, Japan (2018, scheduled)
Call for Abstracts * Abstract Submission

All participants interested in presenting a contribution are asked to submit a short abstract (1 to 2 pages in PDF-format) using the provided LaTeX template. The deadline of the submission is April 24, 2018.
問い合わせ先 山中 脩也
e-mail: naoya.yamanaka@meisei-u.ac.jp, scan2018separatoroishi.info.waseda.ac.jp
詳細 web http://scan2018.oishi.info.waseda.ac.jp/


JSIAMにて更に多くのイベント記事をよむことができます
http://www.jsiam.org

このイベント記事が掲載されているURL:
http://www.jsiam.org/modules/eguide02/event.php?eid=1332