TPHOLs 2005
Bid to host by the University of Oxford
http://web.comlab.ox.ac.uk/TPHOLs2005/bid.html
The Bodleian Library
At the centre of Oxford sits the Bodleian Library, opened by Sir Thomas Bodley in 1602.
The Hall in Christ Church
The dining hall in Christ
Church is more famous than most, having stood in for the Great
Hall of Hogwarts in the Harry Potter films.
Punting on the Rivers
Oxford has two rivers, the Cherwell and the Thames, and punting down
either of them is a popular summer activity.
The Bridge of Sighs
Oxford has a cousin of the famous Bridge of Sighs in Venice, this one
connecting parts of Hertford
College.
The Covered Market
Shopping in Oxford is enlivened by the Covered Market,
built in 1772 to rid the streets of "untidy, messy and unsavoury
stalls".
The Computing Laboratory at the University of Oxford would like to host the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005) in Oxford, UK.
Oxford University Computing Laboratory is well-known for its pioneering research on programming languages and their logical foundations, including Scott-Strachey denotational semantics, the CSP approach to concurrent processes, the Z specification language, and algebraic theories of programming. Many of its current academic staff and research students have research interests in the theory and application of theorem proving, model checking, and functional programming. These topics are also well-represented in research departments across the UK and Europe.
We have every expectation that TPHOLs 2005 at Oxford will be well-attended, intellectually stimulating, and enjoyable.
Timing and Programme
We propose to hold the conference either late August or early September, following the timing of previous TPHOLs conferences. We expect the conference will consist of four days of fully refereed research paper presentations, talks by invited speakers, and poster sessions for work-in-progress. We aim to provide plenty of time between the formal sessions for attendees to mingle and converse, since we believe this to be a central aspect of the conference.As in previous years we will seek to publish the main proceedings as a volume of Springer's Lecture Notes in Computer Science, and also to continue the tradition of offering a venue for the presentation of work-in-progress. The latter will be published as a separate volume. Both volumes will be prepared in time to be available for the conference.
Organizing Committee
The organizers of the conference will include:
| Tom Melham | University of Oxford |
| Joe Hurd | University of Oxford |
As is customary, we will construct the Programme Committee with the aim of maintaining and strengthening a broad representation from the user communities of the various higher order logic theorem provers and from the major application areas.
Handling local arrangements will be Ashish Darbari and Ed Smith.
Travel
Oxford is well-connected, with coach services to London Heathrow, London Gatwick and Luton international airport, plus a train to Birmingham international airport. There is also a direct train between Oxford and London Paddington: fast trains do the journey in one hour.
Finance
We will aim to keep the cost of attending the conference low, especially for students, by seeking financial support from sponsors. The excellent air travel connections at the London and Birmingham airports will help keep costs down. Oxford also has an abundance of conference accomodation in its colleges.
Local Attractions
Oxford attracts some 4 million tourists each year to the "sweet city with her dreaming spires". Sightseeing can be accomplished either on an open-topped bus, or at a more leisurely pace on one of the walking tours organized each day. There's plenty to see and do: exhibitions in the five museums and Bodleian Library; regular university events open to all; and there are 39 colleges to visit, of which 14 were founded before the end of the 16th century. Oxford also has a wide range of nightlife activities, with many restaurants, pubs and nightclubs.Oxford lies in the Cotswold hills, and is surrounded by picturesque countryside. Eight miles from Oxford is Blenheim Palace, historic seat of the Duke of Marlborough and ancestral home of Winston Churchill. An hour's drive east from Oxford is Bletchley Park, wartime home of Allied code-breakers including Alan Turing. An hour and half to the north is Stratford-upon-Avon, where the Royal Shakespeare Company performs daily. Finally, as Oxford is an easy ride from London, it is ideal as a base for visiting the capital.