Provability Logic: New Frontiers

Utrecht, January 15, 2004

From the Merriam-Webster dictionary

Frontier

a region that forms the margin of settled or developed territory
the farthermost limits of knowledge or achievement in a particular subject
a line of division between different or opposed things [the frontiers separating science and the humanities -- R. W. Clark]
a new field for exploitative or developmental activity

This is a one day event organized by the Department of Philosophy of Utrecht University in connection with the visit of Prof. Sergei N. Artemov (Graduate Center of CUNY, New York).

It is meant both as a reunion of the researchers in Provability Logic to report on their current interests and a forum to present the new developments in provability logic related areas. The focus will be on applications and on the infiltration of provability logic ideas into other fields.

There is no formal registration and fee. Contact: Lev Beklemishev, room 164, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS, Utrecht.

Program

Thursday, January 15, 2004
University of Utrecht, Willem van Unnikgebouw, Room 222

10:30-11:00: Coffee
11:00-12:00: A. Visser (Utrecht). Prolegomena to the categorical study of interpretations
12:00-14:00: Lunch
14:00-14:45: V.Yu. Shavrukov (Copenhagen). Aspects of the Σ₁lattice
14:50-15:35: D. de Jongh (Amsterdam). The 2-universal model
15:40-16:00: Coffee
16:00-16:45: L.D. Beklemishev (Utrecht). From quantum computation to quantum logic
16:50-17:50: S.N. Artemov (New York). Gödel and two models of provability
17:50: Closing
18:00: Borrel at the local restaurant "The Basket"

Location

University of Utrecht, de Uithof, Willem van Unnikgebouw, Room 222.
Bus 12 or 11 from Utrecht CS, stop "Unnik".