Workshop on Fixpoints and First-Order Temporal
Registration and costs
This Workshop on Fixpoint and First-Order Temporal Logic is being
organised by the
Logic and Computation group of the
University of Liverpool
and will be held on 13th September 2001. The workshop will be a one day event
and will take place at the University of Liverpool.
Registration: Please email full contact details to Joan Jones
(J.Jones@csc.liv.ac.uk) and send a cheque for GBP25 payable to the
``University of Liverpool'' to Joan Jones, Department of Computer Science,
University of Liverpool, Peach Street, Liverpool, L69 7ZF. Registration
closes on August 31st 2001..