TPHOLs 2005 Oxford, UK 22-25 August 2005 http://web.comlab.ox.ac.uk/TPHOLs2005/
	home conference history bid call for papers accepted papers
	advance program registration accommodation travel to oxford tphols 2006
	proceedings business meeting tphols 2007

This call for papers is also available in text and pdf format.

Call for Papers

Topics

• Specification and verification of hardware: microprocessors, memory systems, buses, pipelines, etc; formal semantics of hardware design languages; synthesis; formal design flows.
• Specification and verification of software: program verification, refinement, and synthesis for functional, declarative and imperative languages; formal semantics of programming languages; proof carrying code.
• Industrial application of theorem provers.
• Formalization of mathematical theories.
• Advances in theorem prover technology: proof automation and decision procedures, induction, combination of deductive and algorithmic approaches, incorporation of theorem provers into larger systems, combination of theorem provers with other provers and tools.
• Other topics, including: security algorithms, properties, and policies; specification and requirements analysis of systems; user interfaces for theorem provers; development and extension of higher order logics.
• Proof Pearls: concise and elegant presentations of interesting examples.

Submissions

	Mature Work	Emerging Trends
Submission deadline	Friday 18 February 2005	Friday 27 May 2005
Acceptance notification	Friday 15 April 2005	Friday 17 June 2005
Camera-ready copy due	Friday 13 May 2005	Friday 15 July 2005

Submissions under 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.

Submissions under Emerging Trends will not be formally refereed, but their content and relevance will be reviewed. Those submissions accepted will be published in a University of Oxford technical report, which will be available at the conference. Authors of accepted papers are expected to present a brief outline of their work at the conference and to prepare a poster for display at the conference venue.

Papers should be no more than 16 pages in length and should be written using LaTeX2e and the LNCS style file. Papers can be submitted electronically by following the instructions at the submit a paper link on the conference web site. For all enquiries concerning the conference, please use the email address tphols2005@comlab.ox.ac.uk

Program Committee