Workshop on Fixpoints and First-Order Temporal Logics 

Workshop Organizers

  • Alexander Bolotov    Harrow School of Computer Science, University of Westminster

  • Anatolyi Degtyarev    Department of Computer Science University of Liverpool

  • Clare Dixon    Department of Computer Science University of Liverpool

  • Michael Fisher    Department of Computer Science University of Liverpool

    For any suggestions, comments, questions please email Alexander Bolotov A.Bolotov@wmin.ac.uk