Workshop on Fixpoints and First-Order Temporal Logics 

The support for the Worshop is given by the EPSRC and the Department of Computer Science at the University of Liverpool.
 
 
 
FFOTL Main Page Outline Registration Participants FFOTL Programme Abstracts Local Info