Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

MCMP-Western Ontario Workshop on Computation in Scientific Theory and Practice (31 May - 2 June 2019)

The goal of this interdisciplinary meeting is to explore philosophical and historical issues that arise at the intersection of theoretical computer science, mathematics, and natural science, including issues that arise in the practice of those disciplines. We welcome submissions on topics including, but not limited to, the following: the history of computer science; the foundations of computation and mathematical cognition; computational and informational perspectives on scientific decision making, scientific methodology, and the characterisation of scientific theories; physical notions of computation and the 'Physical Church-Turing Thesis'.

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

TimeEvent
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

TimeEvent
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

TimeEvent
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

Attendance and Registration

Registration Fees:

  • Regular fee: 80 EUR
  • Reduced fee (for graduate students): 50 EUR
  • Members of the MCMP and LMU: participation free of charge

The conference dinner is not included.
The additional fee for the conference dinner is 30 EUR. The participation is optional. The fee should be payed in cash at the conference site.

For further inquiries, please email the organisers at cstp2019@easychair.org.

The conference language is English.

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.

Accommodation

The following accomodations provide special conditions for the LMU. Please refer to these when booking via telephone or e-mail. Unless noted otherwise, all prices include breakfast.

Das Hotel

Türkenstr. 35
80799 München
Website

LMU-Prices: Single room: 55€-75 € / double room: 75-120 €.

Hotel Carlton Astoria

Fürstenstr. 12
80333 München
Website

LMU-Prices: Single room: 93 € / double room: 111 €.

Hotel Hauser

HSchellingstr. 11
80799 München
Website

LMU-Prices: Single room: 89 € / double room: 121 €.

Hotel Pension am Siegestor

Akademiestr. 5
80799 München
Website

LMU-Prices: Single room: 55-80 € / double room: 76-120 €.

Motel One

Herzog-Wilhelm-Str. 28
80331 München
Website

LMU-Prices: Single room: 79 € / double room: 94 €.

Pension Isabella

Isabellastr. 35
80796 München
Website

LMU-Prices: Single room: 45€-55 € / double room: 64-84 €.
3-bedroom: 84-114 € / 4-bedroom: 96-136 €.

Schwabinger Wahrheit

Hohenzollernstr. 5
80801 München
Website

LMU-Prices: Single room: 115 € / double room: 125 €. Booking Code: S-LMU19

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.