Logic List Mailing Archive

Logic and Computation Workshop, Tahuna Beach (New Zealand), January 2004

Logic and Computation Workshop
Tahuna Beach, Nelson
11 - 16 January 2004

http://www.cllc.vuw.ac.nz/LandCworkshop.shtml


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.

Speakers

Sergei Goncharov   (Novosibirsk):  computable model theory
Ian Hodkinson      (Imperial College):  finite model theory
Carl Jockusch      (Illinois): reverse mathematics and computable
                               combinatorics
Steffen Lempp      (Wisconsin):  recursive models of uncountably
                                 categorical theories
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.

Contact

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