Atlas home || Conferences | Abstracts | about Atlas
Host: Fairmont Hotel
Sponsor: Sponsored by COMPULOG AMERICAS and the Association for Logic Programming
Homepage: http://www.CS.NMSU.Edu/~complog/conferences/padl00/
Email: complog@cs.nmsu.edu
Deadline for abstracts: August 20, 1999
Description:
Scope of PADL includes, but is not limited to:
Innovative Applications;
Practical Applications of Theoretical Results;
Declarative Languages and the Internet;
Declarative Languages and Software Engineering;
Declarative Languages and Software Enabled Control;
Deductive Database Systems;
Declarative Languages for Specification and Verification;
Practical Experiences;
Innovative Implementation/Compilation Techniques.
Date received: October 12, 1999
© 2008 Atlas Conferences Inc.