Workshop on Fixpoint and First-Order Temporal Logics.
Programme

Thursday 13 September

 10.00 - 10.30               Workshop opening (tea/coffee available)

 10.25                           Michael Fisher. Welcome

Session 1: Temporal fixpoint logics
              

 10.30 - 11.30 [Keynote 1]               Colin Stirling. Modal and Temporal Logics with fixpoints

 11.30 - 11.45               Coffee break

 11.45 - 12.15                                  Martin Lange. Modal mu-calculus and

                                                          sequential composition

 12.15 - 12.45                                  Alexander Bolotov.  Clausal Resolution for Linear-Time

                                                          Temporal Mu-calculus

 12.45 - 13.15                                  Martin Otto. Least fixed points in the modal, 2-variable

                                                          and guarded domains.

 13.15 - 14.00               Lunch

Session 2: First Order Temporal logic
              

 14.00 - 15.00 [Keynote 2]                Michael Zakharyashev.  Linear and branching time

                                                          FOTLs: decidable fragments and their applications

 15.00 - 15.15               Coffee break

 15.15 - 15.45                                  Anatolyi Degtyarev Towards First Order Temporal

                                                         Resolution

 15.45 - 16.15                                  Alan Smaill First Order Temporal logic

                                                          embedded in a higher-order framework.

 16.15 - 16.45                                  Alexei Lisitsa Experiments with first-order temporal logic

                                                          theorem proving within LambdaClam proof planning system
 
 

 
FFOTL Main Page Outline Registration Participants FFOTL Programme Abstracts Local Info