Proceedings, split paper per paper, are the following: Preface by Francesco Buccafurri. agp2003-000_Buccafurri Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 agp2003-001_Cantone Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE…