Algorithms and Complexity in Mathematics, Epistemology and Science
Description
The aim of this conference is encourage and foster multidisciplinary study of computational reliability by bringing together leading computational scientists with leading philosophers of computing science in a forum that encourages genuine interaction and multidisciplinary synergy. The main focus is a combination of the science of reliability and uncertainty quantification with conceptual and foundational issues concerning reliability in the application of scientific theories to real phenomena. The conference will integrate longer talks from three leading computational scientists and three leading philosophers of science together with shorter computational research contributions from others, including graduate students in computational science and epistemology of science, with particular emphasis on how they know their results are correct. The talks will be organized to promote exchange on how computational science can advance philosophy of computing and how philosophy of science can deepen scientific understanding of computational reliability.
The ACMES conference will be held in conjunction with Southern Ontario Numerical Analysis Day (SONAD).
The structure of the program is to be as follows:
- Two one-day workshops, one focusing on the science of reliability and uncertainty quantification, which will be blended with the other workshop focusing on philosophical issues in reliability in the application of scientific theories to real phenomena.
- Two/three talks by senior researchers given each day, where each day there is to be at least one talk from a senior researcher in computational science and at least one from a senior researcher in philosophy of science.
- Several shorter talks by graduate students on the topic of their computational research and how they know their results are correct