Talks

• On Metric Temporal Logic and Faulty Turing Machines. Invited talk at AVOCS 2005. PS and PDF versions.
  
  
• Safety Metric Temporal Logic is Fully Decidable. Warwick University, October 2005. PS and PDF versions.
  Poster and abstract here.
  
  
• On the Greatest Fixed Point of a Set Functor (ancient). PS and PDF .