Logic and Computation Workshop

NZIMA logo

 Logic & Computation Workshop

 Tahuna Beach, Nelson, South Island, New Zealand

11 -16 January 2004

group photo


•  Lecture Material

Here are links to downloadable files of material from the speakers' presentations.

Ian Hodkinson:  

        Finite model property of guarded fragments
      lectures 1 - 3
 (pdf)

Carl Jockusch Bakhadyr Khoussainov:  

        Automatic Structures       
 lecture 1 ,   lecture 2 ,  lecture 3      (Power Point)

Dexter Kosen:    

        Kleene algebra with tests    lecture 1 ,   lecture 2 ,  lecture 3      
(Power Point)

Steffen Lempp:
 

        The computable model theory of uncountably categorical models

                                                       lecture 1 ,   lecture 2 ,  lecture 3      (pdf)

Joe Miller
• More photographs

• The old workshops pages are now here.

Page modified: 04-May-2011, © 2017 Victoria University of Wellington, NZ