Logic and Computation Workshop

Tahuna Beach, Nelson

11 - 16 January 2004

Tahuna Beach

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 theory
Ian 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.


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.


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.


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).


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.


Send email to Rob Goldblatt to register your interest in this meeting or to obtain further information.

Page modified: 02-Jun-2005, © 2014 Victoria University of Wellington, NZ