Workshops - grouped by their associated conference(s)

CAV	25MC: 25 Years of Model Checking (Aug 16) ACL2: The ACL2 Theorem Prover and Its Applications (Aug 15-16) - with IJCAR BMC: 4th International Workshop on Bounded Model Checking (Aug 15) FATES/RV: Formal Aspects of Testing and Runtime Verification (Aug 15-16) - with IJCAR GDV: 3rd International Workshop on Games in Design and Verification (Aug 21) SMT-COMP: 2nd Satisfiability Modulo Theories Tools Competition (Aug 20) TV: Multithreading in Hardware and Software: Formal Approaches to Design and Verification (Aug 21-22) V&D: 1st International Workshop on Verification and Debugging (Aug 21) VSTTE: Verified Software: Tools, Techniques, and Experiments (Aug 22)
ICLP	ALPSWS: Applications of Logic Programming in the Semantic Web and Semantic Web Services (Aug 16) CICLOPS: Colloquium on Implementation of Constraint and LOgic Programming Systems (Aug 21) LaSh: Search and Logic: Answer Set Programming and SAT (Aug 16) MVPLA: International Workshop on Multi-Valued Logic and Logic Programming (Aug 21) PREFS: Preferences and Their Applications in Logic Programming Systems (Aug 16) SVV: International Workshop on Software Verification and Validation (Aug 21) WG 17: WG17 ISO Technical Advisory Committee for Prolog (Aug 21) WLPE: 16th Workshop on Logic-Based Programming Environments (Aug 16)
IJCAR	ACL2: The ACL2 Theorem Prover and Its Applications (Aug 15-16) - with CAV AFM: Automated Formal Methods with PVS, ICS, and SAL (Aug 21) CASC: The CADE ATP System Competition (Aug 16) DISPROVING: Non-Theorems, Non-Validity, Non-Provability (Aug 16) ESCoR: Empirically Successful Computerized Reasoning (Aug 21) FATES/RV: Formal Aspects of Testing and Runtime Verification (Aug 15-16) - with CAV LFMTP: Logical Frameworks and Meta-Languages: Theory and Practice (Aug 16) - with LICS PDPAR: Pragmatics of Decision Procedures in Automated Reasoning (Aug 21) PLPV: Programming Languages meets Program Verification  (Aug 21) Strategies: Strategies in Automated Deduction (Aug 16) UITP: User Interfaces for Theorem Provers (Aug 21) VERIFY: Verification Workshop (Aug 15-16)
LICS	FCS-ARSPA: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (Aug 15-16) GALOP: Games for Logic and Programming Languages (Aug 10-11) HyLo: Hybrid Logic (Aug 11) LCC: Logic and Computational Complexity (Aug 10-11) LFMTP: Logical Frameworks and Meta-Languages: Theory and Practice (Aug 16) - with IJCAR LSB: Logic and Systems Biology (Aug 15) PCC: Proof Carrying Code (Aug 11) PAuL: Probabilistic Automata and Probabilistic Logics (Aug 11)
RTA	IFIP: IFIP Working Group 1.6 on Term Rewriting(Aug 10) HOR: Higher Order Rewriting (Aug 15) RULE: Rule-Based Programming (Aug 11) UNIF: 20th International Workshop on Unification (Aug 11) WRS: Reduction Strategies in Rewriting and Programming (Aug 11) WST: Eighth International Workshop on Termination (Aug 15-16)
SAT	MAXSAT: First MAX-SAT Evaluation PB06: Evaluation of Pseudo-Boolean Solvers (PB'06 Evaluation) QBF06: First competitive QBF'06 Evaluation SAT06: SAT'06 Race in spirit of the SAT Competitions SSPV: Workshop on Satisfiability Solvers and Program Verification