Arrival at Edinburgh April 26, noon, with my car from Newcastle ferry from NL.
WEEK 1 (April 26--30): Jamie Gabbay (Heriot Watt Univ.) (COMFIRMED)
Arrival at St. Andrews May 04, noon, with my car from Edinburgh
Week 2 (May 04--07): Roy Dyckoff (St. Andrews)
      May 05, Meeting with Philip Ebert for lunch and after 4pm
      May 06, noon, informal talk on shallow confluence for non-terminating CTRS
Arrival at Edinburgh May 08, noon, with my car from St. Andrews
WEEK 3 (May10--14):
      Alan Smaill + Alan Bundy (Edinburgh Univ.) (CONFIRMED)
      Talk on 10th on Hilbert's Epison (formal).
      Talk on 11th human-oriented proof search and induction (informal).
Arrival at Glasgow May 17, noon, with my car from Edinburgh
Week 4 (May 17--21):
      Simon Gay (Glasgow) 
      Seminar May 19, Wednesday afternoon
Arrival at Aberdeen May 19, noon, with my car from Glasgow
      Kees van Deemter (Aberdeen Univ.)
      May 19, 2pm ct, Talk on Hilbert's epsilon in natural language semantics.
      ?(Nobody answers emails at the Northern Institute at Philosophy)?
Arrival at Edinburgh May 23, noon, with my car from Aberdeen
WEEK 5 (May 24--28): Alan Smaill (CONFIRMED) + Alan Bundy (Edinburgh Univ.)
WEEK 6 (May 31--June 04): Jamie Gabbay (Heriot Watt Univ.) (CONFIRMED)
Leaving at June 06, at noon, with my car to Newcastle ferry--NL-Germany