Logic List Mailing Archive

Logic and Computation Workshop, Tahuna Beach, Nelson NZ, January 2004

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

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 property for the guarded
fragment

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