TNC'18: Trusted Numerical Computations Jagiellonian University Krakow, Poland, June 19-20, 2018 |
Conference website | http://perso.univ-perp.fr/nasrine.damouche/TNC'18 |
Submission link | https://easychair.org/conferences/?conf=tnc18 |
Abstract registration deadline | April 30, 2018 |
Submission deadline | April 30, 2018 |
Notification | May 15, 2018 |
Final version | June 1, 2018 |
Submission Guidelines
We solicit regular papers which must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.
Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity.
They should clearly identify what has been accomplished and why it is significant.
Regular paper submissions should not exceed 15 pages in easychair style, including bibliography. Submission of papers is handled via Easychair (https://easychair.org/conferences/?conf=tnc18).
List of Topics
The scope of the workshop includes, but is not restricted to, the following topics:
- Computer-aided verification of numerical computations
- Correct-by-construction numerical methods
- Approximations in numerical simulations
- Optimisation of numerical algorithms
- Numerical accuracy in simulations for biology, physics, economy, etc.
- Specifications of correctness for numerical programs
- Verification and optimization of numerical programs
- Computations of numerical properties (interval methods, automatic differentiation, etc.)
- Formal methods for numerical codes (abstract interpretation, formal proofs, model checking, etc.)
Committees
Program Committee
- Julien Alexandre dit Sandretto ----------- (Postdoc, ENSTA ParisTech, France)
- Alexandre Chapoutot ----------- (Associate Professor, ENSTA ParisTech, France)
- Nasrine Damouche ----------- (Postdoc, University of Perpignan, France)
- Milan Hladík ----------- (Associate Professor, Charles University, Czech Republic)
- Matthieu Martel ----------- (Professor, University of Perpignan, France)
- Junkil Park ----------- (PhD, University of Pennsylvania, USA)
- Andreas Rauh ----------- (Dr.-Ing. habil., University of Rostock, Germany)
- Yassamine Seladji ----------- (Associate Professor, University of Tlemcen, Algeria)
- Xavier Thirioux ----------- (Associate Professor, Toulouse, France)
- Laura Titolo ----------- (Postdoc, National Institute of Aerospace, NASA)
- Warwick Tucker ----------- (Professor, Uppsala University, Sweden)
Organizing committee
- Julien Alexandre-dit-Sandretto, ENSTA, ParisTech, France
- Nasrine Damouche, University of Perpignan, France
- Matthieu Martel, University of Perpignan, France
Invited Speakers
Publication
Regular papers will be published electronically by Kalpa Publications in the Easychair proceedings.
Venue
The conference will be held in the Jagiellonian University of Krakow, Poland in June, 19-20, 2018. The conference will held with the International conference on Emerging Trends in Applied Mathematics and Mechanics (ETAMM2018, https://sites.google.com/view/etamm2/home).
For more information, please visite this kink: https://sites.google.com/view/etamm2/venue-and-travel
Contact
Please, feel free to send us any questions to :
nasrine.damouche@univ-perp.fr or julien.alexandre-dit-sandretto@ensta-paristech.fr