Programme theme: The central focus of the programme
will be the theories of
computability and complexity, and the algorithmic study of randomness.
Other possible
areas are finite and computable model theory and logics of programs, including
complexity of decision
problems and applications to specification and verification.
Programme director: Professor
Rob Goldblatt
(Victoria University of Wellington)
Programme committee:
Workshop details:
The key meeting was held in Nelson during the week 11 - 16 January
2004.
Further information on the workshop has been archived on the programme website,
Logic and Computation.
Return to main Programmes page
Return to NZIMA Homepage
Programme theme: This programme aims to bring together leading
experts to investigate the following topical problem: how can new types
of genomic data best be used to infer evolutionary information?
This question involves many challenging combinatorial problems.
Further information can be found on the programme
website.
Programme director:
Professor
Mike Steel (University of Canterbury)
Programme committee:
Workshop details:
An international phylogeny meeting took place in Kaikoura the week 9-14 February 2003.
A follow-up meeting (DOOM 04) was held from 15-20 February 2004 to provide a focus for
the problems and ideas presented at Kaikoura.
Further information is archived on the website, DOOM 04.
Return to main Programmes page
Return to NZIMA Homepage
Last updated on 27 October 2006
by
webmaster@nzima.auckland.ac.nz
Logic and Computation
Phylogenetic Genomics
