More
detailed version.| Sunday evening, 2 July | Arrival: dinner at 6-8pm |
| Monday 9.30 am | FTP Invited talk, Kapur |
| Monday am | FTP workshop |
| Monday pm | FTP workshop |
| Monday 5pm | FTP Invited talk, Crocker |
| Monday 7.30pm | FTP business meeting |
| Monday 9pm | Whisky tasting |
| Tuesday 9 am | Joint Invited talk, Baader |
| Tuesday am | FTP and TABLEAUX |
| Tuesday pm | FTP and TABLEAUX |
| Tuesday 5pm | FTP, panel session |
| Tuesday 8pm | Whisky tasting |
| Wednesday 9 am | TAB: Invited talk, Urquhart |
| Wednesday am | FTP and TABLEAUX |
| Wednesday pm | TABLEAUX |
| Wednesday 7pm | Conference dinner (FTP & TABLEAUX) |
| Thursday am | TABLEAUX: Tutorials |
| Thursday 2 pm | TABLEAUX: Comparison |
| Thursday 3.30 pm | TABLEAUX |
| Thursday 8pm | TABLEAUX business meeting |
| Friday 9 am | TAB: Invited talk: Fitting |
| Friday am | TABLEAUX |
| Friday 1pm | Lunch: end of TABLEAUX |
| Friday pm | STP |
STP is the Scottish Theorem Proving quarterly meeting being held at the School of Computer Science in St Andrews.
All FTP/Tableaux particpants are welcome to stay for this without charge. Details from Andrew Adams