Seminar on Computable Topology 2024

September 13-15, 2024, Lake Kochel, Germany

Scope

The purpose of this seminar is to discuss recent developments of computable topology in the spirit of computable analysis. The plan is to create an inspiring atmosphere with informal talks, discussions and possible group work on specific topics.

Topics

Computable topological spaces
Type 1 versus type 2 computability
Effective second countability, separability
Bases and subbases
Local compactness, compact, closed subsets
Spaces of computable type

Participants

Djamel Amir (Nancy, France)
Vasco Brattka (Munich, Germany)
Peter Hertling (Munich, Germany)
Rupert Hölzl (Munich, Germany)
Mathieu Hoyrup (Nancy, France)
Philip Janicki (Munich, Germany)
Zvonko Iljazovic (Zagreb, Croatia)
Eike Neumann (Swansea, Wales, UK)
Arno Pauly (Swansea, Wales, UK)
Emmanuel Rauzy (Munich, Germany)
Matthias Schröder (Darmstadt, Germany)

Organisers

Vasco Brattka (Munich, Germany)
Emmanuel Rauzy (Munich, Germany)

Schedule

This schedule might be subject to changes!

ICAL Calendar Link

Conference Picture

This group picture of CT 2024 is available here:

Slides

Some seminar slides are available here:

CT 2024 Slides

Funding

We acknowledge financial support by the Alexander-von-Humboldt Foundation.

Venue and Accommodation

The conference takes place at the

Georg-von-Vollmar Academy
Schloss Aspenstein
Am Aspensteinbichl 9-11
82431 Kochel am See
Bavaria, Germany
Phone: +49 8851 780
Fax: +49 8851 7823

Accommodation for participants of the seminar will be available at the Georg-von-Vollmar Academy for a reasonable daily rate including meals.

Kochel am See is beautifully located at Lake Kochel at the edge of the Bavarian Alps, approximately 70 km south of Munich, from where it can easily be reached by train (see below). See some panorama pictures of the Georg-von-Vollmar Academy.

Travelling

For your trip to Kochel there are several options:

Either fly to Frankfurt airport (FRA) (from there by train 3h 30min to Munich).
Or fly to Munich airport (MUC) (from there by train 40min to Munich).
Take a train to Kochel (1h 10min from Munich).
Either take a taxi from Kochel train station to the Georg-von-Vollmar Academy (approximately 5 minutes, you might have to order it in advance: Phone +49 8851 1315).
Or walk from Kochel train station to the Academy (approximately 17 minutes). However, you need to walk slightly up the hill (50 meters). See map below.

Your stop-over on a train trip to Kochel could be Munich central station or the station Munich-Pasing.