Tphols 2003. Theorem Proving In Higher Order Logics. 16th International Conference (Rome, September 2003)

TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in hardware verification and synthesis, verification of security and communication protocols, software verification, transformation and refinement, compiler construction and refinement.Contributions by Hasan Amjad, A. Azurat, Yegor Bryukhov, Ashish Darbari, Frédéric Gava, Joni Helin, Steffen Helke, Jason Hickey, Michael Hohmuth, Jozef Hooman, Paul Jackson, Florian Kammüller, Pertti Kellomäki, Alexei Kopylov, Vladimir Krupski, Mohamed Layouni, Morton P. Lindegaard, Frédéric Loulerge, Aleksey Nogin, I.S.W.B. Prasetya, Tom Ridge, Mehrnoosh Sadrzadeh, S.D. Swierstra, Sofiene Tahar, Hendrik Tews, T.E.J. Vos, Xin Yu.