This volumecontainsthepaperspresentedattheSecondWorkshoponthePr- tical Applications of Declarative Languages (PADL'00) held in Boston, MA, USA, January 17{18, 2000. PADL'00 was co-located with the 27th ACM C- ference on the Principles of ProgrammingLanguages(POPL'00). The event was organized by COMPULOG AMERICAS. Declarativelanguagesbuildonasoundtheoreticalbasisto provideattractive frameworksfor application development. Indeed, these languages havebeen s- cessfully applied to vastly di erent real-worldsituations, ranging from data base management to active networks to software engineering to...