|
TPHOLs 2005
Oxford, UK
22-25 August 2005
|
|
|
|
|
|
|
|
|
The Oxford University Computing Laboratory is pleased
to host the 18th International Conference on Theorem Proving in Higher
Order Logics (TPHOLs 2005) in Oxford, UK.
Dates
The conference will begin on Monday 22 August and finish on Thursday
25 August.
Venue
Conference sessions will take place in the Martin Wood
Lecture Theatre, Department of
Physics.
Invited Speakers
We are pleased to announce that
Wolfgang Paul
and
Andrew Pitts
will be giving invited talks at TPHOLs 2005.
Reception
On the evening of Sunday 21 August there will be a drinks reception in
the New Rooms, Magdalen
College.
Organization
The conference organizers are:
Handling local arrangements are Ashish
Darbari and Ed
Smith.
For matters relating to TPHOLs 2005, please use the email address
tphols2005@comlab.ox.ac.uk
Program
Submissions of mature work will be fully refereed, and the accepted
papers will be published in a volume of Springer's Lecture Notes in
Computer Science series, which will be available at the
conference. Authors of accepted papers are expected to present their
work at the conference.
Related Events
On Friday 26 August, the day after TPHOLs 2005 finishes, the NETCA
Workshop on Verification and Theorem Proving for Continuous
Systems will take place in Oxford.
Sponsors
TPHOLs is pleased to acknowledge the support of Intel Corporation and
the EPSRC UK Network in Computer Algebra.
Joe Hurd,
19 March 2005
