Scottish Theorem Proving Seminar

There will be a meeting of STP in St Andrews on 13 October 2006, in the School of Computer Science, Jack Cole Building, Room 1.33, North Haugh, St Andrews, from 2.00 to 5.35 pm, preceded by lunch.

Directions to St Andrews are available here. The Jack Cole Building is number 13a on the campus map. Free parking is available nearby.


This schedule is provisional.

1.00--2.00 — Lunch

A sandwich lunch will be provided for those who let us know by Monday 9 October.

2.00--2.35 — Sequent Calculus Proof Systems for Inductive Definitions

James Brotherston (Laboratory for Foundations of Computer Science, University of Edinburgh)

[Show Abstract]

2.40--3.10 — Ivor, a Proof Engine

Edwin Brady (School of Computer Science, University of St Andrews)

[Show Abstract]

3.15--3.45 — Nominal Techniques: Evolving the Atom

Murdoch Gabbay (School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh)

[Show Abstract]

3.50--4.15 — Coffee Break

Coffee and tea in Common Area (Ground Floor).

4.15--4.55 — On Patching Faulty Security Protocols

Raúl Monroy (Computer Science Department, ITESM, Mexico, and Centre for Intelligent Systems and their Applications, University of Edinburgh)

[Show Abstract]

5.00--5.35 — Some Recent Logical Frameworks

Randy Pollack (Laboratory for Foundations of Computer Science, University of Edinburgh)

[Show Abstract]

5.40--? : Pub and/or Dinner


This seminar was organised by Roy Dyckhoff, James McKinna and Robert Rothenberg.

This page was last modified on Thursday 12 October 2006 15:48:23.