Logic List Mailing Archive

Informal meeting to celebrate John Tucker's 60th birthday

12 April 2012
Swansea, Wales

In honour of John Tucker's 60th birthday (4 February 2012), we at Swansea 
University are planning an informal scientific meeting.

Venue

Oldwalls (http://www.oldwallsgower.com/).

Date

Thursday 12 April 2012

Submissions

Submissions of talks will be in the form of short abstracts, and may
represent research presented at other conferences.  We are particularly
interested in talks that touch upon aspects closely related to John's
research, either current or historically.  Contributed talks will be
selected based on relevance.

Please submit a title and a short abstract (5-10 lines) to the organisers.

We have had expressions of interest to give talks by

Jan Bergstra
Min Chen
Wan Fokkink
Arun Holden
Dag Normann
Helmut Schwichtenberg
Stan Wainer

(Would the listed please confirm that you will be able to attend. Please
accept my apologies if you have expressed interest but are missing from the
list.)

Conference fee

£60 including lunch, coffee breaks and dinner.

We have so far been unable to secure any funding. Participants are asked to
cover accommodation and subsistence themselves.

Accommodation

- Oldwalls have a few rooms at £98 per night (all rooms sleep two)
- Hurst Dene Guest house (http://www.hurstdene.co.uk/)
- The White House (http://www.thewhitehouse-hotel.com/)

Queries

      Jens Blanck  <J.E.Blanck@swansea.ac.uk>
      Faron Moller <F.G.Moller@swansea.ac.uk>