Workshop on Fixpoints and First-Order Temporal Logics 

Workshop Participants

  • 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

  • Ian Hodkinson    Department of Computing, Imperial College

  • Martin Lange     Division of Informatics, University of Edinburgh

  • Alexei Lisitsa     Department of Computer Science, University of Liverpool

  • Martin Otto     Department of Computer Science, University of Wales, Swansey

  • Alan Smaill     Division of Informatics, University of Edinburgh

  • Colin Stirling     Division of Informatics, University of Edinburgh

  • Michael Zacharyashev     Department of Computer Science, King's College London
     
     
     
    FFOTL Main Page Outline Registration Participants FFOTL Programme Abstracts Local Info