FLoC Workshops

FLoC 2014 will host over 70 workshops, each affiliated with at least one of the eight FLoC conferences. The following table shows all FLoC workshops grouped by their hosting conference(s). For a chronological listing, see FLoC workshops (by block). For further information, please consult the FLoC workshop guide.

CAV CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
EC2 7th International Workshop on Exploiting Concurrency Efficiently and Correctly
FRIDA Workshop on Formal Reasoning in Distributed Algorithms
FWFM 2nd International Workshop Fun With Formal Methods
HCVS Workshop on Horn Clauses for Verification and Synthesis
HOPA Higher Order Program Analysis
HSB 3rd International Workshop on Hybrid Systems Biology
iPRA Interpolation: From Proofs to Applications
NSV 7th International Workshop on Numerical Software Verification
PAS Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation
REORDER Third International Workshop on Memory Consistency Models
RS Reactive Systems: Directions in Development and Analysis
SMT 12th International Workshop on Satisfiability Modulo Theories
SYNT 3rd Workshop on Synthesis
VEMDP International Workshop on Verification of Engineered Molecular Devices and Programs 2014
VeriSure Second VeriSure Workshop
VPT Second International Workshop on Verification and Program Transformation
VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
WING 5th International Workshop on Invariant Generation
WST 14th International Workshop on Termination
CSF ASA 7th International Workshop on Analysis of Security APIs
FCS-FCC Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
STAST 4th International Workshop on Socio-Technical Aspects in Security and Trust
CSL-LICS AISS Algorithmics of Infinite State Systems 2014
APPA All about Proofs, Proofs for All
CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
CL&C Fifth International Workshop on Classical Logic and Computation
DCM 10th International Workshop on Developments in Computational Models
DTP Dependently-Typed Programming
FCS-FCC Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography
GSB Workshop on Gentzen Systems and Beyond 3
HOPA Higher Order Program Analysis
LCC Workshop on Logic and Comptuational Complexity
LFMTP 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
LINEARITY 3rd International Workshop on Linearity
LOLA 5th Workshop on Syntax and Semantics of Low-Level Languages
LSB 5th International Workshop on Logic and Systems Biology
NLCS Second Workshop on Natural Language and Computer Science
PC FLoC Workshop on Proof Complexity
PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
PSC Proof, Structure and Computation
SD 3rd Workshop on Structures and Deduction
ICLP ASPOCP 7th Workshop on Answer Set Programming and Other Computing Paradigms
CHR 11th International Workshop on Constraint Handling Rules
CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
HCVS Workshop on Horn Clauses for Verification and Synthesis
LaSh 4th International Workshop on Logic and Search
ParSearchOpt Parallel Methods for Search & Optimization
PLP Workshop on Probabilistic Logic Programming
RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
VPT Second International Workshop on Verification and Program Transformation
IJCAR ADDCT Automated Deduction: Decidability, Complexity, Tractability
APPA All about Proofs, Proofs for All
ARQNL Automated Reasoning in Quantified Non-Classical Logics
ARW-DT Joint Automated Reasoning Workshop and Deduktionstreffen
CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
LFMTP 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
ORE The 3rd OWL Reasoner Evaluation Workshop
PAAR 4th Workshop on Practical Aspects of Automated Reasoning
ParSearchOpt Parallel Methods for Search & Optimization
PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
PRUV First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness
QED Twenty Years of the QED Manifesto
QUANTIFY First International Workshop on Quantification
RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
SMT 12th International Workshop on Satisfiability Modulo Theories
UITP User Interfaces for Theorem Provers
UNIF The 28th International Workshop on Unification
Vampire The Vampire Workshop
VERIFY 8th International Verification Workshop
WING 5th International Workshop on Invariant Generation
WST 14th International Workshop on Termination
WWV 10th International Workshop on Automated Specification and Verification of Web Systems
ITP ACL2 12th International Workshop on the ACL2 Theorem Prover and its Applications
APPA All about Proofs, Proofs for All
Coq The 6th Coq Workshop
HOL 2014 International Workshop on the HOL Theorem Proving System
Isabelle Isabelle Workshop 2014
QED Twenty Years of the QED Manifesto
UITP User Interfaces for Theorem Provers
VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
WING 5th International Workshop on Invariant Generation
RTA-TLCA 2FC Two Faces of Complexity 2014
ADDCT Automated Deduction: Decidability, Complexity, Tractability
CHR 11th International Workshop on Constraint Handling Rules
CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
HOR Higher Order Rewriting
IFIP-WG16 Annual Meeting of the IFIP Working Group 1.6 (Term Rewriting)
ITRS 7th Workshop on Intersection Types and Related Systems
IWC 3rd International Workshop on Confluence
LINEARITY 3rd International Workshop on Linearity
NLSR Natural Language Services for Reasoners
TERMGRAPH 8th International Workshop on Computing with Terms and Graphs
UNIF The 28th International Workshop on Unification
VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
WING 5th International Workshop on Invariant Generation
WIR Workshop on Infinitary Rewriting
WPTE Workshop on Rewriting Techniques for Program Transformations and Evaluation
WST 14th International Workshop on Termination
SAT APPA All about Proofs, Proofs for All
CICLOPS-WLPE International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
CSPSAT Fourth International Workshop on the Cross-Fertilization Between CSP and SAT, in conjunction with SAT 2014
HOPA Higher Order Program Analysis
iPRA Interpolation: From Proofs to Applications
LaSh 4th International Workshop on Logic and Search
ParSearchOpt Parallel Methods for Search & Optimization
PC FLoC Workshop on Proof Complexity
PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning
POS Fifth Pragmatics of SAT workshop
QBF Second International Workshop on Quantified Boolean Formulas
RCRA 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion”
SMT 12th International Workshop on Satisfiability Modulo Theories
VSTTE Working Conference on Verified Software: Theories, Tools, and Experiments
m4s0n501