MCMP-Western Ontario Workshop on Computation in Scientific Theory and Practice (31 May - 2 June 2019)
Invited Speakers
- Dan Christensen (University of Western Ontario)
- Robert Corless (University of Western Ontario)
- Walter Dean (University of Warwick)
- Benedict Eastaugh (MCMP/LMU Munich)
- Laura Felline (University of Rome 3)
- Stephan Hartmann (MCMP/LMU Munich)
- Markus Mueller (Institute for Quantum Optics and Quantum Information, Vienna)
- Wayne Myrvold (University of Western Ontario)
- Gualtiero Piccinini (University of Missouri St. Louis)
- Paula Quinon (Warsaw University of Technology/University of Lund)
- Tom Sterkenburg (MCMP/LMU Munich)
- Máté Szabo (University of Lorraine/University of Paris 1)
Program Committee
- Holger Andreas (University of British Columbia/MCMP)
- Lucas Dunlap (University of Cincinnati)
- Nicolas Fillion (Simon Fraser University)
- Adam Koberinski (University of Western Ontario)
- Gregory Lavers (Concordia University)
- Hannes Leitgeb (MCMP/LMU Munich)
- Rossella Lupacchini (University of Bologna)
- Lavinia Picollo (University College London/MCMP)
- Gil Sagi (University of Haifa/MCMP)
- Oron Shagrir (Hebrew University of Jerusalem)
- Marta Sznajder (MCMP/LMU Munich)
Organisers
- Marianna Antonutti Marfori (MCMP/LMU Munich)
- Michael Cuffaro (Rotman Institute of Philosophy/Western Ontario/MCMP)
Program
Friday, 31 May 2019
| Time | Event |
|---|---|
| 09:25 - 09:30 | Welcoming remarks by Stephan Hartmann |
| 09:30 - 10:30 | Paula Quinon: Deviant Encodings and What "Computing" Means |
| 10:30 - 11:30 | Benedict Eastaugh: Recursive Counterexamples and the Foundational Standpoint |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 12:45 | Máté Szabo: Kreisel on Transfinite Progressions as Theories of Humanly-effective Computation |
| 12:45 - 14:15 | Lunch Break |
| 14:15 - 15:15 | Tom Sterkenburg: Putnam’s Diagonal Argument |
| 15:15 - 16:00 | Tomasz Steifer and Dariusz Kalociński: What Computable Prediction Can(not) Do?” |
| 16:00 - 16:15 | Coffee Break |
| 16:15 - 17:00 | Allan Olley: Wallace J. Eckert on Scientific Machine Computation and the Machinery of Science |
| 17:00 - 18:00 | Stephan Hartmann: Reasoning and Argumentation in Science: A Computational Perspective |
Saturday, 1 June 2019
| Time | Event |
|---|---|
| 09:30 - 10:30 | Markus Müller: Law Without Law — From Observer States to Physics Via Algorithmic Information Theory |
| 10:30 - 11:15 | Philippos Papayannopoulos: Computing by Representing in Science and Mathematics: Where Shannon Meets Turing |
| 11:15 - 11:30 | Coffee Break |
| 11:30 - 12:30 | Wayne Myrvold: What, if Anything, Could it Mean to Say That the Laws of Physics are not Computable? |
| 12:30 - 14:00 | Lunch Break |
| 14:00 - 14:45 | Samuel Fletcher: Agential Abstraction/Representation Theory |
| 14:45 - 15:45 | Walter Dean: Computational Complexity, Gandy's Thesis, and Measurement Theory |
| 15:45 - 16:00 | Coffee Break |
| 16:00 - 16:45 | Thomas De Saegher: On Equivalent Modificatory Solutions to the Measurement Problem |
| 16:45 - 17:45 | Laura Felline: The Measurement Problem in Interpretations of Quantum Theory as a Theory About Information |
| 19:00 | Conference Dinner |
Sunday, 2 June 2019
| Time | Event |
|---|---|
| 10:30 - 11:30 | Rob Corless: Structured Backward Error and Condition Number |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 12:45 | Dan Christensen: The Interaction Between Homotopy Type Theory and Mathematics |
| 12:45 - 14:15 | Lunch Break |
| 14:15 - 15:00 | Robert Moir: Modeling Scientific Inference with Effective Logic |
| 15:00 - 15:45 | Corey Maley: Analog Computation and Representation |
| 15:45 - 16:00 | Coffee Break |
| 16:00 - 16:45 | Gašper Štukelj: On Analog Neural Computation |
| 16:45 - 17:45 | Gualtiero Piccinini: Computational Mind in a Computational World |
Venue
Friday
Main University Building
Geschwister-Scholl-Platz 1
D-80539 München
Room F107
Saturday & Sunday
Main University Building
Professor-Huber-Platz 2
D-80539 München
Room V002
LMU Roomfinder
If you need help finding the venue or a particular room, you might consider using the LMU's roomfinder, a mobile web app that lets you display all of the 22.000 rooms at the 83 locations of the LMU in Munich.
Acknowledgement
The conference is supported by the Rotman Institute of Philosophy, the University of Alcalá, the Foundational Questions Institute (through the grant FQXi-RFP-1616), Research Western and the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 709265.