Tahuna Beach, Nelson
11 - 16 January 2004
This workshop is part of a research programme in Logic and Computation being funded by the NZ Institute of Mathematics and its Applications (NZIMA). It will feature a number of outstanding researchers, each giving a series of lectures on their work.
Accommodation Allocations. Follow this link to see where you are staying.
Timetable of the Workshop Programme
Speakers & Abstracts of Lectures
Sergei Goncharov (Novosibirsk): computable model theoryIan Hodkinson (Imperial College): Finite model property of guarded fragments
Carl Jockusch (Illinois): Reverse mathematics and computable combinatorics
Steffen Lempp (Wisconsin): The computable model theory of uncountably categorical models
Bhakhadyr Khoussainov (Auckland): automatic structures
Dexter Kozen (Cornell): Kleene algebra
Joseph Miller (Indiana/ VUW): computable analysis
Arrival: by the evening of Saturday 10 January, 2004.
Departure: the afternoon of Friday 16 January.
Format
Talks will start at 9am Sunday 11 Jan, and finish around midday Friday 16 Jan.Wednesday 14th will be free.
There will be three talks each morning, and one in the evening after dinner.
The afternoons will also be free, providing plenty of opportunity to enjoy the summer, explore the Nelson/ Malborough/ Golden Bay region, or to talk mathematics.
Location
Tahuna Beach Holiday Park, 70 Beach Road, Tahunanui, Nelson.Phone +64 3 548 5159 (or 0800 500 501 within New Zealand).
Here is a map of the region showing the location of Tahuna Beach.
The conference will be held the Function Centre of the Holiday Park.
Accomodation
This will be provided using various tourist flats/ units/ cabins belonging to the Holiday Park, and nearby motels. It is hoped to provide this at little or no cost to participants (depending on demand on our finite budget).Meals
Lunch and dinner will be provided at the Function Centre for participants and their families (except on the free Wednesday).Getting There and Away
Nelson Airport is located only 2 kilometres from the workshop venue. There are flights connecting Nelson directly, to Auckland, Wellington and Christchurch.The airport shuttle service charges about $8 for the ride to Tahuna Beach.
By car, Nelson is a pleasant drive of less than 2 hours (110km) from Picton, where there are car ferries connecting with Wellington.
Related Conference: NZMRI 2004
The NZ Mathematics Research Institute will be holding its annual summer workshop at this same Nelson venue the week before, 3 - 10 January 2004, with an impressive list of speakers. The topic is Computational Algebra, Number Theory and Geometry.The NZMRI will provide travel support for graduate students to attend its meeting, so there is a strong incentive for students to attend both meetings.