Workshop Proceedings

25MC	25 Years of Model Checking
ALPSWS	International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services
BMC	4th International workshop on Bounded Model Checking
CICLOPS	Colloquium on Implementation of Constraint Logic Programming Systems
DISPROVING	Third Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability
FCS-ARSPA	Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis
LFMTP	International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice
PCC	International Workshop on Proof Carrying Code
PDPAR	Fourth International Workshop on Pragmatics of Decision Procedures in Automated Reasoning
PLPV	Programming Languages meets Program Verification
PREFS	Workshop on Preferences and their Applications in Logic Programming Systems
RULE	7th International Workshop on Rule-Based Programming
SVV	International Workshop on Software Verification and Validation
Strategies	6th International Workshop on Strategies in Automated Deduction
TV	Multithreading in Hardware and Software: Formal Approaches to Design and Verification
UITP	Seventh Workshop on User-Interfaces for Theorem Provers
UNIF	20th International Workshop on Unification
V&D	First Workshop on Verification and Debugging
VERIFY	Verification Workshop
WLPE	Workshop on Logic-based Methods in Programming Environments
WRS	The Sixth International Workshop on Reduction Strategies in Rewriting and Programming
WST	Eighth International Workshop on Termination