Formal Approaches to the Ontology & Epistemology of Resilience Update 2019 Q2
PI(s), Co-PI(s), Researchers: John Symons
HARD PROBLEM(S) ADDRESSED
Resilience
PUBLICATIONS
- Why there is no general solution to the problem of software verification (With Jack Horner) in Foundations of Science
- https://link.springer.com/article/10.1007/s13347-019-00342-1 Click to follow link.">Understanding Error Rates in Software Engineering: Conceptual, Empirical, and Experimental Approaches (With Jack Horner) in Philosophy and Technology
- Epistemic Entitlements and the Practice of Computer Simulations (With Ramon Alvarado) Minds and Machines https://t.co/0rOYMqSPaP Click to follow link.">rdcu.be/bfrwM
- Rendsvig, R. and J. Symons (2019) Epistemic Logic Stanford Encyclopedia of Philosophy (With Rasmus)
KEY HIGHLIGHTS
Significant collaborative work with graduate students:
Francisco Pipa, Ramon Alvarado, Amir Modarresi:
Towards an understanding of resilience with complex networks
F Pipa, J Symons Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security April 2019
A Multidimensional Multilevel Model for Smart Environment
Amir Modarresi, John Symons and James Sterbenz Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security April 2019
"Computer Simulations as Scientific Instruments". Conference on Computational Methods and the Future of Science, University of Kansas (2019)
COMMUNITY ENGAGEMENTS
- June 14 and 15th We hosted a conference: "Computational Methods and The Future of Science"
https://softwareintensivescience.com/conference-schedule/
Friday June 14th
8:00-8:45 Pastries and Coffee (Registration)
9:00- 9.15 Welcome: Carl Lejuez, Provost, University of Kansas
9:15-10:15 Paul Humphreys (University of Virginia): How Can Humans Understand Computational Science?
10:20-11:05 Helen Robertson (University of the Witwatersrand): Control-Experimental and Data-Scientific Methods
11:05- 11:30 Coffee Break
11:30 -12:15 Corey Maley (University of Kansas): Analog Computation
12:20 - 1:05 Frank Faries (University of Cincinnati): What is (So Special About) Big Data?
1:05-2:00 Lunch at Hall Center
2:00-2:45 Rafael Ventura (Duke): Models of Reliability
2:50-3:50 Greg Wheeler (Centre for Human and Machine Intelligence Frankfurt School of Finance & Management): Prolegomenon to Machine Epistemology
6:00 Conference Dinner at Baan Thai (741 Massachusetts St.)
Saturday June 15th
9:30- 10:00 Pastries and Coffee
10:00- 11:00 Hanti Lin (University of California at Davis): Pursuit of Platonic Tethering to the Truth, Despite Our Death in the Long Run
11:05- 11:50 Peter Tan (Middlebury College): Measurement and Epistemic Opacity in Deep-Learning Science
11:50-12:05 Coffee Break
12:05-12:50 Elanor Taylor (Johns Hopkins University) Philosophical Perspectives on the Right to Explanation
12:50- 1:45 Lunch at Hall Center
1:45-2:30 Ramon Alvarado (University of Oregon) Computer Simulations as Scientific Instruments
2:35-3:20 Nico Formanek (HLRS Stuttgart University): Higher Order Justifications and Computational Reliabilism
3:30-4:30 Gualtiero Piccinini (University of Missouri at St. Louis) TBA
4:30-5:30 Closing remarks and farewell reception
- University of Kansas also hosted a Lablet Quarterly meeting summer of 2019