Workshop on Computability in Hierarchies and Topological Spaces

Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari"
Siena, 19-22 July 2004

Program commitee:

Serikzhan BADAEV
Sergey GONCHAROV
Andrea SORBI
Dieter SPREEN

Organizing commitee:

Andrea SORBI
Matthew GIORGI
Andrea FROSINI

Speakers:

Sergey GONCHAROV
NOVOSIBIRSK, RUSSIA
Serikzhan BADAEV
ALMATY, KAZAKHSTAN
Dieter SPREEN
SIEGEN, GERMANY
LEEDS, ENGLAND
Yue YANG
SINGAPORE
Franco MONTAGNA
SIENA, ITALY
Giovanni CURI
PADOVA, ITALY
Sebastiaan TERWIJN
VIENNA, AUSTRIA
Matthew GIORGI
SIENA, ITALY

Program:

19 July 2004

Arrival and Welcome

20 July 2004

9:45	Opening
10:00	Serikzhan BADAEV: Complete numberings I
11:00	Coffee Break
11:30	Dieter SPREEN: Partial numberings
12:30	Lunch
15:00	Sebastiaan TERWIJN: Logic, Computation and Medvedev Degrees
16:00	Franco Montagna: Algorithmic problems in Fuzzy Logic

21 July 2004

10:00	Serikzhan BADAEV: Complete numberings II
11:00	Coffee Break
11:30	Giovanni CURI: Effective topology via formal spaces (and their inverse limits)
12:30	Lunch
15:00	Matthew GIORGI: Relative enumerability of sets
16:00	Yang YUE: To be announced
20:00	Social Dinner

22 July 2004

10:00	Sebastiaan TERWIJN: Introduction to algorithmic randomness I
10:45	Coffee Break
11:15	Sebastiaan TERWIJN: Introduction to algorithmic randomness II
12:00	Sergey GONCHAROV: Enumerations in the Theory of Computable Models
13:00	Lunch
15:00	Round Table Computability in Hierarchies and Topological Spaces at its third year: taking stock and setting perspectives
16:00	Sightseeing

23 July 2004

Sightseeing