Workshop on Fixpoints and First-Order Temporal Logics 

University of Liverpool, UK
September 13, 2001
 

Workshop Outline

Registration, Costs

Local information, directions

Participants

Programme

Abstracts of talks

Organizers

Support for the Workshop