Scope

This workshop is closely connected to our project "The operational paradigm: its mathematical and philosophical frontiers", supported by the John Templeton Foundation. It focuses on, but is not restricted to,

  • operational systems (such as explicit mathematics, operational set theory, unfolding) and related set and type theories,
  • the borderline between predicative and impredicative mathematics from various perspectives.

Venue and Date

The workshop will take place in the Main Building of the University of Bern (Map and Directions) on March 7 - 9, 2018 in room 033.

Informal Get-Together

For those already in Bern on Tuesday evening, March 6, there will be an informal get-together at

Restaurant Lötschberg
Zeughausgasse 16
3011 Bern

around 7pm. It is very close to your hotels. For details see also here.

Conference Dinner

On Thursday evening, March 8, at approximately 6.30pm, there will be a conference dinner held at

Restaurant Kirchenfeld
Thunstrasse 5
3005 Bern

For directions see here.

Speakers

  • Sergei Artemov (New York City, USA)
  • Michael Bärtschi (Bern, Switzerland)
  • Andrey Bovykin (Salvador, Brazil)
  • Ulrik Buchholtz (Darmstadt, Germany)
  • Lev Gordeev (Tübingen, Germany)
  • Lukas Jaun (Bern, Switzerland)
  • Reinhard Kahle (Lisbon, Portugal)
  • Elena Nogina (New York City, USA)
  • Wolfram Pohlers (Münster, Germany)
  • Kentaro Sato (Bern, Switzerland)
  • Stephen Simpson (Nashville, USA) (to be confirmed)
  • Silvia Steila (Bern, Switzerland)
  • James Walsh (Berkeley, USA)