FLoC 2006 - Workshops

FLoC 2006

The 2006 Federated Logic Conference
Seattle, August 10 - 22, 2006

FLoC Workshops

These workshops will take place during FLoC 2006.

25MC	25 Years of Model Checking
ACL	Sixth International Workshop on the ACL2 Theorem Prover and Its Applications
AFM	Automated Formal Methods
ALPSWS	International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services
BMC	4th International workshop on Bounded Model Checking
CASC	The CADE ATP System Competition
CICLOPS	Colloquium on Implementation of Constraint Logic Programming Systems
DISPROVING	Third Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability
ESCoR	Empirically Successful Computerized Reasoning
FATES-RV	Formal Approaches to Testing and Runtime Verification
FCS-ARSPA	Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis
GALOP	Games for Logic and Programming Languages
GDV	3rd Workshop on Games in Design and Verification
HOR	3rd International Workshop on Higher-Order Rewriting
HyLo	International Workshop on Hybrid Logic 2006
IFIP WG	IFIP Working Group 1.6 on Term Rewriting
LCC	8th International Workshop on Logic and Computational Complexity
LFMTP	International Workshop on Logical Frameworks and Meta-Languages:Theory and Practice
LSB	Workshop on Logic and Systems Biology
LaSh	Search and Logic: Answer Set Programming and SAT
MVLPA	International Workshop on Multi-Valued Logic Programming and Applications
PAuL	1st International Workshop on Probabilistic Automata and Logics
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
SMT-COMP	Satisfiability Modulo Theories Competition 2006
SSPV	Workshop on satisfiability solvers and program verification
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
VSTTE	Workshop on Verified Software: Tools, Techniques, and Experiments
WG	2006 Meeting of WG17
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