Atlas home || Conferences | Abstracts | about Atlas
Host: DoubleTree Hotel
Sponsor: Intel, Oregon Graduate Institute of Science and Technology
Homepage: http://www.cse.ogi.edu/tphols2000
Email: tphols2000@cse.ogi.edu
Organizers: Mark Aagaard (Intel), John Harrison (Intel), Kelly Atkinson (OGI), Robert Beers (Intel), Nancy Day (OGI), Naren Narasimhan (Intel), Tom Schubert (Intel)
Description:
The program committee welcomes submissions on all aspects of theorem proving in higher order logics, and on related topics in
theorem proving and verification. This includes, but is not limited to, the following topics:
Hardware and software verification, refinement and synthesis; Verification of security and communications protocols; Formal specification and requirements analysis of systems; Industrial applications of theorem provers; Advances in theorem prover technology; Comparisons of various approaches to theorem proving; Proof automation and decision procedures; Incorporation of theorem provers into larger systems; Combination of theorem provers with other provers and tools; User interfaces for theorem provers; Development and extension of higher order logics.
Date received: January 04, 2000
© 2008 Atlas Conferences Inc.