TPHOLs 2003

Area 09 – Ingegneria industriale e dell'informazione

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

SINTESI