Home

Themes

Main speakers and committees

Call for papers

Important dates

General Information

Contacts

Main organizers

Usefull links

Sponsors

PRELIMINARY PROGRAM

Printable Program (pdf)
List of Presentations (pdf)

	Monday May, 16
	Bustransportation (one bus between hotels and university,approximate times) 8.10 Hotel Vaakuna ~ 8.20 Radisson SAS ~ 8.30 Hotel Tekla
08:30-09:30	Registration and Coffee
09.30-09:50	chair: Matti Linna Opening of Conference Rector Matti Jakobsson, University of Vaasa
09:50-10:50	Irreducible Coplexity in Pure Mathematics Gregory Chaitin
10:50-11:10	Coffee Break
11:10-12:00	chair: Veikko Keränen Introduction to Groebner bases Bruno Buchberger
12:00-13:30	Lunch Break
13:30-14:30	chair: Keijo Väänänen New Symbolic Computation Methods for the Exact Solution of Two-Point Boundary Value Problems Markus Rosenkranz
14:30-14:50	Coffee Break
	chair: Antti Valmari Algorithmic Information Theory I
14:50-15:10	Talk 1   (See list of preliminary presentations for more
15:10-15:30	Talk 2   information about talks)
15:30-15:50	Talk 3
15:50-16:10	Talk 4
around 16.15	Bus transportation to hotels
	Bus transportation to reception 18.30 Hotel Vaakuna ~18.40 Radisson SAS ~18.50 Hotel Tekla
19.00	Reception
	Tuesday May, 17
	Bustransportation 8.30 Hotel Vaakuna ~ 8.40 Radisson SAS ~ 8.50 Hotel Tekla
09:00-10:00	chair: Jarkko Kari How Real are Real Numbers? Gregory Chaitin
10:00-10:50	Algorithmic Algorithm Invention in the Theorema Project Bruno Buchberger
10:50-11:10	Coffee Break
11:10-12:00	chair: Seppo Mäkinen Ultimate Limits of Information Jarmo Mäkelä
12:00-13:30	Lunch Break
13:30-14:20	chair: Matti Linna Snake Tiling Problems Jarkko Kari
14:20-15:10	A Modern Mathematical Theory of Co-operating State Machines Antti Valmari
15:10-15:30	Coffee Break
	chair: Carl-Gustav Källman / Heinz Langer Algorithmic Information Theory II / Operator and Spectral Theory III
15:30-15:50	Talk 1  / Talk 1
15:50-16:10	Talk 2 / Talk 2
16:10-16:30	Talk 3 / Talk 3
16:30-16:50	Talk 4  / Talk 4
around 16. 35	Bus transportation to hotels
	Transport to Conference dinner 18.40 Vaakuna ~ 18.50 Radisson ~ 19.00 Hotel Tekla
19.30	Conference Dinner
	Wednesday May, 18
	Bus transportation 8.30 Vaakuna ~8.40 Radisson SAS ~ 8.50 Hotel Tekla
09:00-10:00	chair: Seppo Hassi Krein Space Linearizations of Holomorphic Operator Functions Heinz Langer
10:00-10:50	Form Sums of Non-negative Relations Henk de Snoo
10:50-11:10	Coffee Break
	chair: Henk de Snoo Operator and Spectral Theory
11:10-11:30	Talk 1
11:30-11:50	Talk 2
11:50-12:10	Talk 3
12:10-12:30	Talk 4
12:30-13:30	Lunch Break
	chair: Christiane Tretter Operator and Spectral Theory
13:30-13:50	Talk 1
13:50-14:10	Talk 2
14:10-14:30	Talk 3
14:30-14:50	Talk 4
15:00-15:30	Closing of the Conference and Coffee
	Transportation for Optional program 16.50 Hotel Vaakuna ~17.00 Hotel Tekla
	Optional program