Ultrasonic testing method

Abstract

This volume contains the proceedings of the Workshop on Verification of Logic Programs, organised within the 1999 International Conference on Logic Programming. The workshop took place on December 1, 1999 in Las Cruces, New Mexico, USA.We are indebted to many people who have contributed to making this workshop possible. First of all, we would like to thank the authors of the submitted papers. Secondly, we thank the members of the organising committee: Krzysztof Apt has kindly agreed to give an invited lecture and has given helpful suggestions. Also, we thank Enrico Pontelli, the workshop coordinator of ICLP'99 and Michael Mislove for their constant support. Annalisa Bossi, Nicoletta Cocco and Maurizio Gabbrielli have helped us with their advice and suggestions.Finally, we acknowledge the financial support by NWO Nederlandse Organisatie voor Wetenschappelijk Onderzoek (Netherlands Organisation for Scientific Research), and the Engineering and Physical Sciences Research Council of the United Kingdom (EPSRC Grant GR/MO8769).Sandro Etalle and Jan-Georg Smaus, Guest Editors