Assistant Professor Wu Guohua
Seminars: Domain Theory and Logic (2007/2008, semester I)
  1. 27/01/08 (15:30-17:00): dcpo-completion, Speaker: Dr. Zhao Dongsheng
  2. 31/01/08 (14:00-16:00): A gentle introduction to lambda calculus (I), Speaker: Dr. Wu Guohua
  3. 14/02/08 (15:30-17:00): Differential equation and domain theory (I), Speaker: Dr. Zhao Dongsheng
  4. 21/02/08 (15:30-17:00): Differential equation and domain theory (II), Speaker: Dr. Zhao Dongsheng
  5. 28/02/08 (15:30-17:00): A gentle introduction to lambda calculus (II), Speaker: Dr. Wu Guohua
  6. 06/03/08 (15:30-17:00): Domains and convergence spaces Speaker: Wee Wen Shih
  7. 14/03/08 (15:30-17:00): A brief introduction to reverse mathematics, Speaker: Dr. Tom Kent
  8. 20/03/08 (15:30-17:00): Embedding categories in groupoids, Speaker: Prof Peter Johnstone (Cambridge University)
  9. 27/03/08 (15:30-17:00): Denotational semantics: a practical justification for domain theory (I), Speaker: Dr. Ho Weng Kin
  10. 03/04/08 (15:30-17:00): A gentle introduction to lambda calculus (III), Speaker: Dr. Wu Guohua
  11. 10/04/08 (15:30-17:00): Denotational semantics: a practical justification for domain theory (II), Speaker: Dr. Ho Weng Kin
  12. 17/04/08 (15:30-17:00): Denotational semantics: a practical justification for domain theory (III), Speaker: Dr. Ho Weng Kin
  13. 25/04/08 (14:30-17:00): An Introduction to Forcing, Speaker: Dr. Noam Greenberg (Victoria University of Wellington)

Best viewed with Microsoft IE 6.0 and above