http://www-i2.informatik.rwth-aachen.de/old/Events/Aachen1996/Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SAS). Aachen, Germany; 24--27 September 1996.1996MOVES: Software Modeling and Verification
International Conference on
Algebraic and Logic Programming
on Programming Languages, Implementations,
ALP aims at strengthening the connections between algebraic
techniques and logic programming.
at stimulating research on
disseminate insights in the
waiting for hand_moderationMOVESSoftwareModelingandVerificationInfo2ALPPLILPSAS96
Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SAS). Aachen, Germany; 24--27 September 1996.
MOVES: Software Modeling and Verification
International Conference on
Algebraic and Logic Programming
on Programming Languages, Implementations,
ALP aims at strengthening the connections between algebraic
techniques and logic programming.
at stimulating research on
disseminate insights in the
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.