Workshop on Fixpoints and First-Order Temporal Logics 

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 ( 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..
FFOTL Main Page Outline Registration Participants FFOTL Programme Abstracts Local Info