Scottish Theorem Proving

Thursday 10th July 2003, 1.00pm - 5.00pm

John Honey Building, University of St Andrews (building 23 on the campus map. Directions to St Andrews can be found here.

Programme

Meet at 1pm at the John Honey building for a buffet lunch.

2.00pm: WalkQSAT - Using Stochastic Local Search to Solve Quantified Boolean Formulae (QBF)

Andrew Rowley

2.40pm: McCarthy-Painter Induction in EPIGRAM Evaluation

James McKinna

3.20pm: Coffee/Tea Break

4.00pm: Using Symmetry Breaking in Model Checking for Hardware Verification

Tom Kelsey

5.00pm (approx) End